This is the script for a presentation I gave for a class in Riemannian Geometry at the University of Minnesota in the Fall of 2019. In it, I dicuss the basics of holonomy, history of the theory, de Rham’s decomposition theroem, the Ambrose-Singer theorem, and Berger’s classifiction.
Let us start with an example to illustrate the idea of holonomy. Recall that parallel translation preserves inner products so it preserves length of vectors and angles as well.
Let be the unit sphere, and be two meridians through the north pole making an angle with each other, and let be a vector at tangent to (see the image above). Since is a geodesic its tangent vector field is parallel, so the parallel translate of to the equator remains parallel to and therefore remains parallel to the equator at all times. When it reaches along the equator it will be parallel to . Parallel translating along results in a tangent vector at , but this is not the same vector as . The phenomena that geometric information can be lost by parallel translating around a closed loop is holonomy. We can also think of holonomy as measuring the extent to which parallel transport around a loop fails to preserve the geometric information being transported.
In 1926 an idea came about from Élie Cartan to help classify symmetric spaces. This idea was holonomy. Cartan considered the Levi-Civita connection of a Riemannian manifold , so that the holonomy group was a Lie subgroup of the orthogonal group (in the modern language this is Riemannian holonomy). In the end, Cartan used Holonomy to completely classify symmetric spaces. Studying holonomy in the more general setting lead to two crucial theorems: one of de Rham and one of Ambrose-Singer. The former provides a description of a Riemannian manifold locally as a product of Riemannian manifolds by splitting the tangent bundle locally under the action of the holonomy. The later establishes a close relationship between the holonomy of a connection and the curvature of that connection. Berger was then able to use the Ambrose-Singer theorem to classify the holonomy of a Riemannian manifold. It was only recently that each holonomy in Berger’s classification is realized by a Riemannian manifold. Time permitting we will discuss these two crucial theorems and Berger’s classification.
The Holonomy Group
Let be a connected Riemannian manifold with its Levi-Civita connection and let be piecewise smooth curve with initial point and end point . By the general theory of ODEs there exists a unique piecewise smooth parallel vector field along the curve given any initial vector (this parallel vector field is dependent on the connection because the covariant derivative is dependent on ). For every , parallel translation along defines a parallel transport map
If is a loop based at , this map is a linear isomorphism of since parallel translation respects vector addition and scalar multiplication and has an inverse . Considering all piecewise smooth loops at , and observing that the construction of depends only on , , and , we define the holonomy group of at to be
Often we work with the restricted holonomy group which is defined exactly the same as the regular holonomy group except that is required to be contractible. The following list is some basic facts about holonomy which we will use in the following but not prove:
- is a connected normal subgroup of .
- if and only if is orientable.
- and are Lie groups, the latter is compact while the former is not.
Let’s compute some holonomy groups:
- Consider with the flat metric. Then parallel translation reduces to translation in which implies for any that the induced map is the identity (since is closed). This means is trivial. Since restricted holonomy is a subgroup of holonomy, the restricted holonomy group is also trivial.
- Let be the unit -sphere with standard metric and Levi-Civita connection. We claim for all . Fix and declare it to be the north pole. The forward inclusion has already been discussed. For any consider the path sending to the equator along any geodesic, along the equator, and then back along the geodesic, to the pole, making an angle with the geodesic leaving the pole. As we parallel transport any tangent vector along this loop the angle with the velocity field of the geodesic is preserved so the induced parallel transport map is rotation by . In fact, is the example we started with.
de Rham Decomposition Theorem
The de Rham decomposition theorem says a Riemannian manifold can locally be decomposed as a product of Riemannian manifolds according to the holonomy of the Levi-Civita connection. To be more precise, first consider the the following facts:
- If and are Riemannian manifolds with Levi-Citiva connections and respectively, .
- is defined up to conjugation: where is a piecewise smooth path from to .
This tells us the holonomy of a product of Riemannian manifolds decomposes into the product of the individual holonomies. Since the holonomy is defined up to conjugation; if the holonomy decomposes at one points then it decomposes everywhere. Fixing , we have a natural action of on defined by
If is a -invariant subspace of , then we may write
where the are irreducible -invariant subspaces. Parallel translation along loops and more generally paths preserves this splitting by construction, so we get a splitting of the tangent bundle :
into subspaces invariant under parallel translation. de Rham’s theroem is the following:
Theorem (de Rham’s Decomposition Theorem): Let be a Riemannian manifolds with its Levi-Civita connection, and consider the natural splitting
Then for each , there exists a neighborhood such that
with for .
In other words, every Riemannian manifold locally looks like a product of Riemannian manifolds (with the Levi-Citiva connection) where the product is determined by the holonomy. The main takeaway is that it usually suffices to study the holonomy of manifolds whose tangent spaces (or bundles) are irreducible with respect to the holonomy.
The curvature and the holonomy of a Riemannian manifold with the Levi-Citiva connection are strictly related. One can construct a family of endomorphisms of using the curvature tensor and parallel translation. The linear subspace generated by these maps is precisely (the Lie algebra of ). This idea is captured in the Ambrose-Singer theorem. The theorem is the following:
Theorem (Ambrose-Singer Holonomy Theorem): Let be a Riemannian manifold with the Levi-Civita connection. Fix , so is a Lie subalgebra of . Then is the subalgebra generated by the endomorphisms (here is the Riemannian curvature tensor at ) where is a piecewise smooth curve from to and .
The takeaway here is that infinitesimal holonomy at a point is the curvature of the manifold at that point. This isn’t quite clear from the statement of the theorem, so let’s take a look at the sketch of the proof.
proof sketch: One considers a small shrinking rectangle in given by the homotopy:
Here is a smooth map used to move the homotopy in into (see the image below).
Letting be a piecewise smooth path from to we define . We then get a family of parallel transport maps such that is a smooth curve in , the derivative of this curve at is the change in the parallel transport map for an infinitesimally small rectangle and the derivative is precisely .
Reducible Manifolds and Symmetric Spaces
Before we discuss Berger’s classification we need a small discussion about reducible manifolds and symmetric spaces. We need these facts to discuss Berger’s list, but they can be removed at the expense of making the list longer.
We call a Riemannian manifold locally reducible if every point has an open neighborhood isomorphic to a Riemannian product . We say is irreducible if it is not locally reducible.
A Riemannian manifold is said to be a symmetric space if for every point there exists an isometric involution , such that is an isolated fixed point of . Some prototypical examples of symmetric spaces are and with the usual metrics. is said to be locally symmetric if every point has a neighborhood isometric to a symmetric space. We say is nonsymmetric if it is not locally symmetric. It’s a surprising fact that a Riemannian manifold with the Levi-Civita connection is locally symmetric if and only if it has constant curvature.
In 1955 Berger proved his classification theorem:
Theorem (Berger Classification Theorem): Suppose is an -dimensional Riemannian manifold with the Levi-Civita connection satisfying the following properties:
- is simply-connected.
- is irreducible.
- is nonsymmetric.
Then exactly one of the following cases hold for all :
- with , and in .
- with , and in .
- with , and in .
- with , and in .
- , and in .
- , and in .
The idea behind Berger’s theorem is to apply two tests to arbitrary groups to see if they could be holonomy groups. Let’s sketch the proof of Berger’s theorem:
proof sketch: Under the assumptions, is a closed connected Lie subgroup of . Let be an arbitrary group and be its Lie algebra. We apply two tests to that all holonomy groups must satisfy:
- If is a constant tensor (), then the Riemannian curvature tensor lies in the vector subspace . If has large codimension in , then the vector subspace, , of satisfying the first Bianchi identity will be small, but by Ambrose-Singer needs to be large enough to generate . Most groups fail this condition. This is the first test.
- The tensor lies in and satisfies the second Bianchi identity. Often this implies is constant () so is locally symmetric, and therefore we need to exclude such by the assumptions. This is the second test.
All three conditions (i), (ii), and (iii) can be removed at the expense of making Berger’s list longer. If (i) is removed we need to include non-connected Lie groups whose identity components are already on the list. If (ii) is removed we need to include all products of groups on the list. If (iii) is removed we need to include holonomy groups of symmetric spaces which are known from Cartan’s classification.
When Berger proved this theorem he knew these were the only possibilities for the holonomy group, but he didn’t know each possibility was realized by a Riemannian manifold. Around 1895 it was shown that each group on Berger’s list was realized by a Riemannian manifold. We also characterize these groups by the following:
- is the holonomy of generic metrics.
- Metrics on manifolds with are called Kähler metrics.
- Metrics on manifolds with are called Calabi-Yau metrics. In particular, all Calabi-Yau metrics are Kähler.
- Metrics on manifolds with are called hyperkähler metrics. They are Ricci-flat and Kähler.
- Metrics on manifolds with are called quaternionic Kähler metrics. They are not Kähler, nor Ricci-flat, but are Einstein.
- The holonomy groups and are called the exceptional holonomy groups.
 D. Joyce: Riemannian holonomy groups and calibrated geometry, 2006
 P. Petersen: Riemannian Geometry Third Edition, Springer, AG, Switzerland, 2016
 R. Rani: On Parallel Transport and Curvature, 2009
 Loring. Tu: Differential Geometry Connections, Curvature, and Characteristic Classes, Springer, AG, Switzerland, 2017