Questions: Comparison Theorems: Rauch and Bishop-Gromov

Question 1

The Bishop-Gromov volume comparison theorem states that if Ric ≥ (n-1)κg on a complete Riemannian n-manifold, then the ratio Vol(B_r(p))/V_κ(r) is...

• A. Constant in r
• B. Non-increasing in r (the ratio decreases or stays the same as r grows)
• C. Non-decreasing in r
• D. Equal to 1 for all r

Answer: (B)

The Bishop-Gromov theorem says the volume ratio Vol(B_r(p))/V_κ(r) is non-increasing as a function of r, where V_κ(r) is the volume of a ball of radius r in the n-dimensional space form of constant curvature κ. At r = 0, the ratio is 1 (both volumes are infinitesimal and agree to leading order). As r increases, the actual ball grows no faster than the model space ball — so the ratio decreases. This is a monotonicity result, stronger than a simple volume upper bound.

Question 2

The Bonnet-Myers theorem (a consequence of comparison theorems) states: if a complete Riemannian manifold has Ricci curvature satisfying Ric ≥ (n-1)κ with κ > 0, then the diameter of M is at most π/√κ.

• T. True
• F. False

Answer: True

This follows from the Rauch/Bonnet comparison: on a sphere of curvature κ, conjugate points occur at distance π/√κ. If Ric ≥ (n-1)κ, then Jacobi fields on M focus at least as fast as on the model sphere, so conjugate points (and hence the diameter bound) occur no later than π/√κ. The manifold is therefore compact (bounded diameter + completeness), and furthermore has finite fundamental group. The round sphere of curvature κ achieves equality: diam(Sⁿ_κ) = π/√κ.

Question 3

The Cartan-Hadamard theorem states that a complete simply connected Riemannian manifold with non-positive sectional curvature is diffeomorphic to ℝⁿ. How do Jacobi field comparison arguments prove this?

Model answer: Non-positive sectional curvature means the Jacobi equation J'' + R(J,γ')γ' = 0 has no oscillating solutions — Jacobi fields that start at zero grow monotonically. This implies there are no conjugate points along any geodesic, so the exponential map exp_p has no critical points. Since M is complete, exp_p is defined on all of TpM. A smooth map from ℝⁿ (≅ TpM) to M that is a local diffeomorphism everywhere and is complete is a covering map. Since M is simply connected, this covering map is a diffeomorphism.

The comparison argument makes this quantitative: on a space of curvature ≤ 0, Jacobi fields grow at least as fast as on flat space (linearly). On a space of curvature ≤ -κ², they grow at least as fast as sinh(κt)/κ (exponentially). The faster-than-linear growth prevents the exponential map from having critical points and ensures it is a global diffeomorphism.

Question 4

Comparison theorems require the curvature bound to hold everywhere on the manifold. A curvature bound that holds only on a subset does not yield the standard comparison conclusions.

• T. True
• F. False

Answer: True

Standard comparison theorems (Rauch, Bishop-Gromov, Toponogov) require global curvature bounds — the sectional or Ricci curvature must satisfy the bound at every point. A localized bound gives only localized conclusions. However, there are extensions: relative volume comparison theorems, integral curvature conditions (bounds on ∫|Ric_-|^{n/2}), and the theory of Alexandrov spaces extend comparison methods to weaker settings. These generalizations are active areas of research in geometric analysis.