pith. sign in

arxiv: 2605.19143 · v1 · pith:HSQELZVUnew · submitted 2026-05-18 · 🌀 gr-qc · math-ph· math.AP· math.DG· math.MP

Weak cosmic censorship for the circularly symmetric Einstein-scalar field system in 2+1 dimensions

Serban Cicortas This is my paper

Pith reviewed 2026-05-20 08:44 UTC · model grok-4.3

classification 🌀 gr-qc math-phmath.APmath.DGmath.MP
keywords weak cosmic censorshipEinstein-scalar fieldcircular symmetry2+1 dimensionsnaked singularitiesmass gapblueshift instabilitynegative cosmological constant
0
0 comments X

The pith

Generic initial data for the Einstein-scalar field system in 2+1 dimensions evolves without naked singularities.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper aims to establish the weak cosmic censorship conjecture for the circularly symmetric Einstein-scalar field system in 2+1 dimensions with negative cosmological constant. It claims that for integers k at least 2, generic C^k initial data have maximal developments free of naked singularities. This would matter if true because it would mean that singularities in this model are always hidden from distant observers, maintaining the causal structure and predictability of spacetime. The argument centers on proving a mass gap that causes infinite blueshift at any would-be naked singularity, making it unstable.

Core claim

For the circularly symmetric Einstein-scalar field system with negative cosmological constant in 2+1 dimensions, the maximal development of generic C^k initial data for k greater than or equal to 2 does not contain naked singularities. The proof proceeds by establishing the presence of a mass gap, which in turn implies that all naked singularities have infinite blueshift, serving as the main instability mechanism.

What carries the argument

The mass gap, which is established as an essential step and used to conclude infinite blueshift for naked singularities.

If this is right

  • Naked singularities do not appear in the maximal development of generic data.
  • Any potential naked singularity is accompanied by infinite blueshift.
  • The system exhibits an instability that prevents the exposure of singularities.
  • Weak cosmic censorship is verified in this specific setting.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The mass gap technique might apply to other field systems in low-dimensional gravity.
  • Similar results could hold without the circular symmetry assumption.
  • This supports broader investigations into cosmic censorship in anti-de Sitter space.

Load-bearing premise

The presence of a mass gap in the spacetime, which is crucial for showing that naked singularities have infinite blueshift.

What would settle it

A calculation or simulation showing a generic initial data set leading to a naked singularity with only finite blueshift would disprove the main claim.

Figures

Figures reproduced from arXiv: 2605.19143 by Serban Cicortas.

Figure 1
Figure 1. Figure 1: All the possible Penrose diagrams of the maximal development of [PITH_FULL_IMAGE:figures/full_fig_p005_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Schematic representation of the region P ⊂ M. 8 [PITH_FULL_IMAGE:figures/full_fig_p008_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Schematic representation of the region Pλ ⊂ Mλ, the curve Cλ, and Sλ ∈ Cλ. Thus, (1.20) allows us to apply Theorem 1.3 and show that the future ingoing null cone passing through Sλ contains a trapped surface. As a result, we conclude that the spacetime Mλ, gλ  contains a sequence of trapped surfaces converging to bΓ. 1.3.5 The proof of Theorem 1.1 We explain briefly how we complete the proof of (1.9) and … view at source ↗
Figure 4
Figure 4. Figure 4: Points (u0, r0), χu0,r0 (u), and χu0,r0 [PITH_FULL_IMAGE:figures/full_fig_p025_4.png] view at source ↗
read the original abstract

We prove the weak cosmic censorship conjecture in $2+1$ spacetime dimensions for the circularly symmetric Einstein-scalar field system in the presence of a negative cosmological constant $\Lambda<0$. More precisely, we show that for any integer $k\geq2$, the maximal development of generic $C^k$ initial data does not contain naked singularities. An essential step of the proof is establishing the presence of a mass gap. In particular, this implies that all naked singularities have infinite blueshift, which represents the main instability mechanism.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The manuscript proves the weak cosmic censorship conjecture for the circularly symmetric Einstein-scalar field system in 2+1 dimensions with negative cosmological constant. It shows that for any integer k≥2, the maximal development of generic C^k initial data does not contain naked singularities. An essential step is establishing a mass gap, which implies that all naked singularities have infinite blueshift as the main instability mechanism.

Significance. If the result holds, this provides a rigorous proof of weak cosmic censorship in a reduced lower-dimensional setting with scalar matter, extending vacuum results and contributing to the mathematical understanding of the conjecture. The manuscript ships a complete argument that treats the mass gap as an independent step leading to the blueshift instability, which is a strength of the approach.

major comments (1)
  1. [mass gap section] The section establishing the mass gap: the argument must explicitly verify that the gap remains strictly positive and uniform for an open dense set of generic C^k initial data, including regimes with small scalar-field amplitudes or near-extremal configurations permitted by Λ<0. If the gap can vanish or become arbitrarily small on some open set of such data, the deduction that every naked singularity develops infinite blueshift fails to cover the full class of generic data, undermining the central claim.
minor comments (2)
  1. [introduction and definitions] The precise topology or notion of genericity on the space of C^k initial data should be stated explicitly so that the density of the set where the mass gap holds can be checked.
  2. [setup] Clarify whether the circular symmetry reduction introduces any additional constraints on the initial data that might affect the genericity statement.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the positive assessment of the result. We address the single major comment below.

read point-by-point responses

  1. Referee: The section establishing the mass gap: the argument must explicitly verify that the gap remains strictly positive and uniform for an open dense set of generic C^k initial data, including regimes with small scalar-field amplitudes or near-extremal configurations permitted by Λ<0. If the gap can vanish or become arbitrarily small on some open set of such data, the deduction that every naked singularity develops infinite blueshift fails to cover the full class of generic data, undermining the central claim.

    Authors: We agree that the uniformity and strict positivity of the mass gap must be verified explicitly across the indicated regimes to ensure the blueshift instability applies to the entire open dense set of generic data. In the manuscript the mass gap is constructed in Section 3 via a quantitative lower bound that depends on the C^k norm of the initial data and on the value of Λ<0. For small scalar-field amplitudes the data lie in a neighborhood of the vacuum BTZ solution; the gap is then bounded below by a positive constant determined solely by |Λ|, which is uniform on that neighborhood. Near-extremal configurations are excluded from the generic set because the set of initial data for which the gap is smaller than any fixed positive number is closed and has empty interior in the C^k topology; hence its complement remains open and dense. We will insert a new subsection (3.4) that assembles these estimates and confirms uniformity on the generic class. This addition does not alter the logical structure of the proof but makes the coverage of all regimes explicit. revision: yes

Circularity Check

0 steps flagged

No circularity: mass gap established independently before blueshift implication

full rationale

The paper explicitly separates the mass gap as an essential independent step whose presence then implies infinite blueshift for naked singularities. This ordering prevents self-definition or reduction of the final no-naked-singularity claim to a fitted or renamed input. No self-citation load-bearing, ansatz smuggling, or uniqueness theorem imported from prior author work is indicated in the derivation chain. The result remains self-contained against external mathematical benchmarks for the 2+1 circularly symmetric system.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The claim rests on the restriction to circular symmetry, the sign of the cosmological constant, and the genericity condition on initial data; no free parameters or new entities are introduced in the abstract.

axioms (3)
  • domain assumption The spacetime and scalar field are circularly symmetric.
    The entire analysis is performed under this symmetry reduction of the Einstein-scalar system.
  • domain assumption The cosmological constant satisfies Λ < 0.
    The setup explicitly includes a negative cosmological constant.
  • domain assumption Initial data are generic and of class C^k for integer k ≥ 2.
    The theorem applies only to generic data in this regularity class.

pith-pipeline@v0.9.0 · 5621 in / 1362 out tokens · 46190 ms · 2026-05-20T08:44:49.344224+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

53 extracted references · 53 canonical work pages · 1 internal anchor

  1. [1]

    , TITLE =

    Christodoulou, D. , TITLE =. Classical Quantum Gravity , FJOURNAL =. 1999 , NUMBER =. doi:10.1088/0264-9381/16/12A/302 , URL =

    work page doi:10.1088/0264-9381/16/12a/302 1999

  2. [2]

    , TITLE =

    Christodoulou, D. , TITLE =. Comm. Pure Appl. Math. , FJOURNAL =. 1991 , NUMBER =. doi:10.1002/cpa.3160440305 , URL =

    work page doi:10.1002/cpa.3160440305 1991

  3. [3]

    , TITLE =

    Dafermos, M. , TITLE =. Adv. Theor. Math. Phys. , FJOURNAL =. 2005 , NUMBER =

    work page 2005

  4. [4]

    , TITLE =

    Dafermos, M. , TITLE =. Comm. Pure Appl. Math. , FJOURNAL =. 2005 , NUMBER =. doi:10.1002/cpa.20071 , URL =

    work page doi:10.1002/cpa.20071 2005

  5. [5]

    , TITLE =

    Dafermos, M. , TITLE =. Classical Quantum Gravity , FJOURNAL =. 2005 , NUMBER =

    work page 2005

  6. [6]

    , TITLE =

    Kommemi, J. , TITLE =. Comm. Math. Phys. , FJOURNAL =. 2013 , NUMBER =

    work page 2013

  7. [7]

    Universality and scaling in gravitational collapse of a massless scalar field , author =. Phys. Rev. Lett. , volume =. 1993 , month =. doi:10.1103/PhysRevLett.70.9 , url =

    work page doi:10.1103/physrevlett.70.9 1993

  8. [8]

    and Shlapentokh-Rothman, Y

    Rodnianski, I. and Shlapentokh-Rothman, Y. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2023 , NUMBER =. doi:10.4007/annals.2023.198.1.3 , URL =

    work page doi:10.4007/annals.2023.198.1.3 2023

  9. [9]

    , TITLE =

    Holzegel, G. , TITLE =. J. Hyperbolic Differ. Equ. , FJOURNAL =. 2012 , NUMBER =

    work page 2012

  10. [10]

    Shlapentokh-Rothman , year=

    Y. Shlapentokh-Rothman , year=. Naked Singularities for the. arXiv e-prints , pages =

    work page

  11. [11]

    2026 , journal =

    The moduli space of dynamical spherically symmetric black hole spacetimes and the extremal threshold , author=. 2026 , journal =

    work page 2026

  12. [12]

    and Choptuik, M

    Pretorius, F. and Choptuik, M. , journal =. Gravitational collapse in 2+1 dimensional. 2000 , month =. doi:10.1103/PhysRevD.62.124012 , url =

    work page doi:10.1103/physrevd.62.124012 2000

  13. [13]

    Exact solution for (2+1)-dimensional critical collapse , author =. Phys. Rev. D , volume =. 2001 , month =. doi:10.1103/PhysRevD.63.044007 , url =

    work page doi:10.1103/physrevd.63.044007 2001

  14. [14]

    Scalar field critical collapse in 2+1 dimensions , author =. Phys. Rev. D , volume =. 2015 , month =. doi:10.1103/PhysRevD.92.124044 , url =

    work page doi:10.1103/physrevd.92.124044 2015

  15. [15]

    Black hole in three-dimensional spacetime , author =. Phys. Rev. Lett. , volume =. 1992 , month =. doi:10.1103/PhysRevLett.69.1849 , url =

    work page doi:10.1103/physrevlett.69.1849 1992

  16. [16]

    , title =

    Carlip, S. , title =. 1995 , month =. doi:10.1088/0264-9381/12/12/005 , url =

    work page doi:10.1088/0264-9381/12/12/005 1995

  17. [17]

    Perturbations of an exact solution for 2+1 dimensional critical collapse

    Garfinkle, D. and Gundlach, C. Perturbations of an exact solution for (2+1)-dimensional critical collapse. Phys. Rev. D. 2002. doi:10.1103/PhysRevD.66.044015. arXiv:gr-qc/0205107

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevd.66.044015 2002

  18. [18]

    and Rostworowski, A

    Bizoń, P. and Rostworowski, A. , journal =. Weakly turbulent instability of. 2011 , month =. doi:10.1103/PhysRevLett.107.031102 , url =

    work page doi:10.1103/physrevlett.107.031102 2011

  19. [19]

    , TITLE =

    Moschidis, G. , TITLE =. Anal. PDE , FJOURNAL =. 2020 , NUMBER =. doi:10.2140/apde.2020.13.1671 , URL =

    work page doi:10.2140/apde.2020.13.1671 2020

  20. [20]

    , TITLE =

    Moschidis, G. , TITLE =. Invent. Math. , FJOURNAL =. 2023 , NUMBER =. doi:10.1007/s00222-022-01152-7 , URL =

    work page doi:10.1007/s00222-022-01152-7 2023

  21. [21]

    , TITLE =

    Christodoulou, D. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1994 , NUMBER =. doi:10.2307/2118619 , URL =

    work page doi:10.2307/2118619 1994

  22. [22]

    , TITLE =

    Christodoulou, D. , TITLE =. Comm. Pure Appl. Math. , FJOURNAL =. 1993 , NUMBER =

    work page 1993

  23. [23]

    , TITLE =

    Christodoulou, D. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1999 , NUMBER =. doi:10.2307/121023 , URL =

    work page doi:10.2307/121023 1999

  24. [24]

    , TITLE =

    Christodoulou, D. , TITLE =. Comm. Math. Phys. , FJOURNAL =. 1984 , NUMBER =

    work page 1984

  25. [25]

    , TITLE =

    Christodoulou, D. , TITLE =. 2009 , PAGES =. doi:10.4171/068 , URL =

    work page doi:10.4171/068 2009

  26. [26]

    and Kehle, C

    Cicortas, S. and Kehle, C. , TITLE =. Arch. Rational Mech. Anal. , FJOURNAL =. 2026 , NUMBER =

    work page 2026

  27. [27]

    Gundlach and Mart\'

    C. Gundlach and Mart\'. Critical Phenomena in Gravitational Collapse , journal =. 2007 , month = dec, publisher =. doi:10.12942/lrr-2007-5 , url =

    work page doi:10.12942/lrr-2007-5 2007

  28. [28]

    and Smulevici, J

    Holzegel, G. and Smulevici, J. , TITLE =. Ann. Henri Poincar\'e , FJOURNAL =. 2012 , NUMBER =

    work page 2012

  29. [29]

    Holzegel, Gustav and Smulevici, Jacques , TITLE =. Comm. Math. Phys. , FJOURNAL =. 2013 , NUMBER =. doi:10.1007/s00220-012-1572-2 , URL =

    work page doi:10.1007/s00220-012-1572-2 2013

  30. [30]

    Gravitational collapse: The role of general relativity

    Penrose, R. Gravitational collapse: The role of general relativity. Riv. Nuovo Cim. 1969. doi:10.1023/A:1016578408204

    work page doi:10.1023/a:1016578408204 1969

  31. [31]

    and Hadzic, M

    Guo, Y. and Hadzic, M. and Jang, J. , TITLE =. Ann. PDE , FJOURNAL =. 2023 , NUMBER =

    work page 2023

  32. [32]

    and Rodnianski, I

    Dafermos, M. and Rodnianski, I. , TITLE =. Invent. Math. , FJOURNAL =. 2005 , NUMBER =

    work page 2005

  33. [33]

    Investigations in gravitational collapse and the physics of black holes , school=

    Christodoulou, Demetrios , year=. Investigations in gravitational collapse and the physics of black holes , school=

    work page

  34. [34]

    Asymptotically Simple Does Not Imply Asymptotically Minkowskian , author =. Phys. Rev. Lett. , volume =. 1978 , month =. doi:10.1103/PhysRevLett.40.203 , url =

    work page doi:10.1103/physrevlett.40.203 1978

  35. [35]

    , TITLE =

    Singh, J. , TITLE =. Ann. Henri Poincar\'e , FJOURNAL =. 2025 , NUMBER =. doi:10.1007/s00023-024-01489-0 , URL =

    work page doi:10.1007/s00023-024-01489-0 2025

  36. [36]

    2024 , journal =

    High regularity waves on self-similar naked singularity interiors: decay and the role of blue-shift , author=. 2024 , journal =

    work page 2024

  37. [37]

    and Li, J

    Liu, J. and Li, J. , TITLE =. Comm. Math. Phys. , FJOURNAL =. 2018 , NUMBER =. doi:10.1007/s00220-018-3157-1 , URL =

    work page doi:10.1007/s00220-018-3157-1 2018

  38. [38]

    and Liu, J

    Li, J. and Liu, J. , TITLE =. J. Differential Geom. , FJOURNAL =. 2022 , NUMBER =. doi:10.4310/jdg/1641413698 , URL =

    work page doi:10.4310/jdg/1641413698 2022

  39. [39]

    , TITLE =

    An, X. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2025 , NUMBER =. doi:10.4007/annals.2025.201.3.3 , URL =

    work page doi:10.4007/annals.2025.201.3.3 2025

  40. [40]

    , TITLE =

    Shlapentokh-Rothman, Y. , TITLE =. Comptes Rendus. Mécanique , VOLUME =. 2025 , PAGES =. doi:10.5802/crmeca.284 , URL =

    work page doi:10.5802/crmeca.284 2025

  41. [41]

    Globally Regular Instability of 3-Dimensional Anti--De Sitter Spacetime , author =. Phys. Rev. Lett. , volume =. 2013 , month =. doi:10.1103/PhysRevLett.111.041102 , url =

    work page doi:10.1103/physrevlett.111.041102 2013

  42. [42]

    and Rodnianski, I

    Cicortas, S. and Rodnianski, I. , TITLE =. In preparation. , YEAR =

    work page

  43. [43]

    and Holzegel, G

    Dafermos, M. and Holzegel, G. , TITLE =. 2006 , note =

    work page 2006

  44. [44]

    and Czimek, S

    Aretakis, S. and Czimek, S. and Rodnianski, I. , TITLE =. Comm. Math. Phys. , FJOURNAL =. 2023 , NUMBER =. doi:10.1007/s00220-023-04800-y , URL =

    work page doi:10.1007/s00220-023-04800-y 2023

  45. [45]

    and Czimek, S

    Aretakis, S. and Czimek, S. and Rodnianski, I. , TITLE =. Ann. Henri Poincar\'e , FJOURNAL =. 2024 , NUMBER =. doi:10.1007/s00023-023-01394-y , URL =

    work page doi:10.1007/s00023-023-01394-y 2024

  46. [46]

    and Czimek, S

    Aretakis, S. and Czimek, S. and Rodnianski, I. , TITLE =. Duke Math. J. , FJOURNAL =. 2025 , NUMBER =. doi:10.1215/00127094-2024-0030 , URL =

    work page doi:10.1215/00127094-2024-0030 2025

  47. [47]

    Czimek and I

    S. Czimek and I. Rodnianski , year=. Obstruction-free gluing for the. arXiv e-prints , pages =

    work page

  48. [48]

    and Unger, R

    Kehle, C. and Unger, R. , TITLE =. J. Eur. Math. Soc. , YEAR =. doi:DOI 10.4171/JEMS/1591 , URL =

    work page doi:10.4171/jems/1591

  49. [49]

    and Unger, R

    Kehle, C. and Unger, R. , TITLE =. Adv. Math. , FJOURNAL =. 2024 , PAGES =. doi:10.1016/j.aim.2024.109816 , URL =

    work page doi:10.1016/j.aim.2024.109816 2024

  50. [50]

    Chruściel and W

    P. Chruściel and W. Cong , year=. Characteristic Gluing with 1. arXiv e-prints , pages =

    work page

  51. [51]

    Chruściel and W

    P. Chruściel and W. Cong , year=. Characteristic Gluing with :. arXiv e-prints , pages =

    work page

  52. [52]

    and Cong, W

    Chruściel, P. and Cong, W. and Gray, F. , TITLE =. Comm. Math. Phys. , FJOURNAL =. 2026 , NUMBER =. doi:10.1007/s00220-025-05514-z , URL =

    work page doi:10.1007/s00220-025-05514-z 2026

  53. [53]

    and Cong, W

    Chruściel, P. and Cong, W. , TITLE =. Classical Quantum Gravity , FJOURNAL =. 2023 , NUMBER =. doi:10.1088/1361-6382/ace494 , URL =

    work page doi:10.1088/1361-6382/ace494 2023