Bourbaki

Corollary

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

Lie Groups and Lie Algebras, chapter VI, § 4. Classification of root systems

The homomorphism φ\varphi defines by passage to the quotient an isomorphism from the group A(R)/W(R)A(R)/W(R) to the group of automorphisms of the Dynkin graph of RR.

Clearly, φ(g)=Id\varphi(g) = \mathrm{Id} for all g∈W(R)g \in W(R). On the other hand, Prop. 1 shows that there exists an isomorphism ψ\psi from the group of isomorphisms of the Dynkin graph of RR to the subgroup EE of elements of A(R)A(R) leaving fixed a given basis BB of RR, such that φ∘ψ=Id\varphi \circ \psi = \mathrm{Id}. Since A(R)A(R) is the semi-direct product of EE and W(R)W(R) (§ 1, no. 5, Prop. 16), the corollary follows.

In practice, the Dynkin graph (X,f)(X, f) is represented by a diagram composed of nodes and bonds in the following way. The nodes correspond to the vertices of XX; two nodes corresponding to two distinct vertices ii and jj are joined by 0, 1, 2 or 3 bonds in cases 1), 2), 3) and 4) above (up to interchanging ii and jj). Moreover, in cases 3) and 4), that is when f(i,j)>1f(i, j) > 1, or when the roots αi\alpha_i and αj\alpha_j are not orthogonal and not of the same length, an inequality sign >> is placed on the double or triple bond joining the nodes corresponding to ii and jj oriented towards the node corresponding to jj (that is, the shortest root):

∘⟹∘(for f(i,j)=2).∘⇛∘(for f(i,j)=3). \begin{array}{cc} \circ \Longrightarrow \circ & \text{(for } f(i, j) = 2 \text{).} \\ \circ \Rrightarrow \circ & \text{(for } f(i, j) = 3 \text{).} \end{array}

It is clear that the Dynkin graph (X,f)(X, f) can be recovered from this diagram.

We remark that the diagram associated to the Coxeter graph of W(R)W(R) can be obtained from that associated to the Dynkin graph of RR by keeping the nodes and the single bonds and replacing the double (resp. triple) bonds by a bond surmounted by the number 4 (resp. 6). Conversely, given the Coxeter graph of W(R), the diagram associated to the Dynkin graph of R can be recovered using the inverse of this procedure, except for the inequality signs on the double or triple bonds. Th. 1 thus gives immediately the list of possible Dynkin graphs. More precisely:

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.