Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2003/iii/paper-16/4/a/solution

For a connected complete -dimensional Riemannian manifold, , the Bonnet-Myers theorem states that
The 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 yields instead . The sphere constants in parts (b) and (c) require normalized Ricci curvature , equivalently the stronger trace bound . We prove those conclusions with this intended normalization below and exhibit counterexamples to the literal trace interpretation. Thus no factor of is silently discarded.

New to topics? Read the docs here!