A Jacobi field is a vector field along a geodesic that describes how nearby geodesics deviate from it — it satisfies the Jacobi equation J'' + R(J, γ')γ' = 0, a second-order linear ODE where the curvature tensor acts as a "spring constant." Positive curvature causes geodesics to converge (Jacobi fields oscillate), negative curvature causes divergence (Jacobi fields grow exponentially), and zero curvature gives linear behavior. Conjugate points — where Jacobi fields vanish — mark where geodesics refocus and lose minimality.
Consider a one-parameter family of geodesics γ_s(t) emanating from a point p. The variation field J(t) = ∂γ_s/∂s|_{s=0} measures how fast the geodesics spread apart at time t. Differentiating the geodesic equation ∇_{γ'_s} γ'_s = 0 with respect to s and using the definition of the curvature tensor yields the Jacobi equation: ∇²_{γ'} J + R(J, γ')γ' = 0, often written J'' + R(J, γ')γ' = 0. This is a second-order linear ODE along the geodesic, with the curvature tensor playing the role of a position-dependent "spring constant."
The character of solutions depends on curvature. On a space of positive curvature (like a sphere), the Jacobi equation is like a harmonic oscillator: J'' + KJ = 0 with K > 0 has sinusoidal solutions sin(√K t), meaning Jacobi fields oscillate and periodically return to zero. Geometrically, geodesics converge, refocusing at conjugate points. On a space of negative curvature (like hyperbolic space), the equation is J'' - |K|J = 0, with exponentially growing solutions sinh(√|K| t). Geodesics diverge exponentially, and there are no conjugate points. On flat space, J'' = 0 gives linear solutions J = at + b — geodesics separate at constant rate.
Conjugate points are points where a nonzero Jacobi field (vanishing at the initial point) vanishes again. They mark where the exponential map fails to be a local diffeomorphism, where geodesics lose their minimizing property, and where the second variation of arc length has a zero eigenvalue. The Morse index of a geodesic segment counts conjugate points with multiplicity — it equals the number of independent directions in which the geodesic can be shortened by a small variation.
The Rauch comparison theorem is the quantitative version: if the sectional curvature of M is bounded above/below by a constant κ, then Jacobi fields on M are bounded below/above by Jacobi fields on the model space of constant curvature κ. This translates curvature bounds into metric bounds: distances between geodesics on M are controlled by the corresponding distances in the model space. Rauch comparison is the engine behind most of the global theorems in Riemannian geometry — the sphere theorem, the Bonnet-Myers theorem, the volume comparison theorem, and the Toponogov theorem all follow from Jacobi field estimates.