Welcome to MathOverflow

Question

2

4

Is there a classification of embeddings of SL_2 into SP_6 as algebraic groups over Q and R respectively?

see also the link:mathoverflow.net/questions/36762,

edited Sep 1 2010 at 12:52

asked Aug 31 2010 at 10:14

TOM
552●1●8

2

It would help to add a link to your earlier question mathoverflow.net/questions/36762, since the new one asks for a further refinement. To adapt to the groups over the rationals or reals, you probably need to exploit the existence of integral forms for the groups (and their Lie algebras) along with the exponential map. – Jim Humphreys Aug 31 2010 at 15:24

Richard Borcherds · Accepted Answer · 2010-08-31 12:08:57Z UTC

5

You probably want the Jacobson–Morozov theorem, which says that homomorphisms of the Lie algebra sl₂ over a field of characteristic 0 to a semisimple Lie algebra g can be classified in terms of the nilpotent elements of g. More precisely, if e, f, h, is the usual basis of sl₂ then you can choose the image of e to be any nilpotent element of g, and the images of f and h are then determined up to conjugation by the centralizer of e.

For details see Jacobson's book on Lie algebras.

answered Aug 31 2010 at 12:08

Richard Borcherds
14.1k●2●54●82

in the case of Q ,the homomorphisms between groups is characterized by homomorphisms between lie algebra ? – TOM Aug 31 2010 at 12:49

2

Essentially, at least for simply connected groups. Borel's book on linear algebraic groups should give the exact conditions for this. – Richard Borcherds Aug 31 2010 at 13:18

Thanks you great help – TOM Aug 31 2010 at 13:49

1

There has been helpful discussion of lifting of Lie algebra homomorphisms to simply connected or other groups in an earlier post: mathoverflow.net/questions/36481 – Jim Humphreys Aug 31 2010 at 15:29

1

Assume the base field has characteristic zero. The category of representations of a semisimple Lie algebra is Tannakian, and the algebraic group attached to this category is the simply connected algebraic group with the given Lie algebra. A homomorphism of Lie algebras defines a tensor functor of the Tannakian categories, and hence a homomorphism of the corresponding simply connected algebraic groups. – JS Milne Sep 1 2010 at 13:08

show 1 more comment

Is there a classification of embeddings of SL_2 into SP_6 as algebraic groups over Q and R respectively?

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.