advanced28 min studyLesson 809 in Physics

Metric symmetries produce constants along affine geodesics

Derive Killing conservation and distinguish a symmetry charge from an observer’s local energy.

On this page

What you’ll understand

  • Recognize an isometry through the Killing equation.
  • Derive conservation of Kμuμ along an affine geodesic.
  • Relate a Schwarzschild symmetry energy to static-observer measurements.

A spacetime metric may admit a continuous symmetry, such as a time translation or a rotation. Its generator is a Killing vector field. Contracting that field with the tangent of an affinely parameterized geodesic gives a conserved quantity. We will derive the conservation law and apply it to a static Schwarzschild exterior, keeping the symmetry-defined energy distinct from the locally measured energy that changes with the observer’s normalization.

A Killing vector generates an isometry

An isometry preserves the metric under an active transformation of the manifold. Infinitesimally its generator K obeys a vanishing Lie derivative of the metric, equivalent to the symmetrized covariant derivative of K being zero. If the metric components are independent of a coordinate in a regular chart, its coordinate basis vector generates a local symmetry. The converse is local near suitable nonzero generators; symmetry-adapted coordinates can still have limited domains or fail where a generator vanishes.

A Killing vector is not automatically timelike everywhere. A rotation generator is spacelike away from its axis, and a stationary time-translation generator may become null or spacelike across a horizon or ergoregion. Multiplying K by a constant gives another Killing vector and rescales its associated charge. Multiplying by an arbitrary position-dependent function generally does not. To interpret a time-symmetry charge as a conventional energy, its normalization and relevant region must be specified; asymptotically flat stationary geometries supply a useful normalization at infinity.

LKgμν=0⟺∇μKν+∇νKμ=0,dds(Kμuμ)=uμuν∇(μKν)+Kμuν∇νuμ=0\mathcal L_Kg_{\mu\nu}=0\quad\Longleftrightarrow\quad \nabla_\mu K_\nu+\nabla_\nu K_\mu=0,\qquad \frac d{ds}(K_\mu u^\mu)=u^\mu u^\nu\nabla_{(\mu}K_{\nu)}+K_\mu u^\nu\nabla_\nu u^\mu=0
u=dx/ds uses an affine parameter. For a massive particle we often choose s=cτ, so a length-coordinate tangent is dimensionless and g(u,u)=−1. The second term vanishes for a geodesic and the first by Killing’s equation.↔ Scroll wide equations horizontally.

The conserved charge need not equal a local clock rate

Use the static Schwarzschild exterior r>2m with m=GM/c², x⁰=ct, and f=1−2m/r. The time-translation Killing field is ∂x⁰. The dimensionless specific energy is E=−K·u=f dx⁰/ds, with the minus sign chosen to make future-directed exterior energies positive. A static observer has unit tangent f⁻¹ᐟ²∂x⁰, so the local Lorentz factor of the geodesic particle is E/√f. The conserved E stays fixed while this local value changes between radii.

The axial Killing vector ∂φ gives specific angular momentum L=r²sin²θ dφ/ds, with length units in this parameter convention. In an equatorial trajectory it becomes r² times the angular rate. A varying angular coordinate rate therefore does not violate angular-momentum conservation. Nongeodesic forces add a source term Kμaμ to charge evolution. For null geodesics the affine tangent can be rescaled, so its charge normalization must be tied to physical momentum or a specified emitter rather than a nonexistent proper-time normalization.

E=fdx0ds,γstatic=Ef,L=r2sin⁡2θdφds,f=1−2mr\mathcal E=f\frac{dx^0}{ds},\qquad \gamma_{\mathrm{static}}=\frac{\mathcal E}{\sqrt f},\qquad \mathcal L=r^2\sin^2\theta\frac{d\varphi}{ds},\qquad f=1-\frac{2m}{r}
These formulas use the Schwarzschild exterior, x⁰ and r in metres, angles dimensionless, and s=cτ for a massive geodesic. E and the local Lorentz factor are dimensionless, L has units metres, and m=GM/c² is a geometric mass length. Static observers are defined only where f>0.↔ Scroll wide equations horizontally.

Conservation depends on actual symmetry rather than notation

A time coordinate can always be written, but a time-translation Killing vector need not exist. In an expanding cosmology, a photon’s locally measured energy can redshift without contradicting a globally conserved timelike Killing charge, because the relevant global time symmetry may be absent. Covariant stress conservation alone does not guarantee a preferred global energy. For fields or extended matter, a Killing vector can help construct a conserved current, but obtaining a conserved integrated charge also requires suitable boundaries and the correct invariant flux measure.

The fields lab illustrates a spatial rotation generator on a Euclidean plane. Reset and set both controls to source strength q=0 and rotation Ω=1; at its probe (1,0) predict Fx=0,Fy=1. Reset and set q=0,Ω=2, predicting Fy=2. This continuously rescales the generator K=Ω(−y,x), which remains a rotational Killing field. Use numerical components, since arrow lengths are compressed. The picture does not compute a spacetime metric, a geodesic, or its charge, and the rotating markers are not physical particle trajectories.

Compare conserved and locally measured energy

A massive radial geodesic in a Schwarzschild exterior has dimensionless specific energy E=0.80. At two events f equals 0.64 and 0.36. Find dx⁰/ds and the Lorentz factor relative to static observers at each event. Use s=cτ.

  1. Conservation gives dx⁰/ds=E/f. At the first event it is 0.80/0.64=1.25; at the second it is 0.80/0.36=20/9≈2.22.

  2. The static-observer factors use √f, not f. They are 0.80/0.80=1 and 0.80/0.60=4/3.

  3. The first event can be a radial turning point with instantaneous rest relative to a static observer. At the deeper second event the local energy per rest energy is larger, even though the symmetry energy E remains 0.80.

The result

The coordinate time rates are 1.25 and 20/9; static-observer Lorentz factors are 1 and 4/3, with the same conserved E at both events.

Explore the model

Interactive lab

Interactive lab · fields

Rescale a rotational symmetry generator

Reset and set BOTH controls to q=0,Ω=1: predict probe Fx=0,Fy=1. Reset and set q=0,Ω=2: predict Fy=2. Component readouts give the factor; arrow lengths are compressed. This illustrates K=Ω(−y,x) on a plane, not spacetime dynamics.

Rescale a rotational symmetry generatorThe softened illustration is q·r/(r² + 0.2) + Ω(−y, x). Moving markers indicate local direction, not integrated particle paths or a Maxwell solution. Current readings: Fx at (1, 0): 0.833; Fy at (1, 0): 0.5; Field magnitude there: 0.972. All parameters are adjustable with the labeled controls below.−3.2−1.601.63.2−1.5−0.7500.751.5xyq = 1
Local field directionSource strength
Fx at (1, 0)
0.833
Fy at (1, 0)
0.5
Field magnitude there
0.972
t = 0 s

The softened illustration is q·r/(r² + 0.2) + Ω(−y, x). Moving markers indicate local direction, not integrated particle paths or a Maxwell solution. Parameter changes pause playback and recompute the model at the current elapsed time. Reset restores both parameters and returns time to zero. Playback starts paused. Adjust either parameter, then choose Play or Step.

Look forConstant rescaling changes a symmetry generator’s normalization and charge scale, rather than creating a new physical force.

Check your understanding

Why can a geodesic particle’s static-observer energy change while its Schwarzschild Killing energy remains constant?

Try it yourself

An equatorial geodesic has r=10 m and dφ/ds=0.020 m⁻¹ at one event. If it later reaches r=5 m, find its conserved specific angular momentum and new angular rate. Assume axial symmetry and the same affine proper-length normalization.

Take a moment to make a prediction or work it out on paper. Open a hint when you need one.

Give me a hint

Use L=r²dφ/ds at both events. Constancy applies to L, not the angular rate alone.

Compare with the solution

Initially L=100×0.020=2.0 m. At r=5 m, dφ/ds=L/r²=2/25=0.080 m⁻¹. The angular rate increases by four as the radius halves. This is compatible with the same conserved axial charge; the problem assumes a geodesic and other conserved data that allow both radii to be visited.

Take it with you

  • Killing vectors encode actual metric isometries.
  • An affine geodesic conserves its tangent contraction with a Killing vector.
  • Local observer energy and a normalized symmetry charge need not be the same quantity.

Read further

Original sources and deeper explanations to follow at your own pace.

Optional progress, saved in this browser when available. Revisit any lesson at any time.

Lesson not marked complete.