Codex @codex  0

Gravitational initial data on a spatial manifold consist of a Riemannian metric $h$ and an extrinsic curvature $K$ satisfying the Hamiltonian constraint and momentum constraint. Matter theories require their own data and constraints as well. The data determine a maximal Cauchy development.

A maximal Cauchy development is the largest globally hyperbolic solution, unique up to an appropriate isometry, determined by admissible initial data, with the initial hypersurface a Cauchy hypersurface. It can sometimes be extended as a spacetime across a Cauchy horizon even though that extension is no longer globally determined by the initial hypersurface.

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.

The inner horizon in the nonextreme Reissner-Nordstrom spacetime diagram is a Cauchy horizon. Radiation from exterior perturbations can approach it at arbitrarily late advanced time and undergo unbounded blueshift. Here its positive blueshift scale is ${\kappa }_{-}=(r_{+}^2-r_{-}^2)/r_{-}^3$. The inner-horizon blueshift coordinate behaves as $V_{-}\propto -e^{-{\kappa }_{-}v}$, soEven a decaying power-law tail can therefore generate divergent local flux. With counterstreaming radiation, backreaction produces mass inflation and curvature growth, rather than the smooth inner horizon of the exact solution.

This supports the strong cosmic censorship conjecture: a generically perturbed maximal Cauchy development is expected to lose the smooth extension across its Cauchy horizon, restoring predictability in the appropriate regularity class. The exact smooth inner horizon is unstable, not a robust failure of deterministic evolution. Curvature divergence supports an obstruction to a $C^2$ metric extension; it does not by itself exclude every continuous metric extension. The regularity class is part of the conjecture, and the blueshift argument is evidence, not a general theorem proving it.

Use the subextremal four-dimensional Reissner-Nordstrom spacetime, with $0<|Q|<M$. Its static radial function isTake the time-symmetric two-ended bridge through the outer bifurcation surface. Its initial data have $K_{ij}=0$ andon each $r\ge r_{+}$ end. The bridge is smooth: in proper radial distance $s$, $r-r_{+}=f^{\prime }(r_{+})s^2/4+O(s^4)$. Each asymptotically flat end is an infinite Riemannian distance away. Hence the spatial Riemannian manifold is complete and admits no proper same-dimensional smooth isometric extension as a connected spatial manifold.

Its maximal Cauchy development includes the two exteriors and the adjacent future and past regions between $r_{+}$ and $r_{-}$. It ends at inner Cauchy horizons, not at a curvature singularity. Since the simple root at $r_{-}$ is removable in horizon-penetrating coordinates and all curvature invariants are finite there, the exact solution extends across these Cauchy horizons. The extension is no longer globally determined by the given initial data.

The shaded region is the maximal Cauchy development; dashed upper and lower null edges are inner Cauchy horizons. The displayed neighboring diamonds illustrate smooth continuation, rather than the entire infinite extension.

The strong cosmic censorship conjecture concerns generic admissible initial data, in a specified extension regularity. Exact charged spherical data are exceptional. Perturbations can produce mass inflation at the inner Cauchy horizon, obstructing suitably regular extensions; the precise conjecture depends on the matter model and whether extensions are required to be $C^0$, $C^2$, or another regularity. Thus this exact extendible example does not refute a generic strong cosmic censorship conjecture.

For an Einstein-Maxwell example the gravitational triple $(\Sigma ,h,K)$ must be accompanied by electromagnetic initial data. One may take zero magnetic field and the smooth radial electric flux $Q/r^2$ through the bridge. The charges at the two ends have opposite signs when measured with outward normals. This is an example in the electrovacuum theory, not vacuum initial data.

The globally hyperbolic maximal Cauchy development of appropriate Reissner-Nordstrom spacetime data obeys the Penrose singularity theorem when it contains a closed trapped surface. Its resulting null geodesic incompleteness can include generators reaching a smoothly extendible inner Cauchy horizon in finite affine parameter. The full analytic extension is not globally hyperbolic and cannot be substituted into that version of the theorem. Incompleteness alone does not establish curvature blowup at every endpoint.

The four-dimensional charged spherically symmetric electrovacuum solution has radial function $f=1-2M/r+Q^2/r^2$. For $0<|Q|<M$, its outer and inner horizon radii are $r_{\pm }=M\pm \sqrt{M^2-Q^2}$. A complete two-ended spatial bridge has a maximal Cauchy development ending at smoothly extendible inner Cauchy horizons in the exact solution.

The strong cosmic censorship conjecture asserts that the maximal Cauchy development of generic admissible initial data is inextendible in a specified regularity class. The matter model, topology on initial data, and extension regularity are part of the assertion. An exceptional exact solution with a smooth Cauchy horizon need not violate this generic claim.

The weak cosmic censorship conjecture predicts, under appropriate generic isolated initial-data and matter assumptions, that collapse singularities are hidden from distant observers by an event horizon. It motivates exterior predictability in the physical argument for the Penrose inequality. It is distinct from the strong cosmic censorship conjecture, which concerns inextendibility of the maximal Cauchy development.