Cartan classification

Cartan classification
Name	Cartan classification
Field	Élie Cartan; Lie algebra theory; representation theory
Introduced	1894–1939
Main contributors	Élie Cartan, Hermann Weyl, Nathan Jacobson, Claude Chevalley, Armand Borel, Harish-Chandra
Notable objects	simple Lie algebra, Dynkin diagram, Cartan matrix

Cartan classification describes the complete taxonomy of finite-dimensional complex simple Lie algebras and related structures. It summarizes Élie Cartan's analysis of root systems and Weyl groups, later recast and extended by mathematicians such as Hermann Weyl, Claude Chevalley, and Nathan Jacobson, forming a cornerstone of modern representation theory, algebraic geometry, and mathematical physics. The classification organizes simple Lie algebras into four infinite families and five exceptional types, linked by combinatorial objects such as Dynkin diagrams and Cartan matrices.

Introduction

Cartan's work provided a structural decomposition of complex simple Lie algebras using root systems, Cartan subalgebras, and Weyl groups. The output is a finite list of isomorphism classes indexed by Dynkin diagrams: series A_n, B_n, C_n, D_n and exceptional diagrams E_6, E_7, E_8, F_4, G_2. Later contributors including Élie Cartan, Hermann Weyl, Claude Chevalley, Armand Borel, and Harish-Chandra developed the representation-theoretic and algebraic-group contexts that tied the classification to compact Lie groups, semisimple Lie algebras, and root system combinatorics.

Historical Background

The origins trace to Élie Cartan's seminars and classifications of real forms via symmetric spaces and Cartan involutions, building on foundational work of Sophus Lie and Wilhelm Killing. Cartan's lists of simple Lie groups and simple Lie algebras were refined by Hermann Weyl's theory of characters and highest weights and by Nathan Jacobson's algebraic formulations. The algebraic group perspective was advanced by Claude Chevalley and Armand Borel, while structural theorems were consolidated by Harish-Chandra and codified in texts by James E. Humphreys and Jean-Pierre Serre.

Classification of Simple Lie Algebras

Simple complex Lie algebras are classified by connected Dynkin diagrams. The four infinite families correspond to classical matrix algebras associated to SL, SO, and Sp types: A_n ≅ sl_{n+1}, B_n ≅ so_{2n+1}, C_n ≅ sp_{2n}, D_n ≅ so_{2n}. The five exceptional types E_6, E_7, E_8, F_4, G_2 do not arise from classical matrix constructions and appear in contexts such as the study of E8 lattice, octonion automorphisms, and exceptional algebraic groups studied by Robert Steinberg and John G. Thompson. Fundamental tools include highest-weight theory from Hermann Weyl, complete reducibility results from Weyl's theorem, and structure theory in texts by Helgason, Humphreys, and Jacobson.

Dynkin Diagrams and Cartan Matrices

Dynkin diagrams encode simple roots and angles via nodes and edges; they were systematized in the work of Eugène Dynkin and used by Kostant and Weyl in representation theory. Each diagram yields a generalized Cartan matrix satisfying integrality and symmetrizable conditions familiar from Kac–Moody algebra theory developed by Victor Kac and Robert Moody. The correspondence between Dynkin diagrams, Cartan matrices, and root systems connects to classification results used by Bourbaki in standard references and appears in the study of Weyl group Coxeter presentations first formalized by H. S. M. Coxeter.

Applications and Consequences

Cartan's classification underpins the structure and representation theory of compact Lie groups and algebraic groups such as SL_n, SO_n, and Sp_n, with deep consequences in number theory, automorphic forms via the work of Langlands, and in string theory and Grand Unified Theory models invoking exceptional groups like E8 and E6. In geometry it governs holonomy groups classified by Marcel Berger and influences special holonomy manifolds related to Calabi–Yau manifolds and G2-manifolds. The classification also appears in the study of integrable systems, conformal field theory via affine extensions, and sporadic simple groups studied by John Conway and the Atlas of Finite Groups project.

Generalizations and Related Classifications

Extensions of Cartan's finite classification include infinite-dimensional Kac–Moody algebras classified by generalized Cartan matrices and extended Dynkin diagrams developed by Victor Kac and Robert Moody. Real forms and noncompact classifications involve Vogan diagrams and results by David Vogan and Anthony Knapp. The theory of algebraic groups over finite fields, advanced by Claude Chevalley, Armand Borel, Robert Steinberg, and George Lusztig, yields finite groups of Lie type related to the original classification. Further connections tie to Brauer groups, Tits buildings introduced by Jacques Tits, and exceptional phenomena investigated by Pierre Deligne and André Weil.

Category:Lie algebras