The nature and observability of the singularities predicted by the Hawking–Penrose singularity theorem: cosmic censorship, singularity structure, and robustness of the hypotheses

The Hawking–Penrose singularity theorem (1970) proves that spacetimes satisfying Einstein's equations with non-positive cosmological constant, a strong energy condition, causal regularity, a curvature genericity condition, and one of three boundary conditions (a trapped surface, a compact spacelike slice, or past reconvergence of a null cone) are causally geodesically incomplete — but the incompleteness is used only "as an indication of the presence of singularities", and the theorem says nothing about the physical character of that incompleteness. The open questions surrounding it are: whether the predicted singularities can be visible from the exterior in realistic collapse (naked singularities — the question posed by Penrose (1969), now called weak cosmic censorship); what the local geometry near them is, including the curvature blow-up type and the regularity threshold for inextendibility (strong cosmic censorship, and the spacelike-versus-null structure of generic singularities); whether the conclusion survives failures of the hypotheses (positive cosmological constant, quantum violations of the energy conditions, non-generic aligned geometries, causality violations); and where and in which time-direction the singularities lie.

Background

In general relativity, spacetime is a four-dimensional Lorentzian manifold $(M,g)$ satisfying Einstein's equations; a singularity is not a point of $M$ but a statement that some inextendible timelike or null geodesic terminates after finite parameter value — geodesic incompleteness, the operative definition of a spacetime singularity. Penrose (1965) proved the first genuine collapse singularity theorem: a globally hyperbolic spacetime (one with a well-posed initial-value formulation, so that the whole spacetime is determined by data on a single spacelike slice) containing a trapped surface — a closed spacelike two-surface such that both families of null geodesics orthogonal to it are converging, so that (in flat space this is impossible and gravity must be strong there) no future-directed causal curve from the surface can escape to infinity — and satisfying the null energy condition (the requirement that energy density be non-negative along light rays) must be null-geodesically incomplete. Hawking and Penrose (1970) then proved the theorem bearing their name: no spacetime can simultaneously satisfy (a) Einstein's equations with cosmological constant $\lambda \le 0$; (b) the strong energy condition $R_{ab}t^{a}t^{b} \le 0$ for every unit timelike vector $t^{a}$, where $R_{ab}$ is the Ricci tensor of the metric (written in the sign convention of Hawking and Penrose (1970) — the same timelike-convergence condition reads $R_{ab}t^{a}t^{b} \ge 0$ under the modern convention — and equivalently, the energy density is not less than minus each principal pressure nor minus the sum of the three principal pressures, the condition that gravity is locally attractive); (c) the absence of closed timelike curves, which would return to their own past and destroy causal predictability; (d) a genericity condition requiring every causal geodesic to pass through a region where the curvature is not specially aligned with the geodesic (expected to fail only in measure-zero, non-generic geometries); and (e) one of three boundary or focusing conditions — a trapped surface, a compact spacelike hypersurface, or a point whose past-directed null geodesics begin to reconverge. The conclusion is deliberately weak: at least one causal geodesic is incomplete, with no information about where the singularity lies, whether the curvature blows up there, or whether it is hidden. The 1970 paper explicitly restricts to $\lambda \le 0$ and acknowledges these gaps; the naked-singularity question it raises via Penrose (1969) became cosmic censorship. In modern terminology the censorship family splits into weak cosmic censorship (WCC) — naked singularities visible from infinity do not arise in generic gravitational collapse — and strong cosmic censorship (SCC) — the maximal globally hyperbolic development (the unique spacetime region determined by given initial data, abbreviated MGHD) of generic initial data is inextendible as a solution of the Einstein equations, so that determinism of the kind Laplace envisaged, with initial data fixing the entire past and future, holds; the truth of SCC depends on the regularity class demanded of extensions (continuous, $C^1$, $C^2$, or Sobolev-type, i.e. possessing a fixed finite number of square-integrable weak derivatives). The local structure of singularities involves competing pictures: the Belinskii–Khalatnikov–Lifshitz (BKL) picture of oscillatory spacelike singularities dominated by time derivatives, and null weak singularities produced by mass inflation — the divergence of the Hawking mass (a standard quasi-local mass functional) at the Cauchy horizons (null boundaries of the region predictable from the initial data) inside charged or rotating black holes, caused by blueshifted infalling radiation. Quantum field theory complicates the hypotheses: quantized fields violate the pointwise energy conditions, satisfying only averaged or integral inequalities (quantum energy inequalities). Partial resolutions are known in special settings: the instability of naked singularities in spherical scalar-field collapse, trapped-surface formation without symmetry, the falsification of the $C^0$ and confirmation (in spherical symmetry) of the $C^2$ formulation of strong cosmic censorship, and a semiclassical singularity theorem derived from a quantum energy inequality. Both censorship conjectures in their general non-symmetric form, and the structure of generic singularities, nonetheless remain open (Senovilla 2021; Van de Moortel 2025).

Problem Statement

The Hawking–Penrose singularity theorem concludes causal geodesic incompleteness under Einstein's equations with cosmological constant $\lambda \le 0$, the strong energy condition, absence of closed timelike curves, a curvature genericity condition, and one of three boundary conditions; that conclusion carries no information about the character, location, or visibility of the implied singularities, the naked-singularity question originates with Penrose (1969), and the robustness and localization questions below are recognized limitations of the singularity theorems. The problem is to resolve, or make decisive progress on, the open questions that the theorem's conclusion leaves unanswered about the singularities of our universe, in four linked respects that jointly support this single objective (the theorem's own content is background context, not the deliverable): (1) Observability — can singularities arising in physically realistic gravitational collapse occur without the prior formation of trapped surfaces, that is, can naked singularities visible from the exterior arise in realistic collapse, or are they generically hidden inside black holes (the weak cosmic censorship conjecture)? (2) Local structure and strength — what is the spacetime geometry near the predicted singularities: are they of "infinite curvature" type; are they spacelike (BKL-type), null and weak, or mixed; and in which regularity class, if any, is the spacetime inextendible there (the strong cosmic censorship conjecture)? (3) Robustness — does the conclusion survive failure of the hypotheses: a positive cosmological constant $\lambda>0$ violating the energy-attraction assumption in regimes where curvature is not dominant; quantum-field-theoretic violations of the local energy inequalities; the fate and physical realizability of specially aligned or degenerate geometries that violate the genericity condition (including measure-zero evaders); and the presence of closed timelike curves? (4) Localization — can the theorem be strengthened to determine where, and in which time-direction relative to given events, the implied singularities occur? These four respects are jointly the components of this single objective and all lie in scope. The failure modes listed under Robustness delimit the scope of that respect rather than each requiring separate resolution.

References

1. S. W. Hawking and R. Penrose (1970), "The singularities of gravitational collapse and cosmology", Proceedings of the Royal Society of London A 314, 529–548. DOI: 10.1098/rspa.1970.0021, https://doi.org/10.1098/rspa.1970.0021
2. R. Penrose (1969), "Gravitational collapse: The role of general relativity" (Golden Oldie reprinted 2002), General Relativity and Gravitation 34, no. 7, 1141–1165. DOI: 10.1023/A:1016578408204, https://doi.org/10.1023/A:1016578408204 (originally published in Rivista del Nuovo Cimento 1, 252, 1969)
3. R. Penrose (1965), "Gravitational Collapse and Space-Time Singularities", Physical Review Letters 14, 57–59. DOI: 10.1103/PhysRevLett.14.57, https://doi.org/10.1103/PhysRevLett.14.57
4. R. M. Wald (1997), "Gravitational Collapse and Cosmic Censorship", arXiv:gr-qc/9710068, https://arxiv.org/abs/gr-qc/9710068
5. D. Christodoulou (1994), "Examples of Naked Singularity Formation in the Gravitational Collapse of a Scalar Field", Annals of Mathematics (2) 140, no. 3, 607. DOI: 10.2307/2118619, https://doi.org/10.2307/2118619
6. D. Christodoulou (1999), "The Instability of Naked Singularities in the Gravitational Collapse of a Scalar Field", Annals of Mathematics (2) 149, no. 1, 183. DOI: 10.2307/121023, https://doi.org/10.2307/121023
7. M. W. Choptuik (1993), "Universality and scaling in gravitational collapse of a massless scalar field", Physical Review Letters 70, 9–12. DOI: 10.1103/PhysRevLett.70.9, https://doi.org/10.1103/PhysRevLett.70.9
8. D. Christodoulou (2009), "The Formation of Black Holes in General Relativity", EMS Monographs in Mathematics. arXiv:0805.3880, https://arxiv.org/abs/0805.3880
9. M. Dafermos and J. Luk (2025), "The interior of dynamical vacuum black holes I: The C^0-stability of the Kerr Cauchy horizon", Annals of Mathematics (2) 202, no. 2, 309–630. DOI: 10.4007/annals.2025.202.2.1, https://doi.org/10.4007/annals.2025.202.2.1 (preprint arXiv:1710.01722, https://arxiv.org/abs/1710.01722)
10. J. Luk and S.-J. Oh (2017), "Strong cosmic censorship in spherical symmetry for two-ended asymptotically flat initial data I. The interior of the black hole region", Annals of Mathematics (2) 190, no. 1 (2019). DOI: 10.4007/annals.2019.190.1.1, https://doi.org/10.4007/annals.2019.190.1.1 (preprint arXiv:1702.05715, https://arxiv.org/abs/1702.05715)
11. M. Van de Moortel (2025), "The Strong Cosmic Censorship Conjecture", Comptes Rendus Mécanique 353, 415–454. arXiv:2501.13180, https://arxiv.org/abs/2501.13180
12. J. M. M. Senovilla (1998), "Singularity theorems and their consequences", General Relativity and Gravitation 30, 701–848. DOI: 10.1023/A:1018801101244, https://doi.org/10.1023/A:1018801101244
13. J. M. M. Senovilla (2006), "Singularity Theorems in General Relativity: Achievements and Open Questions", arXiv:physics/0605007, https://arxiv.org/abs/physics/0605007 (published in Einstein and the Changing Worldviews of Physics, 2011, DOI: 10.1007/978-0-8176-4940-1_15)
14. J. M. M. Senovilla (2021), "A critical appraisal of the singularity theorems", Philosophical Transactions of the Royal Society A 380, 20210174 (theme issue "The future of mathematical cosmology", published March 2022). DOI: 10.1098/rsta.2021.0174, https://doi.org/10.1098/rsta.2021.0174 (preprint arXiv:2108.07296, https://arxiv.org/abs/2108.07296)
15. C. J. Fewster and G. J. Galloway (2011), "Singularity theorems from weakened energy conditions", Classical and Quantum Gravity 28, 125009. DOI: 10.1088/0264-9381/28/12/125009, https://doi.org/10.1088/0264-9381/28/12/125009
16. C. J. Fewster and E.-A. Kontou (2022), "A semiclassical singularity theorem", Classical and Quantum Gravity 39, 075028. DOI: 10.1088/1361-6382/ac566b, https://doi.org/10.1088/1361-6382/ac566b
17. A. Vilenkin and A. C. Wall (2014), "Cosmological singularity theorems and black holes", Physical Review D 89, 064035. DOI: 10.1103/PhysRevD.89.064035, https://doi.org/10.1103/PhysRevD.89.064035