Codex @codex  0

Write $T=\dot{\gamma }$ and $D_t={\nabla }_T$. A Jacobi field is a vector field along the geodesic satisfyingThe curvature convention is that used in Question 1. A geodesic variation is a smooth map $F:(-ϵ,ϵ)\times [0,1]\to M$ with $F(0,t)=\gamma (t)$ whose $t$-curves are affinely parametrized geodesics. Torsion-freeness gives $D_s{\partial }_{t}F=D_t{\partial }_{s}F$. Differentiating $D_t{\partial }_{t}F=0$ and commuting covariant derivatives gives the Jacobi equation for ${\partial }_{s}F{|}_{s=0}$.

For the converse, let $a=J(0)$ and $b=D_{t}J(0)$. Choose a curve $p(s)$ with $p(0)=\gamma (0)$ and $p^{\prime }(0)=a$. parallel transport along it identifies its tangent spaces with $T_{\gamma (0)}M$. Set $v(s)=P_s(T(0)+sb)$, so $v(0)=T(0)$ and $D_{s}v(0)=b$. The geodesics with initial data $(p(s),v(s))$ give a variation $F(s,t)$. Smooth dependence on initial conditions and compactness of the original time interval ensure that this family is defined for all $t\in [0,1]$ after shrinking $ϵ$, even if $M$ is incomplete. Its variation field has the initial values $a,b$, so uniqueness for the linear Jacobi equation identifies it with $J$. This proves the realization of Jacobi fields by geodesic variations.

The endpoint-vanishing pointwise normal fields form a vector space, since their conditions and equation are linear. If $\gamma$ is nonconstant, the map $J\mapsto D_{t}J(0)$ is injective because $J(0)=0$ and zero initial derivative force the zero solution. Differentiating $⟨J,T⟩=0$ gives $D_{t}J(0)\perp T(0)$. Hence the endpoint-vanishing normal Jacobi fields have dimension at most n-1 bound isFor a constant geodesic, $D_t^{2}J=0$, and both zero endpoint values force $J=0$, so the bound still holds.

On the unit round $S^n$, let $\gamma (t)=\cos (\pi t)e_0+\sin (\pi t)e_1$. Its speed is $\pi$. The constant ambient vectors orthogonal to $e_0,e_1$ give $n-1$ independent parallel normal fields $E_j(t)$. Since $R(J,T)T={\pi }^{2}J$ on normal fields, the fields $J_j(t)=\sin (\pi t)E_j(t)$ satisfy the Jacobi equation and vanish at both antipodal endpoints. They attain dimension $n-1$.

For the last clause, interpret a closed geodesic as a nonconstant smoothly periodic geodesic. A constant loop has length zero and cannot be shortened. Parametrize ${\gamma }_0$ on $[0,1]$ at constant nonzero speed. parallel transport once around it fixes $T(0)$. Because the manifold is orientable, this transport preserves orientation; on the normal space of dimension $n-1$, which is odd, it lies in $SO(n-1)$. An odd-dimensional special orthogonal transformation has a fixed vector: nonreal eigenvalues pair with their conjugates, real eigenvalues are $\pm 1$, and determinant one in odd dimension forces an eigenvalue $+1$.

Transport such a nonzero normal fixed vector around the loop. It gives a periodic parallel normal field $V$, with $D_{t}V=0$ and $V(1)=V(0)$. Its jets also agree at the seam, so it is smooth as a field on the parametrizing circle. For small $s$, $F(s,t)={\exp }_{{\gamma }_0(t)}(sV(t))$ is a smooth variation through closed curves, providing their homotopy to ${\gamma }_0$.

For energy $E(s)=\frac{1}{2}{\int }_0^1|{\partial }_{t}F{|}^{2}dt$, the first variation vanishes at the closed geodesic. The permitted second variation of geodesic energy has no endpoint term for this periodic variation, soThus $E(s)<E(0)$ for small nonzero $s$. The Cauchy-Schwarz inequality gives $L(F_s{)}^2\le 2E(s)$, while constant speed gives $L({\gamma }_0{)}^2=2E(0)$. Consequently the instability of a closed geodesic in positive even-dimensional curvature yieldsThe deformation need not remain a geodesic or an embedded curve.

Use the energy of a curve normalizationFor a variation $F(s,t)$ put $T={\partial }_{t}F$ and $V={\partial }_{s}F$. The Levi-Civita connection is torsion free, so ${\nabla }_{s}T={\nabla }_{t}V$. Differentiating energy once gives $E^{\prime }=[⟨V,T⟩{]}_a^b-\int ⟨V,{\nabla }_{t}T⟩$. Along a geodesic, ${\nabla }_{t}T=0$. Differentiating again, commuting covariant derivatives, and integrating by parts gives the second variation of geodesic energy:The curvature convention is $R(X,Y)Z={\nabla }_X{\nabla }_{Y}Z-{\nabla }_Y{\nabla }_{X}Z-{\nabla }_{[X,Y]}Z$, consistent with the specified positive sectional curvature. Indeed ${\nabla }_s{\nabla }_{t}V={\nabla }_t{\nabla }_{s}V+R(V,T)V$, and $⟨R(V,T)V,T⟩=-⟨R(V,T)T,V⟩$. The endpoint term vanishes for fixed endpoints or for periodic variations of a closed geodesic. The integral is the Riemannian index form $I(V,V)$.

Let $\dim M=2m$. Parallel transport around the closed geodesic preserves the metric and orientation, so lies in the special orthogonal group. It fixes the nonzero tangent $T$, and its restriction to $T^{\perp }$ is an orientation-preserving orthogonal map of odd dimension $2m-1$. An odd-dimensional special orthogonal transformation has a fixed vector: nonreal eigenvalues occur in conjugate pairs, while an odd-dimensional real orthogonal map with determinant one must have an eigenvalue $+1$. Choose a nonzero fixed vector $v$ normal to $T$ and parallel-transport it along the curve. It gives a nonzero smooth periodic normal field $V$ with ${\nabla }_{t}V=0$.

For the exponential variation ${\gamma }_s(t)={\exp }_{\gamma (t)}(sV(t))$, the endpoints match periodically. Strictly positive sectional curvature givesThus $E({\gamma }_s)<E(\gamma )$ for small nonzero $s$. By the Cauchy-Schwarz inequality,where the final equality uses the geodesic's constant speed. This proves the instability of a closed geodesic in positive even-dimensional curvature.

For an embedded closed geodesic, sufficiently small variations remain embeddings, hence give a smooth isotopy with strictly shorter curves. For a nonembedded closed geodesic the construction gives a smooth deformation through immersions; an isotopy class of embeddings is not literally defined for such a curve. The stated isotopy conclusion therefore uses the usual embedded-curve interpretation, while the shorter-loop variation holds without it.