Bourbaki

Proposition 12

Tag 0AUS, permanent. Cite it as [Bourbaki, Tag 0AUS].

Lie Groups and Lie Algebras, chapter VI, § 1. Root systems

Assume that R is irreducible and reduced.

(i) The ratio (β∣β)(α∣α)\frac{(\beta|\beta)}{(\alpha|\alpha)} for α∈R,β∈R\alpha \in R, \beta \in R must take one of the values 1, 2, 12\frac{1}{2}, 3, 13\frac{1}{3}.

(ii) The set of the (α∣α)(\alpha|\alpha) for α∈R\alpha \in R has at most two elements.

Since R is irreducible, the transforms of a root by W(R)W(R) generate V (no. 2, Cor. of Prop. 5). Hence, for any roots α,β\alpha, \beta, there exists a root β′\beta' such that (α∣β′)≠0(\alpha|\beta') \neq 0 and (β′∣β′)=(β∣β)(\beta'|\beta') = (\beta|\beta). By formula (9) of no. 1 and the list of no. 3, (β′∣β′)(α∣α)\frac{(\beta'|\beta')}{(\alpha|\alpha)} takes one of the values 1, 2, 12\frac{1}{2}, 3, 13\frac{1}{3} (recall that the system is assumed to be reduced). By multiplying (x∣y)(x|y) by a suitable scalar, we can assume that (α∣α)=1(\alpha|\alpha) = 1 for certain roots and that the other possible values of (β∣β)(\beta|\beta) for β∈R\beta \in R are 2 and 3. The values 2 and 3 cannot both be attained, since in that case there would exist β∈R,γ∈R\beta \in R, \gamma \in R such that (γ∣γ)(β∣β)=32\frac{(\gamma|\gamma)}{(\beta|\beta)} = \frac{3}{2}, contrary to what we have seen above.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Cites

Transcribed from the printed volume. Not translated.