Lie algebra

Lie algebra
Name	Lie algebra
Type	Algebraic structure
Field	Sophus Lie legacy
Notable structures	Cartan subalgebra, Weyl group, Killing form

Lie algebra A Lie algebra is an algebraic object encoding infinitesimal symmetries and noncommutative composition via a bilinear bracket satisfying antisymmetry and the Jacobi identity. Originating in work of Sophus Lie and developed by Élie Cartan, Wilhelm Killing, Hermann Weyl, and others, the theory links to differential geometry, representation theory, quantum mechanics, and algebraic groups. Finite-dimensional examples include algebras associated to classical groups like GL(n), SL(n), SO(n), and Sp(2n), while infinite-dimensional versions arise in the study of Virasoro algebra, Kac–Moody algebra, and current algebras.

Definition and basic examples

A Lie algebra over a field k is a vector space g with a bilinear bracket [.,.] : g × g → g that is antisymmetric and satisfies the Jacobi identity; classical examples include matrix commutator algebras such as the space of all n×n matrices with [X,Y]=XY−YX giving gl(n), the trace-zero subalgebra sl(n), skew-symmetric matrices yielding so(n), and symplectic matrices yielding sp(2n). Other foundational examples are tangent spaces at the identity of Lie groups like SU(n), SO(3), and Heisenberg group producing the Heisenberg algebra, the algebra of polynomial vector fields related to Witt algebra, and centrally extended versions such as the Virasoro algebra prominent in conformal field theory.

Structure theory (ideals, solvable and semisimple algebras)

Structure theory concerns ideals, derived series, and decompositions: an ideal I ⊂ g provides quotient algebras analogous to normal subgroups in Lie groups; solvable and nilpotent series relate to results of Liu Wei-style classical theorems culminating in the Lie–Kolchin theorem (upper-triangularizability for representations of solvable algebras) and Engel’s theorem characterizing nilpotency. Semisimple algebras are those with zero radical and decompose as direct sums of simple ideals per the Levi decomposition, with classification governed by Cartan subalgebra theory, the nondegenerate Killing form introduced by Wilhelm Killing, and structural results of Élie Cartan.

Representations and modules

Representations realize Lie algebras as endomorphisms of vector spaces; finite-dimensional modules over semisimple algebras are completely reducible by Weyl’s theorem, with highest-weight theory developed by Élie Cartan and Hermann Weyl classifying irreducibles via dominant weights and Dynkin diagram combinatorics. Important constructions include tensor products, symmetric and exterior powers, induced modules from parabolic subalgebras related to Borel subgroup methods, Verma modules tied to Harish-Chandra theory, and category O studied by Bernstein, Gelfand, and Gelfand. Applications link to representations of SU(2), angular momentum in quantum mechanics by Paul Dirac, and branching rules connected to Littlewood–Richardson rule.

Universal enveloping algebra and PBW theorem

The universal enveloping algebra U(g) is a unital associative algebra universal for Lie algebra representations; the Poincaré–Birkhoff–Witt (PBW) theorem ensures a canonical graded isomorphism between the symmetric algebra S(g) and gr U(g), originally developed by I. P. Birkhoff, Ernest V. B. Kirwan contexts, and related historical attributions including Mikhail Poincaré. The center of U(g) and Harish-Chandra isomorphism play a role in representation theory for semisimple Lie algebras, while primitive ideals connect to the orbit method of Alexandre Kirillov and geometric representation frameworks such as the study of D-modules by Joseph Bernstein and Alexander Beilinson.

Classification of finite-dimensional Lie algebras (root systems, Dynkin diagrams)

Simple complex finite-dimensional Lie algebras are classified by root systems and associated Dynkin diagrams: the infinite families A_n, B_n, C_n, D_n and exceptional types G_2, F_4, E_6, E_7, E_8, following work of Élie Cartan and Killing. Root system combinatorics, Weyl groups introduced by Hermann Weyl, and coroot/weight lattices determine highest-weight modules and integrable representations connected to Chevalley groups, Cartan matrices, and classification results that underpin the structure of algebraic groups and finite simple groups akin to constructions used by Claude Chevalley and G. Higman.

Cohomology, extensions, and deformations

Lie algebra cohomology, introduced by Claude Chevalley and Samuel Eilenberg, computes obstructions to extensions and classifies central extensions via H^2(g, k); the theory relates to group cohomology in work of Shay Bilal-style developments and to deformation theory initiated by Gerstenhaber. Formal deformations connect to Kontsevich’s deformation quantization program, while Chevalley–Eilenberg complexes feed into the study of characteristic classes of principal bundles for groups like SO(n) and anomalies in quantum field theories studied by Edward Witten. Cohomological methods also classify derivations and outer automorphisms relevant to moduli of algebraic structures and to rigidity results proven by Nijenhuis and Richardson.

Category:Algebra