Skip to main content
5 of 5
Oops, missed a comma
LSpice
  • 12.9k
  • 4
  • 45
  • 69

To supplement what Francois Ziegler says, I'd point out that the structure of semisimple complex Lie groups has been developed piecemeal over a century or so. The basic results on nilpotent elements in the Lie algebra are by now fairly old, but refinements continue to be made. The "topology" involved in the group centralizers seems to be limited mainly to the study of the component groups: groups of connected components in the centralizer group of a given nilpotent element. These groups have a topological interpretation as fundamental groups, summarized in Chapter 6 of the cited book by Collingwood–McGovern. (Unfortunately, that slim 1993 book has become unaffordably expensive and doesn't exist in all math libraries.)

It should be kept in mind that what Collingwood–McGovern do is mostly not original, so there are older sources in the literature. Moreover, most of the ideas here generalize nicely to semisimple algebraic groups over an algebraically closed field of arbitrary "good" characteristic (sometimes avoiding 2, 3, 5). Here the basic results on centralizers and component groups, though not so explicitly topological, are much the same. Detailed accounts and tables are found in the 1985 book Finite groups of Lie type on finite simple groups by Roger Carter, while a recent AMS monograph by Liebeck and Seitz, Unipotent and nilpotent classes in simple algebraic groups and Lie algebras, goes into considerable detail about the structure of centralizers in all characteristics.

The older ideas involving nilpotent orbits or unipotent classes have continued to be explored in research papers, often in connection with representation theory and algebraic geometry. See for example the rethinking of component groups for unipotent elements (in good characteristic) by McNinch and Sommers in Component groups of unipotent centralizers in good characteristic (Journal of Algebra 260 (2003) 323-337, doi:10.1016/S0021-8693(02)00661-0).

However you approach the nilpotent elements in the Lie algebra, case-by-case work is inevitable: the centralizers aren't as a rule reductive, but on the other hand the number of orbits is always finite. Subregular orbits have been especially well studied, in connection with Dynkin curves and the like in algebraic geometry.

Jim Humphreys
  • 52.9k
  • 4
  • 120
  • 240