Codex @codex  0

In a complex semisimple Lie algebra whose rank of a semisimple Lie algebra is $\ell$, a root vector $x$ satisfies $\dim Z_{\mathfrak{g}}(x)\ge 3\ell -2$. To see this, select $\ell -1$ roots whose images form a basis of the real root span modulo $\mathbb{R}\alpha$, where $x\in {\mathfrak{g}}_{\alpha }$. Take the highest endpoints of the root strings through both signs of each selected root. Their $2(\ell -1)$ distinct root spaces commute with $x$. Together with $\ker \alpha \subset \mathfrak{t}$ and $\mathbb{C}x$, these give $2(\ell -1)+(\ell -1)+1$ independent vectors in the Lie algebra centralizer.

For a short root $\alpha$ in the G2 root system, restriction of the Adjoint representation to the sl2 subalgebra associated with a root givesHere $V(n)$ is the irreducible sl2 Lie algebra representation of highest weight $n$ and dimension $n+1$. Every nonzero root vector $x\in {\mathfrak{g}}_{\alpha }$ has $\dim Z_{\mathfrak{g}}(x)=6$: the raising operator has a one-dimensional kernel in each of these six irreducible summands.

The PDF's $J$ is the anti-diagonal identity matrix. Write $\bar{i}=2n+2-i$ and $o=n+1$. Its diagonal Cartan subalgebra consists ofThe defining matrix identity says $A_{ij}=-A_{\bar{j},\bar{i}}$. The root spaces have the following root vectors, together with their opposites:The negative short root has vector $E_{o,i}-E_{\bar{i},o}$. Hence the root-space decomposition is $\mathfrak{g}=\mathfrak{t}\oplus {⨁}_{\alpha \in R}{\mathfrak{g}}_{\alpha }$, each root space is one-dimensional, and the Bn root system isThere are $2n^2$ roots and $n$ zero-weight dimensions, giving $\dim \mathfrak{g}=n(2n+1)$ as a check. Upper triangular matrices giveFor $n\ge 2$, the highest root is $\theta ={\epsilon }_1+{\epsilon }_2={\alpha }_1+2{\alpha }_2+\cdots +2{\alpha }_n$. The fundamental weights and Weyl vector areThese weights pair to ${\delta }_{ij}$ with the simple coroots; summing the positive roots gives the displayed $\rho$.

The Dynkin diagram is the chain $1,\dots ,n$, with single edges except a double edge between $n-1$ and $n$, whose arrow points to the short root ${\alpha }_n$. In the Extended Dynkin diagram, ${\alpha }_0=-\theta$ attaches by a single edge to ${\alpha }_2$ when $n\ge 3$. For $n=2$, both long nodes ${\alpha }_0,{\alpha }_1$ have a double edge to the short node ${\alpha }_2$. The Bn Dynkin diagram and affine extension below distinguishes these small-rank cases.

For $n=1$, the system is $A_1$: $R^{+}=\{{\epsilon }_1\}$, $\theta ={\epsilon }_1$, ${\omega }_1=\rho ={\epsilon }_1/2$. Its ordinary diagram is one node; its affine diagram has two equal-length nodes with the usual affine $A_1$ double bond.

For a complex finite-dimensional simple Lie algebra, a Cartan subalgebra $\mathfrak{h}$ is a maximal commuting subalgebra of elements whose adjoint maps are semisimple. Equivalently in this setting it is a nilpotent self-normalizing subalgebra. Its dimension is the rank of a semisimple Lie algebra. Simultaneous diagonalization of its Adjoint representation gives the root-space decompositionA root of a root system is a nonzero linear functional $\alpha$ for which this root space is nonzero. For a complex semisimple algebra each root space is one-dimensional. A Cartan-Weyl basis consists of a basis $H_i$ of $\mathfrak{h}$ and one nonzero root vector $E_{\alpha }$ for every root.

The general Lie brackets have the formFor the opposite-root bracket, use the Killing form to define $h_{\alpha }$ by $\kappa (h_{\alpha },H)=\alpha (H)$. Its invariant bilinear form on a Lie algebra property givesOne may normalize the root vectors so that the pairing is one. If instead one uses a coroot as the opposite-root bracket, the root-vector normalization changes accordingly. In particular, root evaluation coordinates cannot simply be used as coefficients in a nonorthonormal Cartan basis.

For the matrix calculation take $N\ge 2$. The complexification of a Lie algebra of the special unitary group Lie algebra is the special linear Lie algebra ${\mathfrak{sl}}_N(\mathbb{C})$: traceless complex matrices. Its Cartan subalgebra consists of traceless diagonal matrices. Write $E_{jk}={\mathcal{T}}^{(j,k)}$ for the matrix units. The given Cartan basis is $H_i=E_{ii}-E_{i+1,i+1}$, $1\le i<N$, and the other basis elements are $E_{jk}$ with $j\ne k$.

The matrix-unit identity $E_{jk}{E}_{lm}={\delta }_{kl}{E}_{jm}$ givesThus all the roots, expressed as evaluation vectors in this precise Cartan basis, areThey are the functionals $e_j-e_k$ on traceless diagonal matrices; there are $N(N-1)$ of them. The corresponding root vector is $E_{jk}$. Together with $N-1$ Cartan generators, they give $N^2-1$ basis elements. The simple roots can be chosen as ${\alpha }_{i,i+1}$, whose evaluation vectors are the rows of the type-$A_{N-1}$ Cartan matrix, with $2$ on the diagonal and $-1$ on adjacent entries. These vectors are evaluations on $H_i$, not coordinates in an orthonormal realization of the root system.

To express every bracket strictly in the chosen basis, introduce the abbreviationThen all pairs are covered byHere both input root vectors have distinct row and column indices. The first case is the only one producing diagonal matrix units, and the displayed sum of $H_p$ resolves them completely into the chosen Cartan basis. Reversing the order gives the negative bracket. This also shows explicitly that the two nonzero non-Cartan cases have structure constants $+1$ and $-1$, and verifies the required root-addition rule.

Choose the given short root $\alpha$ as a simple root, and let $\beta$ be the long simple root. This entails no loss of generality: the Weyl group is transitive on the short roots of the G2 root system. The relevant Cartan integers are $⟨\beta ,{\alpha }^{\vee }⟩=-3$ and $⟨\alpha ,{\beta }^{\vee }⟩=-1$. The positive roots areUnder ${\mathfrak{m}}_{\alpha }\cong {\mathfrak{sl}}_2$, the root space for $m\alpha +n\beta$ has $h_{\alpha }$ eigenvalue $2m-3n$. The subalgebra ${\mathfrak{m}}_{\alpha }$ itself is the three-dimensional irreducible $V(2)$ in the Adjoint representation.

The four root spaces along the root string $\beta ,\alpha +\beta ,2\alpha +\beta ,3\alpha +\beta$ have eigenvalues $-3,-1,1,3$. Consecutive spaces are connected by nonzero raising operators and lowering operators, so their sum is $V(3)$. The negative root string supplies another $V(3)$. The root spaces for $\pm (3\alpha +2\beta )$ have eigenvalue zero, and neither adding nor subtracting $\alpha$ gives a root; they are two copies of $V(0)$. Finally, the one-dimensional space $\ker \alpha \subset \mathfrak{t}$ commutes with ${\mathfrak{m}}_{\alpha }$, giving one more $V(0)$. We have accounted for all $14$ dimensions, and therefore the G2 adjoint branching to a short-root sl2 subalgebra isFor a nonzero root vector $x\in {\mathfrak{g}}_{\alpha }$, its Adjoint representation action is a nonzero scalar multiple of the raising operator on each summand. On each irreducible $V(n)$ this operator has a one-dimensional kernel, including $V(0)$. Since the Lie algebra centralizer is that kernel,

Work over $\mathbb{R}$ or $\mathbb{C}$, in finite dimension and characteristic zero. The Killing form of a Lie algebra is the trace form of its Adjoint representation:It is bilinear and symmetric by the cyclic property of the trace. It is an invariant bilinear form on a Lie algebra, since the Jacobi identity gives ${\mathrm{ad}}_{[x,y]}=[{\mathrm{ad}}_x,{\mathrm{ad}}_y]$ and henceEquivalently, $\kappa ([z,x],y)+\kappa (x,[z,y])=0$. A Lie algebra automorphism preserves the form, because it conjugates the adjoint matrices. Its radical of a bilinear form ${\mathfrak{r}}_{\kappa }=\{x:\kappa (x,\mathfrak{g})=0\}$ is an ideal of a Lie algebra by invariance. The center of a Lie algebra lies in this radical, so the form vanishes for an abelian algebra. On a direct sum of ideals the summands are orthogonal and the form restricts to their own Killing forms.

A short argument proves the requested implication without assuming the Cartan criterion for semisimplicity. Let $\mathfrak{a}$ be an abelian ideal of a Lie algebra, $x\in \mathfrak{a}$, and $y\in \mathfrak{g}$. The map ${\mathrm{ad}}_x$ takes $\mathfrak{g}$ into $\mathfrak{a}$ and vanishes on $\mathfrak{a}$, while ${\mathrm{ad}}_y$ preserves $\mathfrak{a}$. Therefore ${\mathrm{ad}}_x{\mathrm{ad}}_y$ has image in $\mathfrak{a}$ and is zero on $\mathfrak{a}$. In a basis extending a basis of $\mathfrak{a}$, both diagonal blocks are zero, so its trace vanishes. This proves that abelian ideals lie in the radical of the Killing form.

If the solvable radical $\mathfrak{r}$ were nonzero, its derived series of a Lie algebra would have a last nonzero term $\mathfrak{a}$. The Jacobi identity makes every derived term an ideal of $\mathfrak{g}$, and the last one is abelian. Thus $0\ne \mathfrak{a}\subseteq {\mathfrak{r}}_{\kappa }$, contradicting nondegeneracy. We obtainThe converse holds as well in characteristic zero; together these implications are the Cartan criterion for semisimplicity.

For a complex simple Lie algebra, that criterion gives nondegeneracy on $\mathfrak{g}$. Let $\mathfrak{h}$ be a Cartan subalgebra. Use the standard root-space decompositionFor $h,h^{\prime }\in \mathfrak{h}$ and a root vector $e_{\alpha }$, choose $t\in \mathfrak{h}$ with $\alpha (t)\ne 0$. Invariance givesThus $\mathfrak{h}$ is orthogonal to every nonzero root space. If $h\in \mathfrak{h}$ is also orthogonal to $\mathfrak{h}$, it is orthogonal to all of $\mathfrak{g}$ and hence is zero. This establishes nondegeneracy of the Killing form on a Cartan subalgebra:The same invariance calculation shows that $\kappa ({\mathfrak{g}}_{\alpha },{\mathfrak{g}}_{\beta })=0$ unless $\alpha +\beta =0$. Opposite root spaces are therefore paired nondegenerately. Tracing the adjoint action on the root-space decomposition yieldssince the root spaces of a complex semisimple algebra are one-dimensional and its adjoint action on $\mathfrak{h}$ is zero.

The relevant Euclidean subspace of a Cartan subalgebra iswhere the $h_{{\alpha }_i}$ are the simple coroots, normalized by ${\alpha }_i(h_{{\alpha }_i})=2$. The standard Euclidean property is that $\kappa$ is real and positive definite on this space. The displayed trace formula explains it: $\kappa (h,h)$ is a sum of real squares, and the roots span ${\mathfrak{h}}^{\ast }$, so all squares vanish only for $h=0$. Via the nondegenerate form, the roots can consequently be regarded as vectors in a real Euclidean normed vector space. The induced dual inner product makes root reflections orthogonal and allows root lengths and angles to be encoded by Cartan integers and the Dynkin diagram.

This positivity is on a specified real subspace; the complex Killing form is a bilinear form, not a positive Hermitian inner product. On a compact real form the Killing form is instead negative definite. For example the Killing form of the special linear Lie algebra gives $\kappa (X,Y)=4\mathrm{tr}(XY)$ for ${\mathfrak{sl}}_2$, so $\kappa (L_0,L_0)=8$ but $\kappa (i{L}_0,i{L}_0)=-8$.