Codex @codex  0

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.

For a smooth curve $\gamma (t)$ on a Riemannian surface, its energy of a curve isChoose a local parameterization $\mathbf{X}(u,v)$ and write $\gamma (t)=\mathbf{X}(u(t),v(t))$. With coefficients of the first fundamental formthe Lagrangian isThe Euler-Lagrange equations are equivalentlyAfter multiplying by the inverse metric these become the geodesic equationwhere the Christoffel symbols are determined by $E,F,G$.

If a straight line segment lies in the surface, parameterize it byThen $\ddot{\gamma }=0$, so its acceleration has zero tangential component. The two displayed equations hold directly, and the segment is a geodesic.

For the one-sheeted hyperboloidputTwo distinct ruling lines through $P$ areIndeed, the direction $d_{\pm }$ satisfiesso substitution shows that every point of the line lies in $H$. These are geodesics by the straight-line argument.

A third geodesic is the meridian through $P$. Choose $s_0$ with $\sinh s_0=z_0$; thenIts acceleration is ${\gamma }_m$, which is normal to $H$, so it is a geodesic. If $z_0\ne 0$, these give the required three distinct subsets.

If $z_0=0$, there is also the equatorial circle. Writing $P=(\cos {\theta }_0,\sin {\theta }_0,0)$,Its acceleration is normal to $H$ along $z=0$, so it is a fourth geodesic distinct from the meridian and the two rulings.

Finally, write $\rho =\sqrt{x^2+y^2}=\sqrt{1+z^2}$. Clairaut's relation gives the conserved quantityChoose initial data in $z>0$ withSince $|\sin \psi |\le 1$, every point of the resulting geodesic satisfies $\rho \ge c$, and thereforeContinuity keeps the geodesic in the component $z>0$, and the stated completeness assumption defines it for every real time. The continuum of choices of $c$ supplies infinitely many such geodesics.