loop group

loop group
Name	loop group
Type	Topological group
Field	Mathematics
Subfield	Representation theory, Algebraic topology, Differential geometry
Notable examples	Circle group, Special unitary group, Orthogonal group

loop group

A loop group is the group of maps from the circle into a Lie group, endowed with pointwise multiplication and a topology arising from smoothness or continuity conditions. Loop groups play central roles in Representation theory, Algebraic topology, and Mathematical physics, linking infinite-dimensional groups with finite-dimensional Lie group structure, algebraic geometry, and quantum field theories. Their study connects constructions in the theory of Affine Lie algebras, the work of Victor Kac, and applications ranging from the Wess–Zumino–Witten model to the geometry of Moduli spaces.

Definition and basic properties

A loop group is commonly defined as the group of maps Map(S^1, G) for a finite-dimensional Lie group G, with group law given by pointwise multiplication. Typical regularity conditions yield variants such as continuous loops C^0(S^1,G), smooth loops C^\infty(S^1,G), Sobolev loops H^s(S^1,G), and algebraic loops over Complex numbers; each carries a natural topology and manifold structure modeled on function spaces like Frechet or Hilbert spaces. Fundamental structural features include evaluation maps at basepoints giving group homomorphisms to G, component groups determined by π1(G), and central extensions classified by second cohomology groups such as H^2(Map(S^1,G), ℝ) related to the Bott periodicity phenomena. Important examples of base groups G include SU(n), SO(n), U(1), and exceptional groups like E8.

Examples and notable cases

Key examples include the based loop group ΩG of loops fixed at a basepoint, and the free loop group LG = Map(S^1,G). For G = U(1), LG is isomorphic to Map(S^1, U(1)) and relates to the Circle group and Fourier series. For G = SU(2), loop groups exhibit connections to the topology of the 3-sphere S^3 and to instanton moduli studied by researchers associated with Atiyah–Bott theory. Exceptional choices like G = E8 play roles in string theory constructions and in the classification of positive energy representations tied to the Monster group through vertex operator algebra techniques pioneered by figures such as Richard Borcherds and Igor Frenkel. Algebraic loop groups over fields are central in the theory of Affine Grassmannian, Beilinson–Drinfeld constructions, and the geometric Langlands program developed by contributors including Edward Frenkel and David Gaitsgory.

Representation theory

Representation theory of loop groups studies projective unitary representations, positive energy representations, and highest-weight modules linked to affine and Kac–Moody algebras. Central extensions of LG by U(1) yield nontrivial projective representations classified by level k ∈ ℤ, paralleling the classification of integrable highest-weight modules for Affine Lie algebras. The Peter–Weyl theorem has infinite-dimensional analogues for loop groups involving direct integrals of irreducibles, and characters are realized as formal traces related to modular forms and characters appearing in the Wess–Zumino–Witten model and in the work of G. Segal on conformal field theory. Constructions of representations employ methods from geometric quantization on coadjoint orbits studied by Kirillov and the Borel–Weil–Bott theorem adapted by Pressley and Segal for loop group contexts. Connections to vertex operator algebras appear through the work of I. Frenkel, James Lepowsky, and Arne Meurman.

Topology and algebraic structure

Topologically, loop groups are infinite-dimensional manifolds with homotopy groups related to the homotopy groups of the base group G by suspension and looping operations central to Stable homotopy theory and Bott periodicity. The component group π0(LG) ≅ π1(G) captures winding numbers, while πn(LG) ≅ π_{n+1}(G) for n ≥ 0. Algebraic structure includes dense subgroups of polynomial loops, ind-group structures for algebraic loop groups over C, and stratifications like the Bruhat decomposition for associated affine flag varieties. Important topological invariants arise from twisted K-theory classes and from the study of central extensions encoded by group 2-cocycles that enter the classification of projective representations; these cocycles are closely related to the Chern–Simons invariant and to the second cohomology of mapping groups studied by Mickelsson.

Connections to affine Lie algebras and Kac–Moody algebras

Loop group central extensions give rise to affine Kac–Moody algebras via differentiation, producing the untwisted affine algebras associated to finite-dimensional simple Lie algebras classified by Victor Kac and Robert Moody. Twisted loop groups correspond to twisted affine algebras arising from automorphisms of Dynkin diagrams, linking to the classification of generalized Cartan matrices and to the work of Kac–Peterson on modular invariance. The representation theory of affine Lie algebras—integrable highest-weight representations, characters, and modular transformation properties—feeds back into loop group representation theory and into the construction of conformal field theory models investigated by Belavin–Polyakov–Zamolodchikov and others.

Applications in mathematics and physics

Loop groups are applied in gauge theory, especially in the study of instantons and monopoles on manifolds analyzed by Atiyah and Hitchin, and in the formulation of two-dimensional conformal field theories such as the Wess–Zumino–Witten model used in string theory and statistical mechanics. They underpin constructions in the geometric Langlands program, moduli of bundles on algebraic curves investigated by Narasimhan and Seshadri, and in the formulation of anomalies and current algebras in quantum field theory connected to Noether's theorem and Faddeev–Shatashvili anomalies. In mathematical areas, loop groups inform the study of the Affine Grassmannian, factorization algebras, and the theory of integrable systems related to the Toda lattice and the Korteweg–de Vries equation.

Category:Lie groups