Past exam of the mathematics course of the University of Cambridge / 2003 / iii / Paper 16 / 4 / a

For a connected complete $n$-dimensional Riemannian manifold, $n\ge 2$, the Bonnet-Myers theorem states thatThe fundamental group conclusion follows by applying the same diameter and compactness result to the complete universal cover: its covering fiber is closed and discrete in a compact space, hence finite.

There is an important Ricci curvature convention in the printed question. With the standard trace convention used in this wiki, the literal hypothesis $\mathrm{Ric}\ge kg$ yields instead $\mathrm{diam}M\le \pi \sqrt{(n-1)/k}$. The sphere constants in parts (b) and (c) require normalized Ricci curvature $\overline{\mathrm{Ric}}=\mathrm{Ric}/(n-1)\ge kg$, equivalently the stronger trace bound $\mathrm{Ric}\ge (n-1)kg$. We prove those conclusions with this intended normalization below and exhibit counterexamples to the literal trace interpretation. Thus no factor of $n-1$ is silently discarded.