This article was accepted into the corpus but its outbound wikilinks were never NER-processed — typical at the deepest BFS hop or when the run's entity cap was reached. No expansion funnel to show.
| real forms of complex semisimple Lie algebra | |
|---|---|
| Name | Real forms of complex semisimple Lie algebra |
| Type | Mathematical concept |
| Field | Mathematics |
| Related | Lie algebra, Lie group, Cartan subalgebra, Dynkin diagram |
real forms of complex semisimple Lie algebra are the real Lie algebras whose complexification yields a given complex semisimple Lie algebra. They play a central role in the interplay among Sophus Lie, Élie Cartan, Hermann Weyl, Claude Chevalley, and later contributors such as Harish-Chandra, Armand Borel, Robert Langlands, and Anthony Vogan. Real forms connect classification results around Dynkin diagrams, structure theory in the style of Cartan subalgebras and root systems, and representation-theoretic frameworks used in the work of David Kazhdan, George Lusztig, and Wilfried Schmid.
A real form of a complex semisimple Lie algebra g_C is a real Lie algebra g_R with g_R ⊗_R C ≅ g_C; classical references include work by Élie Cartan, Killing, and Weyl. Basic invariants include the Killing form, the notion of semisimplicity as in Cartan criterion, and the behaviour of Cartan subalgebras and root systems under conjugation by automorphisms related to Galois elements. The signature of the Killing form and the compactness or noncompactness of maximal compact subalgebras, treated by Hermann Weyl and Harish-Chandra, distinguish inequivalent real forms. Classification exploits correspondence with automorphisms studied by Claude Chevalley and structural decompositions used by Élie Cartan and Tits.
The classification of real forms of a complex semisimple Lie algebra uses Dynkin diagram automorphisms and the theory of Satake diagrams developed with contributions from Ichiro Satake and later refinements by Anthony Vogan. Up to isomorphism real forms correspond to Galois cohomology classes as in the work of Jean-Pierre Serre and Armand Borel. For classical types one obtains families related to SO(n), SL(n), Sp(2n), while exceptional types reference E8, E7, E6, F4, and G2 studied by Elie Cartan and Claude Chevalley. Important classification results appear in the works of Élie Cartan, Armand Borel, Harish-Chandra, and modern expositions by Anthony W. Knapp and David H. Collingwood.
Cartan involutions, introduced by Élie Cartan and formalized in the representation theory of Harish-Chandra, yield Cartan decompositions g_R = k ⊕ p where k is a maximal compact subalgebra such as those associated to compact Lie groups like SU(n), SO(n), Sp(n), and p is the orthogonal complement with respect to the Killing form. The classification of symmetric spaces by Élie Cartan and later work by Alekseevskii and David Cartwright is closely tied to these decompositions. Cartan involutions relate to the structure theory developed in the contexts of Iwasawa decomposition, Bruhat decomposition, and the harmonic analysis of Harish-Chandra modules.
Satake diagrams, due to Ichiro Satake, encode real forms by decorating Dynkin diagrams with involutions and painted nodes; they complement Vogan diagrams introduced by Anthony Vogan for classification in representation-theoretic contexts. These diagrammatic tools connect to the work of Bourbaki, Nikolai Bourbaki, and the exposition of Sigurdur Helgason on symmetric spaces. Satake and Vogan diagrams are used in the description of restricted root systems, ties to Weyl group actions studied by Hermann Weyl, and the parametrization of discrete series representations discovered by Harish-Chandra.
Classical examples include real forms of type A: split real form SL(n,R), compact form SU(n), and unitary groups U(p,q), following classifications used by Élie Cartan and Weyl. Type B and D cases give SO(p,q) families studied in Carl Friedrich Gauss’s era of quadratic forms and later by E. Cartan; type C yields Sp(2n,R) and compact Sp(n). Exceptional real forms include the compact and split real forms of G2, F4, E6, E7, and E8, which were analyzed in the work of Elie Cartan, Claude Chevalley, and Robert Steinberg.
Real forms underpin the classification of unitary representations studied by Harish-Chandra, the Langlands classification by Robert Langlands, and character theory by David Kazhdan and George Lusztig. They appear in the theory of automorphic forms associated to modular and Adelic methods, in the study of discrete series representations for groups like SL(2,R), and in branching laws relevant to Eugene Wigner’s applications in quantum mechanics. Real forms also arise in differential geometry via Riemannian symmetric spaces and in mathematical physics through models studied by Hermann Weyl and Edward Witten.
Constructing real forms uses descent via Galois cohomology as developed by Jean-Pierre Serre and Alexander Grothendieck, explicit involution techniques of Élie Cartan, and forms defined over real numbers studied by Claude Chevalley and Armand Borel. Nonabelian cohomology sets H^1(Gal(C/R), Aut(g_C)) parametrize equivalence classes; explicit computations involve automorphism groups analyzed by Robert Steinberg and diagram automorphisms catalogued by Eugene Dynkin.
Category:Lie algebras