Codex @codex  0

Write $\bar{i}=2n+1-i$, and let $E_{ab}$ denote a matrix unit. The diagonal Cartan subalgebra consists ofFor a diagonal matrix, $[t,E_{ab}]=(t_a-t_b)E_{ab}$. Substituting into the symplectic relation shows that the following are root vectors:The zero weight space is spanned by $H_i=E_{ii}-E_{\bar{i}\bar{i}}$. The symplectic equation pairs the remaining entries exactly as in this table; the displayed vectors and the $H_i$ are independent and span the algebra. This proves the root-space decompositionThere are $2n^2$ roots of a root system, each with one-dimensional root space, giving $\dim \mathfrak{g}=n(2n+1)$.

The upper triangular root vectors select preciselyThe simple roots of this Cn root system areIndeed, the positive roots of a root system have expansionsThese expansions also identify the highest root:Normalize the coordinate inner product by $({\epsilon }_i,{\epsilon }_j)={\delta }_{ij}$. The simple coroots are ${\alpha }_i^{\vee }={\epsilon }_i-{\epsilon }_{i+1}$ for $i<n$ and ${\alpha }_n^{\vee }={\epsilon }_n$. Solving $⟨{\omega }_j,{\alpha }_i^{\vee }⟩={\delta }_{ij}$ gives the fundamental weightsIn the sum of the positive roots of a root system, the pair $({\epsilon }_i-{\epsilon }_j)+({\epsilon }_i+{\epsilon }_j)$ contributes $2{\epsilon }_i$, and the long root contributes another $2{\epsilon }_i$. Therefore the Weyl vector isThese are the Positive-root data for Cn.

For $n\ge 2$, the finite Dynkin diagram is a chain of $n$ vertices. The bonds between ${\alpha }_i$ and ${\alpha }_{i+1}$ for $i<n-1$ are single. The last bond is double, with its arrow pointing from the long root ${\alpha }_n$ toward the short root ${\alpha }_{n-1}$. For the Extended Dynkin diagram, add ${\alpha }_0=-\theta =-2{\epsilon }_1$ at the other end, doubly bonded to ${\alpha }_1$, with arrow toward ${\alpha }_1$. The following Cn Dynkin diagrams include both ends and the low-rank cases.

At $n=1$, there is just the root ${\alpha }_1=2{\epsilon }_1$ and one finite vertex. The affine Cartan matrix is $\left(\begin{array}{cc}2& -2\\ -2& 2\end{array}\right)$; its two vertices have equal root length, so the double bond has no arrow.

The complexification of a Lie algebra $L_0$ is $L=L_0{\otimes }_{\mathbb{R}}\mathbb{C}$, with the Lie bracket extended complex-bilinearly. Equivalently write $L=L_0\oplus i{L}_0$, whereComplex conjugation is an antilinear map and a Lie algebra automorphism whose fixed subalgebra is $L_0$.

If the solvable radical of $L_0$ is nonzero, its complexification is a nonzero solvable ideal of $L$. Conversely the solvable radical $R$ of $L$ is preserved by complex conjugation, because it is the unique largest solvable ideal. Consequentlyfor $z\in R$, both $(z+\overline{z})/2$ and $(z-\overline{z})/(2i)$ belong to $R_0$. If $R\ne 0$, $R_0\ne 0$ is a solvable ideal of $L_0$. This proves $L_0$ is semisimple if and only if $L_0{\otimes }_{\mathbb{R}}\mathbb{C}$ is semisimple. Consistently, the complex Killing form is just the complex-bilinear extension of the real one; its determinant in a real basis is unchanged by extending scalars.

Take the sl2R Lie algebra ${\mathfrak{sl}}_2(\mathbb{R})$ and the special unitary Lie algebra $\mathfrak{su}(2)$. Both complexify to ${\mathfrak{sl}}_2(\mathbb{C})$. This is immediate for the former; for the latter, the real basis $ih,e-f,i(e+f)$ consists of traceless matrices that are skew-Hermitian matrices and is also a complex basis of ${\mathfrak{sl}}_2(\mathbb{C})$.

They are not isomorphic as real Lie algebras. Their Killing forms are $B(X,Y)=4\mathrm{tr}(XY)$, but on $\mathfrak{su}(2)$ this is negative definite. On ${\mathfrak{sl}}_2(\mathbb{R})$ the basis $h,e+f,e-f$ has a diagonal Gram matrix with entries $8,8,-8$, so the signature of a quadratic form is $(2,1)$. A Lie algebra isomorphism preserves the Killing form and therefore its signature.

A real split semisimple Lie algebra has a Cartan subalgebra whose Adjoint representation of a Lie algebra is simultaneously diagonalizable over $\mathbb{R}$, so its root-space decomposition is defined over $\mathbb{R}$. The example ${\mathfrak{sl}}_2(\mathbb{R})$ is split: the diagonal Cartan subalgebra $\mathbb{R}h$ has eigenvalues $0,2,-2$ and real root spaces $\mathbb{R}e,\mathbb{R}f$. The example $\mathfrak{su}(2)$ is not split. Invariance makes every $\mathrm{ad}x$ skew-adjoint for the positive definite inner product $-B$, so its eigenvalues are purely imaginary. If it were diagonalizable over $\mathbb{R}$, all these eigenvalues would be zero and $\mathrm{ad}x=0$. The center is zero, so only $x=0$ has this property; no nonzero split Cartan subalgebra exists. Thus ${\mathfrak{sl}}_2(\mathbb{R})$ is split and $\mathfrak{su}(2)$ is not.

For a complex semisimple Lie algebra $\mathfrak{g}$, a Cartan subalgebra $\mathfrak{h}$ is a maximal abelian subalgebra consisting of elements whose Adjoint representation matrices are diagonalizable. Equivalently it is a nilpotent self-normalizing Lie subalgebra. The root-space decomposition iswhere the roots are the nonzero weights of that Adjoint representation.

We use these properties of the Killing form $B$: it is nondegenerate on $\mathfrak{g}$ and on $\mathfrak{h}$, it is invariant, distinct root spaces are orthogonal unless their roots sum to zero, and $B$ pairs ${\mathfrak{g}}_{\alpha }$ nondegenerately with ${\mathfrak{g}}_{-\alpha }$. Define $t_{\alpha }$ by $B(t_{\alpha },h)=\alpha (h)$, and choose $e\in {\mathfrak{g}}_{\alpha }$, $f\in {\mathfrak{g}}_{-\alpha }$ with $B(e,f)=1$. Since weights add, $[e,f]\in \mathfrak{h}$, and invariance givesThe nonisotropic root lemma shows $\alpha (t_{\alpha })\ne 0$. Here is its short proof: if this number were zero, the span of $e,f,t_{\alpha }$ would be a solvable Lie algebra with $t_{\alpha }$ central. Apply the Lie theorem to its action on $\mathfrak{g}$. The commutator $\mathrm{ad}{t}_{\alpha }=[\mathrm{ad}e,\mathrm{ad}f]$ would be strictly upper triangular and hence nilpotent. But $t_{\alpha }\in \mathfrak{h}$ makes it diagonalizable. It would therefore be zero, putting $t_{\alpha }$ in the zero center of a Lie algebra of $\mathfrak{g}$, contrary to its definition. SetThenso their span is the sl2 subalgebra associated with a root.

The abstract reduced crystallographic root system axioms are as follows. In a finite-dimensional real inner product space $E$, the set $R$ is finite, consists of nonzero vectors and spans $E$; for every $\alpha \in R$, one has $R\cap \mathbb{R}\alpha =\{\alpha ,-\alpha \}$; the root reflection $s_{\alpha }(\beta )=\beta -2(\beta ,\alpha )\alpha /(\alpha ,\alpha )$ preserves $R$; and $2(\beta ,\alpha )/(\alpha ,\alpha )$ is an integer for every pair of roots. We verify the positive-definite real form as well as these axioms, rather than assuming the complex Killing form is already positive.

First $R$ is finite and has no zero element by its definition. The roots span ${\mathfrak{h}}^{\ast }$ over $\mathbb{C}$: any $h\in \mathfrak{h}$ annihilated by all roots commutes with the whole root-space decomposition and is central, hence zero. Therefore the $t_{\alpha }$, and also the $H_{\alpha }$, span $\mathfrak{h}$ over $\mathbb{C}$. For every root $\beta$, the classification of finite-dimensional sl2 representations applied to the Adjoint representation of the root subalgebra gives $\beta (H_{\alpha })\in \mathbb{Z}$. Put ${\mathfrak{h}}_{\mathbb{R}}={\mathrm{span}}_{\mathbb{R}}\{H_{\alpha }:\alpha \in R\}$. Every root takes real values on this space, andThe strict inequality follows because the roots span ${\mathfrak{h}}^{\ast }$. This also shows that the complexification of ${\mathfrak{h}}_{\mathbb{R}}$ injects into $\mathfrak{h}$: an equality $h_1+i{h}_2=0$ with real $h_j$ would contradict positivity of $B(h_1,h_1)$ and $B(h_2,h_2)$. Since its complex span is all of $\mathfrak{h}$, it is a real form. Moreover $B(H_{\alpha },H_{\alpha })=4/\alpha (t_{\alpha })>0$, so $t_{\alpha }$ is a real scalar multiple of $H_{\alpha }$. The dual inner product thus makes $E={\mathrm{span}}_{\mathbb{R}}R$ a Euclidean space, as in the Euclidean subspace of a Cartan subalgebra.

To prove reducedness without assuming it, consider the root-subalgebra modulewith absent root spaces understood to be zero. Its $H_{\alpha }$ weights are even, so every nontrivial Irreducible Lie algebra representation in it has even positive highest weight and one-dimensional weight-zero space. The action of $X_{\alpha }$ on its weight-zero space $\mathfrak{h}$ has image exactly $\mathbb{C}{X}_{\alpha }$, of dimension one. Therefore there is precisely one nontrivial irreducible summand, the already embedded adjoint ${\mathfrak{sl}}_2$ module of highest weight $2$. Thus $\dim {\mathfrak{g}}_{\alpha }=1$ and $2\alpha \notin R$. If $\beta =c\alpha$ is any root on the same real line, the integral numbers $\beta (H_{\alpha })=2c$ and $\alpha (H_{\beta })=2/c$ have product $4$. Hence $c$ is one of $\pm \frac{1}{2},\pm 1,\pm 2$; the half and double cases are excluded by applying the preceding argument to the appropriate root. This proves the root-space reducedness lemma and $R\cap \mathbb{R}\alpha =\{\pm \alpha \}$.

For a root $\beta$ not parallel to $\alpha$, the sum of root spaces ${⨁}_{j\in \mathbb{Z}}{\mathfrak{g}}_{\beta +j\alpha }$ is stable under the root ${\mathfrak{sl}}_2$. Its integer $H_{\alpha }$ weights are symmetric under sign in each irreducible summand. Therefore the weight $-\beta (H_{\alpha })$ also occurs, at the root $\beta -\beta (H_{\alpha })\alpha$. The Killing form normalization givesso this root is exactly $s_{\alpha }(\beta )$. For $\beta =\pm \alpha$ the reflection just swaps the two roots. This proves reflection invariance and the Cartan integer condition. All axioms of the reduced crystallographic root system have now been verified.

The special orthogonal group in five dimensions isIts Lie algebra consists of real skew-symmetric matrices. There are $5\cdot 4/2=10$ independent entries above the diagonal, so $\dim SO(5)=10$. Equivalently, the orthogonality equations impose fifteen independent constraints on twenty-five matrix entries; the determinant condition chooses a component without changing the dimension.

Fix the fifth coordinate. The matrices $\mathrm{diag}(S,1)$, $S\in SO(4)$, form an explicit subgroup. Under this subgroup the defining vector space splits as ${\mathbb{R}}^4\oplus \mathbb{R}{\mathbf{e}}_5$, so its branching rule is $5\downarrow SO(4)=4\oplus 1$. An element of the so5 Lie algebra can be written uniquely asConjugation by $\mathrm{diag}(S,1)$ sends $B$ to $SB{S}^{-1}$ and $w$ to $Sw$. The first summand is the six-dimensional Adjoint representation of a Lie algebra of $\mathfrak{so}(4)$, and the second is its four-dimensional vector representation. Hence the SO5 to SO4 branching gives

For the left SU(2) subgroup of SO(4), identify ${\mathbb{R}}^4$ with the quaternions. Left multiplication by a unit quaternion is a real orthogonal transformation and gives an embedded SU(2) group. More generally, $q\mapsto aq{b}^{-1}$ gives the double cover $SU(2{)}_L\times SU(2{)}_R\to SO(4)$ with kernel $\{(1,1),(-1,-1)\}$. After complexifying, the vector representation is $(2,2)$ and the Adjoint representation is $(3,1)\oplus (1,3)$. Restricting to the left factor turns the right factor into a multiplicity space. ThereforeThese are decompositions into complex irreducible representations; the real $4$ is the underlying real representation of a quaternionic doublet. Combining the branching rules gives

Write a weight as $\lambda =(x,y)$. The integrality conditions for the B2 root system give $2x\in \mathbb{Z}$ and $y-x\in \mathbb{Z}$. Hence $x=m/2$, $y=m/2+n$, with $m,n\in \mathbb{Z}$. ThusThis is the B2 weight lattice, with an integer square lattice and a second square lattice shifted by $(1/2,1/2)$. The eight roots of a root system areThe short roots lie on the coordinate axes and the long roots on the diagonals. The positive roots for the given simple-root choice are $\alpha$, $\beta$, $\alpha +\beta$, $2\alpha +\beta$.

The integrality conditions determine the weight lattice of the Lie algebra, equivalently of the simply connected Spin group $\mathrm{Spin}(5)$. For the global special orthogonal group $SO(5)$, a $2\pi$ rotation in either coordinate plane is the identity, so a genuine group representation requires integer $x,y$. Thus the half-integer coset contains spin representations that do not descend to $SO(5)$. Both representations requested here have integer weights, so their diagrams are unaffected by this distinction.

The root system of the displayed $SO(4)$ subgroup is $\{\pm (1,1),\pm (1,-1)\}$. The two orthogonal pairs give its two commuting $\mathfrak{su}(2)$ factors. Choose the left factor to have root $\delta =(1,1)$; exchanging the two diagonal pairs exchanges left and right. Its coroot pairs with a weight asThis demonstrates the diagonal-root SU(2) embedding in SO(5) directly. The short-axis root $\alpha$ would instead give $2x$, and therefore a different subgroup: on the vector representation it would produce a triplet and two singlets rather than two doublets and a singlet.

For the vector representation, simultaneously rotate the first and second coordinate planes. Over $\mathbb{C}$, the two planes give opposite pairs of weights, while the fifth coordinate is fixed. Hence its weight diagram iswith every weight multiplicity equal to one. Evaluating $x+y$ gives $+1$ twice, $-1$ twice and $0$ once, exactly two SU(2) representations of dimension two and one singlet.

For the Adjoint representation, the root-space decomposition has one one-dimensional space for each of the eight roots and a two-dimensional zero-weight Cartan subalgebra. ThusThe coroot values $x+y$ have multiplicities $1,2,4,2,1$ at $-2,-1,0,1,2$. One zero-weight state joins the $\pm 2$ states to make a triplet; the $\pm 1$ states form two doublets, leaving three zero-weight singlets. This verifies the earlier branching rule and accounts for all ten dimensions.

The form attached to $V$ is $B_V(x,y)={\mathrm{tr}}_V(xy)$. More generally, for a Lie algebra representation $\rho$, the Trace form of a Lie algebra representation isThe unqualified Killing form is the special case of the Adjoint representation,The distinction matters: a Trace form of a Lie algebra representation can be degenerate even when $\mathfrak{g}$ is semisimple, for example on the trivial Lie algebra representation.

The Trace form of a Lie algebra representation is bilinear and symmetric, because $\mathrm{tr}(AB)=\mathrm{tr}(BA)$. It is an invariant bilinear form on a Lie algebra:This follows by expanding both commutators and cyclically permuting factors under the matrix trace. Equivalently,Its radical of a bilinear form is an ideal of a Lie algebra, since if $B_V(y,-)=0$, then $B_V([x,y],z)=-B_V(y,[x,z])=0$. The Killing form is also preserved by every automorphism of a Lie algebra, because the corresponding adjoint operators are conjugate. On a complex finite-dimensional Lie algebra, the Cartan criterion for semisimplicity says that the Killing form is nondegenerate exactly when the Lie algebra is semisimple. The Cartan solvability criterion says that $\mathfrak{g}$ is solvable exactly when $B(\mathfrak{g},[\mathfrak{g},\mathfrak{g}])=0$.

We next construct the sl2 subalgebra associated with a root. Use the root-space decompositionFor $u\in {\mathfrak{g}}_{\beta }$, $v\in {\mathfrak{g}}_{\gamma }$, invariance of the Killing form givesThus $B({\mathfrak{g}}_{\beta },{\mathfrak{g}}_{\gamma })=0$ unless $\beta +\gamma =0$, and $B({\mathfrak{g}}_{\beta },\mathfrak{h})=0$ for nonzero $\beta$. Nondegeneracy of $B$ on $\mathfrak{g}$ now implies that $-\alpha$ is a root and that $B$ pairs ${\mathfrak{g}}_{\alpha }$ and ${\mathfrak{g}}_{-\alpha }$ nondegenerately.

Nondegeneracy of $B{|}_{\mathfrak{h}}$ defines a unique $t_{\alpha }\in \mathfrak{h}$ byChoose $x\in {\mathfrak{g}}_{\alpha }$ and $y\in {\mathfrak{g}}_{-\alpha }$ with $B(x,y)=1$. Their Lie bracket lies in the zero root space, namely $\mathfrak{h}$, andTherefore $[x,y]=t_{\alpha }$.

The essential nonisotropic root lemma is that $\alpha (t_{\alpha })\ne 0$. Suppose instead that it vanished. Then $[t_{\alpha },x]=[t_{\alpha },y]=0$, so $⟨x,y,t_{\alpha }⟩$ would be a solvable Lie algebra with derived algebra $\mathbb{C}{t}_{\alpha }$. Apply the Lie theorem to its action on $\mathfrak{g}$ by the Adjoint representation. The commutator $\mathrm{ad}{t}_{\alpha }=[\mathrm{ad}x,\mathrm{ad}y]$ is strictly upper triangular in a suitable basis, hence nilpotent. But $t_{\alpha }\in \mathfrak{h}$, so the root-space decomposition makes $\mathrm{ad}{t}_{\alpha }$ diagonalizable. A diagonalizable nilpotent linear map is zero. Thus $t_{\alpha }$ is central in $\mathfrak{g}$. The center of a Lie algebra of a semisimple Lie algebra is zero; equivalently a central element lies in the radical of the Killing form. This forces $t_{\alpha }=0$, contradicting $\alpha \ne 0$.

Writing $c=\alpha (t_{\alpha })$, defineThe root-space decomposition and $[x,y]=t_{\alpha }$ giveThe three vectors are linearly independent because they lie in the distinct summands ${\mathfrak{g}}_{\alpha }$, $\mathfrak{h}$, and ${\mathfrak{g}}_{-\alpha }$. Their span is therefore a copy of the sl2 Lie algebra.

The weight lattice consists of the functionals integral on all coroots. With $H_{\alpha }$ the coroot above, the weight lattice iswhere the fundamental weights satisfy ${\omega }_i(H_{{\alpha }_j})={\delta }_{ij}$ for the simple roots ${\alpha }_j$. Here $P$ lies in the real span of the roots, viewed inside ${\mathfrak{h}}^{\ast }$.

The classification of finite-dimensional sl2 representations says that every finite-dimensional complex sl2 Lie algebra representation is a direct sum of irreducibles $L_m$, $m\in {\mathbb{Z}}_{\ge 0}$, on which the standard $H$ has eigenvalues $m,m-2,\dots ,-m$. Restrict any finite-dimensional Lie algebra representation of $\mathfrak{g}$ to each sl2 subalgebra associated with a root. If $v$ has weight $\lambda$, then $H_{\alpha }v=\lambda (H_{\alpha })v$, so $\lambda (H_{\alpha })$ is an integer. Thus every weight lies in $P$. The same restrictions show that the commuting simple coroots act diagonalizably, justifying the simultaneous weight-space decomposition.

For $\mathfrak{sp}(4)$, the roots are $\pm 2{\epsilon }_1$, $\pm 2{\epsilon }_2$, and $\pm {\epsilon }_1\pm {\epsilon }_2$. Work on ${\mathbb{C}}^4$ with the alternating bilinear form having matrixThe symplectic Lie algebra isUsing the matrix units $E_{ij}$, take the Cartan subalgebraDefine ${\epsilon }_i(a_1{h}_1+a_2{h}_2)=a_i$. A regular diagonal element of $\mathfrak{h}$ has centralizer precisely $\mathfrak{h}$, and every element of $\mathfrak{h}$ acts diagonalizably. Thus it is a Cartan subalgebra. The requested Cartan decomposition is the root-space decompositionChoose positive roots ${\epsilon }_1-{\epsilon }_2$, $2{\epsilon }_2$, ${\epsilon }_1+{\epsilon }_2$, $2{\epsilon }_1$. The symplectic root sl2 triple are given explicitly byFor the negative root spaces, use the corresponding $Y_{\alpha }$. These eight root vectors, together with $h_1,h_2$, form a basis: the block description above has dimension $4+3+3=10$, and the ten listed vectors are independent. Finally, the matrix unit identityverifies $[X_{\alpha },Y_{\alpha }]=H_{\alpha }$ for every row. The diagonal differences verify $[H_{\alpha },X_{\alpha }]=2X_{\alpha }$ and $[H_{\alpha },Y_{\alpha }]=-2Y_{\alpha }$. Thus each row supplies a basis of the required sl2 subalgebra associated with a root.

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.

Suppose first that $x\ne 0$, and let $E$ be the real span of the root system, of dimension equal to the rank of a semisimple Lie algebra $\ell$. The images of the roots span $E/\mathbb{R}\alpha$, so select roots ${\beta }_1,\dots ,{\beta }_{\ell -1}$ whose images form a basis of this quotient.

For each $i$, take the highest endpoint ${\gamma }_i^{+}$ of the $\alpha$ root string through ${\beta }_i$, and the highest endpoint ${\gamma }_i^{-}$ of the root string through $-{\beta }_i$. By construction, ${\gamma }_i^{\pm }+\alpha$ is not a root. Moreover ${\gamma }_i^{\pm }\ne -\alpha$, since their images in $E/\mathbb{R}\alpha$ are nonzero. The root-space decomposition and its bracket rule therefore giveThese $2(\ell -1)$ roots are distinct: their quotient images are the two signs of a basis, which are distinct. Their one-dimensional root spaces consequently contribute $2(\ell -1)$ independent vectors to the Lie algebra centralizer.

In addition, the $\ell -1$ dimensional subspace $\ker \alpha \subset \mathfrak{t}$ commutes with $x$, because $[h,x]=\alpha (h)x$. The line $\mathbb{C}x\subset {\mathfrak{g}}_{\alpha }$ also commutes with $x$. These contributions are independent by the root-space decomposition; in particular none of the selected endpoint roots is $\alpha$. Thus the centralizer lower bound for a root vector isIf $x=0$, then $Z_{\mathfrak{g}}(x)=\mathfrak{g}$. The root system contains the $2\ell$ distinct roots $\pm {\alpha }_i$, so $\dim \mathfrak{g}=\ell +|\Phi |\ge 3\ell$, which also proves the desired inequality. The argument includes rank one, where the list of ${\beta }_i$ is empty.

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$.

Use the wiki's Cartan matrix conventionLabel the long simple root first when the lengths differ. The matrix of an irreducible rank-two root system has the form $A=\left(\begin{array}{cc}2& -a\\ -b& 2\end{array}\right)$, where $a,b$ are positive integers. Integrality and the signs follow from the Cartan integers for distinct simple roots, and irreducibility rules out a zero off-diagonal pair. Its positive-definite symmetrization gives $ab<4$, equivalently $ab=4{\cos }^2\theta <4$. Moreover $a/b=\Vert {\alpha }_1{\Vert }^2/\Vert {\alpha }_2{\Vert }^2\ge 1$. Thus $(a,b)=(1,1),(2,1),(3,1)$, giving the entire classification of rank-two root systems relevant to a simple algebra:These correspond to ${\mathfrak{sl}}_3(\mathbb{C})$, ${\mathfrak{so}}_5(\mathbb{C})\cong {\mathfrak{sp}}_4(\mathbb{C})$, and the exceptional algebra ${\mathfrak{g}}_2$. Here $B_2=C_2$ denotes the Isomorphism between so5 and sp4, not an additional case. The disconnected $A_1\times A_1$ system corresponds to a semisimple but nonsimple algebra and is excluded.