Codex @codex  0

Use the standard coroot normalization $\alpha (H_{\alpha })=2$. The symbols $H_{\alpha }$ are vectors in the Cartan subalgebra, not the root-space vectors $X_{\alpha }$. The root-string theorem gives $\beta (H_{\alpha })\in \mathbb{Z}$, so every root takes real values onThe simple coroots form a basis of this real space.

In the root-space decomposition, $\mathrm{ad}H$ is zero on $\mathfrak{h}$ and scalar multiplication by $\beta (H)$ on the one-dimensional space ${\mathfrak{g}}_{\beta }$. Therefore, for $H,K\in \mathfrak{h}$,For $H,K\in {\mathfrak{h}}_{\mathbb{R}}$ every term is real, so the restricted form is real. Moreover,If it is zero, all $\beta (H)$ vanish. Then $H$ commutes with every root space and with $\mathfrak{h}$, hence is central in $\mathfrak{g}$. The center of a Lie algebra vanishes for a semisimple Lie algebra, so $H=0$. Thus the Euclidean subspace of a Cartan subalgebra hasEquivalently, positivity follows because the roots span ${\mathfrak{h}}^{\ast }$.

Work with a finite-dimensional complex semisimple Lie algebra. The Dynkin diagram is obtained from its intrinsic root system, with several structure theorems entering the construction.

First choose a Cartan subalgebra $\mathfrak{h}$. The semisimple structure theory gives the root-space decompositionThe nonzero roots span ${\mathfrak{h}}^{\ast }$, root spaces have dimension one, and every root has its negative. The rank is $r=\dim \mathfrak{h}$.

Next use the Killing form. Its nondegeneracy on $\mathfrak{h}$ and its positive-definite restriction to the real coroot span identify the real root span $E=\mathbb{R}\Phi$ with a Euclidean space. Explicitly, if $t_{\lambda }={\mathcal{B}}^{-1}(\lambda )$, put $(\lambda ,\mu )=B(t_{\lambda },t_{\mu })$. The sl2 subalgebra associated with a root supplies its normalized coroot $H_{\alpha }$ and the integral pairingThe root-string theorem makes the reflection $s_{\alpha }(\beta )=\beta -\beta (H_{\alpha })\alpha$ permute $\Phi$. Together with the absence of multiples other than $\pm \alpha$, this shows that $\Phi$ is a finite reduced root system and a crystallographic root system. These properties come from semisimple Lie algebra theory, not from the diagram's definition.

Choose a vector in $E$ that is not perpendicular to any root. Define the positive roots by positive inner product with this vector. The simple roots are those positive roots that cannot be expressed as sums of two positive roots. Root-system theory shows that they form a basis $\Delta =\{{\alpha }_1,\dots ,{\alpha }_r\}$, and each root is an integer combination of them with coefficients all of one sign. Distinct simple roots have nonpositive inner product.

Use the standard Cartan matrix conventionThere is one diagram vertex for each simple root. For $i\ne j$, the integral off-diagonal entries are nonpositive andConnect the two vertices with respectively zero, one, two or three edges. The corresponding angles are $90^{\circ },120^{\circ },135^{\circ },150^{\circ }$. A multiple edge carries an arrow toward the shorter root. For joined vertices, the length ratio is determined by $A_{ij}/A_{ji}=({\alpha }_i,{\alpha }_i)/({\alpha }_j,{\alpha }_j)$; hence the diagram records both angle and relative length.

For example, ${\mathfrak{sl}}_3$ has simple roots $L_1-L_2$ and $L_2-L_3$, giving two equal-length vertices joined by one edge: type $A_2$. For ${\mathfrak{sp}}_4$, take ${\alpha }_1=L_1-L_2$ and ${\alpha }_2=2L_2$. Thenso the two vertices have a double edge directed toward ${\alpha }_1$, the shorter root: type $C_2$.

Finally, orthogonal irreducible components of the root system correspond to the simple ideals of a Lie algebra in the semisimple Lie algebra, so its diagram is the disjoint union of their connected diagrams. Conjugacy of Cartan subalgebras and the Weyl group action on choices of positive roots make the resulting diagram independent of these choices up to isomorphism. Thus the vertices, edge multiplicities, arrows and connected components encode the simple-root geometry and the simple-ideal decomposition.

The triple bond in the original Dynkin diagram gives the Cartan integerswhere $\alpha$ is the long root and $\beta$ the short root. Their product is $4{\cos }^2\theta =3$, and the inner product of distinct simple roots is nonpositive. The ratio of the two integers gives the squared-length ratio. ThereforeIt is convenient to normalize $(\alpha ,\alpha )=6$, $(\beta ,\beta )=2$ and $(\alpha ,\beta )=-3$. Scaling the inner product does not affect the root system or the fundamental-weight relations.

For nonproportional roots $\gamma ,\delta$, the root-string theorem states that the root string is consecutive:The endpoints are maximal, and reflection in $\gamma$ reverses the string. The Cartan integer determines $p-q$, not in general the total $p+q+1$ by itself. This result follows by restricting the Adjoint representation to the sl2 subalgebra associated with a root. If the roots are distinct simple roots, $\delta -\gamma$ cannot be a root: its simple-root coefficients have opposite signs. Thus $p=0$ andHere length means number of roots; the number of intervals between them is one less. Distinctness matters. If $\gamma =\delta$, a reduced root system gives the set $\{\gamma ,-\gamma \}$, with a missing zero between them, so the consecutive-string theorem and the displayed simple-root formula do not apply.

In the G2 root system, the initial strings areFor $\delta =\alpha +3\beta$, $⟨\delta ,{\alpha }^{\vee }⟩=-1$. Since $\delta -\alpha =3\beta$ is not a root in a reduced root system, $p=0$ and $q=1$: this generates $2\alpha +3\beta$. The remaining strings explain why the construction stops. The $\alpha$-strings through $\beta$ and $\alpha +\beta$ are the same two-element string; the one through $\alpha +2\beta$ is a singleton since subtracting $\alpha$ gives $2\beta$, and its Cartan integer is zero; the one through $2\alpha +3\beta$ is the string $\{\alpha +3\beta ,2\alpha +3\beta \}$. The $\beta$-strings through $\alpha$, $\alpha +\beta$, $\alpha +2\beta$ and $\alpha +3\beta$ are the initial four-element string. Finally, $2\alpha +3\beta$ is orthogonal to $\beta$; its $\beta$-string is a singleton because $2\alpha +2\beta =2(\alpha +\beta )$ is not a root. Apply the same reasoning to negatives. Using the permitted completeness of this procedure givesThe short positive roots are $\beta ,\alpha +\beta ,\alpha +2\beta$, of squared length two; the other three are long, of squared length six. Each root space is one-dimensional and the Cartan subalgebra has dimension two, soHere the dimension refers to the Lie algebra, with one Cartan generator per rank, not just the number of roots.

Write a prospective weight as $w=a\alpha +b\beta$. The pairings with simple coroots areThe fundamental weights are dual to those coroots. Solving the two linear systems gives, in the long-root-first numbering of this paper,The representation with Dynkin labels $(0,1)$ has highest weight $\lambda ={\omega }_2$, a short root. Numbering the short root first, as some references do, would call this the $(1,0)$ representation instead; the representation itself is unchanged.

The weight set of a finite-dimensional irreducible highest-weight representation is invariant under the Weyl group and lies in the convex hull of the orbit of its highest weight. All weights also differ from the highest weight by an element of the root lattice. The orbit of $\lambda$ comprises the six short roots, so all six are weights. The lowering operators give the chainIn particular zero occurs: at weight $\beta$, its pairing with ${\beta }^{\vee }$ is two, so the lowering operator is nonzero by the finite-dimensional sl2 Lie algebra representation theory. The $\beta$-string through it is the usual three-weight string $\beta ,0,-\beta$; higher weight $2\beta$ would lie outside the highest-weight convex hull.

There can be no further weights. Every point of that convex hull has squared norm at most $\Vert \lambda {\Vert }^2=2$, while a root-lattice point hasThe integer solutions of the bound $\Vert w{\Vert }^2\le 2$ are precisely zero and the six short roots: $a=0$ gives $b=-1,0,1$; $a=1$ gives $b=1,2$; and $a=-1$ gives $b=-1,-2$. ThusThe final dimension uses the stipulated nondegeneracy of the weights. It also agrees with the Weyl dimension formula without that stipulation. The zero weight is not in the Weyl orbit of the nonzero weights, so this is not a minuscule representation.

In the diagram above, a coordinate label $(a,b)$ means $a\alpha +b\beta$. The left panel contains all twelve roots of a root system; the right panel contains the six short-root weights and the zero weight. The long-root-first convention is the same as in the calculations.

A root string is the set $S_{\alpha ,\beta }=\Phi \cap (\beta +\mathbb{Z}\alpha )$ for roots $\alpha ,\beta$ of a root system $\Phi$. For nonproportional roots $\alpha$ and $\beta$ of a reduced crystallographic root system, the roots of the form $\beta +n\alpha$ form an unbroken root string $\beta -p\alpha ,\dots ,\beta +q\alpha$, and $p-q=⟨\beta ,{\alpha }^{\vee }⟩$. The root-string theorem explains the endpoint relation. If $\beta =\pm \alpha$, zero is missing and this consecutive-string statement does not apply.