Mathematics.

global geometry

Comparison Theorems in Geometry

Differential Geometry90 minDifficulty9 out of 10

You should know: sectional curvature, jacobi fields

Overview

Comparison theorems in Riemannian geometry bound geometric quantities (distances, volumes, conjugate radii) on a manifold by the corresponding quantities on the model spaces of constant curvature. The Rauch comparison theorem controls Jacobi field lengths; the Bishop-Gromov theorem compares volumes of geodesic balls; and the Toponogov theorem compares triangle angles. These results allow global topological conclusions from local curvature bounds.

Intuition

The model spaces — sphere (K=1), flat (K=0), hyperbolic (K=−1) — are geometrically explicit and completely understood. Comparison theorems say: if your manifold has curvature bounded above by K, your manifold is 'at least as spread out' as the K-model; if bounded below, it is 'at least as focused.' This lets you control how fast geodesics spread, how large balls can be, and ultimately what the topology must look like.

Formal Definition

Definition

Let s_K(t) denote the unique solution of f'' + Kf = 0, f(0) = 0, f'(0) = 1 (the comparison function):

sK(t)={1Ksin⁡(K t)K>0tK=01−Ksinh⁡(−K t)K<0s_K(t) = \begin{cases} \frac{1}{\sqrt{K}}\sin(\sqrt{K}\,t) & K > 0 \\ t & K = 0 \\ \frac{1}{\sqrt{-K}}\sinh(\sqrt{-K}\,t) & K < 0 \end{cases}
Comparison function s_K(t)
Rauch: if KM≤K0 then ∣J(t)∣≥sK0(t)∣J′(0)∣ for Jacobi fields with J(0)=0\text{Rauch: if } K_M \leq K_0 \text{ then } |J(t)| \geq s_{K_0}(t)|J'(0)| \text{ for Jacobi fields with } J(0)=0
Rauch comparison theorem (upper curvature bound)
Vol(B(p,r))VolK(B(r)) is non-increasing in rwhen Ric≥(n−1)K\frac{\mathrm{Vol}(B(p,r))}{\mathrm{Vol}_{K}(B(r))} \text{ is non-increasing in } r \quad \text{when } \mathrm{Ric} \geq (n-1)K
Bishop-Gromov volume comparison

Theorems

Theorem 1: Rauch Comparison Theorem
Let J be a Jacobi field along a geodesic γ in (M,g) with J(0)=0,∣J′(0)∣=1. If all sectional curvatures satisfy KM≤K0, then ∣J(t)∣≥sK0(t) for all t∈[0,t1) (before the first conjugate point in the model space).\text{Let } J \text{ be a Jacobi field along a geodesic } \gamma \text{ in } (M,g) \text{ with } J(0) = 0, |J'(0)| = 1. \text{ If all sectional curvatures satisfy } K_M \leq K_0, \text{ then } |J(t)| \geq s_{K_0}(t) \text{ for all } t \in [0, t_1) \text{ (before the first conjugate point in the model space).}
Theorem 2: Bishop-Gromov Volume Comparison
If (Mn,g) is complete with Ric≥(n−1)K, then r↦Vol(B(p,r))Vn,K(r) is non-increasing, where Vn,K(r) is the volume of an r-ball in the K-model space.\text{If } (M^n, g) \text{ is complete with } \mathrm{Ric} \geq (n-1)K, \text{ then } r \mapsto \frac{\mathrm{Vol}(B(p,r))}{V_{n,K}(r)} \text{ is non-increasing, where } V_{n,K}(r) \text{ is the volume of an } r\text{-ball in the } K\text{-model space.}
Theorem 3: Toponogov Comparison Theorem
If (M,g) is complete with K≥K0, and △pqr is a geodesic triangle in M, then the corresponding triangle in the K0-model space has angles no smaller: each angle of the model triangle ≥ the corresponding angle in M.\text{If } (M,g) \text{ is complete with } K \geq K_0, \text{ and } \triangle pqr \text{ is a geodesic triangle in } M, \text{ then the corresponding triangle in the } K_0\text{-model space has angles no smaller: each angle of the model triangle } \geq \text{ the corresponding angle in } M.

Worked Examples

  1. 1

    By Bonnet-Myers (which follows from the Jacobi field comparison), diam(M) ≤ π/√K. Let D = π/√K.

    diam(M)≤πK=D\mathrm{diam}(M) \leq \frac{\pi}{\sqrt{K}} = D
  2. 2

    By Bishop-Gromov, for any p ∈ M and r ≤ D: Vol(B(p,r))/V_{n,K}(r) ≤ 1, i.e., Vol(B(p,r)) ≤ V_{n,K}(r).

    Vol(B(p,r))≤Vn,K(r)≤Vn,K(D)=Vol(Sn(1/K))\mathrm{Vol}(B(p,r)) \leq V_{n,K}(r) \leq V_{n,K}(D) = \mathrm{Vol}(S^n(1/\sqrt{K}))
  3. 3

    Since diam(M) ≤ D, the entire manifold M = B(p, D) for any choice of p. Thus:

    Vol(M)=Vol(B(p,D))≤Vol(Sn(1/K))\mathrm{Vol}(M) = \mathrm{Vol}(B(p,D)) \leq \mathrm{Vol}(S^n(1/\sqrt{K}))
  4. 4

    Equality holds iff M is isometric to S^n(1/√K) (the Cheng maximal diameter theorem).

    Vol(M)≤ωn/Kn/2\mathrm{Vol}(M) \leq \omega_n / K^{n/2}

✓ Answer

Bishop-Gromov shows Vol(B(p,r)) ≤ V_{n,K}(r). Since diam(M) ≤ π/√K, Vol(M) ≤ Vol(S^n(1/√K)). Equality characterizes the round sphere (Cheng's theorem).

Practice Problems

Hardfree response

State the Bishop-Gromov inequality. What does the monotonicity of Vol(B(p,r))/V_{n,K}(r) imply for small vs. large balls?

Hardfree response

The sphere theorem (Berger-Klingenberg) states that a complete simply-connected manifold with 1/4 < K ≤ 1 is homeomorphic to a sphere. Which comparison tools feed into this result?

Quiz

The comparison function s_K(t) solves which ODE with s_K(0) = 0, s_K'(0) = 1?
Bishop-Gromov volume comparison requires a lower bound on:
The Rauch comparison theorem with K_M ≤ K_0 implies that Jacobi fields on M are:

Summary

  • Comparison theorems bound geometric quantities on M by quantities on model spaces S^n (K>0), ℝⁿ (K=0), ℍⁿ (K<0).
  • Rauch theorem: K_M ≤ K_0 implies |J(t)| ≥ s_{K_0}(t)|J'(0)| — upper curvature bounds give lower Jacobi field bounds.
  • Bishop-Gromov: Ric ≥ (n−1)K implies Vol(B(p,r))/V_{n,K}(r) is non-increasing — volume grows at most as fast as in model space.
  • Toponogov: K ≥ K_0 implies triangle angles in M are at least as large as in the K_0-model — lower curvature bounds make triangles 'fatter'.
  • Applications: sphere theorem, Bonnet-Myers compactness, Hadamard-Cartan topology, soul theorem.