Codex @codex  0

For a finite-dimensional Lie algebra over a field of characteristic zero, Cartan's criterion characterizes a solvable Lie algebra by vanishing of its Killing form on $\mathfrak{g}\times [\mathfrak{g},\mathfrak{g}]$, and a semisimple Lie algebra by nondegeneracy of that form. The Cartan solvability criterion and Cartan criterion for semisimplicity state the two distinct tests.

For a finite-dimensional complex Lie algebra $L$, the radical $R$ of its Killing form is a Lie algebra ideal by invariance. For $x,y\in R$, their adjoint actions vanish on $L/R$, so $B_R(x,y)=B_L(x,y)=0$. The Cartan solvability criterion makes the image ${\mathrm{ad}}_R(R)$ solvable; its kernel is the abelian center, so $R$ is solvable. A semisimple Lie algebra has no nonzero solvable ideal, forcing its Killing radical to vanish.

Work in finite dimension over $\mathbb{C}$; the characteristic-zero real version follows by complexification. The Cartan solvability criterion isIts semisimplicity consequence, also often called Cartan's criterion, is $\mathfrak{g}$ is semisimple if and only if its Killing form is nondegenerate. We prove both forms.

The auxiliary results used are as follows. The Lie theorem simultaneously triangularizes every finite-dimensional representation of a complex solvable Lie algebra. The Engel theorem says that a matrix Lie algebra consisting entirely of nilpotent endomorphisms has a common annihilated nonzero vector and a basis making all its matrices strictly upper triangular; in particular it is a nilpotent Lie algebra. Nilpotent means that the lower central series terminates, which implies that the derived series terminates as well. Finally, the Additive Jordan decomposition writes any complex endomorphism uniquely as $x=x_s+x_n$, where $x_s$ is diagonalizable, $x_n$ is nilpotent and they commute. On a generalized eigenspace $V_{\lambda }$, the two parts are $\lambda I$ and $x-\lambda I$, and both are polynomials in $x$. On endomorphisms, $\mathrm{ad}{x}_s$ is diagonalizable, $\mathrm{ad}{x}_n$ is nilpotent, and these are the Jordan parts of $\mathrm{ad}x$: the first assertion follows by splitting into maps between eigenspaces, and the second by expanding repeated commutators with the nilpotent $x_n$.

First prove the linear trace version: if $L\subseteq \mathfrak{gl}(V)$ andthen $L$ is solvable. Fix $x\in [L,L]$ and let $V=⨁V_{\lambda }$ be its generalized eigenspace decomposition. Define $y$ to act on $V_{\lambda }$ by the scalar $\overline{\lambda }$. We do not assume that $y$, $x_s$ or $x_n$ belongs to $L$.

On $\mathrm{Hom}(V_{\mu },V_{\lambda })$, $\mathrm{ad}x$ has the form $(\lambda -\mu )I+N$ with $N$ nilpotent, whereas $\mathrm{ad}y$ is multiplication by $\overline{\lambda -\mu }$. Choose a polynomial $q$ with $q(d)=\bar{d}$ for every occurring eigenvalue difference $d$, and with all its derivatives of positive order up to the relevant nilpotency index zero at $d$. Such a polynomial exists by Hermite interpolation, or the Chinese remainder theorem for the pairwise coprime powers of $(t-d)$. At $d=0$ its value is zero, so $q(0)=0$. Expanding $q(dI+N)$ now givesBecause $x\in L$ and $[L,L]$ is an ideal, every positive power of $\mathrm{ad}x$ sends $L$ into $[L,L]$. The zero constant term therefore gives $[y,L]\subseteq [L,L]$.

Express $x$ as a sum of commutators ${\sum }_j[a_j,b_j]$ with $a_j,b_j\in L$. Cyclicity of trace and the hypothesis implyBut on $V_{\lambda }$, $xy$ has trace $\dim (V_{\lambda })|\lambda {|}^2$, since the nilpotent part has trace zero. Henceforcing every eigenvalue of $x$ to vanish. Thus every member of the derived algebra $[L,L]$ is a nilpotent endomorphism. By the Engel theorem, $[L,L]$ is nilpotent and therefore solvable; its derived series terminates, and adjoining the initial term $L$ shows that $L$ is solvable.

Conversely, if $L$ is solvable, the Lie theorem makes it upper triangular. Commutators of upper-triangular matrices have zero diagonal, and multiplying such a commutator by an upper-triangular matrix still has zero diagonal. Therefore the trace condition holds. Apply this equivalence to $L=\mathrm{ad}\mathfrak{g}$. Its trace pairing is the Killing form, and solvability of its image is equivalent to solvability of $\mathfrak{g}$: the kernel is its abelian centre, so a terminating derived series in the quotient terminates after at most one more step in $\mathfrak{g}$. This proves the solvability criterion.

For the semisimplicity criterion, let $R$ be the radical of the Killing form. Invariance makes $R$ a Lie algebra ideal. For $x,y\in R$, their adjoint actions on $\mathfrak{g}/R$ vanish, so computing trace in a basis adapted to $R$ gives $B_R(x,y)=B_{\mathfrak{g}}(x,y)=0$. The solvability criterion applied to $R$ shows it is a solvable ideal. Thus a semisimple Lie algebra has $R=0$ and a nondegenerate Killing form.

Conversely, any nonzero solvable ideal has a last nonzero term $A$ in its derived series; this is an abelian ideal of $\mathfrak{g}$. For $x\in A$, $y\in \mathfrak{g}$, the map $\mathrm{ad}x\mathrm{ad}y$ sends $\mathfrak{g}$ into $A$ and vanishes on $A$, so has trace zero. Hence $A\subseteq R$. A nondegenerate Killing form therefore rules out nonzero solvable ideals, exactly the definition of semisimplicity.

For classification, nondegeneracy of the Killing form provides the duality and root-space pairings used to extract a reduced crystallographic root system from a semisimple Lie algebra. Classification then reduces to the finite Dynkin diagrams and reconstruction of the Lie algebra from its root data.

A finite-dimensional complex Lie algebra is a semisimple Lie algebra when its solvable radical is zero, equivalently when it has no nonzero solvable ideals. Its Killing form is the symmetric bilinear formThe cyclic trace identity and ${\mathrm{ad}}_{[z,x]}=[{\mathrm{ad}}_z,{\mathrm{ad}}_x]$ giveThus the Killing form is an invariant bilinear form on a Lie algebra. In particular its radical $R=\{x:B_L(x,L)=0\}$ is an ideal.

We supply the trace argument needed for nondegeneracy rather than assuming the Cartan criterion for semisimplicity. The matrix form of the Cartan solvability criterion says: if $A\subseteq {\mathrm{End}}_{\mathbb{C}}(V)$ and $\mathrm{tr}(uv)=0$ for every $u\in [A,A]$, $v\in A$, then $A$ is solvable. To prove this direction, fix $u\in [A,A]$. Let $V={⨁}_{\lambda }{V}_{\lambda }$ be its generalized eigenspace decomposition, and define $s$ to act on $V_{\lambda }$ by the scalar $\overline{\lambda }$. On $\mathrm{Hom}(V_{\mu },V_{\lambda })$, the semisimple part of ${\mathrm{ad}}_u$ has eigenvalue $\lambda -\mu$, whereas ${\mathrm{ad}}_s$ acts by $\overline{\lambda }-\overline{\mu }=\overline{\lambda -\mu }$. Polynomial interpolation on the finitely many eigenvalues, with all derivatives through the sizes of the nilpotent blocks set to zero, therefore givesHere the same difference always has the same conjugate, so the interpolation is consistent; the prescribed zero derivatives remove every nilpotent block. Since ${\mathrm{ad}}_u(A)\subseteq [A,A]$, it follows that $[s,A]\subseteq [A,A]$.

Write $u={\sum }_j[a_j,b_j]$. By cyclicity and the trace hypothesis,On the other hand, $\mathrm{tr}(us)={\sum }_{\lambda }\dim (V_{\lambda })|\lambda {|}^2$. Thus all eigenvalues of $u$ vanish, and every element of $[A,A]$ is nilpotent. The Engel theorem makes $[A,A]$ nilpotent as a Lie algebra, hence solvable; $A/[A,A]$ is abelian, so $A$ is solvable. This is the Conjugate-spectrum proof of Cartan solvability.

Apply this to the Killing radical $R$. For $x,y\in R$, the adjoint actions preserve $R$ and act as zero on $L/R$, because $R$ is an ideal. Computing traces in a basis adapted to $R$ givesThe matrix Lie algebra ${\mathrm{ad}}_R(R)$ consequently satisfies the trace criterion and is solvable. Its kernel is $Z(R)$, an abelian ideal; a central extension of a solvable algebra is solvable. Thus $R$ is solvable. This proves the reusable assertion that the Killing radical is a solvable ideal. Semisimplicity forces $R=0$, and hence $B_L$ is nondegenerate.

A Cartan subalgebra is a nilpotent subalgebra $H$ which is self-normalizing:For a complex semisimple algebra this is equivalently a maximal toral subalgebra. The nilpotent, self-normalizing definition permits a proof of the restricted nondegeneracy without first assuming the toral characterization.

Use the generalized-weight decomposition for a nilpotent Lie algebra for the adjoint action of $H$:For completeness, the stability underlying this decomposition follows directly from nilpotence of $H$. For fixed $h$, every ${\mathrm{ad}}_h$ on $H$ is nilpotent. If $T=\rho (h)$ and $S=\rho (y)$ in a finite-dimensional representation, then $({\mathrm{ad}}_T{)}^{r}S=0$ for sufficiently large $r$. The identityshows that $S$ preserves each generalized eigenspace of $T$. Starting with a basis of $H$, refine these primary decompositions successively; all summands remain $H$-invariant. Each resulting summand has only one eigenvalue for each basis element. The Lie theorem triangularizes the action on that summand, so those eigenvalues extend to a single linear character $\lambda$ on all of $H$. This proves the displayed decomposition and nilpotence of all shifted operators there.

Since $H$ is nilpotent, $H\subseteq L^0$. The space $L^0$ is a subalgebra: repeated use of the derivation rule for ${\mathrm{ad}}_h$ shows that the bracket of two generalized zero-eigenvectors is another such vector. If $L^0/H\ne 0$, the adjoint action of $H$ on this quotient consists entirely of nilpotent maps. The Engel theorem supplies a nonzero coset $x+H$ with $[H,x]\subseteq H$, contradicting self-normalization. Therefore the zero generalized weight space of a Cartan subalgebra is exactly $H$.

Finally, $B_L(H,L^{\lambda })=0$ when $\lambda \ne 0$. Choose $h\in H$ with $\lambda (h)\ne 0$ and put $T={\mathrm{ad}}_h$. On $H$, a power $T^m$ vanishes. On $L^{\lambda }$, $T$ is invertible. For $u\in H$ and $v\in L^{\lambda }$, write $v=T^{m}w$; invariance givesIf $u\in H$ is orthogonal to $H$, it is now orthogonal to every summand of $L$, so nondegeneracy of $B_L$ implies $u=0$. The restriction $B_L{|}_{H\times H}$ is nondegenerate. This establishes the nondegeneracy of the Killing form on a Cartan subalgebra for every Cartan subalgebra, without requiring a chosen root basis.

A finite-dimensional Lie algebra over the complex numbers $L$ is a semisimple Lie algebra when its solvable radical is zero, equivalently when it has no nonzero solvable ideals. Its Killing form isThe cyclic property of the trace makes this bilinear form symmetric and gives its invariance of a bilinear form on a Lie algebra:It follows that $R=\{x:B_L(x,L)=0\}$ is an ideal of a Lie algebra. For $x\in R$, $\mathrm{ad}x$ induces the zero map on $L/R$. Therefore, for $x,y\in R$, the matrix trace splits over the invariant subspace $R$ and the quotient to give $B_R(x,y)=B_L(x,y)=0$. In particular $B_R([R,R],R)=0$. The Cartan solvability criterion implies that $R$ is solvable. Since $L$ is semisimple, $R=0$: the Killing form is nondegenerate.

For completeness, the trace step in the Cartan solvability criterion is precisely the mechanism of the previous solution. For a complex matrix Lie algebra $\mathfrak{a}$ with $\mathrm{tr}(xy)=0$ for $x\in [\mathfrak{a},\mathfrak{a}]$, $y\in \mathfrak{a}$, set $U=[\mathfrak{a},\mathfrak{a}]$ and $W=\mathfrak{a}$. If $\beta \in M$ and $x=[a,b]$, then $\mathrm{tr}(x\beta )=\mathrm{tr}(a[b,\beta ])=0$, since $[b,\beta ]\in U$. Linearity and the trace orthogonality nilpotence lemma show that every member of $U$ is nilpotent. The Engel theorem makes $U$ nilpotent and hence $\mathfrak{a}$ solvable. Apply this to $\mathfrak{a}=\mathrm{ad}R$; the kernel of this Adjoint representation of a Lie algebra is the abelian center of $R$, so $R$ is solvable as claimed.

For an arbitrary complex Lie algebra, a Cartan subalgebra $H$ means a nilpotent Lie algebra that is self-normalizing: $N_L(H)=\{x:[x,H]\subseteq H\}=H$. This definition does not assume that $H$ is abelian. We prove that it is abelian when $L$ is semisimple.

Use the generalized-weight decomposition for a nilpotent Lie algebra for the action of $H$ on $L$. Its zero generalized weight space isWe have $H\subseteq L^0$, since $H$ is nilpotent. If $L^0/H\ne 0$, the Engel theorem gives a nonzero coset annihilated by every $h\in H$. Its representative $x$ satisfies $[H,x]\subseteq H$, contradicting $N_L(H)=H$. Thus $L^0=H$.

For a nonzero generalized weight $\lambda$, choose $h_0\in H$ with $\lambda (h_0)\ne 0$. The operator $\mathrm{ad}{h}_0$ is invertible on $L^{\lambda }$ and nilpotent on $H$. For $h\in H$, $z\in L^{\lambda }$, write $z=(\mathrm{ad}{h}_0{)}^{m}w$ with $m$ large enough that $(\mathrm{ad}{h}_0{)}^{m}h=0$. Invariance of the Killing form givesOn the other hand, $H$ is solvable, so the Lie theorem triangularizes its action on $L$. For $a,b,h\in H$, the matrix $\mathrm{ad}[a,b]$ is strictly upper triangular, while $\mathrm{ad}h$ is upper triangular. Thus $B_L([H,H],H)=0$. Together with $L=H\oplus {⨁}_{\lambda \ne 0}{L}^{\lambda }$, this yields $B_L([H,H],L)=0$. Nondegeneracy gives $[H,H]=0$.

Finally, if $x$ commutes with $H$, it normalizes $H$, hence lies in $H$. Any abelian subalgebra containing $H$ consists of such elements. Thus $H$ is a maximal abelian subalgebra, indeed $C_L(H)=H$.

Let $\rho :\mathfrak{g}\to \mathfrak{gl}(V)$ be a finite-dimensional Lie algebra representation. The form denoted $B_V$ isIt is the Trace form of a Lie algebra representation; the Killing form $B$ without a subscript is specifically the case $V=\mathfrak{g}$, $\rho =\mathrm{ad}$. The distinction matters: the form of the trivial representation cannot detect whether the algebra is semisimple.

Linearity of $\rho$ and trace proves bilinearity, and cyclicity of the trace gives symmetry. With $A=\rho (X)$, $D=\rho (Y)$ and $C=\rho (Z)$, the representation identity givesThus it is an invariant bilinear form on a Lie algebra, and in particular the Adjoint representation preserves the Killing form.

The Cartan solvability criterion has two useful formulations. For a finite-dimensional complex Lie algebra $\mathfrak{g}$,Its matrix version says that a Lie subalgebra $L\subseteq \mathfrak{gl}(V)$ is solvable precisely when $\mathrm{tr}(xy)=0$ for all $x\in [L,L]$ and $y\in L$. We prove the matrix version first, with ordinary trace in $V$.

If $L$ is solvable, the Lie theorem makes all its matrices upper triangular. Their commutators are strictly upper triangular, so multiplying such a matrix by an upper triangular one still has zero diagonal and hence zero trace. This proves the easy direction.

Conversely assume the trace-orthogonality condition and fix $x\in [L,L]$. We show that all eigenvalues of $x$ vanish. Use its Additive Jordan decomposition $x=x_s+x_n$ with $[x_s,x_n]=0$. On the generalized eigenspace $V_{\lambda }$ of $x$, define an auxiliary endomorphism $y$ to be $\overline{\lambda }I$. This $y$ need not be in $L$; we only need control of its commutator with $L$.

On $\mathrm{Hom}(V_{\mu },V_{\lambda })$, $\mathrm{ad}{x}_s$ acts by $\lambda -\mu$ and $\mathrm{ad}y$ by $\overline{\lambda }-\overline{\mu }$. Choose a polynomial $q$ with $q(0)=0$ and $q(\lambda -\mu )=\overline{\lambda -\mu }$ at the finitely many distinct differences. Polynomial interpolation supplies it because equal differences have equal conjugates. Therefore $\mathrm{ad}y=q(\mathrm{ad}{x}_s)$.

The adjoint compatibility of additive Jordan decomposition identifies $\mathrm{ad}{x}_s$ as the semisimple part of $\mathrm{ad}x$. Elementary Jordan–Chevalley decomposition gives $\mathrm{ad}{x}_s=p(\mathrm{ad}x)$ for a polynomial $p$ with $p(0)=0$. Hence $\mathrm{ad}y$ is a polynomial in $\mathrm{ad}x$ with zero constant term. Since $\mathrm{ad}x$ maps $L$ into $[L,L]$ and preserves that Lie algebra ideal, we obtainNo assumption that $x_s$, $x_n$ or $y$ belongs to $L$ was made.

Write $x={\sum }_i[a_i,b_i]$ with $a_i,b_i\in L$. Cyclicity and the assumed orthogonality now giveOn the other hand the nilpotent parts have zero trace on each generalized eigenspace, soThus all $\lambda$ are zero and $x$ is a nilpotent endomorphism. This is the Conjugate-spectrum proof of Cartan solvability.

The permitted Engel theorem, in the form needed here, states: a finite-dimensional Lie subalgebra of endomorphisms in which every element is nilpotent has a nonzero vector annihilated by all its elements, and iteration on quotients makes every element simultaneously strictly upper triangular. Apply it to $[L,L]$. The strictly upper triangular algebra is nilpotent, so $[L,L]$ is a nilpotent Lie algebra and therefore solvable. Since $L/[L,L]$ is abelian, the derived series of a Lie algebra of $L$ terminates too. This proves the matrix criterion.

Apply it to $L=\mathrm{ad}\mathfrak{g}$. The condition on $B$ is exactly the matrix condition on $L$. Thus $\mathrm{ad}\mathfrak{g}$ is solvable. The kernel of $\mathrm{ad}$ is the center of a Lie algebra, which is abelian, so $\mathfrak{g}$ is solvable as well: once the derived series maps to zero it is central, and its next term vanishes. Conversely a solvable $\mathfrak{g}$ has solvable adjoint image, proving the abstract Cartan solvability criterion in both directions.

A finite-dimensional Lie algebra is a semisimple Lie algebra when it has no nonzero solvable Lie algebra ideal, equivalently its solvable radical is zero. Let $R=\mathrm{rad}B=\{x:B(x,\mathfrak{g})=0\}$. Invariance makes $R$ an ideal. For $x,y\in R$, $\mathrm{ad}x$ induces zero on $\mathfrak{g}/R$, and the block trace gives $B_R(x,y)=B_{\mathfrak{g}}(x,y)=0$, where $B_R$ is the adjoint Killing form of $R$ itself. The Cartan solvability criterion therefore makes $R$ solvable. If $\mathfrak{g}$ is semisimple, $R=0$.

Conversely suppose $B$ is a nondegenerate bilinear form. If a nonzero solvable ideal existed, its last nonzero derived term $A$ would be an abelian ideal of $\mathfrak{g}$. For $a\in A$ and $x\in \mathfrak{g}$, the operator $\mathrm{ad}a\mathrm{ad}x$ has image in $A$ and is zero on $A$, so its square and its trace are zero. Thus $B(A,\mathfrak{g})=0$, contradicting nondegeneracy. This is Abelian ideals lie in the radical of the Killing form. We conclude the Cartan criterion for semisimplicity:

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 Cartan solvability criterion states that a finite-dimensional complex Lie algebra $\mathfrak{g}$ is solvable exactly whenwhere $\kappa$ is the Killing form. In the matrix form of the criterion, a Lie subalgebra $\mathfrak{g}\subseteq \mathfrak{gl}(V)$ is solvable iffor all $x\in [\mathfrak{g},\mathfrak{g}]$ and $y\in \mathfrak{g}$.

Invariance of the Killing form givesIf $x\in {\mathfrak{g}}^{\perp }$, the right-hand side vanishes for every $y$, so $[a,x]\in {\mathfrak{g}}^{\perp }$. Thus ${\mathfrak{g}}^{\perp }$ is an ideal.

Let $\mathfrak{h}=\mathrm{ad}({\mathfrak{g}}^{\perp })\subseteq \mathfrak{gl}(\mathfrak{g})$. For $x\in [{\mathfrak{g}}^{\perp },{\mathfrak{g}}^{\perp }]$ and $y\in {\mathfrak{g}}^{\perp }$,The Cartan solvability criterion makes $\mathfrak{h}$ solvable. The kernel of the adjoint map on ${\mathfrak{g}}^{\perp }$ lies in its center and is abelian, so ${\mathfrak{g}}^{\perp }$ is itself solvable. This proves the Solvability of the radical of the Killing form.

The radical ${\mathfrak{g}}^{\perp }=\{x:\kappa (x,\mathfrak{g})=0\}$ of the Killing form is a solvable ideal. Invariance makes it an ideal, and the Cartan solvability criterion applied to its adjoint image proves solvability.

Let $U\subseteq W\subseteq {\mathrm{End}}_{\mathbb{C}}(V)$ be vector subspaces and $M=\{T:[T,W]\subseteq U\}$. If $\alpha \in M$ and $\mathrm{tr}(\alpha \beta )=0$ for all $\beta \in M$, then $\alpha$ is a nilpotent endomorphism.

To prove it, let $\beta$ act by $\overline{\lambda }$ on the generalized eigenspace of $\alpha$ of eigenvalue $\lambda$. Polynomial interpolation on eigenvalue differences, together with adjoint compatibility of additive Jordan decomposition, expresses $\mathrm{ad}\beta$ as a polynomial in $\mathrm{ad}\alpha$ with zero constant term. Since $\mathrm{ad}\alpha$ maps $W$ into $U$ and preserves $U$, this gives $\beta \in M$. Taking the matrix trace on each generalized eigenspace yields $0={\sum }_{\lambda }\dim (V_{\lambda })|\lambda {|}^2$, so every eigenvalue is zero. This is the linear-algebra step behind the Cartan solvability criterion; $U,W$ need not be Lie subalgebras.