# Cut locus (Riemannian manifold)

In Riemannian geometry, the cut locus of a point $p$ in a manifold is roughly the set of all other points for which there are multiple minimizing geodesics connecting them from $p$ , but it may contain additional points where the minimizing geodesic is unique, under certain circumstances. The distance function from p is a smooth function except at the point p itself and the cut locus.

## Definition

The least distance from p to the cut locus is the injectivity radius at p. On the open ball of this radius, the exponential map at p is a diffeomorphism from the tangent space to the manifold, and this is the largest such radius. The global injectivity radius is defined to be the infimum of the injectivity radius at p, over all points of the manifold.

## Examples

On the standard round n-sphere, the cut locus of a point consists of the single point opposite of it (i.e., the antipodal point). On an infinitely long cylinder, the cut locus of a point consists of the line opposite the point.

## Applications

The significance of the cut locus is that the distance function from a point $p$ is smooth, except on the cut locus of $p$ . In particular, it makes sense to take the gradient and Hessian of the distance function away from the cut locus. This idea is used in the local Laplacian comparison theorem and the local Hessian comparison theorem. These are used in the proof of the local version of the Toponogov theorem, and many other important theorems in Riemannian geometry.

## Cut locus of a subset

One can similarly define the cut locus of a submanifold of the Riemannian manifold, in terms of its normal exponential map.