In Riemannian geometry, the Rauch comparison theorem, named after Harry Rauch, who proved it in 1951, is a fundamental result which relates the sectional curvature of a Riemannian manifold to the rate at which geodesics spread apart. Intuitively, it states that for positive curvature, geodesics tend to converge, while for negative curvature, geodesics tend to spread.
The statement of the theorem involves two Riemannian manifolds, and allows to compare the infinitesimal rate at which geodesics spread apart in the two manifolds, provided that their curvature can be compared. Most of the time, one of the two manifolds is a "comparison model", generally a manifold with constant curvature, and the second one is the manifold under study : a bound (either lower or upper) on its sectional curvature is then needed in order to apply Rauch comparison theorem.
Let
M,\widetilde{M}
\gamma:[0,T]\toM
\widetilde{\gamma}:[0,T]\to\widetilde{M}
\widetilde{\gamma}(0)
\widetilde{\gamma}
J,\widetilde{J}
\gamma
\widetilde{\gamma}
J(0)=0
\widetilde{J}(0)=0
|DtJ(0)|=\left|\widetilde{D}t\widetilde{J}(0)\right|
If the sectional curvature of every 2-plane
\Pi\subsetT\gamma(t)M
\gamma |
(t)
\widetilde{\Pi}\subsetT\tilde{\gamma(t)}\widetilde{M}
\widetilde{\gamma |
|J(t)|\geq|\widetilde{J}(t)|
t\in[0,T]
The theorem is formulated using Jacobi fields to measure the variation in geodesics. As the tangential part of a Jacobi field is independent of the geometry of the manifold, the theorem focuses on normal Jacobi fields, i.e. Jacobi fields which are orthogonal to the speed vector
\gamma |
(t)
t
Jacobi fields are requested to vanish at time
t=0
\gamma(0)
t=0
Under very similar conditions, it is also possible to compare the Hessian of the distance function to a given point.[1] It is also possible to compare the Laplacian of this function (which is the trace of the Hessian), with some additional condition on one of the two manifolds: it is then enough to have an inequality on the Ricci curvature (which is the trace of the curvature tensor).