Holonomy group and restricted holonomy

Intuition [Beginner]

Imagine holding an arrow flat on a basketball and walking it around a triangle made of three great-circle arcs. At each step you keep the arrow parallel to the surface without twisting it on purpose. When you return to where you started, the arrow has rotated. That rotation is holonomy.

The amount of rotation depends on the path you take. On a flat table, the arrow comes back unchanged: the holonomy is zero. On a curved surface like a sphere, curved paths produce nonzero holonomy. The holonomy group collects all possible rotations that can arise from closed loops through a given point.

A smaller version called the restricted holonomy uses only loops that can be shrunk to a point. On a simply connected surface the two groups agree.

Visual [Beginner]

A tangent vector shown at the north pole of a sphere, carried south along a meridian to the equator, east along the equator through a quarter turn, then north back to the pole. The vector has rotated 90 degrees.

The holonomy equals the angular excess of the spherical triangle.

Worked example [Beginner]

On the unit sphere $S^2$, parallel-transport a tangent vector around a triangle with three right angles (one octant of the sphere). The triangle encloses area $\pi /2$. By the Gauss-Bonnet theorem, the holonomy (rotation angle) equals the enclosed area: $\pi /2$ radians, or 90 degrees.

Starting with a vector pointing south along the prime meridian at the north pole, the vector returns pointing east. The holonomy group of the sphere at any point contains all rotations by angles between 0 and $2\pi$, so it is the full rotation group $SO(2)$.

Check your understanding [Beginner]

Formal definition [Intermediate+]

Definition (Holonomy group). Let $M$ be a smooth manifold with an affine connection, and let $p\in M$. The holonomy group $\mathrm{Hol}(p)$ is the group of linear isomorphisms of $T_{p}M$ obtained by parallel transport along all piecewise-smooth closed loops based at $p$.

Concretely, for each loop $\gamma :[0,1]\to M$ with $\gamma (0)=\gamma (1)=p$, parallel transport along $\gamma$ defines a linear map $P_{\gamma }:T_{p}M\to T_{p}M$. The set $\{P_{\gamma }:\gamma \text{ a loop at }p\}$ forms a subgroup of $GL(T_{p}M)$, which is $\mathrm{Hol}(p)$.

Definition (Restricted holonomy group). The restricted holonomy group ${\mathrm{Hol}}_0(p)$ is the subgroup of $\mathrm{Hol}(p)$ obtained from loops that are null-homotopic (contractible to a point within $M$).

Key properties.

• $\mathrm{Hol}(p)$ and $\mathrm{Hol}(q)$ are conjugate for any $p,q\in M$: if $\sigma$ is a path from $p$ to $q$, then $\mathrm{Hol}(q)=P_{\sigma }\circ \mathrm{Hol}(p)\circ P_{\sigma }^{-1}$.
• ${\mathrm{Hol}}_0(p)$ is a connected Lie subgroup of $GL(T_{p}M)$.
• The quotient $\mathrm{Hol}(p)/{\mathrm{Hol}}_0(p)$ is isomorphic to a quotient of ${\pi }_1(M,p)$, relating holonomy to the fundamental group.

Key theorem with proof [Intermediate+]

Theorem (Holonomy as a Lie subgroup). The holonomy group $\mathrm{Hol}(p)$ is a Lie subgroup of $GL(T_{p}M)$, and the restricted holonomy group ${\mathrm{Hol}}_0(p)$ is its identity component. Moreover, $\mathrm{Hol}(p)/{\mathrm{Hol}}_0(p)$ is countable.

Proof sketch. The parallel-transport map depends smoothly on the loop (in the $C^1$ topology on loop space). One shows that ${\mathrm{Hol}}_0(p)$ is the connected component of the identity by establishing that any smooth path in the group arises from a smooth family of loops. The countability of the quotient follows because ${\pi }_1(M)$ is countable for a second-countable manifold. $\square$

Bridge. The holonomy group extends the concept of parallel transport from individual paths 03.05.00 to a global algebraic invariant of the connection, in the same way that the fundamental group extends the notion of a single loop to an algebraic structure. The restricted holonomy captures the local twisting of the connection, analogous to how the curvature tensor captures the infinitesimal parallel-transport defect, while the full holonomy adds the topological contribution from the fundamental group. This pattern of building a group-valued invariant from local differential data recurs throughout differential geometry.

Exercises [Intermediate+]

Advanced results [Master]

de Rham splitting theorem. If $(M,g)$ is a complete simply connected Riemannian manifold, then $M$ splits as a Riemannian product $M_1\times \cdots \times M_k$ if and only if the holonomy group splits as a product $\mathrm{Hol}\cong H_1\times \cdots \times H_k$ acting reducibly on $T_{p}M$.

Berger's classification (1955). For an irreducible non-symmetric simply connected Riemannian manifold of dimension $n$, the restricted holonomy group ${\mathrm{Hol}}_0$ is one of: $SO(n)$ (generic Riemannian), $U(n/2)$ (Kahler), $SU(n/2)$ (Calabi-Yau), $Sp(n/4)$ (hyperkahler), $Sp(n/4)\cdot Sp(1)$ (quaternionic Kahler), $G_2$ ($n=7$), or $\mathrm{Spin}(7)$ ($n=8$). Symmetric spaces have holonomy equal to the isotropy representation and were classified by Cartan.

Simons theorem (1962). If $M$ is a compact irreducible symmetric space, then ${\mathrm{Hol}}_0$ equals the full isotropy group of the symmetric space. For non-symmetric irreducible spaces, the Berger list above is exhaustive.

Synthesis. Holonomy theory unifies local curvature information with global topological invariants of the underlying manifold. Building on the parallel-transport framework from fibre bundles 03.05.00, the holonomy group packages all parallel-transport behaviour into a single Lie subgroup of the structure group. The de Rham splitting theorem shows that reducible holonomy forces a product decomposition of the manifold, mirroring the way characteristic classes detect bundle twisting. The Berger classification constrains possible geometric structures by listing all admissible holonomy groups, connecting differential geometry to representation theory and mathematical physics through special-holonomy manifolds like Calabi-Yau and $G_2$ spaces.

Full proof set [Master]

Proposition. The restricted holonomy group ${\mathrm{Hol}}_0(p)$ is a normal subgroup of $\mathrm{Hol}(p)$, and $\mathrm{Hol}(p)/{\mathrm{Hol}}_0(p)\cong {\pi }_1(M,p)/N$ for some normal subgroup $N$ of ${\pi }_1(M,p)$.

Proof. Define $\phi :{\pi }_1(M,p)\to \mathrm{Hol}(p)/{\mathrm{Hol}}_0(p)$ by sending the homotopy class $[\gamma ]$ to the coset $P_{\gamma }\cdot {\mathrm{Hol}}_0(p)$. This is well-defined because homotopic loops differ by an element of ${\mathrm{Hol}}_0(p)$. It is a homomorphism by the composition law for parallel transport. The image is $\mathrm{Hol}(p)/{\mathrm{Hol}}_0(p)$, so $\mathrm{Hol}(p)/{\mathrm{Hol}}_0(p)\cong {\pi }_1(M,p)/\ker \phi$. $\square$

Connections [Master]

General fibre bundles 03.05.00 provide the bundle framework in which connections and parallel transport are defined; the holonomy group is a structural invariant of any connection on such a bundle.

The Riemann curvature tensor measures the infinitesimal holonomy around small loops, and the Ambrose-Singer theorem 03.05.17 makes this precise by identifying the Lie algebra of the holonomy group with the algebra generated by curvature endomorphisms.

Holonomy reduction 03.05.18 occurs when the holonomy group is a proper subgroup of the structure group, leading to special geometric structures (Kahler, Calabi-Yau, $G_2$) classified by the Berger list.

Bibliography [Master]

@article{berger1955,
  author = {Berger, Marcel},
  title = {Sur les groupes d'holonomie homogene des varietes a connexion affine et des varietes riemanniennes},
  journal = {Bull. Soc. Math. France},
  volume = {83},
  year = {1955},
  pages = {279--330}
}

@book{besse,
  author = {Besse, Arthur L.},
  title = {Einstein Manifolds},
  publisher = {Springer},
  year = {1987}
}

@book{kobayashi-nomizu-v1,
  author = {Kobayashi, Shoshichi and Nomizu, Katsumi},
  title = {Foundations of Differential Geometry},
  volume = {1},
  publisher = {Wiley},
  year = {1963}
}

Historical & philosophical context [Master]

The concept of holonomy was introduced by Borel and Lichnerowicz in 1952 in the context of connections on principal bundles. Berger's 1955 classification of possible holonomy groups for irreducible non-symmetric Riemannian manifolds was a landmark result that constrained the landscape of possible Riemannian geometries.

The philosophical significance is that holonomy provides a bridge between local differential data (the curvature tensor) and global topological invariants (the fundamental group). A connection is entirely local, yet its holonomy captures global information about the manifold's topology. This local-to-global bridge is a recurring theme in differential geometry, paralleling the relationship between de Rham cohomology and the topology of the underlying manifold.

The exceptional holonomy groups $G_2$ and $\mathrm{Spin}(7)$ remained poorly understood until the 1980s, when Bryant used exterior differential systems to construct the first examples. These exceptional-holonomy manifolds now play central roles in string theory and M-theory compactifications.