Killing form of nilpotent lie algebra

[jostpuur]

The problem statement

Let \mathfrak{g} be a nilpotent Lie algebra. Prove that the Killing form of \mathfrak{g} vanishes identically.

The attempt 1

\mathfrak{g} itself is a solvable ideal, so \textrm{rad}(\mathfrak{g})=\mathfrak{g} and \mathfrak{g} is not semisimple. By Cartan's criterion the Killing form is degenerate, and there exists non-zero X\in\mathfrak{g} so that

<br /> \textrm{tr}(\textrm{ad}_X\textrm{ad}_Y)=0,\quad\forall Y\in\mathfrak{g}.<br />

This does not yet prove that the Killing form would vanish identically, but only that some rows vanish. The natural way to proceed seems to be by induction and using the quotient space \mathfrak{g}/\langle X\rangle, but this doesn't necessarily make sense because there doesn't seem to be any reason to believe that \langle X\rangle would be an ideal in \mathfrak{g}.

The attempt 2

Define

<br /> \mathfrak{h}=\{X\in\mathfrak{g}\;|\;\exists Y\in\mathfrak{g},\; \textrm{tr}(\textrm{ad}_X\textrm{ad}_Y)\neq 0\}.<br />

We want to prove \mathfrak{h}=\{0\}. If it turned out that \mathfrak{h} is a subalgebra, then the proof would be done. If it was a non-zero subalgebra, then it would be a non-zero nilpotent Lie algebra, and hence not semisimple, but it has a non-degenerate Killing form, in contradiction with the Cartan's criterion.

Unfortunately I don't know if the \mathfrak{h} defined like this is a subalgebra. If X_1,X_2\in\mathfrak{h} are arbitrary, we would need to find Y\in\mathfrak{g} so that

<br /> \textrm{tr}(\textrm{ad}_{[X_1,X_2]}\textrm{ad}_Y)\neq 0.<br />

We know there exists Y_1,Y_2\in\mathfrak{g} so that

<br /> \textrm{tr}(\textrm{ad}_{X_k}\textrm{ad}_{Y_k})\neq 0,\quad k=1,2,<br />

but there still does not seem to be an obvious way to find Y.

 

[lucky6]

Probably too late for answer, but still i thought i should try.

I think the solution is the first you wrote.

Let L be the algebra and k(x,y) be the killing form, it holds k([x,y],z)=k(x,[y,z]). we define K={x in L s.t. k(x,y)=0 for any y in L}. Then K is an ideal of L because for any y,z in L an x in K we have k([x,y],z)=k(x,[y,z]), so [x,y] is in K.

Then you can take L/K and continue by induction.

 

[Landau]

Doesn't this follow directly from the definition?

[ad(x)ad(y)]^n maps into L^{2n} (or some power like that*). So if L is nilpotent, then so is ad(x)ad(y). (for any x,y)

* L^k=[L,L^{k-1}], the lower central series.