Past exam of the relativity course of the University of Cambridge / 2012 / Paper 1 / 2

In general relativity, light follows null geodesics. A weak gravitational field outside an isolated spherical mass gives the Schwarzschild light deflectionfor impact parameter $b\gg GM/c^2$. At the solar limb this is approximately $1.75$ arcseconds. A Newtonian corpuscular calculation gives half this value; the full result depends on spatial curvature as well as the gravitational time dilation. The parametrized post-Newtonian formalism predicts $\alpha =2(1+{\gamma }_{\mathrm{PPN}})GM/(b{c}^2)$, with ${\gamma }_{\mathrm{PPN}}=1$ in general relativity.

The Eddington experiment compared photographic star positions near the eclipsed Sun with reference exposures taken without the Sun in that field. Rays bend toward the Sun, but their backward extrapolations place the apparent stellar images farther from it. Plate scale, focus changes, atmospheric refraction and comparison-field alignment must be separated from a radial displacement proportional to $1/b$. The original report discusses the instruments, plate reductions and competing predicted deflections; the test is a quantitative comparison with uncertainty, not a unique proof of a gravitational theory.^[ref]

radio interferometry permits an independent test without an eclipse. A 2005 Very Long Baseline Array experiment observed four compact sources at 43, 23 and 15 GHz. Differential astrometry suppressed common antenna errors, while a fit $\mathbf{p}(\nu )={\mathbf{p}}_0+\mathbf{I}{\nu }^{-2}$ separated refraction in the solar corona from achromatic gravitational deflection. Tropospheric errors and radio-source structure also required calibration. The reported ${\gamma }_{\mathrm{PPN}}=0.9998\pm 0.0003$ was consistent with general relativity.^[ref]

tidal forces measure differences in gravitational acceleration across an extended region. Neighboring freely falling particles each have zero four-acceleration, but their separation need not accelerate uniformly. Let $u^{\mu }$ be the tangent to a reference timelike geodesic and ${\xi }^{\mu }$ its infinitesimal separation from a neighboring one, chosen from an affinely parametrized geodesic congruence. Using the Riemann curvature tensor convention specified in Solution 3,Changing the overall curvature convention changes this displayed sign. The covariant derivatives compare vectors by parallel transport, avoiding a coordinate-dependent subtraction of accelerations.

In the Newtonian limit, expand the force field at two nearby points:For $\Phi =-GM/r$, a local orthonormal frame aligned with the radius givesThere is radial stretching and transverse compression; the trace vanishes outside the mass. Two freely falling test masses and a measurement of their changing separation implement gravity gradiometry. Their common acceleration drops out, while a relative acceleration proportional to separation remains. A local inertial frame removes Christoffel symbols at a point, but cannot remove nonzero curvature over a finite region.

With Cartesian Minkowski spacetime coordinates $x^{\mu }=(ct,x,y,z)$, introduce the four-current $J^{\mu }=(c\rho ,\mathbf{J})$ and electromagnetic four-potential ${\mathcal{A}}^{\mu }=(\varphi /c,\mathbf{A})$. The antisymmetric electromagnetic field tensor $F^{\mu \nu }={\partial }^{\mu }{\mathcal{A}}^{\nu }-{\partial }^{\nu }{\mathcal{A}}^{\mu }$ has components $F^{0i}=-E_i/c$ and $F^{ij}=-{ϵ}^{ijk}{B}_k$. Maxwell equations becomeThe time and space components reproduce Gauss's law and the Ampère-Maxwell equation; the dual equation gives absence of magnetic monopoles and Faraday's law of induction. Antisymmetry gives charge conservation ${\partial }_{\nu }{J}^{\nu }=0$. The relativistic Lorentz force is $d{p}^{\mu }/d\tau =q{F}^{\mu \nu }{u}_{\nu }$. Every displayed equation transforms tensorially under a Lorentz transformation; the electric field and magnetic field are different components of the same object.

Two independent algebraic electromagnetic field invariants areThe second is a pseudoscalar: it is invariant under proper Lorentz transformations but changes sign under spatial reflection. For perpendicular fields, the sign of the first distinguishes a frame with purely magnetic field from one with purely electric field. Both invariants vanish for a plane electromagnetic wave with $\mathbf{E}\perp \mathbf{B}$ and $E=cB$, although the field itself is nonzero.