Past exam of the Lie algebras and representation theory of symmetric groups course of the University of Oxford / 2009 / A / 1

First prove the unlettered common-eigenvector assertion, in the stronger form that some nonzero vector is killed by every operator in $W$. This is the linear form of Engel's theorem.

Induct on $\dim W$, with the zero algebra immediate. If $a^r=0$, the operator $\mathrm{ad}a$ on $\mathrm{End}V$ is nilpotent: left and right multiplication commute, and every term in $(L_a-R_a{)}^{2r-1}$ contains a power of $a$ at least $r$. This argument works in every characteristic.

For a proper Lie subalgebra $H<W$, its action on $W/H$ by brackets is therefore by nilpotent operators. The image of this action has dimension at most $\dim H<\dim W$, so induction gives a nonzero class $w+H$ killed by $H$. Thus the normalizer $N_W(H)=\{w:[w,H]\subseteq H\}$ strictly contains $H$. Choose $H$ maximal proper. Its normalizer must be $W$, so $H$ is an ideal. Moreover $W/H$ has dimension one, since otherwise any one-dimensional subalgebra of the quotient would lift to an intermediate proper subalgebra.

Induction applied to $H$ acting on $V$ makes $V_0=\{v:Hv=0\}$ nonzero. This space is $W$-invariant: for $h\in H,x\in W,v\in V_0$, $h(xv)=x(hv)+[h,x]v=0$. Choose $x$ complementing $H$ in $W$. Its restriction to the nonzero space $V_0$ is nilpotent and has a nonzero kernel. A vector in this kernel is killed by $x$ and $H$, hence by all of $W$. This proves the preliminary assertion, with every common eigenvalue equal to zero.

Now apply it to the adjoint action of $L$ on itself. If $L\ne 0$, its common zero space is the center $Z(L)$, which is therefore nonzero. Every induced adjoint map on $L/Z(L)$ remains nilpotent. Induction on dimension makes that quotient nilpotent. A central extension of a nilpotent Lie algebra is nilpotent: if its lower central series vanishes after projection, the next term lies in the center and the following term is zero. Hence $L$ is nilpotent. The zero algebra is immediate.

Every subalgebra of a nilpotent Lie algebra is nilpotent, since its lower central series is contained term by term in the ambient lower central series.

Conversely, if $L$ were not nilpotent, part (a) would give $x$ for which $\mathrm{ad}x$ is not nilpotent. Over an algebraically closed field, such an endomorphism has a nonzero eigenvalue $\lambda$ and eigenvector $y$. The vectors $x,y$ are independent because $[x,x]=0$ while $[x,y]=\lambda y\ne 0$. Their span is a two-dimensional subalgebra, and its lower central series is $Ky$ at every stage after the first. It is therefore not nilpotent, a contradiction. Thus

Polarizing $[x,[x,z]]=0$ givesLet $T=[x,[y,z]]$. Antisymmetry and this identity give $[y,[z,x]]=T$ and $[z,[x,y]]=T$. The Jacobi identity therefore gives $3T=0$. Since the characteristic is not three, $T=0$ for every triple. ConsequentlyNo division by two was used, so the proof also applies in characteristic two with the usual alternating definition of a Lie bracket.