 Geodesic conserved quantity from a Killing vector

Each Killing vector field supplies a conserved quantity for freely moving test particles: it turns a geometric symmetry into a first integral of the geodesic equation. Let $\gamma (\lambda )$ be a geodesic with affine parameter $\lambda$, tangent vector $U^{\mu }=d{x}^{\mu }/d\lambda$, and ${\nabla }_{U}U=0$. Wherever a Killing vector field $K$ is defined along the geodesic,The statement applies to Riemannian manifolds and to timelike geodesics, null geodesics and spacelike geodesics in a Lorentzian manifold. It requires an affine parameter; for a massive test particle, proper time is one choice. See Tong, section 4.3.2, equation (4.32).

For a worked example in the Euclidean plane, take $\gamma (t)=(1+t,2-t)$ with affine parameter $t$ and velocity $U=(1,-1)$. The Euclidean Killing vector fields for translation and rotation giveThe rotational field along the geodesic is $K_{\mathrm{rot}}(\gamma (t))=(t-2,1+t)$: it changes from $(-2,1)$ at $t=0$ to $(-1,2)$ at $t=1$, yet its pairing with $U$ stays $-3$. With toy mass $m=1$ and $t$ interpreted as time, the first constant is the $x$ component of linear momentum, and the second is the signed $z$ component of angular momentum about the origin. Their numerical values use toy units. The geodesic is straight; the rotation flow orbits are circles.

This conservation law follows from metric compatibility and the Killing equation:The geodesic equation kills the acceleration term, and the symmetric product $U^{\mu }{U}^{\nu }$ selects the vanishing symmetric derivative. This tensor contraction is the whole proof outline; see Carroll, equation (5.43).

In a stationary spacetime, a chosen time-translation Killing vector field $K$ gives Killing energy. With metric signature $(-+++)$, $c=1$, and a massive test particle's four-momentum $p^{\mu }=m{U}^{\mu }$, the physical normalization isHere $\Phi$ generates the axial rotational symmetry when one exists. In coordinates with $K={\partial }_t$ and $\Phi ={\partial }_{\varphi }$, these are $E=-p_t$ and $L_z=p_{\varphi }$. Both are conserved quantities along the geodesic, even if the metric has a time-angle cross term. A future timelike $K$ makes $E$ positive for a future massive particle; the scale of $E$ depends on the normalization of $K$. Not every spacetime has a global timelike Killing vector field, and a stationary field can become spacelike in an ergoregion of a stationary spacetime. Conservation on the field's domain does not imply a universal global positive energy; see Tong, sections 4.3.1-4.3.2 on the timelike-domain qualification and conserved charges.