Comparison Geometry - Core Concepts

Comparison geometry relates the geometry of a Riemannian manifold with curvature bounds to the geometry of model spaces of constant curvature, providing powerful global geometric and topological conclusions from local curvature hypotheses.

Model Spaces

Definition9.1Space forms

The model spaces (or space forms) of constant curvature $\kappa$ are:

M^n_\kappa = \begin{cases} S^n(1/\sqrt{\kappa}) & \text{if } \kappa > 0 \text{ (sphere of radius } 1/\sqrt{\kappa}), \\ \mathbb{R}^n & \text{if } \kappa = 0 \text{ (Euclidean space)}, \\ \mathbb{H}^n(1/\sqrt{|\kappa|}) & \text{if } \kappa < 0 \text{ (hyperbolic space of curvature } \kappa). \end{cases}

On $M^n_\kappa$ , every sectional curvature equals $\kappa$ , and the geometry is completely explicit.

Definition9.2Trigonometric functions for curvature $\kappa$

Define the $\kappa$ -sine and $\kappa$ -cosine:

\mathrm{sn}_\kappa(t) = \begin{cases} \frac{1}{\sqrt{\kappa}}\sin(\sqrt{\kappa}t) & \kappa > 0, \\ t & \kappa = 0, \\ \frac{1}{\sqrt{|\kappa|}}\sinh(\sqrt{|\kappa|}t) & \kappa < 0, \end{cases} \quad \mathrm{cn}_\kappa(t) = \mathrm{sn}_\kappa'(t).

These satisfy $\mathrm{sn}_\kappa'' + \kappa \, \mathrm{sn}_\kappa = 0$ with $\mathrm{sn}_\kappa(0) = 0$ , $\mathrm{sn}_\kappa'(0) = 1$ . On the model space $M^n_\kappa$ , Jacobi fields along a geodesic emanating from a point are $J(t) = \mathrm{sn}_\kappa(t) E(t)$ where $E$ is a parallel unit field.

Comparison Principles

Theorem9.1Sturm comparison for Jacobi fields

Let $(M, g)$ be a Riemannian manifold with sectional curvature $K \leq \kappa$ (resp. $K \geq \kappa$ ). Let $J$ be a Jacobi field along a geodesic $\gamma$ with $J(0) = 0$ , $|J'(0)| = 1$ , and $\bar{J}$ the corresponding Jacobi field on $M^n_\kappa$ . Then, as long as $J$ does not vanish:

|J(t)| \geq \mathrm{sn}_\kappa(t) \quad (\text{if } K \leq \kappa), \qquad |J(t)| \leq \mathrm{sn}_\kappa(t) \quad (\text{if } K \geq \kappa).

In words: lower curvature causes geodesics to spread faster than in the model space.

Rauch Comparison

Theorem9.2Rauch comparison theorem

Let $\gamma$ (on $M$ ) and $\bar\gamma$ (on $\bar{M}$ ) be unit-speed geodesics. Suppose the sectional curvatures satisfy $K_M \leq K_{\bar{M}}$ along corresponding planes. If $J$ and $\bar{J}$ are Jacobi fields along $\gamma$ and $\bar\gamma$ with $J(0) = \bar{J}(0) = 0$ and $|J'(0)| = |\bar{J}'(0)|$ , and neither vanishes on $(0, t_0]$ , then

|J(t)| \geq |\bar{J}(t)| \quad \text{for all } t \in [0, t_0].

RemarkIntuition

Lower sectional curvature makes geodesics diverge more (or converge less), so Jacobi fields grow larger. This is the infinitesimal version of the comparison principle. The Rauch theorem is the "Swiss Army knife" of comparison geometry -- it yields volume comparison, distance comparison, and topological consequences.

ExampleConjugate points

If $K_M \leq \kappa$ , then the first conjugate point along any geodesic occurs no earlier than on $M^n_\kappa$ (where it occurs at $t = \pi/\sqrt{\kappa}$ for $\kappa > 0$ ). If $K_M \geq \kappa > 0$ , conjugate points occur no later than $\pi/\sqrt{\kappa}$ .