22
$\begingroup$

What's the nicest place to see a list of the maximal connected subgroups of compact Lie groups? Is there anything on-line?

I looked at Tits' Bourbaki talk on Dynkin's and others' work, but he admits early on that the theory leads to huge tables, which he isn't going to include. Those are the sort of thing I'd like to see.

$\endgroup$

1 Answer 1

16
$\begingroup$

I guess you are referring to the Tits Bourbaki seminar talk #119 here in the 1950s on subalgebras of semisimple Lie algebras (which translates the original question about compact Lie groups)? That's freely available online, but Dynkin's earlier papers probably aren't (though AMS published them long ago in translation volumes). Apparently Dynkin's tables contained some errors, as tables often do, but there is a useful AMS/IP collection here with corrections and commentaries which may be the best current source for the full story.

I suspect there has been too little incentive for anyone to rework and publish all of Dynkin's arguments and tables, but Gary Seitz (along with Martin Liebeck) did publish a number of long papers generalizing this work to the setting of semisimple algebraic groups (giving a lot of details in a modern style).

ADDED: There are two important (and long) papers by Dynkin in 1952, published by AMS in Series 2, Volume 6 of their translation series (1957), pages 111-378: Semisimple subalgebras of semisimple Lie algebras and Maximal subgroups of the classical groups. The papers contain lots of tables and are related to each other, as discussed by Tits in his Bourbaki talk. The main results are recovered by Seitz (and Liebeck) in their large AMS Memoir papers (such as No. 365 in 1987) treating maximal subgroups of semisimple algebraic groups. But this is a more elaborate framework, getting into prime characteristic as well.

To apply Dynkin's results to compact Lie groups one has to use Weyl's approach: complexify the Lie algebra or in reverse take a compact real form of a complex Lie algebra. Since a compact connected group is semisimple (or trivial) modulo its center and the latter lies in a torus, the semisimple case is crucial for maximal subgroup problems. The relevant maximal subalgebras of an associated complex Lie algebra are then semisimple. Unfortunately, compact groups don't seem to be treated explicitly in the literature (an exposition with some low rank groups as examples would be useful). But studying the group structure directly is too difficult, so the Lie algebra technology over $\mathbb{C}$ is most natural here, including some finite dimensional representation theory.

$\endgroup$
6
  • $\begingroup$ There is this slight (?) annoyance that compact subgroups give reductive subalgebras, not semisimple. Also, his "Maximal subgroups" paper gives maximal complex subgroups, which aren't necessarily reductive, but I guess I just need to take Levi factors therein to see all the maximal reductive subgroups (possibly more than once, and maybe plus some others). $\endgroup$ Apr 4, 2011 at 17:26
  • $\begingroup$ @Allen: See my added comments above. I've never gone through all this literature systematically, but it seems important to reduce the maximal subgroup problem to the case of semisimple (or simple) compact groups. Centers come along for free. $\endgroup$ Apr 5, 2011 at 13:26
  • $\begingroup$ In Memoirs of the AMS, there are two volumes, one of Gary Seitz (for classical groups) and another of Seitz and Donna Testerman (for exceptional groups inclusions). $\endgroup$
    – mathreader
    Jul 25, 2011 at 8:48
  • 2
    $\begingroup$ Here is an update to the nice answer by @Jim Humphreys that is worth to be mentioned for future uses. Section 2 in the article "The length and depth of compact Lie groups" by Burness, Liebeck, and Shalev (Math. Z. doi.org/10.1007/s00209-019-02324-7, Open Access!) gives a concrete classification of maximal closed connected subgroups of compact simple Lie groups. $\endgroup$
    – emiliocba
    Jul 19, 2019 at 13:48
  • 1
    $\begingroup$ Since Numdam reorganised: the Séminaire Bourbaki talk is Tits - Sous-algèbres et algèbres de Lie semi-simples. $\endgroup$
    – LSpice
    Oct 24, 2019 at 17:34

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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