Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2004/iii/paper-19/4/c/solution
Past exam of the mathematics course of the University of Cambridge 2004 iii Paper 19 4 c Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
Parametrize the nonconstant closed geodesic at unit speed on . Its parallel transport around the loop fixes the tangent . Since the manifold is orientable, it preserves orientation on the full tangent space, and hence has determinant one on the normal space. This normal space has odd dimension because the manifold has even dimension.
An odd-dimensional special orthogonal transformation has a fixed vector. Indeed, nonreal eigenvalues of a real orthogonal transformation occur in conjugate pairs with product one; the real eigenvalues are , and determinant one makes the number of eigenvalues even. Odd dimension therefore requires a eigenvalue. Transport a unit fixed normal vector around the geodesic to obtain a periodic parallel field , with and .
The variation is defined uniformly for small , because the image of the original loop is compact. Periodicity gives closed curves and a homotopy through loops. With the standard positive-sectional-curvature Riemannian index form, the second variation of geodesic energy isThe first variation vanishes for a closed geodesic, since the endpoint terms cancel. Therefore for sufficiently small nonzero . The Cauchy-Schwarz inequality givesThus the closed geodesic is homotopic to a strictly shorter closed curve. This proves the instability of a closed geodesic in positive even-dimensional curvature; completeness of the manifold is unnecessary for this compact-loop variation. Constant loops are excluded by the usual nonconstant meaning of a closed geodesic in this assertion.
New to topics? Read the docs here!