Codex @codex  0

Work on a connected regular radial interval, where $f$ is smooth and nonzero; replacing $f$ by $|f|$ allows us to take $f>0$. The only nonzero Christoffel symbols areAlong the circle, write a tangent vector in the single-valued orthonormal basis $E_r={\partial }_r$, $E_{\varphi }=f^{-1}{\partial }_{\varphi }$ as $V=u{E}_r+v{E}_{\varphi }$. The equations for parallel transport reduce toConsequently $u+iv$ acquires the factor $e^{-2\pi i{f}^{\prime }(r_0)}$ after one circuit. The basis itself agrees at $\varphi =0$ and $2\pi$, so no extra basis change is missing. The holonomy is the identity on every tangent vector precisely whenThe first condition makes this a regular circle of the Riemannian metric; the second is the actual transport condition. In particular, zero slope is sufficient but not necessary. This is holonomy around circular fibres.

Describe the geodesic variation by a smooth map $F(s,\tau )$, with each curve $\tau \mapsto F(s,\tau )$ a timelike geodesic parametrized by proper time. Its tangent vector is $T=F_{\ast }{\partial }_{\tau }$ and its deviation vector is $S=F_{\ast }{\partial }_s$. Thus $S$ measures the first-order separation of neighboring members at the same value of proper time.

Mixed coordinate derivatives on the parameter surface commute. Consequently, along the variation,For an embedded two-dimensional variation this is the usual Lie bracket of vector fields on its image; more generally the same identity is read along the map $F$ using its commuting parameter derivatives. Since the Levi-Civita connection is torsion-free, it follows that ${\nabla }_{T}S={\nabla }_{S}T$.

Let $u$ be the tangent vector to a geodesic with affine parameter $\lambda$. Its geodesic equation is ${\nabla }_{u}u=0$. For a Killing vector field $\xi$, metric compatibility givesThusThis geodesic conserved quantity from a Killing vector is independent of whether the geodesic is timelike, spacelike or null. For a timelike geodesic one can use proper time; for a null geodesic choose an affine parameter. An arbitrary nonaffine tangent rescales the displayed quantity and need not make it constant.

For a smooth map between manifolds $\varphi :\mathcal{M}\to \mathcal{N}$, the four constructions go in the directions dictated by composition and the differential of a smooth map.

The pullback of a smooth function $f\in C^{\infty }(\mathcal{N})$ is ${\varphi }^{\ast }f=f\circ \varphi$, a function on $\mathcal{M}$. The pushforward of a curve $\lambda :I\to \mathcal{M}$ is ${\varphi }_{\ast }\lambda =\varphi \circ \lambda$, a curve in $\mathcal{N}$ with the same parameter interval.

For a tangent vector $V\in T_p\mathcal{M}$, its pushforward is ${\varphi }_{\ast }V=d{\varphi }_p(V)\in T_{\varphi (p)}\mathcal{N}$. Intrinsically, treating a tangent vector as a derivation on functions,For a covector $\eta \in T_{\varphi (p)}^{\ast }\mathcal{N}$, the pullback of a covector is the dual linear map:No inverse map is required. A pushed-forward field for a general map is a field along that map; it need not assign a unique vector to an image point with several preimages.

A tangent vector at $p$ is a derivation at a point: a real-linear map $v:C_p^{\infty }(M)\to \mathbb{R}$ on germs of smooth functions satisfyingAddition and scalar multiplication preserve this identity, defining the tangent space $T_{p}M$ as a vector space. A derivation annihilates constants. In a manifold chart $x=(x^1,\dots ,x^n)$ centered near $p$, the local factorization $f-f(p)={\sum }_i(x^i-x^i(p))f_i$, with $f_i(p)={\partial }_{i}f(p)$, gives $v(f)={\sum }_{i}v(x^i){\partial }_{i}f(p)$. The factorization follows by integrating the first derivatives along a straight segment in a sufficiently small coordinate ball. ThereforeConversely these coordinate derivatives satisfy the derivation identity, so they really give a basis rather than merely a spanning family.

The cotangent space is the dual vector space $T_p^{\ast }M=(T_{p}M{)}^{\ast }$. Its basis $d{x}^i{|}_p$ is characterized by $d{x}^i({\partial }_j)={\delta }_j^i$. If $\alpha =a_{i}d{x}^i=b_{j}d{y}^j$, the chain rule gives the cotangent coordinate transitionThe cotangent bundle is the disjoint union $T^{\ast }M={\coprod }_{p\in M}{T}_p^{\ast }M$, with projection $\pi (p,\alpha )=p$. For each base manifold chart $(U,x)$, defineIts inverse sends $(z,a)$ to $(x^{-1}(z),a_{i}d{x}^i{|}_{x^{-1}(z)})$. On overlaps the transition is $(x,a)\mapsto (y(x),b)$, with the displayed fibre-linear transformation. Its coefficients and inverse are smooth, so these maps give a smooth atlas in dimension $2n$. Give the total space the topology obtained by transporting the product topology through these charts. Different base points are separated by disjoint base neighborhoods; distinct points over the same base point are separated within one bundle chart. A countable base smooth atlas and countable product bases give second countability. Thus the total space is a Hausdorff, second-countable smooth manifold. The same charts are vector bundle trivializations, since $\pi$ is product projection and their fibre changes are invertible linear maps.

The intrinsic canonical one-form on a cotangent bundle isIn the bundle chart it is $\lambda ={\sum }_i{a}_{i}d{x}^i$. This definition is coordinate independent, hence its exterior derivative is the globally defined smooth differential two-formThis sign follows the fibre-first order in this problem; the equally common position-first symplectic form is $-d\lambda$. The volume formnever vanishes. A smooth manifold is orientable exactly when it admits a nowhere-zero top-degree form; its positive ordered bases determine a consistent orientation. Consequently $T^{\ast }M$ is an orientable smooth manifold, even when $M$ is not. This is cotangent bundle orientation. In dimension zero the same conclusion uses the nowhere-zero zero-form $1$.

Write $D$ for the Levi-Civita connection and define its Christoffel symbols by $D_{{\partial }_j}{\partial }_k={\Gamma }_{jk}^i{\partial }_i$. For the Riemannian metric matrix $(g_{jk})$ and its inverse $(g^{jk})$,A curve $x(t)$ with affine parameter is a geodesic when $D_{\dot{x}}\dot{x}=0$, equivalentlyThe connection is metric compatible and torsion free; in particular ${\Gamma }_{jk}^i={\Gamma }_{kj}^i$. The coordinate velocities are ${\dot{x}}^j$, and the displayed coefficients are smooth functions of position.

For $v\in T_{p}M$ whose initial-value geodesic ${\gamma }_v$ exists through time $1$, with ${\gamma }_v(0)=p$ and ${\dot{\gamma }}_v(0)=v$, define ${\exp }_p(v)={\gamma }_v(1)$. The domain is open and contains a neighborhood of zero. Indeed the geodesic equation is a smooth first-order ODE in $(x,\dot{x})$; the constant solution with initial velocity zero exists through time $1$, and existence on a compact time interval and smooth dependence persist for nearby initial data. Reparameterization and uniqueness give ${\exp }_p(tv)={\gamma }_v(t)$ wherever defined. Consequently the differential of the exponential map at zero isThe inverse function theorem gives a neighborhood $V$ of zero on which ${\exp }_p$ is a diffeomorphism onto a neighborhood $U$ of $p$. Shrink $V$ to a ball in $T_{p}M$ and choose an orthonormal basis there. Its linear coordinate functions composed with ${\exp }_p^{-1}$ are the geodesic normal coordinates on $U$. This establishes well-defined local coordinates without assuming geodesic completeness.

In these geodesic normal coordinates, every radial geodesic has coordinate expression $x(t)=tv$. Its equation at $t=0$ reads ${\Gamma }_{jk}^i(p)v^j{v}^k=0$ for every $v$. The coefficients are symmetric in $j,k$ by the torsion-free connection property. Evaluating at the coordinate unit vectors and their pairwise sums, or using the polarization identity, therefore givesThis is the fact that Christoffel symbols vanish at the center of normal coordinates. Also $g_{ij}(p)={\delta }_{ij}$, since $(d{\exp }_p{)}_0$ is the identity in an orthonormal basis.

For sufficiently small $r>0$, the geodesic sphere is $S_r(p)={\exp }_p\{v:|v{|}_{g_p}=r\}$. It is a smooth hypersurface because ${\exp }_p$ is a diffeomorphism on the ball. It equals the local distance sphere $\{q:d_g(p,q)=r\}$ for sufficiently small radius, as the length comparison below shows; no assertion of global smoothness for large radii is needed.

The full Gauss lemma isfor $v$ in a star-shaped domain of ${\exp }_p$ and $w\in T_{p}M$. To prove it, set $F(t,s)={\exp }_p(t(v+sw))$, $T={\partial }_{t}F$ and $S={\partial }_{s}F$, for $s$ near zero. Every $t$-curve is a geodesic and has squared speed $|v+sw{|}_{g_p}^2$. The torsion-free connection property and the commuting parameter fields give $D_{t}S=D_{s}T$; metric compatibility and $D_{t}T=0$ then giveAt $t=0$, $F(0,s)=p$, so $S=0$. Integration from $0$ to $1$ followed by setting $s=0$ proves the boxed identity, because $T(1,0)=(d{\exp }_p{)}_{v}v$ and $S(1,0)=(d{\exp }_p{)}_{v}w$. For any $v$ in the domain, a small neighborhood of its compact radial segment suffices for the variation. The zero vector is covered directly.

In particular, if $w\perp v$, the images of the radial and spherical tangent directions are orthogonal; taking $w=v$ also proves preservation of radial length. Thus in geodesic polar coordinates the Riemannian metric has radial part $d{r}^2$ and no mixed radial-angular term. Every curve in a small normal ball from its center to radial coordinate $r$ has length at least $r$, by integrating the absolute radial derivative; the radial geodesic realizes this length. To exclude shortcuts leaving the ball, choose a larger normal ball of radius $\rho$ with compact closure in $U$ and restrict to $r<\rho$: an escaping curve first reaches radial coordinate $\rho$ and already has length at least $\rho$. This proves the asserted small-radius distance interpretation and orthogonality of radial geodesics to geodesic spheres.