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

1 Asked on December 29, 2020 by user1770201

1 Asked on December 29, 2020 by questions

algebraic topology general topology line bundles vector bundles

1 Asked on December 29, 2020 by fizikus

elliptic equations partial differential equations self adjoint operators sturm liouville

1 Asked on December 29, 2020 by user818748

algebra precalculus alternative proof convexity inequality inequality symmetric polynomials

1 Asked on December 29, 2020 by starry

1 Asked on December 29, 2020 by xxxxxx

1 Asked on December 29, 2020 by broly-29

1 Asked on December 29, 2020 by mamta-kumari

1 Asked on December 29, 2020 by phy_math

generating functions infinite product integer partitions number theory summation

2 Asked on December 28, 2020 by karagum

1 Asked on December 28, 2020 by a-dragon

2 Asked on December 28, 2020 by martin-van-ijcken

0 Asked on December 28, 2020

abstract algebra derived categories derived functors homological algebra limits colimits

1 Asked on December 28, 2020 by samar-imam-zaidi

1 Asked on December 28, 2020 by user856180

4 Asked on December 28, 2020 by happy-turn

1 Asked on December 28, 2020 by praveen

1 Asked on December 27, 2020

1 Asked on December 27, 2020 by sabrinapat

Get help from others!

Recent Questions

- How Do I Get The Ifruit App Off Of Gta 5 / Grand Theft Auto 5
- Iv’e designed a space elevator using a series of lasers. do you know anybody i could submit the designs too that could manufacture the concept and put it to use
- Need help finding a book. Female OP protagonist, magic
- Why is the WWF pending games (“Your turn”) area replaced w/ a column of “Bonus & Reward”gift boxes?
- Does Google Analytics track 404 page responses as valid page views?

Recent Answers

- Peter Machado on Why fry rice before boiling?
- Lex on Does Google Analytics track 404 page responses as valid page views?
- Joshua Engel on Why fry rice before boiling?
- Jon Church on Why fry rice before boiling?
- haakon.io on Why fry rice before boiling?

© 2023 AnswerBun.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP