# Rootspaces are $mathop{ad}$ nilpotent

Mathematics Asked on January 1, 2022

$$DeclareMathOperator{ad}{ad}$$
Let $$L$$ be a semisimple Lie algebra with root space $$L=H oplus bigoplus_{alpha in Phi}L_alpha$$. Let $$xin L_alpha$$ with $$alphaneq 0$$. I want to show

Then $$ad x$$ is nilpotent.

I know that if $$alpha, betain H^*$$ then $$[L_alpha,L_beta]subset L_{alpha+beta}$$. I think I should make if we could show that there are only finitely many non-zero $$L_alpha$$, we could use this fact to push $$x$$ into a trivial root space. Then it should follow that $$(ad x)$$ is nilpotent? I am slightly confused as to what it means for $$(ad x)$$ to be nilpotent, is it that $$(ad x)^n$$ is zero, or is it that $$ad^n x$$ is zero?

Note this is a Proposition in Humphreys book but I do not see how it follows directly.

The other two answers give a quick argument for the case at hand. I'd like to point out the following far more general statement and proof (due to N. Jacobson, as far as I know):

Let $$L$$ be a finite-dimensional Lie algebra over a field $$k$$ with $$mathop{char}(k)=0$$, and let $$x in L$$ such that there exists $$h in L$$ with $$[h,x] = rx$$, $$r in k^ast$$. Then $$mathop{ad}_Lx$$ is nilpotent.

Proof: Abbreviate $$Y := frac1rmathop{ad}_Lx, H:=mathop{ad}_L h in End_k(L)$$. Then $$mathop{ad}_{L}x =HY-YH$$, and iteratively (using that $$mathop{ad}_Lx$$ commutes with $$Y$$),

$$(ad_{L} x)^n=(ad_Lx)^{n-1}(HY-YH) = ((ad_Lx)^{n-1}H)Y- Y((ad_Lx)^{n-1}H)$$

for all $$n ge 1$$. So we've written all $$(ad_{L} x)^n in End_k(L)$$ as commutators, which have trace $$0$$; but this famously implies that $$ad_{L} x$$ is nilpotent (for this step we need the restriction on the characteristic though).

Answered by Torsten Schoeneberg on January 1, 2022

I presume we are in the finite-dimensional case, when there are only finitely many non-zero $$L_alpha$$.

$$text{ad}, x$$ is a map from $$L$$ to $$L$$ and then its $$n$$-th power $$(text{ad}, x)^n$$ is also a map from $$L$$ to $$L$$. If $$xin L_alpha$$ and $$yin L_beta$$ then $$(text{ad}, x)(y)=[x,y]in L_{alpha+beta}$$ and then $$(text{ad}, x)^n(y)in L_{nalpha+beta}$$. If $$alphane 0$$ then there is $$n$$ large enough so that $$L_{nalpha+beta}=0$$ for all $$beta$$ with $$L_betane0$$ since there are only finitely many root spaces. Then $$(text{ad}, x)^n(y)=0$$ for all $$yin L_beta$$ and so $$(text{ad}, x)^n(y)=0$$ for all $$yin L$$.

Answered by Angina Seng on January 1, 2022

I would interpret the statement that $${rm ad }x$$ is nilpotent as saying that there exists an $$N$$ such that the linear map $$({rm ad }x)^N : L to L$$ is the zero map.

As you say, that fact that $${rm ad}(x)$$ maps from each $$L_beta$$ to $$L_{alpha + beta}$$, and the fact that there finitely many non-zero $$L_{gamma}$$'s, implies that $$({rm ad }x)^N$$ is zero for sufficiently large $$N$$.

Answered by Kenny Wong on January 1, 2022

## Related Questions

### Can Laplace’s transformation be equal to a Gaussian for any integer?

2  Asked on November 2, 2021

### Is there analytical solution to this heat equation?

1  Asked on November 2, 2021 by titanium

### Proving Threshold Properties of a Dynamic Programming Problem

0  Asked on November 2, 2021

### Assumptions in converting between nominal/effective interest/discount

1  Asked on November 2, 2021 by minyoung-kim

### How can I prove that 3 planes are arranged in a triangle-like shape without calculating their intersection lines?

7  Asked on November 2, 2021

### Detailed analysis of the secretary problem

1  Asked on November 2, 2021 by saulspatz

### Are all finite-dimensional algebras of a fixed dimension over a field isomorphic to one another?

6  Asked on November 2, 2021 by perturbative

### Why does the plot of $f(x)=|cos x|-|sin x|$ look almost piecewise linear?

2  Asked on November 2, 2021 by meowdog

### Excluded middle, double negation, contraposition and Peirce’s law in minimal logic

2  Asked on November 2, 2021 by lereau

### Does iterating the complex function $zmapstofrac{2sqrt z}{1+z}$ always converge?

3  Asked on November 2, 2021 by mr_e_man

### If an infinite set $S$ of positive integers is equidistributed, is $S+S$ also equidistributed?

1  Asked on November 2, 2021 by vincent-granville

### How to evaluate $int frac{dx}{sin(ln(x))}$?

6  Asked on November 2, 2021

### $lfloorfrac12+frac1{2^2}+frac1{2^3}+cdotsrfloor;$ vs $;lim_{ntoinfty}lfloorfrac12+frac1{2^2}+cdots+frac1{2^n}rfloor$

2  Asked on November 2, 2021 by drift-speed

### Finding the Center of Mass of a disk when a part of it is cut out.

6  Asked on November 2, 2021

### Do functions with the same gradient differ by a constant?

4  Asked on November 2, 2021

### What loops are possible when doing this function to the rationals?

2  Asked on November 2, 2021 by user808945

### Is there an explicit construction of this bijection?

2  Asked on November 1, 2021 by gregory-j-puleo

### How can I determine the radius of 4 identical circles inside an equilateral triangle $ABC$?

5  Asked on November 1, 2021 by user766881

### Prove that $tan^{-1}frac{sqrt{1+x^2}+sqrt{1-x^2}}{sqrt{1+x^2}-sqrt{1-x^2}}=frac{pi}{4}+frac 12 cos^{-1}x^2$

4  Asked on November 1, 2021

### Why is my value for the length of daylight wrong?

2  Asked on November 1, 2021 by user525966