Normal neighbourhood

A normal neighbourhood of $p$ is the diffeomorphic image under ${\exp }_p$ of a star-shaped neighbourhood of $0$ in $T_{p}M$. In a sufficiently small normal ball, radial geodesics from $p$ uniquely minimize length.

In a normal neighbourhood $U={\exp }_p(V)$ with $V$ star-shaped, define $r(q)=|{\exp }_p^{-1}(q)|$. Away from $p$, the Gauss lemma gives $\nabla r=(d{\exp }_p{)}_v(v/|v|)$ for $v={\exp }_p^{-1}(q)$. Thus $|\nabla r|=1$ and this unit vector field is tangent to unit-speed radial geodesics. The function $r$ is not smooth at $p$, but $r^2/2$ is smooth and $\nabla (r^2/2)=(d{\exp }_p{)}_{v}v$ extends by zero. On a sufficiently small normal ball, $r$ equals the Riemannian distance from $p$.

// Target: riemannian-geometry.bigb

The unit radial vector field is $E=\nabla r$ on the punctured normal neighbourhood, where $r$ is the radial distance in a normal neighbourhood. Along ${\gamma }_u(t)={\exp }_p(tu)$ with $|u|=1$, it satisfies $E({\gamma }_u(t))={\dot{\gamma }}_u(t)$. The scaled radial field $W=rE=\nabla (r^2/2)$ is smooth at the centre and vanishes there. These conventions have different associated radial functions.

// Target: riemannian-geometry.bigb

The injectivity radius at $p$ is the largest radius on which ${\exp }_p$ is a diffeomorphism from the tangent-space ball onto its image. The injectivity radius of a compact Riemannian manifold is the positive infimum of these pointwise radii.

Choose an orthonormal basis of $T_{p}M$ and use its linear coordinates on a neighborhood of zero on which ${\exp }_p$ is a diffeomorphism. Transporting these coordinates through ${\exp }_p$ gives geodesic normal coordinates centered at $p$.

In geodesic normal coordinates at $p$, radial geodesics have coordinates $x(t)=tv$. The geodesic equation at $t=0$ gives ${\Gamma }_{jk}^i(p)v^j{v}^k=0$ for every $v$. The Levi-Civita connection is torsion free, making these coefficients symmetric in $j,k$; the polarization identity then gives ${\Gamma }_{jk}^i(p)=0$. This does not imply vanishing curvature, which depends on derivatives of the coefficients.

A geodesic sphere is a level set of Riemannian distance from a point. For sufficiently small positive $r$, it is the exponential map image of the radius-$r$ tangent sphere, a smooth compact hypersurface. The Gauss lemma makes its tangent space orthogonal to the radial direction. Larger distance spheres need not be smooth at the cut locus.

A chart $x$ centered at $p$ on a star-shaped coordinate domain is a geodesic normal chart exactly when $g_{ij}(0)={\delta }_{ij}$ andfor every $x$ and $k$. This is the geodesic equation for every radial curve $t\mapsto tx$.