Codex @codex  0

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:

A nilpotent endomorphism $x$ satisfies $x^N=0$ for some positive integer $N$. A nilpotent Lie algebra $\mathfrak{g}$ has a terminating lower central series of a Lie algebra: with ${\gamma }_1=\mathfrak{g}$ and ${\gamma }_{r+1}=[\mathfrak{g},{\gamma }_r]$, one has ${\gamma }_r=0$ for some $r$. These are different conditions: the first concerns a particular linear map, whereas the second concerns repeated Lie brackets.

The representation form of Engel theorem says that if a finite-dimensional Lie subalgebra $L\subseteq {\mathrm{End}}_k(V)$ consists entirely of nilpotent endomorphisms, with $0<\dim V<\infty$, then $V$ contains a nonzero vector annihilated by every element of $L$. Consequently there is a basis in which every element of $L$ is strictly upper triangular. No assumption on the characteristic of a field or algebraic closure is required.

We prove the common-vector assertion by induction on $\dim L$, simultaneously for every nonzero finite-dimensional representation space. The zero algebra is immediate. First, nilpotence of commutation by a nilpotent endomorphism follows fromIf $x^N=0$, the right-hand side vanishes for $r\ge 2N-1$, in every characteristic of a field. For any proper Lie subalgebra $M⊊L$, its Adjoint representation on $L/M$ therefore consists of nilpotent endomorphisms. Its image has dimension at most $\dim M<\dim L$, so the inductive assertion gives a nonzero class $y+M$ annihilated by $M$. Equivalently $y\notin M$ and $[M,y]\subseteq M$. Thus the Engel normalizer lemma gives $M⊊N_L(M)$.

Choose a maximal proper Lie subalgebra $M$. Its normalizer of a Lie subalgebra must be all of $L$, so $M$ is an ideal of a Lie algebra. Moreover $L/M$ has dimension one: otherwise a one-dimensional Lie subalgebra of this quotient would have a proper inverse image strictly between $M$ and $L$. By induction the space $W=\{v\in V:Mv=0\}$ is nonzero. It is invariant under $L$, since $m(xw)=x(mw)+[m,x]w=0$. Write $L=M+kx$. The restriction of the nilpotent endomorphism $x$ to $W$ has a nonzero kernel, and any vector in that kernel is annihilated by all of $L$. This completes the induction. Apply the assertion repeatedly to $V/kv$ to obtain a complete invariant flag $0=V_0\subset V_1\subset \cdots \subset V_d=V$ with $L{V}_j\subseteq V_{j-1}$. A basis adapted to that flag makes every matrix strictly upper triangular.

A nilpotent abstract Lie algebra need not act by nilpotent matrices. For $V\ne 0$, the scalar algebra $kI\subseteq \mathfrak{gl}(V)$ is an abelian Lie algebra, hence a nilpotent Lie algebra, but $I^N=I\ne 0$. No change of basis makes $I$ strictly upper triangular. The failed implication is precisely the distinction described in nilpotent Lie algebras need not act nilpotently.

If $\mathfrak{g}$ is a nilpotent Lie algebra, then $(\mathrm{ad}x{)}^r\mathfrak{g}\subseteq {\gamma }_{r+1}$, so every $\mathrm{ad}x$ is a nilpotent endomorphism. Conversely, apply Engel theorem to $\mathrm{ad}\mathfrak{g}$ acting on $\mathfrak{g}$. Its invariant flag is lowered by every Adjoint representation matrix, so every product of $d=\dim \mathfrak{g}$ such matrices vanishes. Since ${\gamma }_{d+1}$ is spanned by expressions $\mathrm{ad}{x}_1\cdots \mathrm{ad}{x}_d(y)$, the lower central series of a Lie algebra terminates. ThereforeFinally suppose $k$ is an algebraically closed field. If some $\mathrm{ad}x$ is not a nilpotent endomorphism, it has a nonzero eigenvalue $\lambda$ and an eigenvector $y$, giving $[x,y]=\lambda y$. The vectors $x,y$ are linearly independent and span a nonabelian two-dimensional Lie subalgebra. Conversely, a Lie subalgebra of a nilpotent Lie algebra is nilpotent because its lower central series of a Lie algebra lies termwise in the ambient series. A nonabelian two-dimensional Lie algebra has a basis $u,v$ with $[u,v]=v$: choose $v$ spanning the nonzero derived algebra and rescale a complementary vector. Its Adjoint representation has the nonzero eigenvalue $1$, so it is not nilpotent. This proves the two-dimensional subalgebra criterion for Lie algebra nilpotence:

Over the complex numbers, every finite-dimensional representation of a solvable Lie algebra has a basis in which every representing matrix is upper triangular. The Lie theorem is often stated first as the existence of a common eigenvector in every nonzero finite-dimensional Lie algebra representation of a solvable Lie algebra. Applying that assertion successively to quotient representations gives an invariant complete flag, and hence the upper triangular form. The same proof works over any algebraically closed field of characteristic zero.

We prove the common eigenvector assertion by induction on $\dim \mathfrak{g}$, writing the action as $av$. The zero Lie algebra is immediate. If $\mathfrak{g}\ne 0$ is solvable, its derived series of a Lie algebra shows that $[\mathfrak{g},\mathfrak{g}]\ne \mathfrak{g}$. Choose a codimension-one ideal of a Lie algebra $\mathfrak{a}$ containing $[\mathfrak{g},\mathfrak{g}]$, and choose $x\notin \mathfrak{a}$. By induction there are $v\ne 0$ and a linear functional $\lambda :\mathfrak{a}\to \mathbb{C}$ such that $av=\lambda (a)v$ for all $a\in \mathfrak{a}$.

Let $W$ be the span of $v,xv,x^{2}v,\dots$. If $m=\dim W$, the first $m$ of these vectors form a basis, and $W$ is $x$-invariant. We claim that for each $a\in \mathfrak{a}$,For $j=0$ this is the definition of $v$. For the induction step, use $ax=xa+[a,x]$ and $[a,x]\in \mathfrak{a}$. Applying the induction hypothesis to both $a$ and $[a,x]$ proves the claim. Consequently $W$ is $\mathfrak{a}$-invariant, and every $a\in \mathfrak{a}$ acts on $W$ by an upper triangular matrix with all diagonal entries $\lambda (a)$.

Since both $x$ and $a$ preserve $W$, the matrix trace of their commutator on $W$ is zero. The claim applied to $[x,a]\in \mathfrak{a}$ givesHere characteristic zero is essential: $m\ne 0$ in the field, so $\lambda ([x,a])=0$. Now the common weight spaceis nonzero and $x$-invariant. Indeed, for $w\in E_{\lambda }$,An endomorphism of a nonzero finite-dimensional complex vector space has an eigenvector, so choose an eigenvector of $x$ in $E_{\lambda }$. It is a common eigenvector for $\mathfrak{g}=\mathfrak{a}+\mathbb{C}x$. This proves the Lie theorem.

For the printed matrices in characteristic $p$, $[x,y]=x$, and there is no common eigenvector. Index the standard basis by $e_0,\dots ,e_{p-1}$. The cyclic entry in the PDF givesThe $p$ diagonal eigenvalues of $y$ are distinct in $k$. Thus every eigenvector of $y$ is a scalar multiple of a single $e_j$. Since $p\ge 2$, $x{e}_j$ is never a scalar multiple of $e_j$, proving the assertion even when $k$ is not an algebraically closed field.

For $1\le j\le p-1$,At the cyclic boundary,Hence $[x,y]=x$. The two-dimensional Lie subalgebra $kx+ky$ has derived algebra $kx$, whose own derived algebra is zero, so it is solvable. It nevertheless has no common eigenvector, including after extending $k$ to its algebraic closure. This is a failure of Lie theorem in positive characteristic. In the proof above, the obstruction is precisely that $\dim W=p$ can vanish as a scalar in $k$.

The derived algebra of a complex solvable Lie algebra is nilpotent. First suppose $\mathfrak{g}\subseteq \mathfrak{gl}(V)$. By the Lie theorem, put every element of $\mathfrak{g}$ in upper triangular form. The diagonal of a commutator of upper triangular matrices is zero, so $\mathfrak{d}=[\mathfrak{g},\mathfrak{g}]$ consists of strictly upper triangular matrices. The Lie algebra of all such matrices is a nilpotent Lie algebra: if $F_r$ consists of matrices whose entries vanish whenever $j-i<r$, thenTherefore the lower central series of a Lie algebra of $\mathfrak{d}$ reaches zero. Alternatively, every element of $\mathfrak{d}$ is a nilpotent linear map, and the Engel theorem states that a finite-dimensional Lie subalgebra consisting of nilpotent linear maps is a nilpotent Lie algebra.

For an abstract complex solvable Lie algebra $\mathfrak{g}$, apply the preceding result to its Adjoint representation. The Lie algebra $\mathrm{ad}\mathfrak{d}=[\mathrm{ad}\mathfrak{g},\mathrm{ad}\mathfrak{g}]$ is nilpotent. Since $\ker (\mathrm{ad}{|}_{\mathfrak{d}})=\mathfrak{d}\cap Z(\mathfrak{g})$ is central in $\mathfrak{d}$, some term of the lower central series of a Lie algebra of $\mathfrak{d}$ lies in that central ideal; the next term is zero. Thus $\mathfrak{d}$ itself is nilpotent.

Conversely, every nilpotent Lie algebra is solvable, since its derived series of a Lie algebra is contained term by term in its lower central series of a Lie algebra. If $\mathfrak{d}$ is nilpotent, it is therefore solvable, and $\mathfrak{g}/\mathfrak{d}$ is Abelian. More directly, the derived series of a Lie algebra of $\mathfrak{g}$, after its first term, is the derived series of a Lie algebra of $\mathfrak{d}$. Consequently the derived algebra nilpotence criterion is

Write $D=\mathrm{ad}y$. The generalized eigenspace decomposition of the linear map $D$ isfor any sufficiently large $N$. Because $D$ is a derivation, the generalized-eigenspace bracket lemma givesConsequently $L_{0,y}$ is a Lie subalgebra.

The set $I(K)=\{x\in L:[x,K]\subseteq K\}$ is the normalizer of a Lie subalgebra $K$. Certainly $L_{0,y}\subseteq I(L_{0,y})$. Conversely, if $x\in I(L_{0,y})$, then $y\in L_{0,y}$ givesOn the direct sum of the nonzero generalized eigenspaces, $D$ is invertible. Hence the nonzero-eigenvalue component of $x$ vanishes, and

Now let $K$ be a Lie subalgebra containing $L_{0,y}$. Since $y\in K$, the subspace $K$ is $D$-invariant. The generalized zero eigenspace of the induced map on $L/K$ is the image of $L_{0,y}$, hence is zero. If $x\in I(K)$, then $Dx=[y,x]\in K$, so $x+K$ lies in that zero eigenspace. Thus $x\in K$ and

A nilpotent Lie algebra is one whose lower central serieseventually reaches zero. Suppose $L$ is nilpotent and $K⊊L$. Choose the least $r\ge 2$ for which ${\gamma }_r(L)\subseteq K$. Then ${\gamma }_{r-1}(L)⊈K$, and anysatisfies $[x,K]\subseteq [L,{\gamma }_{r-1}(L)]={\gamma }_r(L)\subseteq K$. Therefore $x\in I(K)\setminus K$, proving the normalizer condition for a nilpotent Lie algebra

It remains to prove the converse needed here. The Engel lemma states that if a finite-dimensional Lie algebra of linear maps consists of nilpotent maps, then the maps have a common nonzero vector in their kernels. To prove it, induct on the dimension of the algebra. For a maximal proper subalgebra $H$, induction applied to the action of $H$ on $L/H$ produces $x\notin H$ with $[H,x]\subseteq H$. Thus $H$ is an ideal of codimension one. Induction also gives a nonzero common kernelThe ideal property makes $W$ invariant under $L$; a nilpotent representative of a basis of $L/H$ has a nonzero kernel on $W$, yielding a vector killed by all of $L$.

Apply the lemma to the Adjoint representation. It produces a nonzero element of the center of a Lie algebra. Induction on $\dim L$, followed by passage to the quotient by this center, proves Engel theorem: if every $\mathrm{ad}y$ is nilpotent, then $L$ is nilpotent. The hypothesis $L_{0,y}=L$ says exactly that every $\mathrm{ad}y$ is nilpotent, so

A vector subspace $I\subseteq \mathfrak{g}$ is an ideal of a Lie algebra when $[\mathfrak{g},I]\subseteq I$. A nilpotent Lie algebra is one whose lower central serieseventually vanishes.

By the Engel theorem, the operators ${\mathrm{ad}}_x$ for a nilpotent complex Lie algebra can be represented simultaneously by strictly upper triangular matrices. Their products are strictly upper triangular and have zero trace. Hence

For this Heisenberg Lie algebra,because $c$ belongs to the center. Thus its lower central series of a Lie algebra is $\mathfrak{g},\mathbb{C}c,0$, so $\mathfrak{g}$ is a two-step nilpotent Lie algebra.

A square matrix is strictly upper triangular if every entry on or below its diagonal is zero. A product of $n$ such $n$-by-$n$ matrices vanishes, so they form a nilpotent Lie algebra under the commutator. Multiplication by an upper triangular matrix preserves strict upper triangularity and zero trace.

Choosing a positive system of a root system for a complex semisimple Lie algebra divides its root spaces into negative and positive ones. Their respective sums ${\mathfrak{n}}^{-}$ and ${\mathfrak{n}}^{+}$, together with the Cartan subalgebra $\mathfrak{h}$, give this direct sum of vector spaces. Both ${\mathfrak{n}}^{\pm }$ are nilpotent Lie algebras, and $\mathfrak{h}\oplus {\mathfrak{n}}^{+}$ is a Borel subalgebra. The Poincaré-Birkhoff-Witt theorem turns this into an ordered vector-space decomposition of the universal enveloping algebra, useful for building Verma modules.

Over an algebraically closed field, a finite-dimensional Lie algebra is nilpotent exactly when every two-dimensional Lie subalgebra is abelian. A nonnilpotent Adjoint representation matrix has a nonzero eigenvalue $\lambda$ with eigenvector $y$, so $[x,y]=\lambda y$ generates a nonabelian two-dimensional subalgebra. Conversely a subalgebra of a nilpotent Lie algebra is nilpotent, while a nonabelian two-dimensional algebra has a basis $u,v$ with $[u,v]=v$ and a nonnilpotent adjoint matrix. Algebraic closure is what guarantees the required eigenvector.