Codex @codex  0

For an ideal of a Lie algebra $I$ and nondegenerate Killing form, invariance makes $I^{\perp }$ an ideal. An element of $I\cap I^{\perp }$ commutes with $I$, so the intersection is an abelian ideal. Abelian ideals lie in the radical of the Killing form, forcing the intersection to vanish. Thus $\mathfrak{g}=I\oplus I^{\perp }$ as commuting ideals. Iterating minimal nonzero ideals gives the direct-sum formulation of a semisimple Lie algebra.

Let ${\hat{T}}_a={\mathrm{ad}}_{T_a}$ on the Lie algebra itself. The Jacobi identity says, for every $X$,Therefore $[{\hat{T}}_a,{\hat{T}}_b]=c_{ab}^c{\hat{T}}_c$, proving that the displayed structure-constant matrices form the Adjoint representation of a Lie algebra.

The bilinear form ${\kappa }_{ab}=\mathrm{tr}({\hat{T}}_a{\hat{T}}_b)$ is the Killing form. It is symmetric by cyclicity of trace. Its invariance follows by expanding the two commutators:In components this is preciselyEquivalently, the adjoint action preserves the bilinear form, so it is an invariant tensor.

The invariant abelian subalgebra is an abelian ideal of a Lie algebra $\mathfrak{a}$. Assume it is nonzero, as required for the conclusion. For $X\in \mathfrak{a}$ and $Y\in \mathfrak{g}$, the map ${\mathrm{ad}}_X{\mathrm{ad}}_Y$ sends $\mathfrak{g}$ into $\mathfrak{a}$, because it is an ideal. It vanishes on $\mathfrak{a}$, because ${\mathrm{ad}}_Y$ preserves the ideal and ${\mathrm{ad}}_X$ kills it. Relative to $\mathfrak{a}$ and a vector-space complement, this map has zero diagonal blocks, so its trace is zero. ThusThis proves that abelian ideals lie in the radical of the Killing form. Choose a nonzero $X=x^a{T}_a$ in the ideal. Then ${\kappa }_{ba}{x}^a=0$ for every $b$, so the coordinate vector $x$ is a nonzero null eigenvector of the Killing matrix. The nonzero-ideal qualification cannot be dropped: the zero ideal is abelian even in a semisimple algebra with nondegenerate Killing form.

Now suppose $\kappa$ is invertible and let $C_{\kappa }={\kappa }^{bc}{t}_b{t}_c$ in any Lie algebra representation. In matrix notation invariance is $A_a^T\kappa +\kappa A_a=0$, where $(A_a{)}^d{}_b=c_{ab}^d$. Multiplying by the inverse form gives $A_a{\kappa }^{-1}+{\kappa }^{-1}{A}_a^T=0$. HenceNo commutativity of the representation matrices has been assumed. This proves the centrality of the quadratic Casimir operator formed with the inverse Killing form. Schur lemma makes it a scalar on every finite-dimensional complex irreducible representation.

For SU(2), make the normalization explicit. In a Hermitian angular-momentum basis with $[J_a,J_b]=i{ϵ}_{abc}{J}_c$, the structure-constant matrices obeyThus $C_{\kappa }=\frac{1}{2}{\sum }_a{J}_a^2$. In the compact anti-Hermitian basis $T_a=-i{J}_a$, the brackets have real structure constants ${ϵ}_{abc}$ and the Killing form of the SU(2) Lie algebra is instead $-2{\delta }_{ab}$; the inverse contraction gives the same $C_{\kappa }$. This sign change is a basis convention, not a different spectrum.

In the complex highest-weight basis $(H,E^{+},E^{-})$ used earlier, the same Killing form and its inverse areConsequentlyOn a highest vector of weight $m=2j$, the ladder calculation gives $E^{+}{E}^{-}v=mv$ and $E^{-}{E}^{+}v=0$. Its Casimir eigenvalue is thereforeCentrality gives the same value throughout the irreducible multiplet. This is the Killing-normalized SU(2) quadratic Casimir; the familiar angular-momentum operator ${\sum }_a{J}_a^2$ has eigenvalue $j(j+1)$ and is twice this inverse-Killing-form contraction.

Use a real Lie algebra convention $[T_a,T_b]=f_{ab}{}^c{T}_c$. Its Adjoint representation of a Lie algebra acts on $\mathfrak{g}$ itself:Linearity is immediate. The Jacobi identity givesso $[{\mathrm{ad}}_X,{\mathrm{ad}}_Y]={\mathrm{ad}}_{[X,Y]}$, the defining Lie algebra representation condition. In the basis $T_b$, its matrix entries areThus the adjoint generators are the structure constants arranged as matrices. The representation has kernel equal to the center of a Lie algebra; it need not be faithful for an arbitrary algebra.

The Adjoint representation of a Lie group is ${\mathrm{Ad}}_g(Y)=gY{g}^{-1}$. It satisfies ${\mathrm{Ad}}_{gh}={\mathrm{Ad}}_g{\mathrm{Ad}}_h$, preserves the identity, and sends inverses to inverse matrices. Differentiating $e^{tX}Y{e}^{-tX}$ gives $[X,e^{tX}Y{e}^{-tX}]$, soConsequently the positive adjoint exponentials furnish the representation on elements $g=e^X$ and their products, and the intrinsic conjugation action defines it globally.

The inverse-conjugation formula in the PDF needs a minus adjoint exponent with this standard definition. Its first-order term is $Y-[X,Y]$, whereas $e^{+{\mathrm{ad}}_X}Y$ has first-order term $Y+[X,Y]$. For example $X=T_1,Y=T_2$ in a nonabelian algebra with $[T_1,T_2]\ne 0$ already distinguishes the two. The inverse conjugation and adjoint antirepresentations identity explains the group-order issue as well: $F(g)={\mathrm{Ad}}_{g^{-1}}$ satisfies $F(gh)=F(h)F(g)$. Retaining the printed inverse conjugation as a left action without this order reversal would not give an ordinary group representation.

The Killing form is the symmetric bilinear formTo prove degeneracy for a non-semisimple Lie algebra, take its nonzero solvable radical and the last nonzero member $\mathfrak{a}$ of its derived series of a Lie algebra. This is a nonzero abelian ideal of a Lie algebra. For $x\in \mathfrak{a}$, ${\mathrm{ad}}_x$ maps $\mathfrak{g}$ into $\mathfrak{a}$ and kills $\mathfrak{a}$. Every ${\mathrm{ad}}_y$ preserves $\mathfrak{a}$. Hence ${\mathrm{ad}}_x{\mathrm{ad}}_y$ maps the full space into $\mathfrak{a}$ and has zero restriction there, so its trace is zero. Thus $B(x,y)=0$ for every $y$. This is the abelian ideals lie in the radical of the Killing form argument, and establishes a nonzero kernel and vanishing determinant.

For a compact real semisimple Lie algebra, the adjoint action is unitary in an invariant positive inner product. Its infinitesimal generators are skew-Hermitian, givingStrictness follows because the adjoint kernel is the zero center. This explains the compactness criterion from the Killing form: “strictly negative” means negative-definite, not that every entry of its matrix is negative.

In the first three-generator example, take columns to be images of the basis $(X,Y,H)$. Direct use of the brackets givesTaking traces of products yields the Killing form for cyclic three-generator bracketsIt is nondegenerate, hence semisimple by the preceding degeneracy result, but it has mixed signature and is not compact. An explicit realization iswhich span the real traceless two-by-two matrices and satisfy exactly these brackets.

Changing the sign of $[X,H]$ changes the first and third adjoint matrices towhile ${\mathrm{ad}}_Y$ is unchanged. Nowthe negative-definite compact case. The basis $X=-i{\sigma }_1$, $Y=-i{\sigma }_2$, $H=-i{\sigma }_3$ realizes it as the real special unitary Lie algebra $\mathfrak{su}(2)$.

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:

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