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

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.

Use the intended trace bound $\mathrm{Ric}\ge (n-1)kg$ and write $D=\pi /\sqrt{k}$. We state precisely the allowed Bishop volume comparison with a positive-curvature model. Setwhere ${\omega }_{n-1}$ is the area of the unit $(n-1)$-sphere. For $V_p(r)=\mathrm{Vol}B(p,r)$, the ratio $V_p(r)/v_k(r)$ is nonincreasing on $0<r<D$, tends to one at zero, and is at most one. Before the cut time, the radial volume density $J(r,\theta )$ in geodesic polar coordinates is at most $s_k(r{)}^{n-1}$.

By the Bonnet-Myers theorem, $\mathrm{diam}M\le D$. Therefore $V_p(D)=\mathrm{Vol}M$. If distance-$D$ endpoints exist, they do not affect this volume equality: the distance sphere is contained in the smooth image ${\exp }_p(D{S}_p^{n-1})$, which has zero $n$-dimensional Riemannian volume. Taking limits in the comparison ratio at $D$ is legitimate. The assumed equality of total volume gives $V_p(D)/v_k(D)=1$, so monotonicity forcesfor every $p$.

We now extract the equality geometry, rather than merely naming a rigidity theorem. On a small normal neighborhood of $p$, the continuous nonnegative difference $s_k(r{)}^{n-1}-J(r,\theta )$ has integral zero. It is therefore identically zero. Let $A(X)={\nabla }_X{\partial }_r$ on a distance sphere and $h=\mathrm{tr}A={\partial }_r\log J$. Equality of the density gives $h=(n-1)s_k^{\prime }/s_k$. The traced radial Riccati equation for distance spheres readsSince $s_k^{\prime \prime }=-k{s}_k$, substituting $h$ makes the sum of the following two nonnegative quantities zero:Equality in the Cauchy-Schwarz inequality for the eigenvalues of the self-adjoint operator $A$ forces $A=(s_k^{\prime }/s_k)I$. The angular metric $g_r$ in geodesic polar coordinates consequently satisfies ${\partial }_r{g}_r=2(s_k^{\prime }/s_k)g_r$. Smoothness at the center fixes its integration constant, since $r^{-2}{g}_r\to g_{S^{n-1}}$. Henceon the normal ball: the Riemannian metric is locally the round curvature-$k$ metric. As $p$ was arbitrary, $M$ has constant sectional curvature $k$.

The classification of complete positive constant-curvature manifolds now gives $M=S_k^n/\Gamma$ with $\Gamma$ a finite freely acting group of isometries. Covering degree gives $\mathrm{Vol}M=\mathrm{Vol}{S}_k^n/|\Gamma |$. Volume equality forces $|\Gamma |=1$, provingThis establishes spherical rigidity of maximal total volume under the correct normalization.

Under the literal trace bound, the assertion is false in dimension four. Take the Riemannian product $M=S^2(r)\times S^2(r)$ with $r^2=1/(\sqrt{6}k)$. Its Ricci curvature is $r^{-2}g=\sqrt{6}kg\ge kg$, andBut a mixed tangent two-plane has sectional curvature zero, whereas a factor plane has curvature $\sqrt{6}k$. Thus this manifold is not the round sphere despite having the literal hypotheses.

Again assume the intended trace Ricci curvature bound $\mathrm{Ric}\ge (n-1)kg$, and put $D=\pi /\sqrt{k}$. Compactness from the Bonnet-Myers theorem ensures that the diameter is attained: choose $p,q$ with $d(p,q)=D$. For $0<r<D$, the open balls $B(p,r)$ and $B(q,D-r)$ are disjoint, because a point in both would violate the triangle inequality.

The clearly stated Bishop volume comparison with a positive-curvature model from part (b), applied between radius $r$ and radius $D$, givesHere both radius-$D$ ball volumes equal the total volume, as shown in part (b). The symmetry $s_k(D-t)=s_k(t)$ givesThe two lower bounds therefore sum to $\mathrm{Vol}M$, while disjointness bounds that same sum above by $\mathrm{Vol}M$. Both inequalities must be equalities. In particularLetting $r\downarrow 0$, the local Euclidean volume asymptotic gives one on the left. Thus $\mathrm{Vol}M=v_k(D)$, and the detailed equality proof in part (b) applies. We obtainThis proves maximal diameter rigidity from disjoint comparison balls directly, including the required equality argument.

The literal trace interpretation again has a counterexample. On $M=S^2(r)\times S^2(r)$ with $r^2=1/(2k)$, the Ricci curvature equals $2kg\ge kg$. For the product Riemannian metric, distances satisfy $d^2=d_1^2+d_2^2$: every product curve has length at least $\sqrt{d_1^2+d_2^2}$ by the integral triangle inequality, and a pair of constant-speed minimizing factor geodesics attains it. ConsequentlyThe mixed sectional curvature is zero, so this manifold is not $S_k^4$. The stronger bound, or normalized Ricci curvature convention, is essential.