The study of the cut locus of a point on a Riemannian manifold or length space: the set of endpoints where distance-minimizing geodesics from the base point cease to be minimizing. It is used to investigate global geodesic structure, singularities of the distance function, and topological and metric properties of the underlying space.

Principle

The organizing rule is that the cut locus encodes where uniqueness or minimality of geodesics from a fixed base point fails; analyzing its structure reveals injectivity radius, branching of geodesics, and obstructions to extending normal coordinates.

Demonstration

On the 2-sphere with the round metric, the cut locus of any point is its antipodal point; on a flat torus the cut locus of a point is a graph formed from the midpoints of shortest lifts in the universal cover. Computing the cut locus explains why the exponential map is a diffeomorphism only up to the injectivity radius.

Misapplication

Using local, coordinate-based minimization tests without checking completeness or global topology can misidentify cut points; applying cut locus conclusions from a compact manifold to a noncomplete manifold can produce incorrect statements about injectivity and uniqueness of geodesics.

Consequence

Correct analysis yields explicit descriptions of injectivity radius, the singular set of the distance function, and constraints on topology (e.g., relations between cut locus complexity and handles or curvature bounds); it guides construction of global coordinates and distance-based algorithms.

Reversal

The inverse viewpoint is the study of the injectivity domain or cut-free region: the open set where the exponential map at the base point is a diffeomorphism and geodesics remain minimizing, emphasizing uniqueness rather than failure of minimization.

Boundary

Applies primarily to smooth Riemannian manifolds and geodesic length spaces; direct analogues may fail for discrete metric spaces or spaces without geodesic completeness. The analysis often requires knowledge of conjugate points, curvature bounds, or global coverings.

Semantic Tension

Tension exists between the cut locus and the conjugate locus: conjugate points arise from failure of the exponential map differential to be invertible, while cut points mark failure of global minimality; the two sets may differ and interact nontrivially.

Synthesis

Cut locus analysis synthesizes metric, differential, and topological data by locating where geodesic minimizers terminate; it turns local curvature and variational information into a global description of distance singularities and injectivity behavior.