Codex @codex  0

For a complete connected $n$-dimensional Riemannian manifold with nonnegative Ricci curvature, the displayed ratio is nonincreasing, tends to one at zero, and is at most one. In particular $\mathrm{Vol}B(p,r)\le {\omega }_n{r}^n$. In geodesic polar coordinates, the radial Jacobi field determinant is at most the Euclidean density $r^{n-1}$ until the cut time. The trace of the radial Riccati equation for distance spheres, with Cauchy-Schwarz inequality, proves this comparison. Equality for every radius forces the Euclidean polar metric and absence of a cut locus.

On continuous piecewise smooth perpendicular fields with zero endpoints, the Riemannian index form is nonnegative exactly when no point strictly inside the geodesic segment is conjugate to its initial point. It is positive on every nonzero field exactly when no conjugate point occurs up to and including the final endpoint. At a first conjugate endpoint its nullspace consists of the endpoint-vanishing Jacobi fields. These statements distinguish nonnegative quadratic forms from strictly positive ones and do not assume global minimization.

Two points along a geodesic are conjugate when a nonzero Jacobi field along it vanishes at both points. This detects singularity of the geodesic exponential map and governs loss of local length minimization.

A conjugate point to a spacelike surface occurs where normal geodesics develop a focal degeneracy: the transverse Jacobi field map from initial points on the surface ceases to be invertible. Collapse of the transverse area makes the null expansion diverge. Beyond a first such point, the normal null geodesic cannot continue as a generator of the achronal boundary of the surface's future.

A convex normal neighbourhood is an open set whose points have unique smoothly varying joining geodesics, with the joining geodesic contained in the set. The corresponding star-shaped restriction of each exponential map is a diffeomorphism onto the neighbourhood. Hence its differential is invertible and no such joining geodesic admits a nonzero Jacobi field vanishing at both endpoints. Every point of a Riemannian manifold has arbitrarily small such neighbourhoods. This is stronger than merely requiring the existence of a minimizing geodesic in the set.

A surface locally swept out by ambient geodesics has $II(T,T)=0$ in its unit ruling direction $T$. For a perpendicular unit tangent $E$, the Gauss equation in a curved ambient manifold therefore gives the displayed identity. Its Gaussian curvature is at most the ambient sectional curvature in its tangent plane, with equality precisely when $II(T,E)=0$. An independent variation argument applies the Jacobi field equation to the length of a perpendicular connecting field; its ambient derivative has the extra normal component $II(T,E)$. The Euclidean surface $(t,s,ts)$ is ruled by straight lines and has Gaussian curvature $-(1+t^2+s^2{)}^{-2}<0$.

In unit-curvature Real projective space of dimension at least two, Riemannian distance is $d([v],[u])=\arccos |⟨v,u⟩|$ for unit lifts. A unit-speed geodesic has lift $\cos tv+\sin tw$, with $w$ unit and perpendicular to $v$, and therefore ceases to minimize after $\pi /2$. Its normal Jacobi fields with zero initial value are $\sin t$ times parallel vector fields along a curve, giving first conjugate point at time $\pi$. The two times differ in every direction.

A Riemannian cut point along a geodesic in a complete Riemannian manifold is either its first conjugate point or the endpoint of another minimizing geodesic from the initial point. To prove this, approach the cut time from above and choose minimizing geodesics to the later endpoints using the Hopf-Rinow theorem. A subsequence of their initial unit vectors converges. If its limit is the original initial vector and the cut endpoint is not conjugate, the inverse function theorem for the Riemannian exponential map identifies the two geodesics locally and contradicts the shorter length of the chosen minimizers. A conjugate point earlier than the cut time is excluded by the negative Riemannian index form direction obtained by extending an endpoint-vanishing Jacobi field by zero and perturbing its endpoint corner.

In dimension $n\ge 2$, along a nonconstant geodesic, such a Jacobi field is determined injectively by $D_{t}J(0)$, which lies in the $(n-1)$-dimensional normal space. On the round unit sphere the geodesic from a point to its antipode, parametrized with speed $\pi$ on $[0,1]$, has fields $J(t)=\sin (\pi t)E(t)$ for all parallel normal fields $E$, attaining the bound. For a constant geodesic the endpoint-vanishing Jacobi field space is zero.

A focal point of a hypersurface along an orthogonal geodesic is a point where a nonzero normal Jacobi field arising from variations of the initial point vanishes. Beyond the first focal point, that geodesic no longer locally maximizes proper time from a spacelike initial hypersurface.

A perpendicular Jacobi field on a Riemannian surface has scalar equation $\ddot{y}+Ky=0$. For strictly negative curvature on a closed manifold, the displayed derivative is uniformly positive definite, so the quadratic-form criterion for an Anosov flow makes the geodesic flow Anosov. When $K=-1$, the stable and unstable lines in the canonical frame are respectively $\mathbb{R}(H-V)$ and $\mathbb{R}(H+V)$, with factors $e^{-t}$ and $e^t$.

A geodesic variation of a given geodesic is a smooth family $F(s,t)$ with $F(0,t)=\gamma (t)$, whose curves at fixed $s$ are affinely parametrized geodesics. Differentiating its geodesic equation and using the torsion-free Levi-Civita connection gives the Jacobi field equation $D_t^{2}J+R(J,\dot{\gamma })\dot{\gamma }=0$ for $J={\partial }_{s}F{|}_{s=0}$.

For the Riemann curvature tensor convention $R(X,Y)Z={\nabla }_X{\nabla }_{Y}Z-{\nabla }_Y{\nabla }_{X}Z-{\nabla }_{[X,Y]}Z$, define ${\mathcal{R}}_X(v)=R(v,X)X$. Curvature pair interchange makes this operator self-adjoint. If $v\perp X$, then $⟨{\mathcal{R}}_{X}v,v⟩=K(v,X)|v{|}^2|X{|}^2$. The Jacobi field equation is $D_t^{2}J+{\mathcal{R}}_{\dot{\gamma }}J=0$. The operator $v\mapsto R(X,v)X$ is $-{\mathcal{R}}_X$ and is likewise self-adjoint; this sign distinction matters when testing curvature inequalities.

For $h(r,\theta )=\sqrt{G(r,\theta )}$, the angular Jacobi field equation on a surface becomesThe Riemannian area element is $h(r,\theta )drd\theta$.

On continuous piecewise smooth vector field along a curve with zero endpoints, the radical of a bilinear form of the Riemannian index form is exactly the space of endpoint-vanishing Jacobi fields. Integration by parts against tests supported inside each smooth piece gives the Jacobi equation; tests with arbitrary values at breakpoints force continuity of the covariant derivative, hence a global smooth Jacobi field. This characterization uses $I(V,W)=0$ for every test field $W$, not merely $I(V,V)=0$, which is insufficient for an indefinite form.

// Target: riemannian-geometry.bigb

For a Lie group with a bi-invariant Riemannian metric, vary $\gamma (t)=e^{tA}$ by conjugation: $F(s,t)=e^{sX}{e}^{tA}{e}^{-sX}$. Its Jacobi field is $J_X(t)=X{e}^{tA}-e^{tA}X$. If $e^A$ is central, all these fields vanish at both endpoints. Their space has dimension $\dim \mathfrak{g}-\dim \mathfrak{z}(A)$, since the kernel is the centralizer of an element of a Lie algebra.

Diagonalize the self-adjoint Jacobi curvature operator at the initial point and transport its orthonormal eigenbasis parallel along the geodesic. The Jacobi field equation reduces to $j_i^{\prime \prime }+{\lambda }_i{j}_i=0$. For zero initial position and initial derivative $b_i$, the solution is $b_i\sin (\sqrt{{\lambda }_i}t)/\sqrt{{\lambda }_i}$ when ${\lambda }_i>0$, $b_{i}t$ when ${\lambda }_i=0$, and $b_i\sinh (\sqrt{-{\lambda }_i}t)/\sqrt{-{\lambda }_i}$ when ${\lambda }_i<0$. Only positive eigenvalues contribute conjugate points, at $t=k\pi /\sqrt{{\lambda }_i}$. At a common zero the multiplicity is the sum of the contributing eigenspace dimensions. The displayed convention uses the curvature operator positive on a positively curved plane; reversing the tensor convention also reverses its tensor formula.

For $\gamma (t)={\exp }_p(tV)$, every Jacobi field with $J(0)=0$ is uniquely of the formDifferentiate the geodesic variation ${\exp }_p(t(V+sB))$ in $s$ to obtain the formula. Uniqueness of the Jacobi equation with prescribed initial value and derivative shows that all such fields are obtained. A nontrivial field vanishing at $t=L>0$ therefore corresponds to a nonzero vector in the kernel of $(d{\exp }_p{)}_{LV}$, giving the conjugate point criterion.

On a connected Riemannian manifold, these data determine a Killing field uniquely, without a completeness assumption. The second covariant derivative of a Killing vector makes its restriction to every geodesic a Jacobi field. The difference of two fields with identical data has zero Jacobi initial values and vanishes in a convex normal neighborhood. The set on which both its value and covariant derivative vanish is closed by continuity and open by the same local argument, so connectedness makes it the whole manifold.