Past exam of the mathematics course of the University of Cambridge / 2014 / iii / Paper 52 / 2 / b

For the round sphere, every normal has only $v,r$ components because the Reissner-Nordstrom metric has no mixed angular terms. The vector $X=-{\partial }_r$ is normal and null: $g_{rr}=0$. Write the second null vector normal as $Y=A{\partial }_v+B{\partial }_r$. The normalization gives $X\cdot Y=-A=-1$, so $A=1$. Its null condition then reads $-f+2B=0$. ThusThe specified future orientation of $X$, together with $X\cdot Y<0$, makes $Y$ future-directed as well. This choice fixes the reciprocal scaling freedom of the two null vectors on the sphere.

For each of the two normal directions, launch a null geodesic congruence orthogonally from the sphere with initial tangent $U=X$ or $U=Y$. For $U=X$ take initial auxiliary $N=Y$; for $U=Y$ take initial $N=X$, and then parallel transport $N$ as in part (a). On the sphere the resulting screen-space projector projects onto its angular tangent space, whose metric is $q_{AB}=r^2{\gamma }_{AB}$.

For any radial normal $K$, the spherical null expansion in ingoing coordinates follows directly from area variation:Equivalently $\mathcal{A}\propto r^2$ gives $K(\log \mathcal{A})=2K(r)/r$. ConsequentlySpherical symmetry also makes the null shear and null twist zero for these radial congruences.

There is a small parametrization distinction. The smooth field $X=-{\partial }_r$ is affine, since ${\Gamma }^a{}_{rr}=0$. The natural smooth field $Y={\partial }_v+(f/2){\partial }_r$ obeys ${\nabla }_{Y}Y=(f^{\prime }/2)Y$. To meet part (a)'s affine convention, use an affine rescaling of a null normal along the outgoing generators, with scaling equal to one on $S$. Its angular derivatives on $S$ then leave the projected derivative unchanged. The displayed null expansions are therefore precisely those for the affinely launched congruences, even though that convenient global expression for $Y$ is nonaffine away from its initial sphere.

A future trapped surface is a closed spacelike two-surface for which both future orthogonal null expansions are strictly negative. Multiplying a future null vector normal by a positive function multiplies its null expansion by that function, so the signs are invariant under allowed normalization changes.

Here ${\theta }_X<0$ for every $r_0>0$. Thus the Reissner-Nordstrom trapped spheres are exactly those with $f(r_0)<0$. Since $r_{+}>r_{-}>0$,At either horizon ${\theta }_Y=0$, so the spheres are marginal, rather than strictly trapped surfaces. For $r_0>r_{+}$ or $0<r_0<r_{-}$, ${\theta }_Y>0$ and this future-trapping condition fails. In particular, being inside the outer event horizon alone is insufficient to make every sphere trapped in the charged solution.

One standard form of the Penrose singularity theorem assumes a time-oriented globally hyperbolic spacetime with a noncompact Cauchy hypersurface, the null convergence condition $R_{ab}{k}^a{k}^b\ge 0$ for every null vector $k$, and a closed future trapped surface. It concludes future null geodesic incompleteness: some future-inextendible null geodesic has a finite upper endpoint of its affine parameter.

The focusing mechanism is the Null Raychaudhuri equation. The normal generators have zero null twist, soAn initial ${\theta }_0<0$ therefore gives a conjugate point to a spacelike surface within affine distance at most $2/|{\theta }_0|$, assuming the generator can be continued that far. Such a generator ceases to lie on the achronal boundary after its first focal point. Compactness of the trapped surface supplies a uniform bound for all normalized initial null normals. Future completeness would consequently make its future boundary compact. Projection along timelike curves to a connected Cauchy hypersurface is injective on the achronal boundary and has open image. Compactness makes the image closed as well; the nonempty image must therefore be the entire hypersurface, contradicting its noncompactness. This explains why the global assumptions supplement local focusing.

For Reissner-Nordstrom spacetime, the Maxwell stress-energy tensor satisfies the null energy condition; the Einstein field equations imply the required null convergence condition. The spheres in the band just found are closed and trapped. Apply the theorem to a maximal Cauchy development with a noncompact Cauchy hypersurface and containing one such sphere. That globally hyperbolic spacetime must be future null-geodesically incomplete.

The Penrose theorem at a Cauchy horizon needs care: the full maximal analytic Reissner-Nordstrom spacetime has inner Cauchy horizons and is not globally hyperbolic. It does not satisfy every hypothesis of the displayed theorem. In the exact solution some incomplete geodesics of the globally hyperbolic development reach a smoothly extendible Cauchy horizon in finite affine parameter. The theorem asserts incompleteness of the development, not that every such endpoint is a curvature singularity. The separate curvature singularity at $r=0$ does not justify silently dropping the theorem's global hypothesis.