pith. sign in

arxiv: 2511.06133 · v2 · submitted 2025-11-08 · 🌀 gr-qc · math-ph· math.DG· math.MP

Black holes and black regions, horizons and barriers in Lorentzian manifolds

Cristina Giannotti , Andrea Spiro This is my paper

Pith reviewed 2026-05-17 23:18 UTC · model grok-4.3

classification 🌀 gr-qc math-phmath.DGmath.MP
keywords null hypersurfaceLorentzian manifoldevent horizonblack holecausal curvebarrierblack regionsemi-permeability
0
0 comments X

The pith

A smooth null hypersurface in a time-oriented Lorentzian manifold forces all compatible transversal causal curves to cross in only one direction.

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

The paper proves that causal world-lines crossing a time-oriented null hypersurface transversally must all proceed in the same direction, with the opposite direction forbidden by the local geometry. This unidirectional property is shown to be a direct consequence of the hypersurface being null and the manifold being time-oriented, without needing the full global structure of an event horizon. The authors introduce barriers as null hypersurfaces that separate spacetime into disjoint regions and black regions as the time-oriented domains they bound. These definitions naturally include smooth event horizons and smoothly bounded black holes. The approach relies only on local nullity combined with the global separating property, which the paper suggests can simplify the location of static or dynamic horizons in numerical work.

Core claim

We prove that if S is a time-oriented null hypersurface of a Lorentzian n-manifold (M, g), the causal world-lines, which intersect transversally S and are time-oriented in a compatible way, cross the hypersurface all in the same direction, the other being forbidden. Even if it is known that a smooth event horizon is a null hypersurface and has the above semi-permeability property, it was not stated so far that the latter is a mere consequence of the former. This leads to the concepts of barriers and black regions that include smooth event horizons and smoothly bounded black holes.

What carries the argument

time-oriented null hypersurface enforcing unidirectional crossing for compatible transversal causal curves

If this is right

  • Smooth event horizons satisfy the barrier properties by definition.
  • Smoothly bounded black holes correspond to black regions enclosed by barriers.
  • Horizon location in numerical relativity can be reduced to checking local nullity plus a global separation condition.

Where Pith is reading between the lines

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

  • The same local-plus-separating definition may apply to apparent horizons or other quasi-local surfaces without requiring the full causal future.
  • The result is dimension-independent and therefore holds for any spacetime dimension n greater than or equal to two.

Load-bearing premise

The hypersurface must be smooth and the manifold must admit a time-orientation compatible with the null structure.

What would settle it

A concrete counterexample would be a time-oriented Lorentzian manifold containing a smooth null hypersurface together with a transversal causal curve that crosses it in the direction the local geometry is claimed to forbid.

read the original abstract

We prove that if S is a time-oriented null hypersurface of a Lorentzian n-manifold (M, g), the causal world-lines, which intersect transversally S and are time-oriented in a compatible way, cross the hypersurface all in the same direction, the other being forbidden. Even if it is known that a smooth event horizon (in the sense of Penrose, Hawking and Ellis) is a null hypersurface and has the above semi-permeability property, at the best of our knowledge, in the literature it was not stated so far that the latter is a mere consequence of the former. Our result leads to the concepts of barriers (= null hypersurfaces separating the space-time into disjoint regions) and black regions (= time-oriented regions bounded by barriers). These objects naturally include (smooth) event horizons and (smoothly bounded) black holes. Since barriers are defined by two simple properties -- the merely local property of "nullity" combined with the global property of "separating the space-time" -- we expect they may be used to simplify computations for locating static and/or dynamic horizons in numerical computations.

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

0 major / 2 minor

Summary. The manuscript proves that if S is a smooth time-oriented null hypersurface in a Lorentzian n-manifold (M, g), then future-directed causal curves intersecting S transversally cross it in one consistent direction fixed by the time-orientation (with the opposite direction forbidden). This one-way crossing is presented as a direct local consequence of the definition of a null hypersurface together with a compatible choice of future null normal. The authors introduce barriers (null hypersurfaces that separate spacetime into disjoint regions) and black regions (time-oriented regions bounded by barriers), which encompass smooth event horizons and smoothly bounded black holes, and suggest these notions may simplify numerical horizon-finding by combining local nullity with global separation.

Significance. If the central local result holds, the paper supplies an elementary, parameter-free derivation of the semi-permeability property that is known for event horizons but here shown to follow immediately from nullity and time-orientation alone. The packaging into barriers and black regions offers a potentially useful conceptual simplification for both theoretical analysis and numerical computations in general relativity, where horizon location often reduces to verifying these two properties.

minor comments (2)
  1. [Abstract] Abstract: the assertion that the semi-permeability property 'was not stated so far' would be strengthened by a brief reference to standard treatments (e.g., Hawking & Ellis or Wald) that establish nullity of horizons without explicitly isolating the crossing-direction consequence from the local geometry alone.
  2. [Section introducing barriers and black regions] The definitions of 'barrier' and 'black region' (introduced after the main theorem) should include an explicit statement of the separation condition in terms of the manifold's topology or connectedness to avoid ambiguity when applying the concepts to non-simply-connected spacetimes.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive report and the recommendation to accept the manuscript. The referee's summary accurately captures the central local result on the one-way crossing property of time-oriented null hypersurfaces and the conceptual utility of barriers and black regions.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained local geometry

full rationale

The central result is a direct proof that transversal crossing of future-directed causal curves through a smooth time-oriented null hypersurface occurs in only one direction, following immediately from the sign of the metric pairing between the curve tangent and the future null normal. This local fact in Lorentzian geometry requires no fitted parameters, no self-citation for a uniqueness theorem, and no smuggling of an ansatz. The subsequent definitions of barriers (null + separating) and black regions simply conjoin this local property with an independent global topological condition; neither step reduces the claimed consequence to a tautology or to prior author work by construction. The paper is therefore self-contained against standard references in differential geometry.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 2 invented entities

The proof rests on standard properties of Lorentzian manifolds and null hypersurfaces; no free parameters are introduced. The new concepts (barriers, black regions) are defined from existing geometric notions rather than postulated entities.

axioms (2)
  • standard math A Lorentzian manifold admits a time-orientation that distinguishes future and past causal directions.
    Invoked to define compatible time-orientation for the hypersurface and causal curves.
  • standard math A null hypersurface has a degenerate metric with a single null direction at each point.
    Used to establish the local one-way crossing property for transversal causal curves.
invented entities (2)
  • barrier no independent evidence
    purpose: A null hypersurface that separates space-time into disjoint regions, combining local nullity with global separation.
    Defined to generalize event horizons for computational purposes.
  • black region no independent evidence
    purpose: A time-oriented region bounded by one or more barriers.
    Introduced to include smoothly bounded black holes.

pith-pipeline@v0.9.0 · 5501 in / 1560 out tokens · 33682 ms · 2026-05-17T23:18:14.740002+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

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

  1. [1]

    The Kerr-Newman metric: A Review

    T. Adamo and E. T. Newman,The Kerr-Newman metric: A Review, arXiv:1410.6626 (2016)

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  2. [2]

    ˝ Aminneborg, I

    S. ˝ Aminneborg, I. Bengtsson, S. Holst and P. Peld´ an,Making anti-de Sitter black holes, Classical Quantum Gravity13, (1996), 2707–2714

    work page 1996

  3. [3]

    Anninos, D

    P. Anninos, D. Bernstein, S. Brandt, J. Libson, J. Masso, E. Seidel, L. Srnarr, W.-M. Suen and P. Walker,Dynamics of apparent and event horizons, Phys. Rev. Lett.74(1995), 630 – 633

    work page 1995

  4. [4]

    Ba˜ nados, M

    M. Ba˜ nados, M. Henneaux, C. Teitelboim and J. Zanelli,Geometry of the2`1black hole, Phys. Rev. D (3)48(1993), 1506–1525

    work page 1993

  5. [5]

    T. W. Baumgarte. and S. L. Shapiro,Numerical relativity and compact binaries, Phys. Rep.376 (2003), 41–131

    work page 2003

  6. [6]

    Booth and J

    I. Booth and J. Martin,Proximity of Black Hole Horizons: Lessons from Vaidya spacetime, Phys. Rev. D 82 (2010), 124046

    work page 2010

  7. [7]

    R. H. Boyer and W. L. Lindquist,Maximal Analytic Extension of the Kerr metric, J. Math. Phys. 8(1967), 265–281

    work page 1967

  8. [8]

    D. R. Brill, J. Louko and P. Peld´ an,Thermodynamics of (3+1)-dimensional black holes with toroidal or higher genus horizons, Phys. Rev. D56(1997), 3600

    work page 1997

  9. [9]

    Carter,Hamiltom-Jacobi andSchr¨ odinger Separable Solutions of Einstein’s Equations, Commun

    , B. Carter,Hamiltom-Jacobi andSchr¨ odinger Separable Solutions of Einstein’s Equations, Commun. math. Phys.10(1968), 280–310

    work page 1968

  10. [10]

    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(1968), 1559–1571

    work page 1968

  11. [11]

    Carter, Republication of:Black hole equilibrium states

    B. Carter, Republication of:Black hole equilibrium states. Part I. Analytic and geometric properties of the Kerr solutionsGen. Relativity Gravitation41, (2009), 2873–2938

    work page 2009

  12. [12]

    Carter, Republication of:Black hole equilibrium states

    B. Carter, Republication of:Black hole equilibrium states. Part II. General theory of stationary black hole states, Gen. Relativity Gravitation42(2010). 653–744

    work page 2010

  13. [13]

    100 years of relativity

    P. T. Chru´ sciel,Black holes—an introduction, in “100 years of relativity”, pp. 93–123,World Sci. Publ., Hackensack, NJ, 2005

    work page 2005

  14. [14]

    Coudray and J.-P

    A. Coudray and J.-P. Nicolas,Geomtry of Vaidya spacetimes, Gen. Relativity Gravitation53(2021), Paper No. 73, 23

    work page 2021

  15. [15]

    Debney, R

    G. Debney, R. P. Kerr and A. Schild,Solutions of the Einstein and Einstein-Maxwell Equations, J. Math. Phys.10(1969), 1842–1854

    work page 1969

  16. [16]

    V. I. Dokuchaev,Is there life inside black holes?, Class. Quantum Grav.28(2011), 23501

    work page 2011

  17. [17]

    K. L. Duggal and A. Bejancu, Lightlike submanifolds of semi-Riemannian manifolds and applica- tions,Kluwer Academic Publishers Group, Dordrecht, 1996

    work page 1996

  18. [18]

    Ganji, C

    M. Ganji, C. Giannotti, G. Schmalz and A. Spiro,Einstein manifolds with optical geometries of Kerr type, Ann. Physics,474(2025), Paper No. 169908

    work page 2025

  19. [19]

    G¨ urses and B

    M. G¨ urses and B. Tekin,Kerr-Vaidya type radiating black holes in semi-classical gravity with con- formal anomaly, Phys. Rev. D109(2024), 024001

    work page 2024

  20. [20]

    S. W. Hawking and G. F. R. Ellis, The large scale structure of space-time,Cambridge University Press, Cambridge, 2023

    work page 2023

  21. [21]

    Jezierski, J

    J. Jezierski, J. Kijowski and E. Czuchry,Geometry of null-like surfaces in general relativity and its application to dynamics of gravitating matter, Rep. Math. Phys.46, (2000), 399–418

    work page 2000

  22. [22]

    Klemm, V

    D. Klemm, V. Moretti and L. Vanzo,Rotating topological black holes, Phys. Rev. D (3)57(1998), 6127–6137

    work page 1998

  23. [23]

    R. C. Myers and M. J. Perry,Black Holes in Higher Dimensional Space-Times, Ann. Physics172 (1986), 304–347

    work page 1986

  24. [24]

    Libson, J

    J. Libson, J. Mass´ o, E. Seidel, W.-M. Suen and P. Walker,Event horizons in numerical relativity: Methods and tests, Phys. Rev. D53(1996), 4335–4350

    work page 1996

  25. [25]

    E. T. Newman and A. I. Janis,Note on the Kerr Spinning-Particle Metric, J. Math. Phys.6(1965), 915–917. BLACK HOLES AND BLACK REGIONS, HORIZONS AND BARRIERS 21

    work page 1965

  26. [26]

    E. T. Newman, E. Couch, K. Chinnapared, A. Exton, A. Prakash, R. Torrence,Metric of a Rotating, Charged Mass, J. Math. Phys.6(1965), 918–919

    work page 1965

  27. [27]

    O’Neill, Semi-Riemannian geometry, Academic Press, Inc

    B. O’Neill, Semi-Riemannian geometry, Academic Press, Inc. New York, (1983)

    work page 1983

  28. [28]

    Penrose,Structure of space-time, in Battelle rencontres - 1967 lectures in mathematics and physics: Seattle, WA, USA, 16 - 31 July 1967”, C.M

    R. Penrose,Structure of space-time, in Battelle rencontres - 1967 lectures in mathematics and physics: Seattle, WA, USA, 16 - 31 July 1967”, C.M. Dewitt and J.A. Wheeler, ed.,Princeton U. Press, Princeton, 1968

    work page 1967

  29. [29]

    Sternberg, Lectures on Differential Geometry,Chelsea Publishing Co., New York, 1983

    I. Sternberg, Lectures on Differential Geometry,Chelsea Publishing Co., New York, 1983

    work page 1983

  30. [30]

    Vanzo,Black holes with unusual topology, Phys

    L. Vanzo,Black holes with unusual topology, Phys. Rev. D (3)56(1997), 6475–6483

    work page 1997

  31. [31]

    R. M. Wald, General Relativity,The Chicago University Press, Chicago and London, 1984

    work page 1984

  32. [32]

    F. W. Warner, Foundations of Differentiable Manifolds and Lie groups,Springer-Verlag, New York, 1983. Cristina Giannotti & Andrea Spiro Scuola di Scienze e Tecnologie Universit`a di Camerino Via Madonna delle Carceri I-62032 Camerino (Macerata) Italy E-mail:cristina.giannotti@unicam.it E-mail:andrea.spiro@unicam.it

    work page 1983