Cheeger-Gromoll Splitting Theorem

The splitting theorem shows that a complete manifold with non-negative Ricci curvature containing a geodesic line must split isometrically as a product. It is a fundamental rigidity result in Riemannian geometry.

Statement

Definition9.6Geodesic line

A geodesic line in a Riemannian manifold is a geodesic $\gamma: \mathbb{R} \to M$ that is minimizing between any two of its points: $d(\gamma(s), \gamma(t)) = |s - t|$ for all $s, t \in \mathbb{R}$ .

Theorem9.8Cheeger-Gromoll splitting theorem

Let $(M^n, g)$ be a complete Riemannian manifold with $\mathrm{Ric} \geq 0$ . If $M$ contains a geodesic line, then $M$ is isometric to $N^{n-1} \times \mathbb{R}$ , where $(N, g_N)$ is a complete Riemannian manifold with $\mathrm{Ric} \geq 0$ .

Proof Outline

Proof

Step 1: Busemann functions. Let $\gamma: \mathbb{R} \to M$ be a geodesic line. Define the Busemann functions:

b^+(x) = \lim_{t \to +\infty} (t - d(x, \gamma(t))), \quad b^-(x) = \lim_{t \to +\infty} (t - d(x, \gamma(-t))).

These limits exist by the triangle inequality (the functions $t \mapsto t - d(x, \gamma(t))$ are bounded and non-decreasing). Both $b^+$ and $b^-$ are Lipschitz with $|\nabla b^\pm| \leq 1$ .

Step 2: Subharmonicity. The key analytical step: $b^+$ and $b^-$ are superharmonic in the barrier sense ( $\Delta b^\pm \leq 0$ ) when $\mathrm{Ric} \geq 0$ . This follows from the Laplacian comparison theorem: for a distance function $r(x) = d(x, p)$ on a manifold with $\mathrm{Ric} \geq 0$ , $\Delta r \leq (n-1)/r$ . Taking limits as $p = \gamma(t) \to \infty$ gives $\Delta b^+ \leq 0$ .

Step 3: Harmonicity. Since $\gamma$ is a line, $b^+ + b^- = 0$ along $\gamma$ , and by the triangle inequality $b^+ + b^- \leq 0$ everywhere. Since both $b^+$ and $b^-$ are superharmonic, $b^+ + b^-$ is superharmonic and $\leq 0$ . By the maximum principle, $b^+ + b^- = 0$ on all of $M$ . Therefore $b^+$ is both super- and sub-harmonic, hence harmonic: $\Delta b^+ = 0$ .

Step 4: Splitting. Since $b^+$ is harmonic with $|\nabla b^+| \leq 1$ , and equality $|\nabla b^+| = 1$ holds along $\gamma$ (hence everywhere by the Bochner formula and $\mathrm{Ric} \geq 0$ ), we have $|\nabla b^+| = 1$ on all of $M$ .

The level sets $\{b^+ = c\}$ are smooth hypersurfaces, and $\nabla b^+$ is a unit-length parallel gradient field ( $\nabla^2 b^+ = 0$ follows from the Bochner formula $0 = \Delta |\nabla b^+|^2 = 2|\nabla^2 b^+|^2 + 2\mathrm{Ric}(\nabla b^+, \nabla b^+) \geq 2|\nabla^2 b^+|^2$ ). The flow of $\nabla b^+$ gives the isometric splitting $M \cong N \times \mathbb{R}$ , where $N = (b^+)^{-1}(0)$ . $\blacksquare$

■

Applications

ExampleConsequences of the splitting theorem

Flat manifolds: A compact flat manifold ( $K = 0$ , $\mathrm{Ric} = 0$ ) has universal cover $\mathbb{R}^n$ (apply splitting iteratively).
Structure of non-negative Ricci: Any complete manifold with $\mathrm{Ric} \geq 0$ splits as $M \cong N \times \mathbb{R}^k$ where $N$ has no line. If $M$ is compact, there are no lines, so no splitting occurs.
Topological consequences: A complete non-compact manifold with $\mathrm{Ric} > 0$ (strictly positive) cannot contain a line, hence cannot split. This constrains its topology.

RemarkGeneralizations

The splitting theorem has been generalized to:

Lorentzian setting (Eschenburg, Galloway): Timelike geodesic lines and non-negative timelike Ricci curvature yield a product splitting, relevant in general relativity.
Metric measure spaces (Gigli): The theorem holds for $\mathrm{RCD}(0, N)$ spaces, extending to non-smooth settings.
Almost splitting (Cheeger-Colding): Manifolds with $\mathrm{Ric} \geq -\epsilon$ and long "almost-lines" are Gromov-Hausdorff close to products.