Strong Cosmic Censorship and Interior Regularity

Strong cosmic censorship concerns determinism rather than visibility from infinity. Given initial data, the maximal globally hyperbolic development should be inextendible as a solution in a declared regularity class for generic data. The regularity qualifier is decisive: the same perturbed charged or rotating black-hole interior can admit a continuous metric extension across a Cauchy horizon while curvature or connection coefficients diverge strongly enough to forbid a $C^2$ or weak-solution extension. The underlying blueshift, mass-inflation, and extension hierarchy are developed first in Black-Hole Interiors, Cauchy Horizons, and Mass Inflation; this page turns those mechanisms into a precisely quantified censorship statement.

Helpful background. Inner horizons and stationary interiors build on Black-Hole Geometry and Mechanics; blueshift and tail decay belong to Black-Hole Perturbation Theory; maximal developments use Formulations of General Relativity; Cauchy horizons are developed in Causality and Global Structure; and nonlinear evidence requires Computational Relativity.

Extendibility is part of the conjecture

Let $(\mathcal M,g)$ be the maximal globally hyperbolic development of admissible initial data. A $C^k$ extension is a larger Lorentzian manifold $(\widetilde{\mathcal M},\widetilde g)$ with an isometric embedding of $\mathcal M$ as a proper subset and $\widetilde g$ of class $C^k$. Strong censorship at that regularity asserts generic inextendibility. Three common thresholds answer different questions:

• $C^0$ inextendibility asks whether even a continuous causal metric can cross the boundary.
• $C^2$ inextendibility is sensitive to curvature blow-up and matches the classical pointwise Einstein equation.
• Christoffel symbols locally outside $L^2$ obstruct weak formulations whose nonlinear connection terms require square integrability.

These statements are logically ordered only with care. A continuous extension may coexist with diverging curvature: the particular solution is $C^0$ extendible but may be $C^2$ inextendible. A verdict about a generic conjecture additionally needs the appropriate data-set statement. One must also specify whether the extension satisfies Einstein’s equation weakly, not merely whether a continuous tensor field can be attached.

Blueshift versus exterior decay

Reissner–Nordström and Kerr contain an inner Cauchy horizon. Perturbations falling toward it are exponentially blueshifted. Meanwhile, radiation along the event horizon decays. The interior outcome is governed by their competition. In spherical charged models, suitable polynomial lower tails force the Hawking mass to diverge: the mass-inflation mechanism, as in Dafermos’s conditional theorem summarized by Luk and Oh 2019a, Theorem 1.9 and Remark 1.10, p. 11, PDF. This mechanism motivates, but does not replace, a proof for the chosen field equations and data. In de Sitter spacetime, exterior decay can be exponential, and its rate relative to the Cauchy-horizon surface gravity changes which derivatives remain integrable.

For the spherically symmetric Einstein–Maxwell–real-scalar-field system with two asymptotically flat ends, Luk and Oh divide the result into exterior and interior statements. Part I proves $C^2$ future inextendibility provided an $L^2$-averaged inverse-polynomial lower bound holds along each event horizon Luk and Oh 2019a, Theorem 5.7, p. 29, with proof in §11, pp. 58–61, PDF. Part II proves the exterior estimates giving the required lower bound generically Luk and Oh 2019b, Theorems 4.1–4.3, pp. 17–18, PDF. The combined statement is Part I, Theorem 3.14 and Remark 3.17, pp. 19–20: the relevant set is open in a specified weighted $C^1$ topology and dense in the stated weighted $C^\infty$ topology. The symmetry, matter model, two-ended asymptotics, nonzero-charge regime, and precise topologies remain essential.

Proof architecture

The combined proof has four layers. Part II handles the first: solve the exterior scattering problem sharply enough to obtain upper decay and a generic lower tail. Part I handles the remaining three: express the interior in double-null variables, with constant Maxwell charge, and establish Raychaudhuri and wave estimates; show that the assumed tail is amplified by the inner-horizon blueshift; and turn the resulting scalar-derivative blow-up into an obstruction to $C^2$ extension. The charge is conserved because the real scalar carries no electric current. This proof does not establish Hawking-mass blow-up; its geometric inextendibility argument avoids requiring that stronger intermediate conclusion Luk and Oh 2019a, Remark 1.10, p. 11, and §11, pp. 58–61, PDF.

The lower bound is as important as the upper bound: fast decay for exceptional data can suppress the source of mass inflation. Genericity therefore enters through a nonvanishing asymptotic coefficient rather than through an informal assertion that perturbations are present.

At weaker regularity the conclusion can reverse. Dafermos and Luk prove that suitable vacuum data posed on a spacelike hypersurface already inside a rotating black hole, approaching Kerr data at the prescribed rate, develop a nontrivial Cauchy horizon across which the metric extends continuously Dafermos and Luk 2025, Theorem 1 and §1.3.1, pp. 13–14. Their theorem establishes $C^0$ stability in that interior data class. It is compatible with, and its estimates motivate, a weak-null-singularity picture, but it does not itself prove transverse-derivative blow-up or rule out every smoother extension Dafermos and Luk 2025, §17, pp. 185–187. The 2026 exterior result now supplies a narrower rigorous bridge: Hintz reports that its decay estimates meet the Dafermos–Luk hypotheses, giving $C^0$ stability of the Cauchy horizon for the stated small vacuum perturbations of rotating subextremal Kerr Hintz 2026, v2, §1.1, consequence (1), p. 3, PDF. This current preprint does not prove generic curvature blowup, classify the complete singular boundary, or cover arbitrary collapse data.

Cosmological constant and limitations

For positive cosmological constant, compare exterior exponential decay $e^{-\alpha v}$ with the inner-horizon compression $V=-e^{-\kappa_-v}$. With $\beta=\alpha/\kappa_-$, a nonzero decaying scalar component behaves as $\phi-\phi_0\sim\lvert V\rvert^\beta$, so

$$\lvert\partial_V\phi\rvert\sim\lvert V\rvert^{\beta-1}, \qquad \int_{-\varepsilon}^{0}\lvert\partial_V\phi\rvert^2dV \lt \infty\quad\Longleftrightarrow\quad\beta\gt \frac12.$$

This local model explains the linear scalar $H^1$ threshold studied for Reissner–Nordström–de Sitter by Cardoso et al. 2018, §I, Eqs. (1)–(2), pp. 1–2, PDF. It is not by itself a nonlinear metric-extension theorem. At $\beta=1/2$ the displayed pure power has a logarithmically divergent norm; different leading coefficients or logarithmic factors require separate analysis. Near extremality the ratio can favor increased regularity for smooth linear data, but backreaction, field content, and the topology assigned to initial data remain decisive.

The boundary and decay mechanisms are developed in Collapse and Dynamics in de Sitter and Anti-de Sitter Spacetimes, with the censorship comparison in Boundary Conditions, Stability, and Censorship.

Thus “strong censorship holds” is incomplete. A valid claim must name the field equations, asymptotics, parameter regime, data regularity, genericity topology, and extension class. Exact Kerr or Reissner–Nordström is not a counterexample to a generic statement because its smooth Cauchy horizon may be destroyed by perturbations; a continuous perturbed extension is, however, directly relevant to the $C^0$ formulation.

Transfer exercise

Suppose a perturbed interior metric extends continuously across a Cauchy horizon, but a scalar curvature invariant diverges along every approach to an open part of that horizon. Which versions of strong censorship are contradicted or supported?

Solution

For the particular solution, the exhibited extension establishes $C^0$ extendibility, while the curvature divergence excludes a $C^2$ extension across that open horizon portion. One example alone does not refute a generic $C^0$ conjecture. A sufficiently robust family in the declared topology is needed, and an obstruction on one portion alone does not exclude extensions elsewhere. The corresponding genericity and global-boundary arguments are required for a full censorship verdict. It does not by itself decide an intermediate weak-solution threshold; one must test the integrability of connection coefficients in the specified coordinates and extension class.

References

• Cardoso, Vitor, João L. Costa, Kyriakos Destounis, Peter Hintz, and Aron Jansen. “Quasinormal Modes and Strong Cosmic Censorship.” Physical Review Letters 120 (2018): 031103. doi:10.1103/PhysRevLett.120.031103.
• Dafermos, Mihalis, and Jonathan Luk. “The Interior of Dynamical Vacuum Black Holes I: The $C^0$-Stability of the Kerr Cauchy Horizon.” Annals of Mathematics 202 (2025): 309–630. doi:10.4007/annals.2025.202.2.1. Open PDF.
• Hintz, Peter. “Nonlinear Stability of Subextremal Kerr Black Holes.” arXiv:2606.28253v2 (3 August 2026). Open PDF.
• Luk, Jonathan, and Sung-Jin Oh. “Strong Cosmic Censorship in Spherical Symmetry for Two-Ended Asymptotically Flat Initial Data I: The Interior of the Black Hole Region.” Annals of Mathematics 190 (2019): 1–111. doi:10.4007/annals.2019.190.1.1. Open PDF.
• Luk, Jonathan, and Sung-Jin Oh. “Strong Cosmic Censorship in Spherical Symmetry for Two-Ended Asymptotically Flat Initial Data II: The Exterior of the Black Hole Region.” Annals of PDE 5 (2019): 6. doi:10.1007/s40818-019-0062-7. Open PDF.