Toponogov's Theorem and Triangle Comparison

Toponogov's theorem compares geodesic triangles on a Riemannian manifold with comparison triangles in model spaces, providing a global version of the Rauch comparison theorem.

Geodesic Triangles

Definition9.4Geodesic triangle and comparison triangle

A geodesic triangle $\Delta(p, q, r)$ in a Riemannian manifold consists of three points $p, q, r$ and three minimizing geodesic segments connecting them.

A comparison triangle $\bar\Delta(\bar p, \bar q, \bar r)$ in the model space $M^2_\kappa$ is a geodesic triangle with the same side lengths: $d(\bar p, \bar q) = d(p, q)$ , $d(\bar q, \bar r) = d(q, r)$ , $d(\bar p, \bar r) = d(p, r)$ . Such a comparison triangle exists provided the perimeter satisfies $L < 2\pi/\sqrt{\kappa}$ when $\kappa > 0$ .

Toponogov's Theorem

Theorem9.5Toponogov's comparison theorem

Let $(M^n, g)$ be a complete Riemannian manifold with sectional curvature $K \geq \kappa$ .

(Angle version) For any geodesic triangle $\Delta(p,q,r)$ in $M$ and its comparison triangle $\bar\Delta$ in $M^2_\kappa$ , the angles satisfy

\angle_p \geq \bar\angle_{\bar p}, \quad \angle_q \geq \bar\angle_{\bar q}, \quad \angle_r \geq \bar\angle_{\bar r}.

(Distance version) Let $\gamma$ be a geodesic from $q$ to $r$ and $m$ a point on $\gamma$ with $d(q, m) = s$ . Let $\bar m$ be the corresponding point on $\bar\gamma$ . Then

d(p, m) \leq d(\bar p, \bar m).

RemarkIntuition

If $K \geq \kappa$ , geodesics converge at least as fast as in the model space $M^2_\kappa$ . Triangles are "thinner" than comparison triangles. For $\kappa = 0$ , this says angles in a geodesic triangle are at least as large as in a Euclidean triangle with the same side lengths.

Applications

ExampleRigidity results from Toponogov

Sphere theorem: If $M^n$ is complete, simply connected, with $1/4 < K \leq 1$ (quarter-pinched), then $M$ is homeomorphic to $S^n$ . This was proved by Berger and Klingenberg using Toponogov comparison.
Soul theorem (Cheeger-Gromoll): If $M^n$ is complete with $K \geq 0$ , there exists a compact totally geodesic submanifold $S \subset M$ (the "soul") such that $M$ is diffeomorphic to the normal bundle of $S$ .
Splitting theorem (Cheeger-Gromoll): If $M^n$ is complete with $\mathrm{Ric} \geq 0$ and contains a geodesic line (a geodesic minimizing between any two of its points), then $M \cong N \times \mathbb{R}$ isometrically.

Alexandrov Spaces

Definition9.5Alexandrov space

A complete metric space $(X, d)$ is an Alexandrov space of curvature $\geq \kappa$ if it satisfies Toponogov's comparison for all geodesic triangles (using the intrinsic metric). This generalizes the notion of sectional curvature bounds to singular metric spaces, including limits of smooth Riemannian manifolds.

RemarkMetric geometry

Alexandrov's insight was that Toponogov-type comparison characterizes curvature bounds without reference to smoothness. This led to the development of synthetic geometry: studying curvature through triangle comparison rather than through the curvature tensor. This approach has been enormously fruitful in the study of limits of Riemannian manifolds, orbifolds, and metric measure spaces.