Codex @codex  0

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.

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: