pith. sign in

arxiv: 2606.10910 · v1 · pith:654ZTXVOnew · submitted 2026-06-09 · 🌀 gr-qc · hep-th

Convex foliations and trapped submanifolds

Gustavo Dotti This is my paper

Pith reviewed 2026-06-27 12:18 UTC · model grok-4.3

classification 🌀 gr-qc hep-th
keywords compact trapped submanifoldsdomain of outer communicationsblack holesKerr-Newman spacetimesymmetrically collapsing spacetimes
0
0 comments X

The pith

Compact trapped submanifolds of codimension greater than one do not intersect the domain of outer communications of a black hole.

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

The paper tests the conjecture that compact trapped submanifolds of any codimension greater than one cannot lie inside the domain of outer communications around a black hole. Explicit checks are carried out in symmetrically collapsing spacetimes of n+1 dimensions for n at least 2, and across the full sub-extreme Kerr-Newman family. The results show no such intersections occur in these cases, supplying evidence that lower-dimensional examples such as trapped loops can serve as black hole signatures.

Core claim

Explicit calculations demonstrate that compact trapped submanifolds of codimension greater than one remain outside the domain of outer communications in symmetrically collapsing spacetimes of n+1 dimensions with n greater than or equal to 2, and throughout the entire sub-extreme Kerr-Newman family.

What carries the argument

Compact trapped submanifolds of codimension greater than one, checked for non-intersection with the domain of outer communications.

If this is right

  • Trapped loops and similar lower-dimensional objects can be treated as black hole signatures.
  • The conjecture receives support from checks in higher-dimensional symmetric collapse and the full Kerr-Newman family.
  • No intersections appear in any of the tested models.

Where Pith is reading between the lines

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

  • The pattern may extend to more general spacetimes and aid identification of black holes through lower-dimensional trapped surfaces.
  • Similar checks could be performed in other exact solutions to test broader applicability.

Load-bearing premise

The symmetrically collapsing spacetimes and the Kerr-Newman family are representative enough that agreement in these cases supports the general conjecture.

What would settle it

Finding one compact trapped submanifold of codimension greater than one that intersects the domain of outer communications in a spacetime outside the symmetrically collapsing and Kerr-Newman families.

read the original abstract

The conjecture that compact trapped submanifolds (CTMs) of any codimension greater than one cannot intersect the domain of outer communications of a black hole is tested in symmetrically collapsing spacetimes of $n+1$ dimensions, $n \geq 2$, and on the entire Kerr-Newman sub-extreme family. The results provide evidence to the idea that CTMs of lower dimension, such as trapped loops, should be ragarded as black hole signatures.

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 / 0 minor

Summary. The paper tests the conjecture that compact trapped submanifolds (CTMs) of any codimension greater than one cannot intersect the domain of outer communications of a black hole. Explicit checks are performed in symmetrically collapsing spacetimes of n+1 dimensions (n ≥ 2) and across the entire sub-extreme Kerr-Newman family; the results are presented as evidence that lower-dimensional CTMs such as trapped loops can be regarded as black-hole signatures.

Significance. If the conjecture holds, lower-dimensional trapped submanifolds would furnish additional black-hole diagnostics. The manuscript supplies concrete verifications inside two families, which is a positive step, but the significance remains conditional on whether these families capture the general mechanism; no perturbation or symmetry-breaking argument is supplied to establish representativeness.

major comments (1)
  1. [Abstract and results sections] The central claim is a general statement about CTMs in arbitrary spacetimes, yet all supporting evidence is confined to symmetrically collapsing (n+1)-dimensional metrics and the Kerr-Newman family. No derivation or continuity argument is given showing that the non-intersection persists once the imposed symmetry or the specific Kerr-Newman form is relaxed; the observed behavior could therefore be an artifact of the chosen families rather than a consequence of the trapped condition itself.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the constructive comments. Our manuscript explicitly frames its contribution as numerical and analytical tests of the conjecture within two specific families of spacetimes, rather than a general proof. We address the major comment below.

read point-by-point responses

  1. Referee: The central claim is a general statement about CTMs in arbitrary spacetimes, yet all supporting evidence is confined to symmetrically collapsing (n+1)-dimensional metrics and the Kerr-Newman family. No derivation or continuity argument is given showing that the non-intersection persists once the imposed symmetry or the specific Kerr-Newman form is relaxed; the observed behavior could therefore be an artifact of the chosen families rather than a consequence of the trapped condition itself.

    Authors: The manuscript does not advance a general claim for arbitrary spacetimes. The abstract and introduction state that the conjecture is tested in symmetrically collapsing (n+1)-dimensional spacetimes (n≥2) and the full sub-extreme Kerr-Newman family, with results presented as evidence supporting the conjecture in these cases. These families were selected for their physical importance and the feasibility of explicit verification. We agree that the results do not constitute a proof of generality and that a continuity or perturbation argument for symmetry breaking is absent; such an extension lies outside the scope of the present work, which focuses on concrete verification rather than establishing representativeness for all spacetimes. revision: no

Circularity Check

0 steps flagged

No circularity: explicit checks in specific families are independent verifications, not reductions to fitted inputs or self-citations

full rationale

The paper tests the conjecture via direct computation in symmetrically collapsing (n+1)-dimensional spacetimes and the full sub-extreme Kerr-Newman family. These are presented as explicit checks supplying evidence, with no equations, parameters, or steps that define the non-intersection result from the same data by construction. No self-citation load-bearing steps, uniqueness theorems, or ansatzes are invoked in the abstract or described claims. The derivation chain (if any) remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities; the conjecture itself is treated as background.

pith-pipeline@v0.9.1-grok · 5584 in / 1015 out tokens · 18955 ms · 2026-06-27T12:18:34.062499+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

26 extracted references · 15 canonical work pages · 7 internal anchors

  1. [1]

    Local existence of dynamical and trapping horizons

    L. Andersson, M. Mars and W. Simon,Local existence of dynamical and trapping horizons, Phys. Rev. Lett.95, 111102 (2005) doi:10.1103/PhysRevLett.95.111102 [arXiv:gr-qc/0506013 [gr-qc]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevlett.95.111102 2005

  2. [2]

    Stability of marginally outer trapped surfaces and existence of marginally outer trapped tubes

    L. Andersson, M. Mars and W. Simon,Stability of marginally outer trapped sur- faces and existence of marginally outer trapped tubes, Adv. Theor. Math. Phys. 12, no.4, 853-888 (2008) doi:10.4310/ATMP.2008.v12.n4.a5 [arXiv:0704.2889 [gr-qc]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.4310/atmp.2008.v12.n4.a5 2008

  3. [3]

    The time evolution of marginally trapped surfaces

    L. Andersson, M. Mars, J. Metzger and W. Simon,The Time evolu- tion of marginally trapped surfaces, Class. Quant. Grav.26, 085018 (2009) doi:10.1088/0264-9381/26/8/085018 [arXiv:0811.4721 [gr-qc]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1088/0264-9381/26/8/085018 2009

  4. [4]

    Bengtsson,Some examples of trapped surfaces, inBlack Holes, New Horizons, ed

    I. Bengtsson,Some examples of trapped surfaces, inBlack Holes, New Horizons, ed. by Sean Hayward, World Scientific (2013)

    2013

  5. [5]

    A Note on trapped Surfaces in the Vaidya Solution

    I. Bengtsson and J. M. M. Senovilla,A Note on trapped Surfaces in the Vaidya Solution, Phys. Rev. D79, 024027 (2009) doi:10.1103/PhysRevD.79.024027 [arXiv:0809.2213 [gr-qc]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevd.79.024027 2009

  6. [6]

    The region with trapped surfaces in spherical symmetry, its core, and their boundaries

    I. Bengtsson and J. M. M. Senovilla,Region with trapped surfaces in spheri- cal symmetry, its core, and their boundaries, Phys. Rev. D83, 044012 (2011) doi:10.1103/PhysRevD.83.044012 [arXiv:1009.0225 [gr-qc]]. 13

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevd.83.044012 2011

  7. [7]

    Bishop,Infinitesimal convexity implies local convexity, Indiana Univ

    R. Bishop,Infinitesimal convexity implies local convexity, Indiana Univ. Math. J. 24, (1974/75), 169–172

    1974

  8. [8]

    R. L. Bishop and B. O’Neill,Manifolds of Negative Curvature, Transactions of the American Mathematical Society, Vol. 145 (Nov., 1969), pp. 1-49

    1969

  9. [9]

    Booth, R

    I. Booth, R. A. Hennigar and D. Pook-Kolb,Ultimate fate of apparent horizons during a binary black hole merger. I. Locating and understanding axisymmet- ric marginally outer trapped surfaces, Phys. Rev. D104, no.8, 084083 (2021) doi:10.1103/PhysRevD.104.084083 [arXiv:2104.11343 [gr-qc]]

    work page doi:10.1103/physrevd.104.084083 2021

  10. [10]

    Booth, K

    I. Booth, K. T. B. Chan, R. A. Hennigar, H. Kunduri and S. Muth,Exotic marginally outer trapped surfaces in rotating spacetimes of any dimension, Class. Quant. Grav.40, no.9, 095010 (2023) doi:10.1088/1361-6382/acc306 [arXiv:2210.15685 [gr-qc]]

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

  11. [11]

    Carter,Global structure of the Kerr family of gravitational fields,Phys

    B. Carter,Global structure of the Kerr family of gravitational fields, Phys. Rev. 174, 1559-1571 (1968) doi:10.1103/PhysRev.174.1559

    work page doi:10.1103/physrev.174.1559 1968

  12. [12]

    Da´ ın and G

    J. Da´ ın and G. Dotti,Curvature conditions for generalized singularity theorems, [arXiv:2606.05453 [gr-qc]]

    Pith/arXiv arXiv

  13. [13]

    Dotti,Black hole regions containing no trapped surfaces, Class

    G. Dotti,Black hole regions containing no trapped surfaces, Class. Quant. Grav. 41, no.1, 015015 (2024) doi:10.1088/1361-6382/ad0fb9 [arXiv:2308.13950 [gr-qc]]

    work page doi:10.1088/1361-6382/ad0fb9 2024

  14. [14]

    Dotti,Obstructions for trapped submanifolds, Class

    G. Dotti,Obstructions for trapped submanifolds, Class. Quant. Grav.42, no.16, 165002 (2025) doi:10.1088/1361-6382/adf2f1 [arXiv:2504.01207 [gr-qc]]

    work page doi:10.1088/1361-6382/adf2f1 2025

  15. [15]

    D. M. Eardley,Black hole boundary conditions and coordinate conditions, Phys. Rev. D57, 2299-2304 (1998) doi:10.1103/PhysRevD.57.2299 [arXiv:gr- qc/9703027 [gr-qc]]

    work page doi:10.1103/physrevd.57.2299 1998

  16. [16]

    Freire de Lima,A survey on convex hypersurfaces of Riemannian manifolds, Matem´ atica Contemporˆ anea,(50), 185 (2022), arXiv 2302.00809 [math.DG]

    R. Freire de Lima,A survey on convex hypersurfaces of Riemannian manifolds, Matem´ atica Contemporˆ anea,(50), 185 (2022), arXiv 2302.00809 [math.DG]

    arXiv 2022

  17. [17]

    G. J. Galloway and J. M. M. Senovilla,Singularity theorems based on trapped submanifolds of arbitrary co-dimension, Class. Quant. Grav.27, 152002 (2010) doi:10.1088/0264-9381/27/15/152002 [arXiv:1005.1249 [gr-qc]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1088/0264-9381/27/15/152002 2010

  18. [18]

    S. W. Hawking and G. F. R. Ellis,The Large Scale Structure Of Space-time, Cambridge Univ. Press, 1973, isbn: 0-521-09906-4

    1973

  19. [19]

    J¨ urgen Jost,Riemannian geometry and geometric analysis, 7th edition, Univer- sitext, Springer (2017)

    2017

  20. [20]

    Peter Li,Geometric Analysis, CUP (2012). 14

    2012

  21. [21]

    Barrett O’Neill,Semi-Riemannian Geometry with Applications to Relativity, Academic Press (1983)

    1983

  22. [22]

    R. P. A. C. Newman,Topology and stability of marginal 2-surfaces, Class. Quantum Grav.4(1987) 277-290

    1987

  23. [23]

    Penrose,Gravitational collapse and space-time singularities, Phys

    R. Penrose,Gravitational collapse and space-time singularities, Phys. Rev. Lett. 14, 57-59 (1965) doi:10.1103/PhysRevLett.14.57

    work page doi:10.1103/physrevlett.14.57 1965

  24. [24]

    The existence and stability of marginally trapped surfaces

    D. Pook-Kolb, O. Birnholtz, B. Krishnan and E. Schnetter,Existence and stability of marginally trapped surfaces in black-hole spacetimes, Phys. Rev. D99, no.6, 064005 (2019) doi:10.1103/PhysRevD.99.064005 [arXiv:1811.10405 [gr-qc]]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevd.99.064005 2019

  25. [25]

    Pook-Kolb, I

    D. Pook-Kolb, I. Booth and R. A. Hennigar,Ultimate fate of apparent hori- zons during a binary black hole merger. II. The vanishing of apparent hori- zons, Phys. Rev. D104, no.8, 084084 (2021) doi:10.1103/PhysRevD.104.084084 [arXiv:2104.11344 [gr-qc]]

    work page doi:10.1103/physrevd.104.084084 2021

  26. [26]

    Wald,General Relativity, The University of Chicago Press (1984)

    Robert M. Wald,General Relativity, The University of Chicago Press (1984). 15

    1984