Strong Cosmic Censorship and Regularity

Strong cosmic censorship asks whether the maximal globally hyperbolic development is the largest physically admissible spacetime determined by generic data. The word “admissible” is a regularity choice. As of 2026-08-20, nonlinear results support a split verdict: continuous extensions can survive across Cauchy horizons in important charged and rotating models, while curvature or connection blow-up can obstruct stronger extensions. The question is partially resolved and supported with high confidence only when model and regularity are stated together.

Helpful background. Cosmic Censorship and Inextendibility defines maximal developments, Cauchy horizons, extensions, and the regularity hierarchy. This record compares the current nonlinear theorem cells rather than repeating that stable framework.

Which regularity version of strong censorship is finite?

Fix a matter model, asymptotics, topology on initial data, and an extension class. The finite question is whether generic maximal developments admit a Lorentzian extension of class $C^0$, $C^{0,\alpha}$, Lipschitz, $C^1$, or $C^2$, or one whose Christoffel symbols are locally square integrable. These thresholds express different notions of continuing geometry and field equations.

A continuous metric can define causal lengths beyond a Cauchy horizon even when derivatives or curvature diverge there. Thus “$C^0$ censorship fails” and “$C^2$ censorship holds” can describe the same solution. Further axes include two-ended versus one-ended data, spherical charged matter versus nonsymmetric vacuum Kerr, characteristic interior data versus complete exterior data, and existence of a horizon versus generic blow-up on it.

Assessment at 2026-08-20	Meaning
Question status	Partially resolved
Evidence status	Supported
Confidence	High for the regularity- and model-dependent split
Domain	Nonlinear spherical Einstein–Maxwell–scalar and subextremal vacuum Kerr cells, with extension classes kept separate
What could change the conclusion	A theorem or counterexample at a stronger or weaker regularity threshold

A starting project: trace one regularity conclusion

Fit and preparation. This direction suits a student who can derive the spherical double-null equations, distinguish a coordinate component from a geometric norm, and test local integrability near an endpoint. Start with the linked background until you can explain how a continuous metric can have unbounded curvature. The first project needs careful analysis and regular meetings with a mathematical-relativity adviser, rather than a large simulation.

Reading and baseline. Read Luk and Oh 2019, Theorems 1.4–1.5 and Remark 1.6 before following the proof. List separately the assumptions giving a continuous extension and those giving generic $C^2$ inextendibility. Then trace one implication from the event-horizon lower bound to the interior instability. Include the integration measure, coordinate changes, and which extension the estimate concerns. Remark 1.6 is a particularly useful test: an obstruction proved for the constructed extension must not silently become an obstruction for every extension.

Deliverable. Write a dependency diagram in prose, with one fully worked integrability estimate and an explicit list of conclusions the estimate does not imply. This is a reproduction and reading result, not a new censorship theorem. A second reader should be able to locate each hypothesis and check the estimate without reconstructing the entire paper.

Possible extension and stopping point. A candidate research question is whether one estimate survives a specified weaker tail assumption in the same spherical model. Check later literature and discuss the exact weighted norm with an expert before pursuing it. Stop or return to the baseline if the argument controls only one chart while claiming inextendibility, or if changing the tail invalidates the exterior theorem supplying it. Moving to Kerr changes the system and requires additional expertise in nonspherical null geometry.

What is established in the stated domain

For generic two-ended, spherically symmetric Einstein–Maxwell–real-scalar data, Luk and Oh prove that a nonempty Cauchy horizon forms and the metric extends continuously, while curvature blows up generically in Theorems 1.1–1.5 and §1.7. Their companion exterior paper proves the lower-bound input needed for the interior instability in the main theorem and §§1.2–1.4. Those papers form one proof chain, not two independent confirmations.

For vacuum rotation, Dafermos and Luk prove $C^0$ stability of a nontrivial Kerr Cauchy-horizon segment for suitable interior data in the main theorem and assumptions (4.2)–(4.3). The theorem begins inside the black hole; it does not itself derive those data from a complete asymptotically flat Cauchy surface or prove curvature blow-up.

Hintz’s 2026 nonlinear Kerr-stability preprint supplies the required exterior decay for its structured small-data class and states the interior consequence Hintz 2026, arXiv:2606.28253v2, Theorem 1.1 and consequence (1), printed pp. 2–3; precise Theorem 13.1. This closes an exterior-to-interior implication for that class, but the preprint’s finite partial-polyhomogeneous expansion is essential. Its proof explicitly uses the same author’s constraint-damping and tame-forward-estimate companion preprints as black-box inputs Hintz 2026, arXiv:2606.28253v2, abstract and first page; those current v1 companions are dependencies, not independent confirmations. The result does not justify a universal claim for all asymptotically flat perturbations.

Results and open questions at 2026-08-20

Claim or evidence	What it supports	What it does not establish
Luk–Oh interior theorem	Generic $C^0$ extension and stronger blow-up in a spherical charged model	Vacuum Kerr or one-ended collapse
Luk–Oh exterior lower bound	The tail input for that generic interior result	Independent replication of the same chain
Dafermos–Luk Kerr theorem	Nonsymmetric vacuum $C^0$ survival for an interior data class	Generic curvature blow-up from complete exterior data
Hintz 2026 preprint and two v1 companions	Exterior decay and Kerr interior consequence for structured full-subextremal data	Refereed validation, independent replication, or structureless asymptotics
Positive-cosmological-constant charged model	A regime in which mass inflation can be suppressed	A counterexample to asymptotically flat vacuum claims

The matrix favors a regularity-indexed conclusion rather than one global verdict. Peer-reviewed continuous-extension results are direct adverse evidence against $C^0$ inextendibility. Curvature blow-up in the spherical model supports stronger formulations, but extrapolation to generic rotating vacuum data remains a frontier.

Competing interpretations of determinism

One interpretation treats any continuous extension as a failure of determinism: causal curves can cross a boundary not fixed by the original Cauchy data. Its strength is conceptual clarity, and its weakness is that a merely continuous metric may not support the classical Einstein equations or finite connection energy.

The stronger-regularity interpretation accepts $C^0$ extensions but requires inextendibility at the level needed for the equations or tidal observables. It is supported by spherical curvature blow-up, yet its generic Kerr version still needs a gauge-invariant exterior-to-interior lower-bound theorem. Van de Moortel’s current synthesis is useful precisely because it organizes the conjecture by model and regularity Van de Moortel 2025, §§2–7, rather than assigning one slogan to all cells.

Counterexamples, null results, and failed routes

Continuous extensions in the Luk–Oh and Dafermos–Luk settings directly refute $C^0$ inextendibility in those domains. They do not refute $C^2$ or connection-level formulations. Conversely, curvature blow-up does not by itself prove that no weak extension satisfying a distributional equation exists.

Positive cosmological constant changes the exterior decay competition. Rossetti proves bounded renormalized Hawking mass and weak extension in a near-extremal charged model under sufficiently fast decay in the main stability and $H^1$-extension theorems. This is a real no-mass-inflation cell, but its asymptotics and matter coupling differ from asymptotically flat Kerr. Pooling the two would obscure rather than test censorship.

What would change the assessment

The decisive Kerr result would begin with complete nonsymmetric asymptotically flat vacuum data, prove a generic Price-law lower bound, propagate it through the event horizon, and establish gauge-invariant curvature or connection blow-up at the dynamical Cauchy horizon. A bounded-curvature theorem on an open data set would move the assessment in the opposite direction. Any claimed advance must name the extension class; changing from $C^2$ to $C^0$ changes the question.

Research checklist

• Specify the matter model, cosmological constant, number of asymptotic ends, and initial-data surface.
• State the extension class and whether the Einstein equations are required classically or weakly beyond the horizon.
• Separate Cauchy-horizon existence, metric extendibility, mass inflation, connection blow-up, and curvature blow-up.
• Trace every interior theorem to its exterior upper or lower decay assumptions; do not count a dependency as independent evidence.
• Translate gauge-dependent component estimates into invariant curvature, tidal, or integrability conclusions where possible.
• Check whether “generic” refers to complete Cauchy data, event-horizon data, or an interior characteristic class.

Source and data map

The controlling spherical chain is Luk–Oh’s exterior and interior pair. Dafermos–Luk provides the independent peer-reviewed Kerr $C^0$ theorem. Hintz 2026 supplies a current but unrefereed exterior input for a structured full-subextremal data class, with arXiv:2606.27658v1 and arXiv:2606.28008v1 as declared proof dependencies; Van de Moortel supplies a peer-reviewed taxonomy, and Rossetti supplies the strongest adverse asymptotic/matter cell.

No independent reproduction was performed, and no formal proof archive was found. The key unresolved verification is a line-by-line comparison of Hintz Theorem 13.1 with the Dafermos–Luk assumptions and with less structured asymptotic classes. Hintz v2 and its two companion v1 preprints had no journal references at the cutoff; Van de Moortel’s arXiv v2 corresponds to the published 2025 review.

References

• 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.
• Hintz, Peter. “Constraint Damping on Subextremal Kerr Spacetimes.” arXiv:2606.27658v1 (2026). arXiv v1.
• Hintz, Peter. “(Non-)Linear Waves on Asymptotically Flat Spacetimes. II: Trapping, Bound States, Nonlinear Applications.” arXiv:2606.28008v1 (2026). arXiv v1.
• Hintz, Peter. “Nonlinear Stability of Subextremal Kerr Black Holes.” arXiv:2606.28253v2 (2026). arXiv v2.
• 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.
• 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), article 6. DOI.
• Rossetti, Flavio. “Strong Cosmic Censorship for the Spherically Symmetric Einstein–Maxwell-Charged-Klein–Gordon System with Positive $\Lambda$: Stability of the Cauchy Horizon and $H^1$ Extensions.” Annales Henri Poincaré 26 (2025), 675–753. DOI.
• Van de Moortel, Maxime. “The Strong Cosmic Censorship Conjecture.” Comptes Rendus. Mécanique 353 (2025), 415–454. DOI. Open PDF.