Codex @codex  0

Let $V$ be a finite-dimensional symplectic vector space over an algebraically closed field of characteristic zero. For $a\in \mathfrak{sp}(V)$, write its Jordan–Chevalley decomposition as $a=S+N$. Applying the symplectic adjoint to this decomposition and using $a^{\ast }=-a$, uniqueness gives $S^{\ast }=-S$ and $N^{\ast }=-N$. Thus both parts belong to the symplectic Lie algebra. The operators $\mathrm{ad}S$ and $\mathrm{ad}N$ commute. The former is diagonalizable on $\mathrm{End}(V)$ in a matrix unit basis for an eigenbasis of $S$, and the latter is a nilpotent linear map, as follows fromThe restrictions to the invariant symplectic Lie algebra retain these properties. Hence these restrictions form the Jordan–Chevalley decomposition of $\mathrm{ad}a$.

If $\mathrm{ad}a$ is diagonalizable, $\mathrm{ad}N=0$. For every $v\in V$, the rank-one map $T_v(w)=\omega (v,w)v$ lies in $\mathfrak{sp}(V)$, since the two terms in $\omega (T_{v}w,u)+\omega (w,T_{v}u)$ cancel by alternation. For $v\ne 0$ its image is $kv$, so commuting with $T_v$ forces $N$ to preserve $kv$. A linear map preserving every line is scalar: compare its action on two linearly independent vectors and on their sum. Since $N$ is a nilpotent linear map, that scalar is zero. Thus $a=S$ is diagonalizable. Conversely, if $a$ is diagonalizable on $V$, its operator commutator action is diagonalizable on $\mathrm{End}(V)$ and therefore on its invariant symplectic Lie algebra. This proves both directions, including $V=0$.

A complex semisimple Lie algebra has an intrinsic Jordan–Chevalley decomposition $x=x_s+x_n$ characterized by $[x_s,x_n]=0$, a diagonalizable Adjoint representation operator $\mathrm{ad}{x}_s$, and a nilpotent Adjoint representation operator $\mathrm{ad}{x}_n$. The Adjoint representation is faithful because the centre is zero. Closure of semisimple matrix Lie algebras are closed under additive Jordan decomposition applied to this faithful representation supplies the parts and their uniqueness. For every finite-dimensional Lie algebra representation $\rho$, the operators $\rho (x_s)$ and $\rho (x_n)$ are the semisimple and nilpotent parts of $\rho (x)$. Thus the decomposition is independent of a matrix embedding; for a nonfaithful representation it passes to the semisimple quotient by its kernel.

This is the multiplicative Jordan–Chevalley decomposition in a linear algebraic group. Every element $g$ of an affine algebraic group has unique commuting semisimple and unipotent parts $g_s,g_u$ such that $g=g_s{g}_u$. The construction agrees with the multiplicative Jordan decomposition in every rational representation.

We use the supplied weight decomposition $V={⨁}_{\lambda \in \Psi (\mathfrak{a})}{V}_{\lambda }$. There is a small distinction to justify: the definition of a toral subalgebra uses the Adjoint representation, while these weight spaces use the defining representation. For the symplectic Lie algebra, adjoint semisimplicity in the symplectic Lie algebra implies that each $a\in \mathfrak{a}$ is diagonalizable on $V$ as well. Here is a direct verification.

Define the symplectic adjoint $a^{\ast }$ by $\omega (av,w)=\omega (v,a^{\ast }w)$. The symplectic Lie algebra condition is $a^{\ast }=-a$. Write the Jordan–Chevalley decomposition in $\mathrm{End}(V)$ as $a=S+N$, with $S$ diagonalizable, $N$ a nilpotent linear map, and $SN=NS$. Uniqueness of the Jordan–Chevalley decomposition, applied to $a^{\ast }=-a$, gives $S^{\ast }=-S$ and $N^{\ast }=-N$. Thus $S,N\in \mathfrak{sp}(V)$. On $\mathrm{End}(V)$, $\mathrm{ad}S$ is diagonalizable by using a matrix unit basis in an eigenbasis of $S$, and $\mathrm{ad}N$ is a nilpotent linear map, sincevanishes for large $m$. These operators commute and preserve $\mathfrak{sp}(V)$, so their restrictions are the Jordan–Chevalley decomposition of $\mathrm{ad}a$. Because $\mathrm{ad}a$ is diagonalizable, its nilpotent part is zero: $\mathrm{ad}N=0$ on $\mathfrak{sp}(V)$.

To conclude that $N=0$ without an assumption on the center of a Lie algebra, observe that each map $T_v(w)=\omega (v,w)v$ lies in $\mathfrak{sp}(V)$. If $v\ne 0$, its image is $kv$, because $\omega$ is a nondegenerate bilinear form. Since $N$ commutes with $T_v$, it preserves $kv$. Hence $Nv\in kv$ for every $v$, forcing $N$ to be a scalar linear map: compare its action on two linearly independent vectors and their sum. A scalar nilpotent linear map is zero. For $V=0$ the assertion is immediate. This proves the needed diagonalizability. Commuting diagonalizable linear maps admit simultaneous diagonalization, giving the displayed weight decomposition.

Now let $v\in V_{\lambda }$ and $w\in V_{\mu }$. For every $a\in \mathfrak{a}$, preservation of the alternating bilinear form givesIf $\lambda +\mu \ne 0$ as a linear functional, choose $a$ on which it is nonzero; then $\omega (v,w)=0$. ThereforeFor $v\ne 0$ in $V_{\lambda }$, the fact that $\omega$ is a nondegenerate bilinear form supplies a $w\in V$ with $\omega (v,w)\ne 0$. Decomposing $w$ into weight spaces, only its $V_{-\lambda }$ component can contribute. Thus $V_{-\lambda }\ne 0$, and $\Psi (\mathfrak{a})=-\Psi (\mathfrak{a})$. The same argument on both sides shows that $\omega :V_{\lambda }\times V_{-\lambda }\to k$ is a perfect pairing, so $\dim V_{\lambda }=\dim V_{-\lambda }$. On $V_0$, the restriction of $\omega$ is a nondegenerate bilinear form that is an alternating bilinear form, so $\dim V_0$ is even.

Choose one representative ${\lambda }_i$ from each pair of nonzero weights of a representation, for $1\le i\le r$. HereThe linear map $\mathfrak{a}\to k^r$ sending $a$ to $({\lambda }_1(a),\dots ,{\lambda }_r(a))$ is injective: an element in its kernel acts by zero on every nonzero weight space, and also on $V_0$, so it is the zero element of $\mathfrak{a}\subseteq \mathrm{End}(V)$. Taking dimensions yieldsThe final inequality follows because each pair contributes at least two to $\dim V=2n$. Equivalently, the nonzero weights of a representation span the dual space ${\mathfrak{a}}^{\ast }$; they need not be linearly independent at this stage.

A complex semisimple Lie algebra has zero centre, so its Adjoint representation is faithful. Its absolute Jordan decomposition is the unique expression $x=x_s+x_n$ with $[x_s,x_n]=0$, $\mathrm{ad}{x}_s$ diagonalizable and $\mathrm{ad}{x}_n$ nilpotent. Existence follows by applying part (ii) to the adjoint embedding, and uniqueness follows from uniqueness of the matrix Jordan–Chevalley decomposition. The representation-compatibility theorem states that for every finite-dimensional Lie algebra representation $\rho$, $\rho (x_s)$ and $\rho (x_n)$ are respectively the semisimple and nilpotent parts of $\rho (x)$. Thus these parts are intrinsic to the Lie algebra, independent of a chosen matrix embedding, and their semisimplicity and nilpotence are preserved in every finite-dimensional representation.

We prove closure using complete reducibility of semisimple Lie algebra representations, rather than assuming that a Lie subalgebra is closed under polynomials in its elements. Write the matrix Jordan–Chevalley decomposition as $X=S+N$. On $\mathrm{End}(V)$, the commutator operator $\mathrm{ad}S$ is diagonalizable: if $S$ has eigenspaces $V_{\lambda }$, then its eigenvalue on $\mathrm{Hom}(V_{\lambda },V_{\mu })$ is $\mu -\lambda$. The operator $\mathrm{ad}N$ is nilpotent: if $N^r=0$, thenThe two operators commute because $[S,N]=0$. Uniqueness of the Jordan–Chevalley decomposition therefore says that $\mathrm{ad}S$ is the semisimple part of $\mathrm{ad}X$. Since a matrix's semisimple part is a polynomial in that matrix, and $\mathfrak{g}$ is invariant under $\mathrm{ad}X$, it follows thatNow regard $\mathrm{End}(V)$ as a Lie algebra representation of $\mathfrak{g}$ under commutators. By complete reducibility of semisimple Lie algebra representations, there is an invariant complement $M$ with $\mathrm{End}(V)=\mathfrak{g}\oplus M$. Write $S=Y+C$, with $Y\in \mathfrak{g}$ and $C\in M$. For $A\in \mathfrak{g}$, the normalization property gives $[C,A]=[S,A]-[Y,A]\in \mathfrak{g}$, while invariance of $M$ gives $[C,A]\in M$. Thus $[C,A]=0$: $C$ commutes with the whole Lie algebra.

Decompose $V={⨁}_j{V}_j$ into irreducible $\mathfrak{g}$-modules. Each $V_j$ is preserved by $X$, hence by its polynomial parts $S,N$, and also by $Y$; therefore it is preserved by $C$. By the Schur lemma, $C{|}_{V_j}=c_{j}I$. A semisimple Lie algebra is a perfect Lie algebra, so every element is a sum of Lie brackets and has trace zero on every finite-dimensional representation. Consequently $\mathrm{tr}(X{|}_{V_j})=\mathrm{tr}(Y{|}_{V_j})=0$. Also $N{|}_{V_j}$ is nilpotent, so it has trace zero; henceThus every $c_j$ is zero, $C=0$, and $S=Y\in \mathfrak{g}$. Finally $N=X-S\in \mathfrak{g}$. We have proved

The Jordan–Chevalley decomposition is characterized byOver $\mathbb{C}$, a semisimple linear operator is a diagonalizable one. These conditions determine the two parts uniquely. Concretely, on the generalized eigenspace for an eigenvalue $\lambda$, the semisimple part is $\lambda I$ and the nilpotent part is $X-\lambda I$; both are polynomials in $X$. To see uniqueness, any commuting candidate parts preserve each generalized eigenspace; diagonalize the proposed semisimple part there, and nilpotence then forces its eigenvalue to be the sole eigenvalue $\lambda$ of $X$ on that space.

For the displayed matrix, $\det (tI-X)=(t-1{)}^2$ andSince $I$ is semisimple and commutes with $N$, the required parts are

Use the same nonsemisimple matrix from part (i) and the one-dimensional Lie subalgebraIt is a Lie subalgebra because $[aX,bX]=0$ for all scalars $a,b$. Its Jordan–Chevalley decomposition has $X_s=I_2$ and $X_n=X-I_2\ne 0$. If $I_2=cX$, comparing off-diagonal entries forces $c=0$, which contradicts the diagonal entries. If $X_n=cX$, taking traces gives $0=2c$, again forcing $c=0$ although $X_n\ne 0$. ThusThe semisimplicity assumption on the Lie algebra in part (ii) is therefore essential.

A linear map $\alpha$ is a nilpotent endomorphism if ${\alpha }^q=0$ for some positive integer $q$, and a semisimple endomorphism if it is diagonalizable over $\mathbb{C}$. Decompose $V$ into its generalized eigenspaces $V_{\lambda }=\ker (\alpha -\lambda I{)}^d$, where $d=\dim V$. Define ${\alpha }_s$ on $V_{\lambda }$ to be $\lambda I$, and set ${\alpha }_n=\alpha -{\alpha }_s$. Then ${\alpha }_s$ is diagonalizable, ${\alpha }_n$ is nilpotent, and both preserve these vector subspaces and commute. ThusFor uniqueness, suppose $\alpha =S+N$ with $S$ semisimple, $N$ nilpotent and $SN=NS$. Both commute with $\alpha$, so preserve each $V_{\lambda }$. On an eigenspace of $S$ of eigenvalue $\mu$ inside $V_{\lambda }$, the map $\alpha$ is $\mu I+N$ and has only the eigenvalue $\mu$. Since the same subspace lies in $V_{\lambda }$, $\mu =\lambda$. Hence $S=\lambda I$ on $V_{\lambda }$, proving $S={\alpha }_s$ and $N={\alpha }_n$. This is the additive Jordan–Chevalley decomposition.

We need a polynomial consequence of this decomposition. Hermite interpolation supplies a polynomial $p$ with $p(\alpha )={\alpha }_s$, by prescribing $p(t)\equiv \lambda (\mathrm{mod}(t-\lambda {)}^d)$ for each eigenvalue. For any endomorphism $T$, its semisimple part can likewise be expressed as a polynomial in $T$ with zero constant term: if zero is an eigenvalue, its interpolation condition already forces this; if not, add the independent condition $p(0)=0$.

On $\mathrm{End}(V)$, the maps $\mathrm{ad}{\alpha }_s$ and $\mathrm{ad}{\alpha }_n$ commute. The first is diagonalizable, with eigenvalues $\lambda -\mu$ on $\mathrm{Hom}(V_{\mu },V_{\lambda })$. The second is nilpotent, sincewhich vanishes for $k\ge 2q-1$ when $N^q=0$. Uniqueness therefore proves adjoint compatibility of additive Jordan decomposition: $\mathrm{ad}{\alpha }_s=(\mathrm{ad}\alpha {)}_s$.

Now assume $\alpha \in M$. The condition $[\alpha ,W]\subseteq U\subseteq W$ implies that both $W$ and $U$ are invariant under $\mathrm{ad}\alpha$, and every polynomial in $\mathrm{ad}\alpha$ with zero constant term maps $W$ into $U$. Define $\beta$ to be multiplication by $\overline{\lambda }$ on $V_{\lambda }$. It commutes with $\alpha$. On $\mathrm{Hom}(V_{\mu },V_{\lambda })$, $\mathrm{ad}\beta$ acts by $\overline{\lambda -\mu }$. Polynomial interpolation on the finite set of differences gives $\mathrm{ad}\beta =q(\mathrm{ad}{\alpha }_s)$ with $q(0)=0$. The preceding paragraph then expresses $\mathrm{ad}\beta$ as a polynomial in $\mathrm{ad}\alpha$ with zero constant term. Consequently $[\beta ,W]\subseteq U$, so $\beta \in M$.

The assumed trace orthogonality nilpotence lemma now follows directly. On $V_{\lambda }$, $\alpha =\lambda I+{\alpha }_n$ and $\beta =\overline{\lambda }I$, while the matrix trace of the nilpotent restriction of ${\alpha }_n$ is zero. HenceEvery summand is nonnegative, so every eigenvalue of $\alpha$ is zero. Its Jordan–Chevalley decomposition therefore has ${\alpha }_s=0$, and $\alpha$ is nilpotent. Notice that neither $U$ nor $W$ was required to be a Lie subalgebra.

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: