Lie group theory

Lie group theory
Name	Lie group theory
Field	Mathematics
Introduced	19th century
Key people	Sophus Lie; Wilhelm Killing; Élie Cartan; Hermann Weyl; Nathan Jacobson

Lie group theory is the mathematical study of continuous symmetry embodied by differentiable manifolds endowed with group structure. It connects topology, differential geometry, and algebra through a synthesis developed by Sophus Lie in the 19th century and expanded by Élie Cartan and Hermann Weyl, yielding tools central to modern University of Göttingen, Princeton University, and IHÉS-era research. The subject underpins major advances in Klein's Erlangen Program, the classification programs of Wilhelm Killing and Élie Cartan, and the quantum-era work of Paul Dirac and Eugene Wigner.

Definition and Basic Properties

A Lie group is a smooth manifold G equipped with a group operation for which multiplication and inversion are smooth maps; this definition was formalized in the work of Sophus Lie and systematized in texts from Élie Cartan and Hermann Weyl. Basic structural properties include connectedness, compactness, and simple-ness, each studied extensively at institutions such as University of Leipzig and University of Paris (Sorbonne). Topological invariants like fundamental group and covering spaces feature in classification efforts related to Élie Cartan's method of moving frames and constructions by Weyl; analytic properties involve one-parameter subgroups linked to flows studied in the context of Ludwig Sylow-style decomposition theorems and later generalizations by Nathan Jacobson. Standard theorems include existence and uniqueness of Haar measure (proved using techniques from André Weil and John von Neumann), the closed subgroup theorem, and structure theorems for compact and connected groups developed in seminars at Institute for Advanced Study and École Normale Supérieure.

Lie Algebras and the Lie Correspondence

Associated to every Lie group G is its Lie algebra g, a finite-dimensional vector space equipped with a Lie bracket capturing infinitesimal commutators; this correspondence was crystallized by Sophus Lie and later axiomatized by Wilhelm Killing and Élie Cartan. The exponential map connects g and G locally; its properties were analyzed in foundational papers from University of Göttingen and refined in the representation-theory work of Hermann Weyl and Harish-Chandra. The correspondence underlies classification via root systems and Cartan subalgebras, concepts developed by Élie Cartan alongside contributions from Wilhelm Killing and later formalized in the work of Killing's contemporaries at École Normale Supérieure. Lie algebra cohomology, introduced in the contexts of seminars at Institute for Advanced Study and Harvard University, informs extensions and deformation theory as in studies by Nathan Jacobson and Gerald Hochschild.

Examples and Classification

Classical examples include matrix groups such as general linear groups GL(n), special linear groups SL(n), orthogonal groups O(n), special orthogonal groups SO(n), and unitary groups U(n) and SU(n), all historically investigated in seminars at University of Göttingen and ETH Zurich. Exceptional families—G2, F4, E6, E7, E8—were discovered in the classification programs of Wilhelm Killing and Élie Cartan and later explored in depth at Cambridge University and Princeton University. Cartan’s classification organizes simple Lie algebras via Dynkin diagrams, a combinatorial device whose systematic study became central in the work of Claude Chevalley and later in the representation programs at Institute for Advanced Study. Local and global classifications separate into compact, noncompact, semisimple, solvable, and nilpotent types, with seminal examples tied to research groups at University of Paris (Sorbonne) and Harvard University.

Representation Theory

Representation theory analyzes homomorphisms from Lie groups or Lie algebras into linear groups, an area developed by Hermann Weyl, Harish-Chandra, and Eugene Wigner with major contributions coming from seminars at Institute for Advanced Study and Princeton University. Highest-weight theory classifies irreducible representations for semisimple Lie algebras via dominant weights and Weyl groups, topics advanced by Harish-Chandra and Claude Chevalley. Unit representations, Peter–Weyl theorem, and the Plancherel formula connect harmonic analysis on compact and noncompact groups; these were central themes in the work of Salomon Bochner and Israel Gelfand at Stanford University and Moscow State University. Category-theoretic and geometric approaches, such as Beilinson–Bernstein localization and the geometric Satake correspondence, owe lineage to research groups at University of Chicago and Harvard University.

Homogeneous Spaces and Group Actions

Homogeneous spaces G/H arise when a Lie group G acts transitively on a manifold with stabilizer H; foundational analyses were pursued by Élie Cartan and later studied in geometry seminars at École Normale Supérieure and University of Göttingen. Symmetric spaces, studied extensively by Élie Cartan and later classified through work at Institute for Advanced Study, play a central role in differential geometry and number theory in collaborations involving Armand Borel and Harish-Chandra. Principal bundles and connections link to gauge theories developed at CERN and Princeton University, while orbit method perspectives were championed by Alexandre Kirillov and furthered at Moscow State University and Yale University.

Applications in Geometry and Physics

Lie group theory underpins modern differential geometry, influencing the development of curvature and holonomy theories pursued at École Normale Supérieure and University of Paris (Sorbonne). In theoretical physics, continuous groups organize conservation laws and particle classifications in the work of Noether, Paul Dirac, and Murray Gell-Mann; gauge theories and the Standard Model employ SU(3)×SU(2)×U(1) constructions central to research at CERN and SLAC National Accelerator Laboratory. General relativity and spacetime symmetries involve Lorentz and Poincaré groups, topics treated in the lectures of Albert Einstein and developed by postwar researchers at Princeton University and Caltech. Recent interdisciplinary programs in geometric representation theory and quantum groups, pursued at Institute for Advanced Study and IHÉS, continue to link Lie group methods to string theory, condensed-matter physics, and number-theoretic problems explored in collaborations with Institute for Mathematical Sciences (IMSc) and Max Planck Institute for Mathematics.

Category:Lie groups