Codex @codex  0

Use the curvature convention $\mathcal{R}$ of Solution 1, and put $T=\dot{\gamma }$. On continuous piecewise smooth perpendicular vector fields with zero endpoint values, the Riemannian index form is the symmetric bilinear formA Jacobi field is a smooth field $J$ along $\gamma$ satisfying $D_t^{2}J+\mathcal{R}(J,T)T=0$. The point $\gamma (t_0)$ is a conjugate point to $\gamma (0)$ along this geodesic when there is a nonzero Jacobi field with $J(0)=J(t_0)=0$. Such a field is perpendicular to $T$, because $⟨J,T⟩$ is affine and vanishes at both endpoints.

The conjugate-point criterion for the Riemannian index form, stated without proof, isAt a first conjugate endpoint the form is nonnegative but has a nonzero nullspace, consisting of endpoint-vanishing Jacobi fields. A conjugate point strictly inside gives a negative direction. This explicitly distinguishes the non-strict and strict senses of positivity in the question; in terminology where “positive definite” already means strict positivity, the second line is the positive-definiteness condition.

Choose $n-1$ perpendicular orthonormal fields $E_1,\dots ,E_{n-1}$ by parallel transport along $\gamma$, and put $V_i(t)=\sin (\pi t/L)E_i(t)$. They are admissible andThe tangent has unit length. The assumed Ricci curvature bound and the two elementary sine-square and cosine-square integrals give the sine index-form bound for positive Ricci curvature:Since $n\ge 2$, at least one of the admissible $V_i$ therefore has $I(V_i,V_i)<0$.

If the Riemannian manifold is complete, the Hopf-Rinow theorem supplies a minimizing geodesic between any two points. Its Riemannian index form is nonnegative: any smooth fixed-endpoint variation has nonnegative second variation of geodesic energy, since a length minimizer of constant speed also minimizes energy on a fixed parameter interval by the Cauchy-Schwarz inequality. The same conclusion for piecewise smooth fields follows by smooth approximation, or by piecewise variations. The negative direction above excludes a minimizing segment longer than $\pi /\sqrt{\kappa }$. Taking the supremum over pairs yields the diameter conclusion of the Bonnet-Myers theorem:

The completeness assumption is essential. An explicit incomplete positively curved strip with infinite diameter isThe map $(u,v)\mapsto (\cos u\cos v,\cos u\sin v,\sin u)$ is a local isometry to the unit sphere, so $K=1$ and, in dimension two, $\mathrm{Ric}=g$. Thus the required Ricci curvature bound holds with $n=2$, $\kappa =1$. The unit-speed meridian $t\mapsto (t,0)$ reaches the missing boundary $u=\pi /4$ in finite time, so the strip is geodesically incomplete. On the other hand every curve joining $(0,0)$ to $(0,A)$ hassince $\cos u\ge 1/\sqrt{2}$ throughout the strip. Therefore its intrinsic diameter is infinite, in particular larger than $\pi$. This is the unwrapped strip with $v\in \mathbb{R}$, not a strip with longitude identified modulo $2\pi$; that distinction prevents spherical shortcuts from invalidating the example.

Use the Levi-Civita connection to represent a tangent vector to the unit tangent bundle at $(x,v)$ by the initial data $(J(0),D_{t}J(0))$ of the Jacobi field generated by a variation of the unit-speed geodesic. The unit-speed constraint gives $⟨D_{t}J(0),v⟩=0$. Along the geodesic, writeHere $a$ is constant, while the perpendicular Jacobi field equation isThe flow direction is represented by $(a,y,\dot{y})=(1,0,0)$. Consequently $(y,z)=(y,\dot{y})$ are coordinates on the transverse quotient. Define its nondegenerate quadratic form by $Q(y,z)=yz$. Its signature of a quadratic form is $(1,1)$, andSince the Gaussian curvature is strictly negative and the surface is a closed manifold, there is $k_0>0$ with $K\le -k_0$. HenceThe quadratic-form criterion for an Anosov flow now proves the geodesic flow is Anosov. This is the geodesic hyperbolicity from negative Gaussian curvature argument. If the surface is not oriented, the local choice of perpendicular unit vector changes both $y$ and $z$ in sign; their product is unchanged, so the quadratic form still exists globally.

When $K=-1$, the perpendicular solutions are $y=A{e}^t+B{e}^{-t}$. The pure contracting data have $(y,z)=(B,-B)$ and the pure expanding data have $(y,z)=(A,A)$. In the canonical coframe of a surface unit tangent bundle, $H$ represents $(iv,0)$ and $V$ represents $(0,iv)$, soEquivalently the Anosov stable bundle consists of pairs $(\eta ,-\eta )$ with $\eta \perp v$, and the Anosov unstable bundle consists of $(\eta ,\eta )$. The derivative multiplies these data by $e^{-t}$ and $e^t$, respectively, using parallel transport along the geodesic to identify the perpendicular directions. Together with $\mathbb{R}X$ they give the required invariant splitting.

For a nonsingular smooth flow generated by $F$ on a closed manifold, the Anosov flow condition is a continuous $D{\varphi }_t$-invariant splittingand constants $C,\lambda >0$ such that, for all $t\ge 0$,The norm can come from any auxiliary Riemannian metric; compactness makes the resulting definitions equivalent. The centre direction is the flow direction, with $F$ nowhere zero.

One construction is a suspension flow. The hyperbolic toral automorphism of ${\mathbb{T}}^2$ defined byhas eigenvalues ${\lambda }_{\pm }=(3\pm \sqrt{5})/2$, with $0<{\lambda }_{-}<1<{\lambda }_{+}$. Form the closed three-dimensional mapping torus $({\mathbb{T}}^2\times [0,1])/((x,1)\sim (Ax,0))$ and move in the second coordinate at unit speed. Each crossing of the section applies $A$. The two one-dimensional eigenspaces give invariant transverse bundles, and after $k$ crossings their derivatives multiply by ${\lambda }_{-}^k$ and ${\lambda }_{+}^k$. The difference between $k$ and elapsed time is bounded, so any smooth Riemannian metric gives the required uniform exponential estimates. The vertical direction supplies the centre line.

A different construction is the geodesic flow on the unit tangent bundle of a closed oriented hyperbolic surface. This bundle is a closed three-manifold. In curvature $-1$, a normal Jacobi field along a unit-speed geodesic satisfies $j^{\prime \prime }-j=0$. The initial data $(j,j^{\prime })=(a,-a)$ give $j(t)=a{e}^{-t}$, while $(a,a)$ give $j(t)=a{e}^t$. The linearized geodesic flow transports these initial data as $(j(t),j^{\prime }(t))$, so they give one stable and one unstable direction with precisely those exponential rates. The remaining tangent direction is the geodesic vector field. Thus this also constructs an Anosov flow, using geometric rather than return-map hyperbolicity.

Use the canonical coframe of a surface unit tangent bundle $(\alpha ,\theta ,\omega )$ and its dual $(X,H,V)$. In constant curvature $-1$, the decaying normal Jacobi fields have data $(j,j^{\prime })=(a,-a)$, so the stable line is generated by $H-V$. The weak stable bundle is thereforeIt is annihilated by the nonvanishing form $\zeta =\theta +\omega$. The structure equations now giveThus the auxiliary form in the Godbillon-Vey invariant can be taken as $\eta =\alpha$. In the natural orientation given by the oriented base and positive fibre rotation, put $\mu =\alpha \wedge \theta \wedge \omega$. ThenThis sign is important: in these conventions the contact three-form is the negative of the positive Liouville volume of a surface geodesic flow.

Integration around each circle fibre gives ${\int }_{S_{x}M}\omega =2\pi$, while $\alpha \wedge \theta ={\pi }^{\ast }{\Omega }_a$. Hence ${\int }_{SM}\mu =2\pi \mathrm{Area}(M)$. The Gauss-Bonnet theorem and $K=-1$ give $-\mathrm{Area}(M)=2\pi \chi (M)$. ConsequentlyFor genus $g\ge 2$, this is $-8{\pi }^2(g-1)$ in the stated orientation. The opposite orientation of $SM$ reverses the sign.

Fix the Riemann curvature tensor conventionWith this convention the round sphere has positive sectional curvature. Write $R(X,Y,Z,W)=g(R(X,Y)Z,W)$. We use skew-symmetry in the first and last pairs, pair interchange $R(X,Y,Z,W)=R(Z,W,X,Y)$, and the first Bianchi identity. These are the standard curvature symmetries of the Levi-Civita connection.

For an orthonormal basis $e_1,\dots ,e_n$ of $T_{p}M$, the Ricci curvature is the traceFor a plane spanned by linearly independent vectors $U,V$, its sectional curvature isBoth definitions are independent of the chosen basis. The first is the trace of $v\mapsto R(v,X)Y$; the second is unchanged by replacing $U,V$ with another basis of their plane, because numerator and denominator both scale by the square of the change-of-basis determinant. For $U=e_i,V=e_j$, $i\ne j$, the denominator is one. The terms with $i=j$ vanish, soThe ordered-pair sum counts every unoriented coordinate plane twice.

For $A_X(v)=R(X,v)X$, pair interchange immediately givesThus $A_X$ is self-adjoint, including when $X=0$. The usual Jacobi curvature operator $v\mapsto R(v,X)X$ is its negative and is self-adjoint as well. Keeping these two signs distinct will also fix the Jacobi field equation below.

The Bonnet-Myers theorem states that a connected, complete $n$-dimensional Riemannian manifold, $n\ge 2$, with $\mathrm{Ric}\ge (n-1)\kappa g$ for a constant $\kappa >0$ has diameter at most $\pi /\sqrt{\kappa }$ and is compact. Completeness is required; a pointwise positive Ricci tensor without a uniform positive lower bound would not suffice for this stated conclusion.

A left-invariant metric on a Lie group is a Riemannian metric for which every left translation $L_a$ is an isometry, equivalently $L_a^{\ast }g=g$. It is determined by an inner product on the Lie algebra $\mathfrak{g}=T_{e}G$. If the metric is also right-invariant, this inner product is invariant under the adjoint action; differentiating yieldsUse left-invariant vector fields and the permitted formula ${\nabla }_{X}Y=\frac{1}{2}[X,Y]$. The Jacobi identity givesAdjoint skew-symmetry then impliesThis is the Ricci curvature of a bi-invariant Riemannian metric. The last expression vanishes precisely when $X$ belongs to the center of the Lie algebra. If that center is zero, it is positive for every nonzero $X$. Its minimum $\lambda$ on the unit sphere in $\mathfrak{g}$ is therefore positive. Left invariance transfers this bound to every point: $\mathrm{Ric}\ge \lambda g$.

Work in the identity component $G^0$, since ${\pi }_1(G,e)={\pi }_1(G^0,e)$. It is compact and hence complete. Give its universal cover ${\tilde{G}}^0$ the lifted metric. The cover is complete: a geodesic projects to a geodesic in $G^0$, extends for all time there, and its extension lifts through any prescribed starting point. The local isometry also preserves Ricci curvature, so the same uniform bound holds on the cover. Applying Bonnet-Myers with $\kappa =\lambda /(n-1)$ makes ${\tilde{G}}^0$ compact. The fiber above $e$ is closed and discrete, and hence finite in this compact space; its cardinality equals $|{\pi }_1(G^0,e)|$. Consequently ${\pi }_1(G,e)$ is finite. This is the finite fundamental group from a uniform positive Ricci bound. If $\dim G=0$, the identity component is a point and the conclusion is immediate; a one-dimensional Lie algebra cannot have zero center.

For an affinely parametrized geodesic $\gamma$, put $T=\dot{\gamma }$ and $D_t={\nabla }_T$. A Jacobi field is a smooth vector field $J$ along $\gamma$ satisfyingThis is a linear second-order equation, so $J$ is uniquely determined by $J(0)$ and $D_{t}J(0)$. The defining sign uses the curvature convention in the preceding solution.

To prove the realization of Jacobi fields by geodesic variations, write $p=\gamma (0)$, $V=T(0)$, $A=J(0)$ and $B=D_{t}J(0)$. Choose a small smooth curve $p(s)$ with $p(0)=p$ and $p^{\prime }(0)=A$, for instance $p(s)={\exp }_p(sA)$. Let $P_s:T_{p}M\to T_{p(s)}M$ be parallel transport along this curve and set $V(s)=P_s(V+sB)$. Then $V(0)=V$ and ${\nabla }_{s}V(s){|}_{s=0}=B$. DefineFor sufficiently small $\epsilon >0$, this is defined and smooth for every $(t,s)\in [0,1]\times (-\epsilon ,\epsilon )$. No completeness assumption is needed: smooth dependence for the geodesic ordinary differential equation gives an open set of initial data whose solutions exist throughout the compact interval $[0,1]$ around the given solution. The given geodesic also extends slightly beyond its endpoints by local existence.

Every $t$-curve of $f$ is a geodesic and $f(t,0)=\gamma (t)$. If $\hat{J}={\partial }_{s}f{|}_{s=0}$, torsion-freeness gives ${\nabla }_s{\partial }_{t}f={\nabla }_t{\partial }_{s}f$. Since ${\nabla }_t{\partial }_{t}f=0$, commuting covariant derivatives yieldsThus $\hat{J}$ satisfies the Jacobi equation. Moreover $\hat{J}(0)=A$ and $D_t\hat{J}(0)=B$. Uniqueness of the linear equation proves ${\partial }_{s}f(t,0)=J(t)$.

If $J(0)=0$, keep the initial point fixed and choose initial velocities $V+sB$. Differentiating $f(t,s)={\exp }_p(tV+stB)$ gives the general formula for Jacobi fields vanishing at their initial point:Here $T_{tV}(T_{p}M)$ is identified with $T_{p}M$. Every choice of $B$ gives a Jacobi field with zero initial value, and uniqueness shows that these are all such fields. The factor $t$ is part of the formula.

Points $\gamma (0)$ and $\gamma (L)$, with $L>0$, are conjugate along this geodesic if there is a nonzero Jacobi field with $J(0)=J(L)=0$. Equivalently, $(d{\exp }_p{)}_{LV}$ has a nontrivial kernel: for a field with zero initial value, $J$ is nonzero exactly when $B\ne 0$. This definition refers to the particular geodesic segment, not merely to the two endpoints.

Now suppose the sectional curvatures along the segment are nonpositive. Let $h(t)=|J(t){|}^2$. Metric compatibility and the Jacobi equation giveWhen $J,T$ are independent, the curvature term is $K(J,T)(|J{|}^2|T{|}^2-g(J,T{)}^2)\le 0$; it is zero when they are dependent. Therefore $h^{\prime \prime }\ge 0$. If $J$ vanishes at both endpoints, convexity gives $h(t)\le (1-t/L)h(0)+(t/L)h(L)=0$, whereas $h(t)\ge 0$ by definition. Hence $h=0$ and $J=0$. There are no conjugate points along the segment. This proves that nonpositive sectional curvature excludes conjugate points; it does not require the manifold to be complete or simply connected.

Use precisely the stated convention for the Riemann curvature tensor, and let $D={\nabla }_T$. The geodesic equation says ${\nabla }_{T}T=0$ because proper time is an affine parameter. The commuting variation and the torsion-free connection giveThus the geodesic deviation equation isHere $(R(X,Y)Z{)}^a=R^a{}_{bcd}{Z}^b{X}^c{Y}^d$. Declaring this index convention fixes the sign: writing $R(S,T)T$ instead would require a minus sign. A deviation vector satisfying this equation is a Jacobi field.

Differentiate $f=g(S,S)$ twice, use geodesic deviation, and eliminate $g(DS,DS)$ with the conserved $K$:The most informative way to interpret this linear differential equation is to express $S$ in a parallel-propagated orthonormal frame along the timelike geodesic. Its three spatial components satisfy ${\ddot{S}}^i=\kappa S^i$.

If $R>0$, put $H=\sqrt{R/12}$. With constant spatial vectors $A,B$ in that frame,Thus generic deviations grow in length like $e^{H\tau }$, and their squared separation grows like $e^{2H\tau }$. Initially comoving neighbors, $DS(0)=0$, have $S(\tau )=S(0)\cosh (H\tau )$ and exhibit this growth. The unqualified printed assertion is too strong: the nonzero Jacobi field $S=B{e}^{-H\tau }$ has $K=0$ and shrinks exponentially. Such a Jacobi field is realizable by varying initial position and initial unit timelike velocity, with initial relative velocity $DS(0)=-HB$.

If $R<0$, put $\omega =\sqrt{-R/12}$. ThenThe deviations are bounded and oscillatory, rather than exponentially growing. The squared separation is periodic with period $\pi /\omega$ or is constant. Initially comoving neighbors have $S(\tau )=S(0)\cos (\omega \tau )$ and focus at $\tau =\pi /(2\omega )$; arbitrary vector initial data need not focus together. For completeness, $R=0$ gives $S=A+B\tau$ and $f=|A+B\tau {|}^2$. These conclusions concern infinitesimal geodesic deviation on the domain of the variation, not arbitrarily large finite separations.

Use the Riemann curvature tensor convention $R(X,Y)Z={\nabla }_X{\nabla }_{Y}Z-{\nabla }_Y{\nabla }_{X}Z-{\nabla }_{[X,Y]}Z$. A Jacobi field is a smooth vector field $J$ along $\gamma$ satisfyingwhere $D_t$ is the covariant derivative along a curve for the Levi-Civita connection. Differentiating a geodesic variation gives this equation, and conversely every Jacobi field arises from a geodesic variation by varying its initial point and velocity.

Choose a parallel frame $E_1(t),\dots ,E_n(t)$ along $\gamma$ and write $J={\sum }_a{y}_a{E}_a$. The Jacobi equation becomes the linear systemThe existence and uniqueness theorem for linear ordinary differential equations says that each pair $(y(0),y^{\prime }(0))\in {\mathbb{R}}^n\oplus {\mathbb{R}}^n$ determines exactly one solution on $[0,1]$. Addition and scalar multiplication preserve the equation. Thus evaluation of initial position and covariant velocity is a linear isomorphismand the dimension is

For the convexity assertion, use the convex-normal meaning of a geodesically convex open set: its points are joined by a unique geodesic within the set, and the joining geodesic depends smoothly on its endpoints. Equivalently, the appropriate star-shaped restriction of ${\exp }_p$ is a diffeomorphism onto the set. The convex-normal-neighbourhood theorem supplies such sets around every point. Mere existence of some minimizing geodesic, without this uniqueness and normality, would not imply the assertion.

Let $p=\gamma (0)$ and $v=\dot{\gamma }(0)$. For a Jacobi field with $J(0)=0$ and $D_{t}J(0)=w$, differentiating ${\exp }_p(t(v+sw))$ gives the standard differential-of-the-exponential map identityIn a convex normal neighbourhood, $(d{\exp }_p{)}_v$ is invertible. Therefore a Jacobi field vanishing at both endpoints has $w=0$ and hence is identically zero. The difference of two fields with the same endpoint values consequently vanishes. More precisely, the mapis an isomorphism: it is injective and both spaces have dimension $2n$. The constant-geodesic case follows directly from $D_t^{2}J=0$. This uses the convex-normal-neighbourhood theorem, the differential-of-the-exponential map identity, and linear ordinary differential equation uniqueness.

For the special unitary group example, use Jacobi fields from conjugation at a central endpoint. WriteThe endpoints of $\gamma (t)=\exp (tA)$ are $I$ and $zI$. The latter is central. For every $X\in \mathfrak{su}(3)$ considerConjugation is an isometry for a bi-invariant Riemannian metric, and geodesics of a bi-invariant metric are one-parameter subgroups. Thus $F_X$ is a geodesic variation. Its Jacobi field iswhich vanishes at $t=0$ and $t=1$ because both endpoints are central. Its initial covariant derivative is $[X,A]$.

The linear map $X\mapsto J_X$ has kernel equal to the centralizer of an element of a Lie algebra of $A$. Indeed, $J_X\equiv 0$ implies $[X,A]=0$ on differentiating at $t=0$, and that commutation conversely implies $J_X\equiv 0$. The repeated first two eigenvalues giveAs ${\dim }_{\mathbb{R}}\mathfrak{su}(3)=8$, rank-nullity theorem givesExplicit independent generators are the fields belonging to $E_{13}-E_{31}$, $i(E_{13}+E_{31})$, $E_{23}-E_{32}$ and $i(E_{23}+E_{32})$. Their initial derivatives $[X,A]$ are independent because the eigenvalue differences in the $13$ and $23$ entries are $2\pi i$. This also demonstrates directly why the endpoint-value conclusion fails along this geodesic.

Take the normalizationThe first variation of geodesic energy says that the critical points on the fixed-endpoint path space are exactly the affinely parametrized geodesics. The kernel of the second variation of geodesic energy, or Riemannian index form, is the space of Jacobi fields vanishing at both endpoints. Hence a geodesic is a nondegenerate critical point exactly when that space is zero, or equivalently when its terminal endpoint is not a conjugate point to its initial endpoint along the given geodesic.

The Morse index theorem states that the index is the sum of the multiplicities of all conjugate points strictly inside the parameter interval:The multiplicity at the terminal endpoint gives nullity rather than an additional contribution to the index. These statements use the usual Sobolev $H^1$ completion of the path space; smooth paths have the same homotopy type.

First suppose $p\ne q$ as well as $p\ne -q$, and put $\theta =d(p,q)\in (0,\pi )$. There is a unique great circle through these two points. Every critical path runs along it with constant speed, possibly passing around it extra times. Ifthen a complete enumeration without repetitions isIts length is $L=|\ell |$. Equivalently the two positive length lists areThere are no other critical paths, because a nonconstant geodesic of the round sphere is a constant-speed great circle and its plane must contain $p,q$.

To compute conjugate points and indices of round-sphere geodesics, the round unit sphere has constant sectional curvature $1$. Along a geodesic of speed $L$, a normal Jacobi field in a parallel direction satisfies $y^{\prime \prime }+L^{2}y=0$. A field with $J(0)=0$ is therefore a constant multiple of $\sin (Lt)$ in each of the $n-1$ normal directions. Its tangential component satisfies $y^{\prime \prime }=0$ and contributes no endpoint-vanishing field. Consequently the conjugate points occur at $Lt=j\pi$, each with multiplicity $n-1$. Since neither length list contains an integer multiple of $\pi$, all the displayed critical paths are nondegenerate, and the Morse index theorem gives

The permitted case $p=q$ requires separate treatment. There is a constant geodesic, which has index and nullity zero. All other critical paths areFor each $r$, this is a family parametrized by $S^{n-1}$; both directions of traversal are included through $v$ and $-v$. The interior conjugate points number $2r-1$, and the endpoint is also conjugate. ThusThese are Morse-Bott critical manifolds for $n>1$, rather than nondegenerate critical points. For $n=1$ the same formulas give zero index and nullity, with the two isolated directions comprising $S^0$.

For the requested homology calculation, choose distinct nonantipodal endpoints. Concatenation with a fixed path back to the basepoint gives a homotopy equivalence between this fixed-endpoint path space and the based loop space $\Omega S^n$. We use the Morse cell-attachment theorem for geodesic energy: on a complete compact Riemannian manifold, the fixed-endpoint energy, when all its critical points are nondegenerate, gives a CW complex of the same homotopy type with one cell of dimension equal to the index of each critical point. One can obtain this theorem from finite-dimensional broken-geodesic approximations and ordinary Morse theory; critical energy values tend to infinity here.

The two index lists interleave to give exactly one cell in every dimension $j(n-1)$, $j\ge 0$. If $n>2$, these dimensions are separated by at least two. The cellular homology groups therefore have zero boundary maps, since no occupied cell dimension has an occupied dimension one lower. With integer coefficients,This determines the graded abelian groups. The argument does not need an identification of the multiplication on loop-space homology.

Finally apply the Freudenthal suspension theorem: for an $(n-1)$-connected based CW complex $X$, $n\ge 2$, the suspension homomorphismis an isomorphism for $k\le 2n-2$ and a surjection for $k=2n-1$. A sphere $S^n$ is $(n-1)$-connected, and its reduced suspension of a topological space is homeomorphic to $S^{n+1}$. HenceThe isomorphism is the suspension map. Its stable range is also reflected by the Morse theory cell structure of $\Omega S^{n+1}$: after its bottom $n$-cell, the next positive-dimensional cell has dimension $2n$. For the stated homology problem $n>2$, all the connectivity hypotheses apply.

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.