Past exam of the mathematics course of the University of Cambridge 2003 iii Paper 54 2 Solution Created 2026-10-03 Updated 2026-10-14
Work to first order in a metric perturbation , with , raising perturbation indices with and discarding quadratic terms. The Christoffel symbols areUsing the printed curvature convention gives the linearized Riemann curvature operatorFor definiteness contract . The corresponding first-order Ricci tensor isThis is the reversed sign convention specified in curvature-sign convention in Killing derivative identities; the vacuum equation is unaffected by an overall curvature sign.
An infinitesimal passive coordinate change changes the perturbation by . Substitution into gives zero change, since partial derivatives commute. Equivalently the change in curvature is the Lie derivative of the background curvature, which vanishes in Minkowski spacetime. Thus linearized curvature, and the linearized Weyl tensor in vacuum, are gauge-invariant tidal observables, whereas individual components of are generally gauge dependent.
The trace-reversed metric perturbation transforms by . Its divergence changes by . Solving therefore imposes Lorenz gauge in linearized gravity, . With the stated sign convention the Einstein tensor isso the linearized vacuum field equation becomes . The residual gauge symmetry of linearized gravity has . This makes a hyperbolic evolution problem after the gauge condition and its initial consistency constraints have been imposed.
To separate actual gauge invariants from a gauge choice, use gauge-invariant Minkowski perturbations. For spatial indices contracted with , decomposewhere , and . Spatial falloff or Fourier-mode conventions fix the decomposition. Write and with . Direct substitution in the gauge change givesHence the invariant combinations areA representative with has , and . The explicit vacuum constraints for gauge-invariant Minkowski perturbations follow fromFor a nonzero spatial Fourier mode, or regular decaying fields on all space, forces , then forces , and the spatial trace gives , hence . Only remains. This removal of the scalar and vector sectors does not exclude singular Coulomb perturbations outside a source, boundary-driven harmonic potentials or spatially homogeneous modes; those require separate boundary and gauge conventions.
For a propagating plane mode , the wave equation gives . A transverse-traceless spatial tensor perpendicular to a fixed propagation direction has two independent components. For propagation along , define the physical strain in this mostly-minus convention, so the spatial line element is . It has the formThese are the two gravitational wave polarizations, plus polarization and cross polarization. A rotation in the transverse plane rotates the polarization pair through twice the angle; cross is plus rotated through degrees. Lorenz constraints and residual gauge freedom give the same count: ten symmetric metric components minus four constraints and four gauge freedoms leave two radiative degrees of freedom.
In transverse-traceless gauge, particles initially at rest keep fixed spatial coordinates since , but their measured separation changes. For a short separation of length in unit direction , . The gauge-invariant curvature gives the corresponding geodesic deviation:Here the last equation is in a freely falling orthonormal frame, with the printed reversed curvature convention. Coordinate separation and physical separation must not be confused. The linearized vacuum equations describe propagation and tidal measurements; wave energy transfer and an effective wave stress-energy tensor arise at quadratic order, beyond the linear approximation.