Lie group

Lie group
Name	Lie group
Type	Mathematical object
Domain	Sophus Lie's theory

Lie group A Lie group is a mathematical structure combining a smooth manifold with a continuous group law. It serves as a bridge between continuous symmetry in Isaac Newtonian mechanics, the transformation theories of Évariste Galois and Sophus Lie, and modern applications in Albert Einstein's relativity, Paul Dirac's quantum theory, and Hermann Weyl's gauge ideas. Lie groups underpin classification results associated with Wilhelm Killing, Élie Cartan, and later developments by Cartan's school, influencing work in John von Neumann, Hermann Weyl, and Harish-Chandra.

Definition and Basic Properties

A Lie group is defined as a set with a group structure and a smooth manifold structure such that multiplication and inversion are smooth maps; this concept was introduced by Sophus Lie and formalized by Élie Cartan in the early 20th century. Fundamental properties involve connectedness studied by Henri Poincaré and compactness examined by Hermann Weyl and Élie Cartan; other invariants include dimension, fundamental group investigated by Henri Poincaré and M. H. A. Newman, and orientability considered in works by Armand Borel and Raoul Bott. Key structure theorems—such as existence of maximal tori and Levi decomposition—were proved by Hermann Weyl, Élie Cartan, Claude Chevalley, and Armand Borel.

Examples and Classification

Classical examples include matrix groups like Arthur Cayley's general linear group GL(n,R) and special linear group SL(n,R), orthogonal groups arising in Carl Friedrich Gauss's geometry and Jean le Rond d'Alembert's mechanics, unitary groups central to Paul Dirac's quantum mechanics, and symplectic groups tied to William Rowan Hamilton's quaternions and Élie Cartan's work on forms. Compact simple Lie groups were classified by Wilhelm Killing and Élie Cartan into families labeled A_n, B_n, C_n, D_n and exceptional families G_2, F_4, E_6, E_7, E_8; later structural refinements came from Claude Chevalley, Kurt Gödel's contemporaries, and the Bourbaki group including Nicolas Bourbaki. Noncompact real forms and discrete subgroups were studied in the context of André Weil's harmonic analysis and Harish-Chandra's representation theory. Important specific examples: Special Orthogonal Group, Special Unitary Group, Symplectic Group, Heisenberg Group, and matrix groups appearing in Évariste Galois-inspired permutation symmetry contexts used by Emmy Noether.

Lie Algebras and the Exponential Map

Attached to each Lie group is a Lie algebra; foundational algebraic classification was advanced by Wilhelm Killing and Élie Cartan, with further developments by Nathan Jacobson and Claude Chevalley. The Lie algebra encodes infinitesimal generators as in the studies of Sophus Lie and Henri Poincaré and connects to differential operators used by Élie Cartan and Ludwig Schlesinger. The exponential map relates the Lie algebra to the group near the identity; its properties were used in proofs by John von Neumann and in global analysis by M. S. Raghunathan and Raoul Bott. Structural results like the Baker–Campbell–Hausdorff formula and Engel's theorem were proved by mathematicians including Felix Hausdorff, Nathan Jacobson, and Reinhold Baer; notions of solvable and semisimple Lie algebras were organized by Harish-Chandra and Armand Borel.

Representations and Actions

Representation theory of Lie groups developed through the work of Hermann Weyl, Harish-Chandra, George Mackey, and Israel Gelfand, linking to harmonic analysis on André Weil's adele groups and discrete subgroups studied by Atle Selberg. Finite-dimensional representations were classified using highest-weight theory by Hermann Weyl and Élie Cartan; infinite-dimensional unitary representations were systematized by Harish-Chandra and John von Neumann. Induced representation methods were introduced by George Mackey, and geometric representation theory was shaped by Alexander Beilinson and Joseph Bernstein and influenced by the Langlands program formulated by Robert Langlands. Group actions on manifolds are central in works of Marston Morse, Mikhail Gromov, and Raoul Bott and link to equivariant cohomology developed by Bertram Kostant and Susan Tolman.

Topological and Differential Structure

Topological properties such as compactness, connectedness, simple connectedness, and covering space theory were studied by Henri Poincaré, Hurewicz, and Warren Ambrose; classification of compact Lie groups used tools from Armand Borel and Raoul Bott. Differential-geometric aspects—Riemannian metrics invariant under left or bi-invariant actions—were developed by Élie Cartan and Marcel Berger; Cartan connections and principal bundles link to Charles Ehresmann and Shiing-Shen Chern. Homotopy and cohomology of Lie groups entered topology via work of Jean-Pierre Serre, Raoul Bott, and Jean Leray; characteristic classes associated to principal bundles were formalized by Shiing-Shen Chern and Raoul Bott.

Applications and Related Concepts

Lie groups are fundamental in theoretical physics through Albert Einstein's relativity, Paul Dirac's spinors, and Yang–Mills theory of Chen Ning Yang and Robert Mills; gauge theory and the Standard Model employ groups like Special Unitary Group and Special Orthogonal Group which were analyzed by Hermann Weyl and Niels Bohr. In number theory and automorphic forms the Langlands program of Robert Langlands connects Lie groups to L-functions studied by Atle Selberg and André Weil; geometric representation theory ties to the work of Alexander Beilinson and Maxim Kontsevich. Related mathematical concepts include algebraic groups studied by Claude Chevalley, transformation groups in Élie Cartan's differential systems, and quantum groups introduced by Vladimir Drinfeld and Michio Jimbo.

Category:Lie groups