Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

This is a question pertaining to Humphrey's Introduction to Lie Algebras and Representation Theory

Is there an explanation of the lemma in §4.3-Cartan's Criterion? I understand the proof given there but I fail to understand how anybody could have ever devised it or had the guts to prove such a strange statement...

Lemma: let $k$ be alg. closed of caracteristic $0$, $V$ finite dimensional over $k$, $A\subset B\subset \mathrm{End}(V)$ subspaces and $M$ the set of endomorphisms $x$ of $V$ such that $[x,B]\subset A$. Suppose $x\in M$ is such that $\forall y\in M, \mathrm{Tr}(xy)=0$, then $x$ is nilpotent.

The proof uses the diagonalisable$+$nilpotent decomposition, and goes on to show that all eigenvalues of $x$ are $=0$ by showing that the $\mathbb{Q}$ subspace of $k$ they generate has only the $0$ linear functional.

Added: (t.b.) here's the page from Google books for those without access:

Lemma from Humphreys

share|improve this question
    
It would help enormously if you reproduced at least the lemma, even better the proof, so that this question isn't only answerable by people with access to Humphreys. –  Qiaochu Yuan Apr 29 '12 at 9:38
    
Ok ^^ I was hoping to avoid it as I am wriring this from a phone but you're right. –  Olivier Bégassat Apr 29 '12 at 9:41
7  
I included links and an image of the lemma and its proof. I hope that's what you intended. –  t.b. Apr 29 '12 at 9:51
1  
@t.b. That would be lovely, do I have to do something for these to appear in the question? –  Olivier Bégassat Apr 29 '12 at 9:56
1  
I'm not very handy with Lie algebra, but a few things jumped out at me as kind of familiar from associative algebra. $M$ is the largest Lie subring in which $B$ is a Lie ideal. Tr(-,-) is acting like a bilinear form, and this is saying the elements of its kernel are nilpotent. One expects this in associative algebras because the kernel elements are in the Jacobson radical, which is nilpotent in an Artinian algebra. Thanks for your patience with my ramblings. –  rschwieb Apr 29 '12 at 14:13
show 8 more comments

1 Answer 1

This doesn't entirely answer your question but the key ingredients are (1) the rationals are nice in that their squares are non-negative (2) you can get from general field elements to rationals using a linear functional f (3) getting a handle on x by way of the eigenvalues of s.

share|improve this answer
2  
This would make a good comment, but you'd really have to expand this more to be an answer. –  rschwieb Sep 9 '13 at 14:49
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.