HolonomyEdit
Holonomy is a concept that sits at the crossroads of local geometry and global structure. At its heart is the idea of parallel transport: if you move a vector along a loop in a space equipped with a notion of connection, the vector generally undergoes a transformation when you return to your starting point. Collecting all such transformations, starting from a fixed point, yields the holonomy group. This object encodes how curvature and the global shape of the space influence what happens to geometric data as it traverses loops. In the setting of Riemannian geometry, holonomy is a subgroup of the orthogonal group that preserves the metric, and it serves as a bridge between local differential equations and the big-picture geometry of the space. The subject has a long lineage, with deep ties to classifying spaces, understanding special geometric structures, and informing modern physical theories.
Beyond pure mathematics, holonomy enters the language of physics. In gauge theories, the parallel transport of a gauge field around closed paths gives gauge-invariant observables known as Wilson loops, which play a central role in understanding confinement and other nonperturbative phenomena. In general relativity, the holonomy of the Levi-Civita connection reflects the curvature of spacetime and provides a lens for examining how gravitational fields affect vectors and tensors transported along worldlines. In string theory and related frameworks, choosing compactification manifolds with particular holonomy—such as Calabi–Yau spaces with SU(n) holonomy or exceptional holonomy manifolds like G2 or Spin(7)—has been a central idea for preserving a portion of supersymmetry in lower dimensions. The study of holonomy thus spans rigorous geometry, topology, and the quest to connect mathematical structure with physical law.
Mathematical foundations
Connections, parallel transport, and holonomy
A connection on a fiber bundle gives a rule for transporting data along curves. Parallel transport along a loop based at a point p yields a linear map from the fiber over p to itself. The collection of all such maps, obtained from all loops, forms the holonomy group Hol_p(P, ∇). This construction makes holonomy a global invariant derived from local differential data. See fiber bundle and connection (differential geometry) for background.
The curvature of a connection acts as the infinitesimal generator of holonomy. The Ambrose–Singer theorem expresses the Lie algebra of the holonomy group in terms of curvature, tying local curvature to global transport phenomena. For the precise statement, see Ambrose–Singer theorem.
In Riemannian geometry, the Levi-Civita connection is torsion-free and compatible with the metric, so the holonomy group Hol_p is a subgroup of orthogonal group (or special orthogonal group when orientation is fixed). This constraint shapes what kinds of geometric structures a manifold can support.
Special holonomy and Berger classification
Not every subroup of O(n) arises as a holonomy group. The question of which groups can occur as holonomy groups of irreducible, non-symmetric Riemannian manifolds led Marcel Berger to formulate a celebrated classification. His list identifies several remarkable possibilities, such as SU(n), Sp(n), Sp(n)·Sp(1), G2, and Spin(7). See Berger classification.
Special holonomy corresponds to the presence of additional geometric structures compatible with the metric. For example:
- SU(n) holonomy characterizes Calabi–Yau manifolds, which admit a Ricci-flat metric and covariantly constant spinors. See Calabi–Yau manifold.
- Sp(n) holonomy occurs in hyperkähler manifolds, which carry a triple of complex structures satisfying quaternionic relations. See Hyperkähler manifold.
- G2 holonomy and Spin(7) holonomy give seven- and eight-dimensional spaces with exceptional geometric features, which have been explored for their rich topology and potential physical relevance. See G2 holonomy and Spin(7) holonomy.
The existence of these holonomy types imposes strong constraints on topology and differential geometry and leads to a range of constructive techniques for building manifolds with desired holonomy. See also Special holonomy for a broader overview.
Examples
Flat space: For Euclidean space with its standard flat connection, parallel transport around any loop yields the identity transformation; the holonomy group is trivial.
Spheres with the round metric: The holonomy group of the Levi-Civita connection on S^n is the full rotation group SO(n).
Tori with a flat metric: A flat torus has trivial curvature and typically trivial holonomy, though global topology can influence certain loop-induced transformations.
Complex and quaternionic geometries: Manifolds with Kähler or hyperkähler structures carry holonomy contained in U(n) or Sp(n), respectively, reflecting preservation of complex or quaternionic structures under parallel transport.
Applications
In geometry and topology
Holonomy serves as a diagnostic for global geometric structures. The holonomy group constrains the possible decompositions of a manifold and informs decompositions into products of simpler pieces (as encoded in results like the de Rham decomposition theorem and related structure theorems). See de Rham decomposition theorem.
Special holonomy manifolds often come with rich topological features, such as limited types of differential forms and calibrated geometries, which have implications for minimal submanifolds and rigidity phenomena. See calibrated geometry.
In physics
Gauge theories: The holonomy of a gauge connection around a loop yields a Wilson loop, a gauge-invariant observable that encodes the phase acquired by charged objects. Wilson loops are central in understanding confinement and nonperturbative dynamics in quantum chromodynamics and related theories. See Wilson loop.
General relativity: The holonomy of the spacetime connection encodes curvature effects on transported vectors and tensors along closed paths, providing a language for describing gravitational lensing and tidal effects in a global manner. See General relativity.
String theory and beyond: The choice of compactification manifold with a given holonomy controls the amount of preserved supersymmetry in the effective lower-dimensional theory. Calabi–Yau spaces (SU(n) holonomy), hyperkähler manifolds (Sp(n) holonomy), and exceptional holonomy spaces (G2, Spin(7)) have all played roles in model-building and the study of possible vacuum structures. See Calabi–Yau manifold, G2 holonomy, and Spin(7) holonomy.
Loop quantum gravity: In this approach to quantum gravity, holonomies of the Ashtekar connection serve as fundamental variables, and the quantum geometry is described in terms of these loop-based observables. See Loop quantum gravity.
Historical development
The idea of holonomy grew from the broader study of how connections describe parallel transport, with early geometric insight due to foundational work in differential geometry. Élie Cartan’s development of connection theory and his notions of curvature laid important groundwork for later formalizations.
Marcel Berger’s 1955 classification of possible holonomy groups for irreducible Riemannian manifolds remains a central reference point for the field and has spurred extensive construction and investigation of manifolds with reduced holonomy. See Berger classification.
The Ambrose–Singer theorem, which ties the holonomy group to curvature, provided a key link between local differential invariants and global transport phenomena. See Ambrose–Singer theorem.
Developments in the late 20th century connected holonomy to string theory and exceptional geometries. The discovery and study of Calabi–Yau manifolds, hyperkähler spaces, and exceptional holonomy manifolds (G2, Spin(7)) opened new directions in both mathematics and theoretical physics. See Calabi–Yau manifold, G2 holonomy, Spin(7) holonomy.