Rauch comparison theorem

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.

Statement

edit

Let   be Riemannian manifolds, on which are drawn unit speed geodesic segments   and  . Assume that   has no conjugate points along  , and let   be two normal Jacobi fields along   and   such that :

  •   and  
  •  .

If the sectional curvature of every 2-plane  containing   is less or equal than the sectional curvature of every 2-plane   containing  , then   for all  .

Conditions of the theorem

edit

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   of the geodesic for all time  . Up to reparametrization, every variation of geodesics induces a normal Jacobi field.

Jacobi fields are requested to vanish at time   because the theorem measures the infinitesimal divergence (or convergence) of a family of geodesics issued from the same point  , and such a family induces a Jacobi field vanishing at  .

Analog theorems

edit

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).[1]

See also

edit

References

edit
  1. ^ a b Greene, Robert Everist; Wu, Hongxi (1979). Function theory on manifolds which possess a pole. Berlin: Springer-Verlag. ISBN 0-387-09108-4. OCLC 4593089.
  • do Carmo, M.P. Riemannian Geometry, Birkhäuser, 1992.
  • Lee, J. M., Riemannian Manifolds: An Introduction to Curvature, Springer, 1997.