Enveloping algebra

Enveloping algebra
Name	Enveloping algebra
Field	Mathematics
Introduced	20th century
Related	David Hilbert, Élie Cartan, Sophus Lie, Niels Henrik Abel, Felix Klein

Enveloping algebra The enveloping algebra is an algebraic construction that associates to a nonassociative structure an associative algebra capturing its representation theory and structural invariants. It plays a central role in the interaction among Sophus Lie, Élie Cartan, Hermann Weyl, Nathan Jacobson, and institutions such as University of Göttingen and École Normale Supérieure through the development of Lie theory, representation theory, and ring theory. Historically linked to problems studied at Princeton University, University of Cambridge, and University of Chicago, enveloping constructions connect to major results like the Poincaré–Birkhoff–Witt theorem and later developments in quantum groups by Vladimir Drinfeld and Michio Jimbo.

Definition and basic properties

Given a Lie algebra over a field, the enveloping construction produces an associative algebra containing a copy of the Lie algebra and universal among associative algebras admitting a Lie-homomorphism. Early work by Élie Cartan and Hermann Weyl informed the algebraic formalization that was refined by Nathan Jacobson and contributors at Columbia University and Harvard University. The universal property makes the enveloping algebra a functor from the category of Lie algebras to the category of associative algebras; this functor intertwines with structures appearing in contexts studied at Massachusetts Institute of Technology and Stanford University. Basic properties include filtration compatibility with the Lie bracket and a graded associated algebra isomorphic to a symmetric algebra, a fact central to the work of Pavel Birkhoff and Émile Cartan.

Universal enveloping algebra of a Lie algebra

For a Lie algebra g over a field k, the universal associative algebra U(g) contains g and satisfies that any Lie map from g into an associative algebra A factors uniquely through an algebra homomorphism from U(g) to A. Constructions emerged in expositions from University of Oxford and University of Cambridge seminars and are standard in texts influenced by scholars like Israel Gelfand and André Weil. The universal property connects U(g) to enveloping constructions used in representation theory at Princeton University and in harmonic analysis at University of Paris (Sorbonne). Functoriality with respect to Lie algebra homomorphisms yields induced algebra maps prominent in the work of Claude Chevalley and Armand Borel.

Poincaré–Birkhoff–Witt theorem

The Poincaré–Birkhoff–Witt theorem, proved independently by Henri Poincaré, G. D. Birkhoff, and Jean-Pierre Serre with antecedents in classical analysis by Sofia Kovalevskaya, asserts that the canonical map from the symmetric algebra S(g) to the graded algebra associated to U(g) is an isomorphism. This result, discussed in seminars at École Normale Supérieure and conferences attended by members of London Mathematical Society and American Mathematical Society, provides a basis for U(g) expressed by ordered monomials in a basis of g. Consequences influenced work by Raoul Bott and Raúl Bott-related developments in topology and representation theory pursued at Institute for Advanced Study.

Representations and modules

Modules over the enveloping algebra correspond bijectively to representations of the original Lie algebra, a perspective emphasized in courses at Harvard University and Princeton University. Highest-weight theory for semisimple Lie algebras, developed by Élie Cartan, Wilhelm Killing, and formalized by Harish-Chandra and Bertram Kostant, uses U(g)-modules to classify irreducible representations. Induced modules, Verma modules, and category O arose in the research environment of University of California, Berkeley and Yale University; these constructions are pivotal in the works of Joseph Bernstein, Israel Gelfand, and David Kazhdan.

Hopf algebra structure and coalgebra aspects

The enveloping algebra carries a natural Hopf algebra structure with coproduct, counit, and antipode making it into a cocommutative Hopf algebra; this structure was studied in contexts linked to Pierre Cartier, Alexander Grothendieck, and algebraic groups considered at Institut des Hautes Études Scientifiques. The coalgebra structure encodes tensor product rules for representations, a viewpoint influential for researchers at Max Planck Institute for Mathematics and Russian Academy of Sciences. Duality between group algebras and function algebras on Lie groups, investigated by Hermann Weyl and André Weil, frames enveloping Hopf structures in broader categorical contexts explored by Saunders Mac Lane.

Examples and computations

Classical examples include the enveloping algebras of abelian Lie algebras (isomorphic to polynomial algebras studied at University of Illinois Urbana-Champaign), of sl2 (central to work by Élie Cartan and Harish-Chandra), and of nilpotent Lie algebras that appear in research at Moscow State University and University of Warsaw. Concrete computations for U(sl2) reveal the Casimir element linked to invariant theory pursued by David Hilbert and Emmy Noether. Enveloping algebras of solvable and semisimple Lie algebras connect to classification projects by Wilhelm Killing and representation-theoretic programs advanced at Institute for Advanced Study and École Polytechnique.

Deformations and quantized enveloping algebras

Deformations of enveloping algebras led to quantized enveloping algebras and quantum groups introduced by Vladimir Drinfeld and Michio Jimbo amid research collaborations across RIMS and Cambridge University. These q-deformations possess Hopf algebra structures that deform classical coproducts and relate to braid groups investigated by Vladimir Turaev and to knot invariants studied by Edward Witten. Applications include link to integrable systems developed at Princeton University and conformal field theory pursued at CERN and California Institute of Technology.

Category:Algebra