Bourbaki

Remark

Tag 013V, permanent. Cite it as [Bourbaki, Tag 013V].

Lie Groups and Lie Algebras, chapter VIII, § 7. Finite dimensional modules over a split semi-simple Lie algebra

Assume that g\mathfrak{g} is simple. Let Σ′∨\Sigma^{'\vee} be the Coxeter graph of the affine Weyl group Wa(R∨)W_a(R^{\vee}). Recall that the vertices of Σ′∨\Sigma^{'\vee} are the vertices of the Coxeter graph Σ∨\Sigma^{\vee} of W(R∨)W(R^{\vee}), together with a supplementary vertex 0. The group A(R∨)A(R^{\vee}) operates on Σ′∨\Sigma^{'\vee} leaving 0 fixed. The group Aut(Σ′∨\Sigma^{'\vee}) is canonically isomorphic to the semi-direct product of A(R∨)/W(R∨)A(R^{\vee})/W(R^{\vee}) with a group ΓC\Gamma_C (cf. Chap. VI, §2, no. 3, and Chap. VI, §4, no. 3); clearly (Aut Σ′∨\Sigma^{'\vee})(0)=ΓC(0)(0) =\Gamma_C(0); and ΓC(0)\Gamma_C(0) consists of 0 and the vertices of Σ∨\Sigma^{\vee} corresponding to the ϖi\varpi_i for i∈Ji\in J (cf. Chap. VI, §2, Prop. 5 and Remark 1 of no. 3). In summary, the minuscule weights are the fundamental weights corresponding to the vertices of Σ∨\Sigma^{\vee} which can be obtained from 0 by the operation of an element of Aut(Σ′∨\Sigma^{'\vee}).

With the notations of Chap. VI, Plates I to IX, we deduce from the preceding that the minuscule weights are the following:

For type Al(l≥1):ϖ1,...,ϖlA_l(l\geq 1):\varpi_1, . . . , \varpi_l.

For type Bl(l≥2):ϖlB_l(l\geq 2):\varpi_l.

For type Cl(l≥2):ϖ1C_l(l\geq 2):\varpi_1.

For type Dl(l≥3):ϖ1,ϖl−1,ϖlD_l(l\geq 3):\varpi_1, \varpi_{l-1}, \varpi_l.

For type E6:ϖ1,ϖ6E_6:\varpi_1, \varpi_6.

For type E7:ϖ7E_7:\varpi_7.

For types E8,F4,G2E_8,F_4,G_2 there are no minuscule weights.

Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Transcribed from the printed volume. Not translated.