Past exam of the mathematics course of the University of Cambridge / 2004 / iii / Paper 19 / 1

Use the curvature sign convention implicit in part (c): the Jacobi field equation is $D_t^{2}J+K_{\dot{\gamma }}J=0$, so the operator in a positively curved normal direction has positive eigenvalue. With the alternative convention $R_{\mathrm{std}}(X,Y)Z={\nabla }_X{\nabla }_{Y}Z-{\nabla }_Y{\nabla }_{X}Z-{\nabla }_{[X,Y]}Z$ used for the catalog's Jacobi curvature operator, the paper's tensor is $R=-R_{\mathrm{std}}$, and its operator is $K_v(x)=R_{\mathrm{std}}(x,v)v$. This fixes the sign throughout Q1.

Let $r(A,B,C,D)=⟨R(A,B)C,D⟩$. Pair interchange for the Riemann curvature tensor givesThus $K_v$ is self-adjoint with respect to the Riemannian metric. The curvature sign does not affect this conclusion. The spectral theorem for real symmetric matrices therefore supplies the real orthonormal eigenbasis used in part (b). Also $K_{v}v=0$, so the tangent direction is a zero-eigenvalue direction.

Write $D_t={\nabla }_{\dot{\gamma }}$ and let $P_t:T_{p}M\to T_{\gamma (t)}M$ denote parallel transport. Since $\gamma$ is a geodesic, $D_t\dot{\gamma }=0$, while the transported vectors satisfy $D_t{e}_i(t)=0$. The locally symmetric Riemannian manifold condition is $\nabla R=0$. Hence the Levi-Civita connection product rule yieldsBoth this vector field and ${\lambda }_i{e}_i(t)$ are parallel and agree at zero. Uniqueness of parallel transport therefore provesThe eigenvalues are independent of $t$. The original PDF has $K_{\dot{\gamma }(t)}$ here; the converted TeX omits the dot, which would incorrectly put a point rather than a tangent vector in the operator's subscript.

Expand a Jacobi field in the parallel orthonormal eigenbasis: $J(t)={\sum }_i{j}_i(t)e_i(t)$. Part (b) reduces its equation to the scalar equations $j_i^{\prime \prime }+{\lambda }_i{j}_i=0$. DefineFor arbitrary initial values $J(0)={\sum }_i{a}_i{e}_i$ and $D_{t}J(0)={\sum }_i{b}_i{e}_i$, the complete solution isA point at parameter $T>0$ is a conjugate point of $p$ precisely when a nonzero Jacobi field vanishes at both $0$ and $T$. The first condition makes every $a_i=0$. The second requires $b_i{S}_{{\lambda }_i}(T)=0$ for every $i$, with at least one nonzero $b_i$. For $T>0$, the factors for zero and negative eigenvalues never vanish; positive eigenvalues give exactly the sine zeros. ThereforeThe corresponding points are $\gamma (T)$. If several positive eigenspaces have a zero at the same parameter, the conjugate multiplicity is the sum of their dimensions. This also shows that a locally symmetric Riemannian manifold has no conjugate points along a given geodesic when that geodesic's Jacobi curvature operator has no positive eigenvalues.