| Kac–Moody algebra | |
|---|---|
| Name | Kac–Moody algebra |
| Type | Lie algebra |
| Field | Mathematics; applications in Quantum field theory and String theory |
| Introduced by | Victor Kac and Robert Moody |
| Introduced year | 1960s–1970s |
Kac–Moody algebra
Kac–Moody algebras are a class of (generally infinite-dimensional) Lie algebras defined by generators and relations encoded in a generalized Cartan matrix. They generalize finite-dimensional semisimple Lie algebras and play a central role in the mathematical formulation of symmetries in Quantum field theory and Conformal field theory, notably through their incarnations as affine algebras and symmetry algebras in String theory.
Kac–Moody algebras provide algebraic frameworks for continuous symmetries beyond the finite-dimensional case encountered in Lie group/Lie algebra symmetry of particle physics (e.g., SU(2], SU(3)). In quantum physics they appear as current algebras of conserved currents, as symmetry algebras of two-dimensional Conformal field theory and as spectrum-generating algebras in models studied by researchers at institutions such as Institute for Advanced Study and CERN. The affine Kac–Moody algebras underlie the operator product expansions of currents, influence representations realized in Vertex operator algebra constructions, and enter the quantization of strings via worldsheet symmetries studied in the context of Polyakov action and the Virasoro algebra.
A Kac–Moody algebra is defined from a generalized Cartan matrix A together with Chevalley generators satisfying Serre relations; this axiomatic presentation was systematized by Victor Kac and Robert Moody. The classification mirrors that of Cartan matrices: - Finite type yields the classical semisimple Lie algebras classified by Élie Cartan and Weyl group theory (e.g., A_n, B_n, C_n, D_n, E8). - Affine (or loop) type corresponds to one-dimensional central extensions of loop algebras and produces the untwisted and twisted affine algebras denoted \hat{g}; these are pivotal in WZW models of conformal field theory. - Indefinite (including hyperbolic) types are less well understood and appear in conjectural symmetry proposals in high-energy theory such as hidden symmetries in supergravity and proposals relating to E10 and E11.
The generalized Cartan matrix A is an integer matrix whose properties determine the algebra's structure. From A one constructs a Dynkin diagram that encodes simple root inner products and possible diagram automorphisms used to form twisted affine types. The root system of a Kac–Moody algebra includes real and imaginary roots; unlike the finite case, imaginary roots produce infinite root multiplicities in indefinite algebras. Tools such as the Weyl group and the Kac character formula govern multiplicities and weight space structure; these are essential when computing spectra of quantum models with Kac–Moody symmetry.
Representation theory centers on integrable highest-weight modules, Verma modules, and their quotients. Highest-weight representations of affine Kac–Moody algebras carry a nonzero central charge (the level) and furnish unitary modules relevant for physical models. Characters of these modules are subject to modular transformation properties and are tied to modular invariance in conformal field theory. Important constructions include the Weyl–Kac character formula, the BGG category O, and the use of fusion rules computed via the Verlinde formula in rational conformal field theories studied by groups at Max Planck Institute for Mathematics and similar centers.
In two-dimensional quantum field theory, currents forming an affine Kac–Moody algebra appear via canonical quantization of conserved currents; examples include the chiral currents of the Wess–Zumino–Witten model and current algebras in the work of Murray Gell-Mann and S. Coleman. Affine symmetry enforces strong constraints on correlation functions, operator product expansions, and spectrum. In higher-dimensional contexts, Kac–Moody-like infinite symmetries have been proposed in studies of dualities and integrable sectors, influencing research programs at institutions like Perimeter Institute and collaborations on integrability in AdS/CFT correspondence.
Vertex operator algebra (VOA) theory provides a rigorous mathematical home for chiral algebras of conformal field theories; affine Kac–Moody algebras furnish primary examples via level-k current algebra VOAs. The construction of the monster module from a lattice VOA relates to work by Frenkel, Lepowsky and Meurman and links Kac–Moody structures to sporadic group symmetries and string theory compactifications studied at Princeton University and other centers. In string theory, worldsheet current algebras generate gauge symmetries in heterotic constructions and play roles in model-building, anomaly cancellation, and construction of exact CFT backgrounds.
Affinization arises from loop algebras L(g)=g⊗C[t,t^{-1}] of a finite-dimensional Lie algebra g, followed by central extension and derivation to obtain an affine Kac–Moody algebra; this construction is tied to the universal central extension classified by group cohomology and cocycles studied in the work of I. M. Gelfand and others. The Sugawara construction produces a representation of the Virasoro algebra inside the enveloping algebra of an affine algebra, yielding an energy–momentum tensor and central charge formula used in conformal field theory. These algebraic tools underpin calculations of correlation functions, anomalies, and spectral flows in quantum models and are central to ongoing mathematical physics research at universities and institutes worldwide.
Category:Lie algebras Category:Mathematical physics