On conjugate points and geodesic loops in a complete Riemannian manifold

Shicheng Xu

A well-known Lemma in Riemannian geometry by Klingenberg says that if $x_0$ is a minimum point of the distance function $d(p,\cdot )$ to $p$ in the cut locus $C_p$ of $p$, then eith…