affine Lie algebra

affine Lie algebra
Name	Affine Lie algebra
Type	Infinite-dimensional Lie algebra
Field	Mathematics

affine Lie algebra An affine Lie algebra is an important class of infinite-dimensional Lie algebras that arise as central extensions and loop algebras associated to finite-dimensional simple Lie algebras. They play central roles in representation theory, algebraic geometry, and mathematical physics, connecting to structures studied by Élie Cartan, Hermann Weyl, Richard Borcherds, Victor Kac, and I. M. Gelfand. Affine Lie algebras serve as foundational examples in the theory developed alongside Kac–Moody algebra, Virasoro algebra, and structures appearing in the work of Michael Freedman and Edward Witten.

Definition and Basic Properties

An affine Lie algebra is defined as a one-dimensional central extension of the loop algebra of a finite-dimensional simple Lie algebra such as A_n (Lie algebra), B_n (Lie algebra), C_n (Lie algebra), or D_n (Lie algebra), often with an added degree derivation. The construction depends on a finite Cartan matrix introduced by Élie Cartan and classified by results of H. S. M. Coxeter and Claude Chevalley. Affine Lie algebras inherit a triangular decomposition analogous to that in the theory developed by Bernhard Riemann and are graded by a principal grading that links to the work of David Mumford in moduli problems. Fundamental properties include the existence of a nondegenerate invariant bilinear form studied by Harish-Chandra and the presence of a central element and derivation appearing in contexts explored by John von Neumann.

Classification and Affine Dynkin Diagrams

The classification of affine Lie algebras is encoded in extended Dynkin diagrams, also called affine Dynkin diagrams, which extend the finite Dynkin diagrams classified by Élie Cartan and H. S. M. Coxeter. Each affine diagram corresponds to an untwisted or twisted family, with untwisted types labeled by A_n^{(1)}, B_n^{(1)}, C_n^{(1)}, D_n^{(1)}, and exceptional diagrams related to E_6^{(1)}, E_7^{(1)}, E_8^{(1)}, F_4^{(1)}, G_2^{(1)}. Twisted affinities correspond to diagram automorphisms studied in work by Claude Chevalley and Victor Kac. The Kac labelings and Coxeter numbers for each family reflect combinatorial data used in the classification theorems of Kac and in the McKay correspondence investigated by John McKay.

Representations and Highest-Weight Theory

Representation theory of affine Lie algebras centers on integrable highest-weight modules introduced by Victor Kac and developed in parallel with the category O of Joseph Bernstein and Israel Gelfand. Highest-weight theory uses dominant integral weights defined relative to the Cartan subalgebra and Weyl group actions studied by Hermann Weyl. Key representation-theoretic invariants include level (central charge) and conformal dimension, which appear in constructions by Igor Frenkel, James Lepowsky, and Arne Meurman in vertex operator algebras and moonshine phenomena linked to John Conway and John McKay. Modular invariance properties of characters relate to transformation formulas considered by Carl Gustav Jacob Jacobi and applied in the Verlinde formula of Erik Verlinde.

Kac–Moody Construction and Central Extension

Affine Lie algebras are special cases of Kac–Moody algebras introduced by Victor Kac and Robert Moody; their construction uses generalized Cartan matrices and Serre relations formalized by Claude Chevalley. The central extension arises from a canonical 2-cocycle on loop algebras first considered in contexts by Hermann Weyl and later formalized in cohomological language by Jean-Louis Koszul. The derivation (degree operator) completes the affinization and is essential in the energy grading appearing in conformal field theory studied by Alexander Belavin and Alexander Zamolodchikov.

Root System, Cartan Subalgebra, and Weyl Group

Affine root systems extend finite root systems associated to Élie Cartan and involve real and imaginary roots; imaginary roots are scalar multiples of the minimal imaginary root δ. The Cartan subalgebra contains a central element and the derivation; its dual encodes affine weights including level and grade as in constructions used by Hermann Weyl and Harish-Chandra. The affine Weyl group is an extension of the finite Weyl group by translations in the coroot lattice, connected to the work of Niels Henrik Abel in lattice theory and to the Bruhat decomposition studied by François Bruhat. Coxeter elements and reflection representations appear in the combinatorics analyzed by H. S. M. Coxeter.

Applications in Mathematical Physics and Conformal Field Theory

Affine Lie algebras underpin current algebras in two-dimensional quantum field theories studied by Alexander Belavin, Alexander Zamolodchikov, and Paul Ginsparg, and they furnish symmetry algebras in Wess–Zumino–Witten models investigated by Edward Witten and D. Gepner. Their representation theory feeds into vertex operator algebra constructions central to the monstrous moonshine program linked to John Conway and Richard Borcherds, and they determine chiral symmetry in string theory explored by Michael Green, John Schwarz, and Edward Witten. Modular tensor categories arising from affine characters play roles in topological quantum field theory formulated by Graeme Segal and Edward Witten and in the Verlinde formula of Erik Verlinde.

Examples and Important Families

Important untwisted examples include loop algebras of sl_n(C), so_n(C), and sp_n(C), corresponding to types A_n^{(1)}, B_n^{(1)}, C_n^{(1)}, D_n^{(1)}. Exceptional affine families relate to E_6^{(1)}, E_7^{(1)}, E_8^{(1)}, F_4^{(1)}, and G_2^{(1)}, which appear in symmetry classifications in theoretical physics by Edward Witten and in lattice constructions by John Conway. Twisted families such as A_{2n}^{(2)} and D_{n+1}^{(2)} arise from diagram automorphisms studied by Victor Kac and Robert Moody and have special representation-theoretic features exploited in conformal embeddings analyzed by Dirk Gepner.

Category:Lie algebras