the significance of the cut locus is that the distance function from a point formula_1 is smooth, except on the cut locus of formula_1 and formula_1 itself. in particular, it makes sense to take the gradient and hessian of the distance function away from the cut locus and formula_1. 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.