Cartan–Weyl theory

Cartan–Weyl theory
Jgmoxness · CC BY-SA 3.0 · source
Name	Cartan–Weyl theory
Field	Mathematics
Subfield	Élie Cartan representation theory, Hermann Weyl Lie theory, Sophus Lie algebras
Introduced	1920s–1930s
Key people	Élie Cartan; Hermann Weyl; Wilhelm Killing; Cartan; Weyl; Killing; Claude Chevalley; Élie Joseph Cartan; Nathan Jacobson; Armand Borel; Harish-Chandra; James E. Humphreys
Main concepts	root system, Weyl group, Cartan subalgebra, Cartan matrix, Dynkin diagram

Cartan–Weyl theory Cartan–Weyl theory is the framework for the structure and representation of semisimple Lie algebras developed by Élie Cartan and Hermann Weyl, connecting root systems, Cartan subalgebras, and Weyl groups. It provides a classification of complex semisimple Lie algebras via Wilhelm Killing's work and later refinements by Claude Chevalley, Armand Borel, and Nathan Jacobson, and underpins representation theory as used by Harish-Chandra, Hermann Weyl (physicist), and modern texts by James E. Humphreys.

Introduction

Cartan–Weyl theory describes semisimple Élie Cartan Lie algebras through decomposition relative to a Cartan subalgebra, employing roots from Wilhelm Killing's investigations, and organizes structure with Dynkin diagram combinatorics developed later by Eugène Dynkin and systematized by Claude Chevalley and Armand Borel. The theory interrelates results of Hermann Weyl on characters and representations, and it influenced classification work by Élie Joseph Cartan in his Paris lectures and by Nathan Jacobson in American algebra. Foundational examples and applications appear in work by Harish-Chandra, Emmy Noether, Felix Klein, and Paul Erdős-adjacent mathematical physics contexts.

Roots and Root Systems

Roots are linear functionals on a Cartan subalgebra discovered in the studies of Élie Cartan and Wilhelm Killing, and root systems were formalized by Eugène Dynkin, Claude Chevalley, and Armand Borel. A root system in a real Euclidean space corresponds to reflection groups of type classified by Élie Cartan and encoded by Dynkin diagrams such as types A, B, C, D, E, F, G studied in work by Hermann Weyl, E. Cartan, and Wilhelm Killing. Root systems satisfy integrality and crystallographic properties used by Claude Chevalley and appear in classical studies by Sophus Lie and Félix Klein; they connect to reflection groups considered by H.S.M. Coxeter and to lattice theory examined by John Conway and N.J.A. Sloane.

Cartan Subalgebras and Cartan Matrix

A Cartan subalgebra, as treated by Élie Cartan and clarified by Nathan Jacobson and Armand Borel, is a maximal toral subalgebra for complex semisimple algebras and yields a root space decomposition central to work by Hermann Weyl and Harish-Chandra. The Cartan matrix, introduced in the classification programs of Wilhelm Killing and formalized by Eugène Dynkin and Claude Chevalley, encodes simple root pairings and leads to Kac–Moody generalizations studied by Victor Kac and Robert Moody. The Cartan matrix entries satisfy constraints used by Armand Borel, Harish-Chandra, and James E. Humphreys in representation and cohomology calculations.

Classification of Semisimple Lie Algebras

Cartan–Weyl classification reduces complex semisimple Lie algebras to direct sums of simple types cataloged by Élie Cartan and later presented via Dynkin diagrams by Eugène Dynkin, yielding families A_n, B_n, C_n, D_n and exceptional types E6, E7, E8, F4, G2. This classification was refined through contributions by Wilhelm Killing, who initiated structure theory, and by Claude Chevalley and Armand Borel, who integrated algebraic group perspectives; subsequent structural work involves Serre, Jean-Pierre Serre, and Pierre Deligne in algebraic and motivic contexts. Connections to algebraic groups studied by Alexander Grothendieck and Michael Atiyah broaden the classification into geometric representation frameworks used by Kazhdan and Lusztig.

Weyl Group and Representation Theory

The Weyl group, emerging from reflection symmetries of root systems in the work of Hermann Weyl and Élie Cartan, controls weight lattices and character formulae; its Coxeter presentation was elaborated by H.S.M. Coxeter and John Conway. Weyl's character formula, proven and extended by Harish-Chandra and developed further by James E. Humphreys and Nathan Jacobson, describes highest-weight representations and links to modular representation theory examined by Jean-Pierre Serre and Robert Steinberg. The representation theory aspects tie to category O techniques by Joseph Bernstein, Israel Gelfand, Vladimir Gelfand, and to geometric representation theory advanced by George Lusztig, Kazhdan, Vladimir Drinfeld, and Alexander Beilinson.

Applications and Examples

Cartan–Weyl structures appear in classical Lie algebras such as sl(n), so(n), and sp(2n) studied by Sophus Lie, Wilhelm Killing, and Élie Cartan; in exceptional algebras including E8 analyzed by John Conway and Graham Higman; and in physical models used by Hermann Weyl (physicist), Paul Dirac, Enrico Fermi, and Murray Gell-Mann in particle physics. Applications extend to algebraic groups of Alexander Grothendieck and Armand Borel, to quantum groups initiated by Vladimir Drinfeld and Michio Jimbo, and to integrable systems considered by Lax and Mikhail Saveliev. Computational and large-scale classifications involve contributions by Robert Wilson, John Conway, and computer-aided work used in enumerations linked to Atlas of Finite Groups projects associated with J. H. Conway and Simon Norton.

Historical Development and Key Results

Cartan–Weyl theory evolved from early structure theory by Wilhelm Killing and classification efforts by Élie Cartan, refined by representation-theoretic results of Hermann Weyl, and consolidated in later decades by Claude Chevalley, Armand Borel, Nathan Jacobson, and Harish-Chandra. Key milestones include Killing's root space observations, Cartan's classification of simple Lie algebras, Weyl's character formula, Dynkin's diagrammatic classification, Chevalley's algebraic group perspectives, and modern advances by Victor Kac on infinite-dimensional extensions and by George Lusztig on character sheaves. Subsequent developments link to algebraic geometry through Alexander Grothendieck, to mathematical physics via Edward Witten, and to categorical representation theory through Maxim Kontsevich and Jacob Lurie.

Category:Lie algebras