Past exam of the mathematics course of the University of Cambridge / 2017 / iii / Paper 311 / 1 / a

Use $G=c=1$, the Einstein field equations with zero cosmological constant, and metric signature $(-,+,+,+)$. Write $m=m_{a}d{x}^a$ for the differential one-form dual to the axial Killing vector field. To fix the sign of the volume formula, use the component Hodge star operator convention $(\star j{)}_{abc}={ϵ}_{abcd}{j}^d$ and $(\star F{)}_{ab}=\frac{1}{2}{ϵ}_{abcd}{F}^{cd}$. The Killing equation gives $(dm{)}_{ab}=2{\nabla }_a{m}_b$, and its contracted curvature identity givesTo see the curvature step, tracing the Killing equation gives ${\nabla }_b{m}^b=0$. The second covariant derivative of a Killing vector then gives ${\nabla }^b{\nabla }_b{m}_a=-R_{ab}{m}^b$, while commuting the covariant derivatives gives ${\nabla }^b{\nabla }_a{m}_b=R_{ab}{m}^b$. Subtracting these two terms is precisely ${\nabla }^b(dm{)}_{ab}$ above. The component Hodge star operator converts this divergence to $d\star dm$ with the displayed minus sign.

In a vacuum spacetime region $R_{ab}=0$, so $d\star dm=0$. If $S_1$ and $S_2$ are enclosing spacelike submanifolds in the same homology class bounding a vacuum three-dimensional region $W$, Stokes theorem yieldsThus the Komar angular momentum is independent of the enclosing vacuum spacelike two-manifold, provided the surfaces have the same orientation and enclose the same sources and inner boundaries. The vacuum region need not be stationary: an axial Killing vector field suffices.

For a regular filling hypersurface $\Sigma$ with $\partial \Sigma =S$, the Einstein field equations giveThe pullback of $\star m$ to $\Sigma$ vanishes because $m^a$ is tangent to $\Sigma$: the dual three-form measures the normal component, which is zero. ThereforeThis is the stress-energy current from a Killing vector integrated over the slice, with the signs fixed by the stated Hodge star operator convention.

There is a necessary boundary qualification omitted from the printed formulation. If the slice has inner boundaries $S_i$, orient them so $\partial \Sigma =S-{\bigcup }_i{S}_i$. The actual Komar angular momentum with inner boundaries identity isFor a vacuum Kerr black hole, $T_{ab}=0$ on the exterior slice but $J\ne 0$; its horizon supplies precisely the inner boundary contribution. Thus the matter-only formula is false for arbitrary exterior slices. It is valid when a nonsingular filling with no inner boundaries exists, or when all omitted inner charges vanish. The Komar angular momentum independence likewise concerns homologous surfaces in the same vacuum region, not an unrestricted comparison of differently enclosed objects.

A gravitational wave can propagate through a region with vanishing stress-energy tensor; its gravitational field is not a matter current $T_{ab}{m}^b$. Nevertheless, exact axisymmetry gives an axial Killing vector field, and the vacuum identity $d\star dm=0$ makes the Komar angular momentum equal on enclosing spacelike submanifolds in the same homology class. Applying the same identity to the spacetime tube between surrounding spacelike submanifolds at different times gives zero net flux of this charge through the tube.

Consequently gravitational waves in exact axisymmetry carry no net angular momentum about the symmetry axis. They can still carry energy and decrease the total mass. In a mode description, rotationally invariant radiative data have zero azimuthal mode number; exact axisymmetry therefore excludes the axial angular momentum flux present in nonaxisymmetric merger radiation. This does not mean there are no gravitational waves, or that radiation cannot transport angular momentum when the exact symmetry is absent. The relevant conserved charge includes any horizon contributions identified in the preceding Komar angular momentum with inner boundaries identity.