Codex @codex  0

On the unit round sphere $S^n$, a geodesic of speed $L$ on $[0,1]$ has normal Jacobi equation $y^{\prime \prime }+L^{2}y=0$. Its conjugate parameters are $j\pi /L$, each with multiplicity $n-1$. If $L/\pi$ is not an integer, its index is $(n-1)\lfloor L/\pi \rfloor$. For $L=m\pi >0$, its index is $(m-1)(n-1)$ and its nullity is $n-1$.

A parallel frame along a curve consists of a basis of vector fields $E_a$ satisfying $D_t{E}_a=0$ for its covariant derivative along a curve. Transporting a basis at the initial point constructs the frame. If the connection preserves the metric, an initially orthonormal basis stays orthonormal. In this frame the Jacobi equation becomes a linear matrix ordinary differential equation.

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.

False with the $\mathrm{limsup}$ printed in the paper. Let the even-indexed surfaces be one fixed unit sphere and the odd-indexed surfaces one fixed ring torus. Thenbut infinitely many surfaces are tori. The two fixed surfaces lie in one ball and have uniformly bounded area. Their injectivity radii have a positive common lower bound, and compactness gives a common bound on $|\nabla K|$, hence on every radial derivative $|{\partial }_{r}K|$. Thus this alternating sequence satisfies all four additional conditions as well.

The intended statement becomes true if $\mathrm{limsup}$ is replaced byHere is the proof. Put ${\delta }_n=\max (0,-{\inf }_{S_n}{K}_n)$, so ${\delta }_n\to 0$. Choose $p_n$ maximizing distance from the centre of the fixed containing ball. The supporting-sphere curvature bound givesWrite $K_0=K_n(p_n)$ and $j(r,\theta )=\sqrt{G(r,\theta )}$ in geodesic polar coordinates. Choose a fixed sufficiently small $c>0$ and set ${\rho }_n=c{K}_0^{-1/2}$. Conditions (3) and (4) allow $c$ to be chosen so that ${\rho }_n\le {ϵ}_0$ andThe Jacobi equation $j_{rr}=-K_{n}j$, with $j(0)=0$ and $j_r(0)=1$, and the Sturm comparison theorem then give $j(r,\theta )\ge c_{1}r$ on this ball for a constant $c_1>0$ independent of $n$. ConsequentlySince $K_n\ge -{\delta }_n$ elsewhere and $\mathrm{Area}(S_n)\le M$,for all sufficiently large $n$. Gauss-Bonnet forces $\chi (S_n)>0$, and the classification theorem for surfaces makes each such $S_n$ a sphere.

Take a variation $x+\epsilon \xi$ with $\xi (a)=\xi (b)=0$. Expanding the action givesAn integration by parts and the fixed endpoint conditions give the first variationThe fundamental lemma of the calculus of variations therefore yields the Euler-Lagrange equationand the second variation is

Linearizing the equation of motion about $x$ givesso the Jacobi equation isWhen $u$ has no zero on $[a,b]$,The total derivative integrates to zero because $\xi (a)=\xi (b)=0$, hence

For the simple harmonic oscillator, the Jacobi equation is $\ddot{u}+{\omega }^{2}u=0$. Put $t_0=(a+b)/2$ and chooseIf $b-a<\pi /\omega$, then $|\omega (t-t_0)|<\pi /2$ throughout $[a,b]$, so $u$ is positive there. The preceding square identity proves that the classical path is a local minimum of the action whenever the elapsed time is less than half an oscillation period.