Cut Locus

For a fixed base point in a Riemannian manifold (or more generally a geodesic metric space), the cut locus is the set of points at which minimizing geodesics from the base point either cease to be unique or fail to extend as minimizers beyond that point; equivalently, the boundary of the maximal domain on which the exponential map at the base point is a distance-preserving diffeomorphism.