Logical Relations and Open Formulation Choices

Weak and strong cosmic censorship are not stronger and weaker versions of one proposition. Weak censorship controls visibility from a chosen asymptotic region; strong censorship controls extendibility of the maximal globally hyperbolic development. Their apparent conflicts often disappear after the asymptotics, matter model, symmetry class, data topology, genericity notion, nonlinear status, and extension regularity are written out.

Required background. The Einstein Equation supplies the field equations and their constraint content. Helpful background. Pseudo-Riemannian Metrics and Signature supplies metric regularity; Affine and Variational Geodesics supplies completeness; Causality and Global Structure supplies infinity and Cauchy horizons; Formulations of General Relativity separates constraints, evolution, and gauge; Exact Solutions of Einstein’s Equations supplies model families; PDEs and Green Functions for Gravitation supplies weak-solution and stability language.

Two conjectures with different targets

For complete asymptotically flat data, a typical weak cosmic censorship statement asks that future null infinity $\mathscr I^+$ be complete for generic developments, or equivalently under additional hypotheses that singular behavior not be visible from $\mathscr I^+$. Its target is the exterior causal relation to infinity.

A typical strong cosmic censorship statement asks that the MGHD of generic data be inextendible in a named class. Its target is continuation beyond any Cauchy horizon and hence uniqueness of evolution in that class.

The geometric loci are different:

Question	Boundary or region tested	Typical failure
WCC	$\mathscr I^+$ and its causal past	a collapse singularity is globally visible or $\mathscr I^+$ is future incomplete
SCC	boundary of the MGHD, often an inner Cauchy horizon	the metric or fields extend beyond the domain fixed by the initial data

An event horizon is $\partial J^-(\mathscr I^+)$ for a chosen asymptotic end. A Cauchy horizon is the boundary of a domain of dependence. Neither definition implies the other. An inner Cauchy horizon can be safely hidden inside an event horizon; a naked singularity can occur without any regular Cauchy horizon across which the geometry extends.

Isenberg emphasizes the logical point explicitly: neither WCC nor SCC implies the other Isenberg 2015, §3, pp. 6–7. The adjectives “weak” and “strong” are historical names, not an implication ordering.

Solution-level compatibility table

Before adding genericity quantifiers, four combinations are logically possible for one asymptotically flat development:

Exterior behavior	MGHD boundary	WCC-type property	SCC-type property
complete $\mathscr I^+$; singular interior hidden	no extension at the chosen regularity	satisfied	satisfied
complete $\mathscr I^+$; singular interior hidden	extendible inner Cauchy horizon	satisfied	fails
incomplete $\mathscr I^+$ or globally visible singular behavior	no extension at the chosen regularity	fails	satisfied
globally visible singular behavior	another boundary also admits an extension	fails	fails

These rows show logical compatibility, not existence or stability theorems in every matter model. To promote a row to a censorship verdict, the property must hold on the selected generic subset of the same data space. Comparing “generic WCC” in one topology with “generic SCC” in another does not create an implication.

Classical singularity theorems sit upstream of both conjectures. They can prove causal-geodesic incompleteness under focusing and global hypotheses. They do not locate the incomplete approach relative to $\mathscr I^+$, prove an extension obstruction, or specify genericity. Incompleteness therefore implies neither a WCC failure nor an SCC result by itself.

Regularity gives a separate implication ladder

For metric extensions with the usual inclusions,

$$\text{smooth}\subset C^2\subset C^{0,1}\subset C^0.$$

Consequently, for the same data, same boundary, and same definition of extension,

$$C^0\text{-inextendibility} \Longrightarrow C^{0,1}\text{-inextendibility} \Longrightarrow C^2\text{-inextendibility} \Longrightarrow C^\infty\text{-inextendibility}.$$

This ladder orders SCC regularities; it does not connect SCC to WCC. A curvature blowup may prove $C^2$-inextendibility while a continuous metric extension still exists. A continuous extension can therefore falsify $C^0$ SCC for a model even when $C^2$ SCC remains viable.

The Christodoulou weak-solution class is commonly designed to require a continuous nondegenerate metric with locally square-integrable connection coefficients so that the Einstein equations have a weak meaning. In such a formulation, locally Lipschitz extensions lie inside the weak class, but the exact relation depends on gauge, nondegeneracy, and matter regularity. It should be placed on the ladder only after those definitions are fixed. “Christodoulou SCC,” “$C^2$ SCC,” and “curvature blowup” are not synonyms.

The weak-null-singularity scenario makes the separation concrete: a metric may extend in $C^0$, while Christoffel symbols fail to be $L^2_{\mathrm{loc}}$ and curvature diverges. For that datum, $C^0$ inextendibility fails but a Christodoulou-type and a $C^2$ obstruction can hold. Isenberg reviews this spherical charged-black-hole scenario and its hypotheses in Isenberg 2015, §7, pp. 16–18.

Asymptotic settings are different problems

The asymptotic column cannot be suppressed:

Setting	WCC receiver	SCC complication
Asymptotically flat	null $\mathscr I^+$	polynomial exterior tails and inner-horizon blue shift
Asymptotically de Sitter	spacelike $\mathscr I^+$ or a chosen cosmological observer	exponential decay competes with Cauchy-horizon blue shift
Asymptotically anti-de Sitter	timelike conformal boundary with named boundary conditions	initial-boundary evolution and reflected tails alter predictability

An asymptotically flat completeness statement cannot be evaluated on Kerr–Newman–de Sitter because its future infinity is not the same null boundary. Conversely, a de Sitter spectral ratio at an inner horizon does not decide exterior visibility in asymptotically flat collapse. In AdS, even the MGHD language must be adapted because the timelike boundary requires additional data.

Symmetry, matter, and linearization

Every result occupies a position on three more axes.

Vacuum versus matter. Vacuum Gowdy theorems, Einstein–scalar collapse, and Einstein–Maxwell inner horizons concern different constraint sets and degrees of freedom. A result for a neutral test scalar does not cover charged matter or the coupled gravito-electromagnetic sector.

Symmetry-reduced versus unrestricted. Spherical symmetry removes gravitational waves; Gowdy symmetry retains restricted wave degrees; stationary black-hole families are finite-dimensional. Openness or density inside any of these subspaces does not automatically persist in the unrestricted constraint space.

Linear versus nonlinear. A quasinormal spectrum describes the linearized equation on a fixed background. It can identify a blue-shift/decay threshold, but cannot construct nonlinear metric backreaction. Christodoulou’s 1999 and Zheng’s 2026 spherical results concern nonlinear coupled Einstein–scalar evolution. They remain symmetry reduced. An–Wu 2026 is nonlinear and nonspherical, but its designed double-null family is an existence construction rather than an open-neighborhood theorem.

A compact formulation label is therefore

$$(\text{WCC or SCC};\ \text{asymptotics};\ \text{equations};\ \text{data topology}; \ \text{genericity};\ \text{symmetry};\ \text{linear/nonlinear};\ \text{regularity}).$$

Two conclusions are comparable only after enough entries match.

What the cosmic-censorship results establish

The following matrix is current through 2026-08-12. It separates the mathematical result from the broader conjecture it informs.

Source	Result actually established	Censorship interface	Limitation blocking a universal verdict
Christodoulou 1999	nonlinear instability of the remaining naked exceptional set via a two-dimensional transverse-plane construction in spherical Einstein–scalar $BV\cap L^1$ data	supports a rough-topology spherical WCC formulation	not unrestricted, not a smooth-data probability theorem
Shlapentokh-Rothman 2022 v1	full vacuum naked solution obtained by gluing to the earlier exterior, with maximal development from a complete asymptotically flat characteristic cone Theorem 1.3 and Remark 1.2, pp. 5–6	vacuum WCC existence cell	data are only $C^{1,s}$ in the null direction; no smooth Cauchy formation or stability
An–Tan 2024 v1	complete $\mathscr I^+$ outside a transversely defined exceptional set in spherical charged-complex-scalar $BV\cap L^1(dv/v)$ characteristic data Theorem 1.1, Remark 1, and Theorem 9.1	supports that exact spherical charged-matter WCC formulation	unrefereed; not nonspherical, unrestricted, or a canonical measure statement
Isenberg 2015 review of Gowdy theorems	nonlinear vacuum model-SCC results with explicit topology and $C^2$ inextendibility in compact symmetry classes	rigorous SCC models	symmetry-reduced data spaces
Davey–Dias–Sola Gil 2024	linear neutral massless scalar spectral scan on fixed KNdS, using the $\beta=1/2$ finite-energy threshold	tests a Christodoulou-type SCC criterion in de Sitter black holes	no nonlinear Einstein–Maxwell backreaction or generic collapse theorem
Zheng 2026 preprint	nonlinear open stability of finite-regularity self-similar naked singularities in a spherical localized Hölder characteristic topology	challenges that particular spherical WCC formulation	small $k$, spherical, localized finite regularity; unrestricted and intermediate spaces open
An–Wu 2026 v1	nonspherical Einstein–scalar solution from structured self-similar incoming and small outgoing null data, with incomplete $\mathscr I^+$ and a singular inner Cauchy horizon Theorem 1.3, pp. 3–4	nonspherical WCC existence cell and neighboring SCC regularity cell	designed family, not open stability, genericity, vacuum, or Cauchy-data formation

Christodoulou’s precise statement is that through each exceptional datum $\vartheta\in E\subset BV\cap L^1$ passes a two-dimensional affine plane meeting $E$ only at $\vartheta$ Christodoulou 1999, Theorem 4.1, pp. 214–216. It is a nonlinear theorem, but “positive codimension” here means this constructed transversality property.

Zheng fixes $p_k=(1-k^2)^{-1}$. For sufficiently small nonzero $k$, small $\overline C_N^{p_k,\delta}$ perturbations with $N\ge6$ and $0<\delta\le\delta_0$ produce asymptotically flat spherical MGHDs with no trapped surface and incomplete $\mathscr I^+$ Zheng 2026, Theorem 3.1, pp. 23–25. The norm localizes the background’s $C^{1,k^2/(1-k^2)}$ threshold to the distinguished sphere and adds decay at infinity Zheng 2026, Definitions 2.7 and 2.11, pp. 18–20. This differs from arbitrary $BV$ perturbations, so the 1999 and 2026 results are formulation-dependent rather than contradictory.

The characteristic existence rows do not add the missing genericity quantifier. Shlapentokh-Rothman’s complete cone is not smooth Cauchy data, and An–Wu’s removal of spherical symmetry occurs within prescribed self-similar incoming data and controlled outgoing perturbations. Conversely, An–Tan’s complex two-dimensional transverse families concern a spherical charged-matter $BV\cap L^1(dv/v)$ space. These results narrow three different cells without settling unrestricted vacuum WCC.

For KNdS, the linear scalar criterion is

$$\beta=-\frac{\operatorname{Im}\omega}{\kappa_-}, \qquad \partial_r\Phi\in L^2_{\mathrm{loc}} \Longleftrightarrow \beta>\frac12.$$

The derivation is in Davey, Dias, and Sola Gil 2024, §2.3.3, pp. 13–14. Their neutral-scalar scan finds a transition surface around the small near-extremal Reissner–Nordström–de Sitter corner, with the stated $y_+=r_+/r_c\ge0.1$ qualification Davey, Dias, and Sola Gil 2024, §§5–6, pp. 34–42. Calling either side a universal SCC verdict would discard the fixed background, linearity, perturbation species, stationary family, and scan limitations.

Open formulation choices

Several questions remain part of the conjecture rather than settled preliminaries:

1. Which topology is physically and analytically natural for collapse data: finite Sobolev, smooth Fréchet, bounded variation, localized Hölder, or another class?
2. Should generic mean open dense, residual, finite-codimension exclusion, prevalence, or probability one under a specified ensemble?
3. Which matter systems count, and is one conjecture expected to hold uniformly across them?
4. Is $C^0$ metric determinism the target, or only nonexistence of extensions satisfying the weak Einstein equations?
5. How should WCC be reformulated for de Sitter and AdS boundaries?
6. When does linear spectral evidence survive nonlinear backreaction and unrestricted perturbations?

Changing evidence belongs in the dated Research records for Weak Cosmic Censorship and Strong Cosmic Censorship and Regularity. The chapter definitions remain useful even when a model verdict changes.

Formulation diagnostic

Problem. Compare three claims. (A) Generic asymptotically flat vacuum data have complete $\mathscr I^+$. (B) An open dense set of compact Gowdy vacuum data has $C^2$-inextendible MGHDs. (C) Every neutral massless scalar QNM on one fixed near-extremal KNdS background has $\beta>1/2$. Which implications are valid?

Solution

No implication follows among the three as stated. (A) is a WCC claim about unrestricted asymptotically flat vacuum exterior behavior. (B) is a nonlinear SCC theorem in a compact symmetry-reduced vacuum data space and at $C^2$ regularity. (C) is a linear test-field statement on one stationary de Sitter background; it indicates finite-energy scalar continuation but does not construct a metric extension or a generic collapse set. Even if all three were true, they would answer different formulations. A valid comparison would first align asymptotics, equations, data topology, genericity, symmetry, nonlinear status, and extension regularity.

Return to the chapter overview for the complete diagnostic path.

References

• An, Xinliang, and Hong Kiat Tan. “A Proof of Weak Cosmic Censorship Conjecture for the Spherically Symmetric Einstein–Maxwell–Charged Scalar Field System.” arXiv:2402.16250v1 (2024). arXiv:2402.16250v1.
• An, Xinliang, and Shengrong Wu. “Naked Singularities beyond Spherical Symmetry: Singular Inner Cauchy Horizons for the Einstein–Scalar Field System.” arXiv:2607.07134v1 (2026). arXiv:2607.07134v1.
• Christodoulou, Demetrios. “The Instability of Naked Singularities in the Gravitational Collapse of a Scalar Field.” Annals of Mathematics 149 (1999): 183–217. arXiv:math/9901147.
• Davey, Alex, Óscar J. C. Dias, and David Sola Gil. “Strong Cosmic Censorship in Kerr–Newman–de Sitter.” Journal of High Energy Physics 2024, no. 7 (2024): 113. https://doi.org/10.1007/JHEP07(2024)113; arXiv:2404.03724.
• Isenberg, James. “On Strong Cosmic Censorship.” Surveys in Differential Geometry 20 (2015): 17–36. arXiv:1505.06390.
• Shlapentokh-Rothman, Yakov. “Naked Singularities for the Einstein Vacuum Equations: The Interior Solution.” arXiv:2204.09891v1 (2022). arXiv:2204.09891v1.
• Zheng, Weihao. “Nonlinear Stability of Continuously Self-Similar Naked Singularities for the Einstein-Scalar Field Equations I: Main Results.” Preprint, 15 May 2026. arXiv:2605.16235.