Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2004/iii/paper-19/4/c/solution

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 is
The first variation vanishes for a closed geodesic, since the endpoint terms cancel. Therefore for sufficiently small nonzero . The Cauchy-Schwarz inequality gives
Thus 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!