Compact Lie group

Compact Lie group
Oleg Alexandrov · Public domain · source
Name	Compact Lie group
Type	Topological group
Examples	Special orthogonal group, Unitary group, Special unitary group, Symplectic group

Compact Lie group A compact Lie group is a Lie group that is compact as a topological space, combining the structures studied by Carl Friedrich Gauss, Sophus Lie, Hermann Weyl, Élie Cartan and appearing across mathematics and physics. These groups underlie the symmetry groups of many classical objects and theories such as the rotation groups used in the Euler's rotation theorem context, the unitary groups in Paul Dirac's quantum theory, and the gauge groups in Yang–Mills theory.

Definition and basic properties

A compact Lie group is a finite-dimensional smooth manifold with a group structure whose underlying manifold is compact and Hausdorff, a notion refined by Henri Poincaré's work on topology and by James Clerk Maxwell-era analysis. Fundamental properties include the existence of a bi-invariant Haar measure established by Alfréd Haar, the Peter–Weyl theorem proved in the era of Hermann Weyl and developed in relation to Ernst Zermelo's set theory, and the fact that every closed subgroup is itself a compact Lie group as in results related to Élie Cartan's structural theory. Compactness implies complete reducibility of finite-dimensional representations, a principle that influenced constructions by Isaac Newton-era mechanics and later formalized by Frobenius and Issai Schur.

Examples and classification

Classical examples include the Orthogonal group O(n), Special orthogonal group, Unitary group, Special unitary group SU(n), and Symplectic group Sp(n); exceptional compact groups include the five exceptional Lie groups discovered in the classification program influenced by Wilhelm Killing and Élie Cartan, such as G₂, F₄, E₆, E₇, and E₈. The classification of connected compact simple Lie groups parallels the Cartan–Killing classification, with root systems studied by Niels Henrik Abel-era algebraists and later formalized by Claude Chevalley and Elie Cartan. Any compact Lie group decomposes as a product of a torus (isomorphic to powers of Circle group) and a semisimple group; this structure was clarified in work influenced by Hermann Weyl and later by John von Neumann.

Representation theory

Representation theory of compact Lie groups centers on unitary representations on Hilbert spaces, with the Peter–Weyl theorem giving an analogue of Fourier series as developed by Joseph Fourier and refined by Hermann Weyl. Irreducible representations correspond to highest weights classified using weight lattices linked to Sophus Lie's work and the Weyl character formula proved by Hermann Weyl. Tensor product decompositions, Clebsch–Gordan coefficients first used in J. Willard Gibbs-era physics, and the theory of characters play central roles; these aspects were influential in the development of quantum mechanics by Werner Heisenberg and Paul Dirac and in the formulation of symmetry in particle physics by Murray Gell-Mann.

Topological and geometric structure

Topologically, compact Lie groups are finite CW-complexes whose cohomology rings were computed in seminal work connected to Henri Poincaré and Jean-Pierre Serre. The existence of bi-invariant Riemannian metrics links to results in Riemannian geometry advanced by Bernhard Riemann and geometric analysis associated with Richard Hamilton. Maximal tori and Weyl groups govern the conjugacy classification, concepts informed by Élie Cartan and used in the study of symmetric spaces by Cartan and Marcel Berger. Homotopy groups and characteristic classes for compact groups have been foundational in topology programs associated with René Thom and Michael Atiyah.

Lie algebra of a compact Lie group

The Lie algebra of a compact Lie group is a compact real Lie algebra with an invariant positive-definite Killing form in the semisimple case after suitable sign conventions, a theme in the Cartan–Killing theory advanced by Wilhelm Killing and Élie Cartan. Exponential maps relate the Lie algebra to the group, with global surjectivity in many compact connected cases, a property investigated in work by Élie Cartan and later authors like Jean-Pierre Serre. The correspondence between integral weight lattices and representations ties into number-theoretic perspectives from Bernhard Riemann's analytic work and lattice studies by Carl Gustav Jacobi.

Applications and connections

Compact Lie groups appear in gauge theories such as Yang–Mills theory used in Standard Model constructions by Sheldon Glashow and Steven Weinberg, and in crystallography contexts descending from Auguste Bravais's lattice studies. They underpin the symmetry analysis in molecular spectroscopy developed by Linus Pauling and in topological quantum field theory advanced by Edward Witten. Connections to algebraic geometry arise via moduli spaces studied by Alexander Grothendieck and David Mumford, and to number theory through automorphic forms in programs by Robert Langlands.

Historical development and notable results

The study began with continuous symmetry investigations by Sophus Lie and the structural classification by Wilhelm Killing and Élie Cartan, while representation and harmonic analysis advances trace to Hermann Weyl and the Peter–Weyl theorem. Key milestones include Weyl's character formula, the classification of simple Lie groups completed in the early 20th century, and later work on compactifications and modern applications by figures such as Michael Atiyah, Raoul Bott, and William Fulton.

Category:Lie groups