cut locus of formula_1 in the tangent space under the exponential map at formula_1. thus, we may interpret the cut locus of formula_1 in formula_21 as the points in the manifold where the geodesics starting at formula_1 stop being minimizing.