REVIEW 4 major objections 5 minor 27 references
Null Foliations of Spacetime and the Geometry of Black Hole Horizons
T0 review · 4 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read The paper proposes a method to foliate spacetime by lightlike hypersurfaces from a single null generator and its rescaling equivalence class, claiming this yields pairs of normalized null geodesic vector fields, and demonstrates it on…
desk verdict Useful explicit null foliations for Schwarzschild and Kerr-Newman, but the advertised general theorem about compatible pairs of null geodesic vector fields is unsupported. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the equivalence class $[\ell]$ of null generators, formed by rescaling an optical co-vector $\ell_a = -e^{-m_0} d\sigma_a$ by arbitrary functions $\chi(\sigma)$; each representative remains hypersurface-orthogonal and locally affine geodesic as long as $\sigma$ solves the Eikonal equation $g^{ab}\partial_a\sigma\partial_b\sigma = 0$. The class is completed by a compatible null co-normal $n_a$, giving a normalized null geodesic frame and a 2+2 line element of the dual-null form. The work of the construction is to show that the rescaling freedom, normally regarded as a gauge ambiguity, actually encodes the second null foliation and thereby turns a null foliation into a double null foliation.
What would settle it
At a point just outside the inner horizon of Kerr-Newman, evaluate $g^{ab}\nabla_a\sigma\nabla_b\sigma$ for the proposed optical function $\sigma = v + \int f_+ \, dr + a\sin\theta$ using the paper's inverse metric; a nonzero value while $f_+$ remains real would falsify the Eikonal condition. For the broad claim, any explicit spacetime admitting no regular optical function and no compatible dual-null foliation would refute it.
Extended reading notes
Core claim
The central claim is that a normalized null geodesic generator $\ell^a$, together with its rescaling equivalence class $[\ell]$, defines a null foliation of spacetime and that the class $[\ell]$ simultaneously encodes a second null foliation, so the spacetime is foliated by a suitable pair of normalized null geodesic vector fields. The method is less geometrically restrictive than traditional dual-null constructions because it only requires one hypersurface-orthogonal generator at a time, the second foliation appearing through the rescaling freedom rather than through a second independent optical function. Explicit generators and foliations are written out for Schwarzschild in Kruskal-Szekeres coordinates and for Kerr-Newman spacetime in Kerr and Hayward coordinates, where the null and dual-null frameworks are shown to produce the same 2+2 splitting of the metric.
Load-bearing premise
The construction presupposes that the scalar functions labelling the null hypersurfaces are real, single-valued, and regular over the whole foliated region, and that the equivalence class of rescaled generators encodes a genuinely second null foliation; for the rotating charged case, that second foliation is taken from an earlier dual-null construction rather than derived by the new method.
Editorial extensions
If this is right
- Null foliations can be built without enforcing the full dual-null conditions, which widens the geometric setting for characteristic initial value problems in general relativity.
- A single null generator, through its equivalence class, supplies both families of lightlike hypersurfaces, so the pairing usually drawn from two independent optical functions emerges automatically.
- For the stationary black-hole examples, the constructed foliation reproduces the same 2+2 splitting as the existing dual-null foliation from the literature, showing the two frameworks are compatible rather than competing.
- In spacetimes of Kundt type, a class foliated by non-expanding, non-shearing null congruences, the equivalence class can be refined to define weakly isolated or isolated horizons embedded in a null foliation, connecting the construction to black-hole horizon mechanics.
- The transition between normalized null geodesic frames and dual-null geodesic frames can be accomplished by a finite sequence of coordinate transformations, at least in the examples treated.
Reading between the lines
- Beyond the paper, the equivalence-class construction suggests a test of whether null foliation data alone can set up a characteristic initial value problem without dual-null data, which could simplify numerical relativity codes.
- Beyond the paper, applying the method to non-stationary, radiating, or collapsing spacetimes would test whether the claimed generality survives when no timelike Killing field exists.
- Beyond the paper, the fact that the Kerr-Newman companion foliation is imported from prior dual-null work rather than derived from the new method leaves open whether the method is fully self-contained; a direct derivation would close this gap.
- Beyond the paper, framing isolated horizons in terms of equivalence classes of null generators could lead to quasilocal energy or entropy definitions that depend only on the foliation class, not on a preferred generator.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes a method for constructing null foliations of spacetime (NFS) by considering equivalence classes [ℓ] of rescaled null generators, and it claims that the structure of [ℓ] encodes the existence of a second, transverse null foliation, so that any such construction yields a compatible dual-null foliation (DNFS). The method is illustrated with Schwarzschild spacetime in Kruskal-Szekeres coordinates and with Kerr-Newman spacetime in Kerr and Hayward coordinates. The central claim of the abstract is that spacetimes can be foliated by suitable pairs of normalized null geodesic vector fields, a statement that would be a strong geometric result if proven.
Significance. If the central existence claim were established, the paper would provide a useful bridge between the NFS and DNFS frameworks and would supply explicit null generators for black hole spacetimes, which is of potential value for characteristic initial value formulations and black hole horizon geometry. The explicit coordinate computations for Schwarzschild and Kerr-Newman contain some useful reference material. However, the central derivation is not carried out: the equivalence class [ℓ] is only shown to contain rescalings of a single gradient co-vector, and the claimed second foliation is not derived from [ℓ]. In the Kerr-Newman section the dual-null foliation is explicitly imported from Hayward's earlier work rather than obtained from the new method. Thus, as it stands, the paper does not demonstrate its main theorem; its contribution is closer to a repackaging of known dual-null foliations than to a new existence result.
major comments (4)
- [Section 1, paragraph beginning "Based on the fact that the given steps can be performed"] The central claim that the equivalence class [ℓ] encodes a second null foliation is asserted but not proven. Every representative of [ℓ] is a function multiple of the single gradient dσ, so all representatives have the same level sets σ = constant. No construction is given that produces a second optical function σ̄ or a second gradient co-vector n_a = −dσ̄_a from the data defining [ℓ]. The phrase "it appears" at the key step marks an assertion rather than a derivation. This is the load-bearing step for the paper's main conclusion and needs a rigorous proof.
- [Section 2, 'A lightlike Foliation of Schwarzschild Spacetime'] The Schwarzschild example illustrates the same gap. The equivalence class written down is generated by ℓ_a = −A(U V1)dU_a, whose level sets are U = constant. The co-foliation by V = constant surfaces requires a genuinely different vector field, n_a ∝ dV_a, and the paper gives no argument that this second foliation is encoded in [ℓ]. Thus the example shows at most that a known double-null foliation can be re-expressed with a particular normalization; it does not show that the normalization class by itself generates the transverse foliation.
- [Section 2, 'A lightlike Foliation of Kerr-Newman Spacetime', paragraph beginning "However, although the so constructed…] The paper explicitly concedes that the co-normal field n_a constructed from the Kerr-Newman ansatz is not hypersurface orthogonal, and then imports Hayward's DNFS from reference [18] to overcome this shortcoming. This admission is decisive: the promised derivation of a compatible DNFS from the NFS equivalence class is not provided for the principal example. At best, the example demonstrates that a known DNFS can be combined with a rescaled null generator, which is not the paper's advertised claim.
- [Section 2, Hayward coordinates paragraph beginning "Adopting these results"] The claim that the vector fields ℓ_a = −e^{−m0}dX+_a, ℓ^a = e^{m−m0}(∂_− ^a − s^a_−), n_a = −e^{m0−m}dX−_a, n^a = e^{m0}(∂_+ ^a − s^a_+) define a NFS with the desired properties is dismissed as "straightforward to verify," but no verification is supplied. Given the complexity of the expressions for e^{−m}, s^a_±, q_ab, and the implicit radial function r(X+X−), and given that this verification is central to the paper's claim, the omission is substantial. The reader cannot check from the manuscript that the Eikonal equation, hypersurface orthogonality, and normalization conditions actually hold globally or even locally.
minor comments (5)
- [Abstract and key words] There are typographical errors in the abstract and key words: "sp acetime" appears in the abstract, and "relatvity" appears in the key words. These should be corrected.
- [Section 2, Schwarzschild subsection] The notation mixes co-vector and vector fields: for example, n_a = 1/(A(V0U)) ∂_a U is written with a vector symbol on the right and a co-vector index on the left. The manuscript should use consistent notation such as n_a = ... dU_a or explicitly dualize the expression.
- [Section 1, first paragraph] The phrase "Frobenius theorem 1" appears to contain a stray footnote marker or equation reference; no corresponding footnote or equation is given. The manuscript should either provide the reference or remove the number.
- [References] Reference [18] contains the typo "Physical leview letters" and should be "Physical Review Letters". Reference [22] names "Andrezj Trautman" and should be "Andrzej Trautman". The name "Monrief" appears in the Schwarzschild subsection and should be "Moncrief".
- [Section 1, null Gaussian coordinate transformation] The sentence "By performing a coordinate transformation σ̄ = σ − ρ, this line element can be rewritten w.l.o.g. in the form ds^2 = −φdσ^2 + 2dσdρ + ..." seems to have an inconsistency between the coordinate labels σ and ρ and the previously used σ̄; the manuscript should clarify the coordinate transformation and check the signs in the resulting line element.
Circularity Check
The paper's central NFS-to-DNFS claim relies on a dual-null foliation assumed from the start, and the Kerr-Newman demonstration imports Hayward's DNFS rather than deriving it from [ℓ].
-
self definitional
[Section 1 ('Null Foliations of Spacetime and the 2+2-Framework of General Relativity'), unnumbered equations for ℓ′, n′ and the following paragraph]
"Beyond that one knows that locally na|H = −d¯σa must be valid in the case that na is assumed to coincide locally with the generator of ¯H, which intersects H in ∆ ... it appears that the information that (M, g) is additionally foliated by a set { ¯H¯σ} of ¯σ = const.-hypersurfaces now is encoded in the structure of [ℓ]."
The equivalence class [ℓ] is defined by rescalings ℓ′a = −χ(σ)dσa, but the local construction begins by assuming a second null hypersurface ¯H with generator na = −d¯σa. The displayed fields ℓa = em−m0(∂aσ̄ − La) and na = em0(∂aσ − Na) depend explicitly on that assumed σ̄-coordinate and on the dual-null shift vectors. Thus the information that a second foliation {H̄σ̄} exists is not derived from an arbitrary NFS; it was put into the construction at the start. The word 'appears' marks the inference as an assertion, and no equation constructs σ̄ or na from [ℓ] alone.
-
renaming known result
[Section 2, 'A lightlike Foliation of Kerr-Newman Spacetime', paragraph beginning 'However, although the so constructed foliation...']
"However, this shortcoming can be overcome by delivering a DNFS of Kerr spacetime that is compatible with the given construction of a NFS. Luckily, precisely such a DNFS has already been provided by Hayward for Kerr black holes in [18], whose extension to Kerr-Newman seems to be straightforward. ... Adopting these results, it is straightforward to verify that the null vector fields ℓa = −e−m0dX+a, ... define a NFS with the desired properties."
The paper's direct construction ℓa = dva + f+dra + a cosθ dθa yields a NFS but, as the paper concedes, no hypersurface-orthogonal na. Rather than deriving the transverse null foliation from the equivalence class [ℓ], it imports Hayward's dual-null frame and its coordinates and normals as an input, then rewrites the normalized pair in that frame. The claimed demonstration for Kerr-Newman therefore reduces to repackaging Hayward's already-existing DNFS; it does not exhibit the promised inference from a NFS to a compatible DNFS.
full rationale
The paper does not fit parameters and does not rely on improper self-citation; the issue is logical reduction of the central construction to its inputs. The Introduction states that an equivalence class [ℓ] of null generators 'indirectly implies' a second null foliation and hence a DNFS. But the Section 1 construction starts from two intersecting null hypersurfaces H and H̄, with na|H = −dσ̄a, and the fields defining the NFS depend explicitly on the assumed σ̄-coordinate, lapse-type function m, and shift vectors of that dual-null frame. Saying that {H̄σ̄} is 'encoded in the structure of [ℓ]' is therefore not an inference from an arbitrary NFS; it is a restatement of data already present. The examples are consistent with this reading: Schwarzschild is built in the known Kruskal-Szekeres double-null coordinate system, and the Kerr-Newman section explicitly imports Hayward's DNFS [18] after admitting that the na associated with the directly constructed NFS is not hypersurface orthogonal. Thus the examples establish at most that known DNFSs can be relabeled with normalized rescalings, not that the new method generates the transverse foliation independently. Because the paper's load-bearing conclusion reduces to an assumed dual-null input rather than to an independent derivation, a moderate circularity score is warranted; the coordinate computations themselves are internally consistent, and no statistical fitting or self-citation chain is present.
Assumptions & free parameters
free parameters (4)
- V0 (through A(UV0))
- V1
- C(X+)
- X0-
assumptions (5)
- domain assumption Spacetime is a smooth Lorentzian manifold admitting a 2+2 decomposition.
- domain assumption There exist local lightcone structures in an open subset O of spacetime.
- standard math The Frobenius theorem applies, so a closed null co-vector is hypersurface orthogonal.
- ad hoc to paper The Eikonal equation has global regular solutions of the proposed form in Schwarzschild and Kerr-Newman spacetimes.
- domain assumption Hayward's double-null foliation for Kerr, extended to Kerr-Newman, is valid.
Cite this review
Pith. "Pith review of Null Foliations of Spacetime and the Geometry of Black Hole Horizons." pith.science (2026). https://pith.science/paper/3GRMUICJ
@misc{pith2026190808739,
author = {Pith},
title = {Pith review of: Null Foliations of Spacetime and the Geometry of Black Hole Horizons},
year = {2026},
howpublished = {\url{https://pith.science/paper/3GRMUICJ}},
note = {Machine review of arXiv:1908.08739}
}
read the original abstract
In this work, a method for constructing null foliations of spacetime is presented. This method is used to specify equivalence classes of null generators, whose representatives can be associated lightlike co-normals that are locally affine geodesic and thus locally orthogonal to embedded null hypersurfaces of spacetime. The main benefit of the proposed procedure is the fact that it is less geometrically restrictive than the traditional dual-null approaches to general relativity, but nevertheless allows for the conclusion that spacetimes can be foliated by suitable pairs of normalized null geodesic vector fields. This is demonstrated by the example of different black hole spacetimes, that is, by members of the Kerr-Newman family, according to which a said foliation and an associated equivalence class of null generators are explicitly constructed.
Reference graph
Works this paper leans on
-
[18]
Kerr black holes in horizon-generating form
Sean A Hayward. Kerr black holes in horizon-generating form. Physical leview letters , 92(19):191101, 2004
work page 2004
-
[1]
D ynamical structure and definition of energy in general relativity
Richard Arnowitt, Stanley Deser, and Charles W Misner. D ynamical structure and definition of energy in general relativity. Physical Review , 116(5):1322, 1959
work page 1959
-
[2]
C anonical vari- ables for general relativity
Richard Arnowitt, Stanley Deser, and Charles W Misner. C anonical vari- ables for general relativity. Physical Review, 117(6):1595, 1960. 15
work page 1960
-
[3]
R epublication of: The dynamics of general relativity
Richard Arnowitt, Stanley Deser, and Charles W Misner. R epublication of: The dynamics of general relativity. General Relativity and Gravitation , 40(9):1997–2027, 2008
work page 1997
-
[4]
Lectures on non-perturbative canonical gravity, volume 4
Abhay Ashtekar. Lectures on non-perturbative canonical gravity, volume 4. World Scientific, 1991
work page 1991
-
[5]
Covariant doub le-null dynamics: 2+ 2-splitting of the Einstein equations
PR Brady, S Droz, W Israel, and SM Morsink. Covariant doub le-null dynamics: 2+ 2-splitting of the Einstein equations. Classical and Quantum Gravity, 13(8):2211, 1996
work page 1996
-
[6]
Quasilocal energy and co n- served charges derived from the gravitational action
J David Brown and James W York Jr. Quasilocal energy and co n- served charges derived from the gravitational action. Physical Review D , 47(4):1407, 1993
work page 1993
-
[7]
Chrusciel and Helmut Friedrich
Piotr T. Chrusciel and Helmut Friedrich. The Einstein Equations and the Large Scale Behavior of Gravitational Fields: 50 Years of the Cauchy Problem in General Relativity . Birkhäuser, 2012
work page 2012
Show all 27 references
-
[8]
Covariant 2+ 2 formulation of the initial- value problem in general relativity
RA d’Inverno and J Smallwood. Covariant 2+ 2 formulation of the initial- value problem in general relativity. Physical Review D , 22(6):1233, 1980
1980
-
[9]
The Ke rr spacetime in generalized Bondi-Sachs coordinates
Stephen John Fletcher and Anthony Wah-Cheung Lun. The Ke rr spacetime in generalized Bondi-Sachs coordinates. Classical and Quantum Gravity , 20(19):4153, 2003
2003
-
[10]
The asymptotic characteristic init ial value problem for Einstein’s vacuum field equations as an initial value proble m for a first- order quasilinear symmetric hyperbolic system
Helmut Friedrich. The asymptotic characteristic init ial value problem for Einstein’s vacuum field equations as an initial value proble m for a first- order quasilinear symmetric hyperbolic system. In Proceedings of the Royal Society of London A: Mathematical, Physical and Engin...
1981
-
[11]
On the rigidity the- orem for spacetimes with a stationary event horizon or a comp act cauchy horizon
Helmut Friedrich, Istvan Racz, and Robert M Wald. On the rigidity the- orem for spacetimes with a stationary event horizon or a comp act cauchy horizon. Communications in mathematical physics , 204(3):691–707, 1999
1999
-
[12]
Characteristic in itial data and wavefront singularities in general relativity
Helmut Friedrich and John M Stewart. Characteristic in itial data and wavefront singularities in general relativity. In Proceedings of the Royal Society of London A: Mathematical, Physical and Engineering Sciences, volume 385, pages 345–371. The Royal Society, 1983
1983
-
[13]
Gravitational radiation in an expan ding universe
Stephen W Hawking. Gravitational radiation in an expan ding universe. Journal of Mathematical Physics , 9(4):598–604, 1968
1968
-
[14]
The gravitationa l Hamilto- nian, action, entropy and surface terms
Stephen W Hawking and Gary T Horowitz. The gravitationa l Hamilto- nian, action, entropy and surface terms. Classical and Quantum Gravity , 13(6):1487, 1996
1996
-
[15]
Dual-null dynamics of the Einstein field
Sean A Hayward. Dual-null dynamics of the Einstein field . Classical and Quantum Gravity, 10(4):779, 1993. 16
1993
-
[16]
General laws of black-hole dynamics
Sean A Hayward. General laws of black-hole dynamics. Physical Review D, 49(12):6467, 1994
1994
-
[17]
Quasilocal gravitational energy
Sean A Hayward. Quasilocal gravitational energy. Physical Review D , 49(2):831, 1994
1994
-
[19]
Harmonic and Nu ll Descriptions of Gravitational Radiation
Richard A Isaacson and Jeffrey Winicour. Harmonic and Nu ll Descriptions of Gravitational Radiation. Physical Review, 168(5):1451, 1968
1968
-
[20]
Symmetries of cos mological Cauchy horizons
Vincent Moncrief and James Isenberg. Symmetries of cos mological Cauchy horizons. Communications in Mathematical Physics , 89(3):387–413, 1983
1983
-
[21]
Spacetimes foliated by Killing horizons
Tomasz Pawlowski, Jerzy Lewandowski, and Jacek Jezier ski. Spacetimes foliated by Killing horizons. Classical and Quantum Gravity , 21(4):1237, 2004
2004
-
[22]
Some spherical gr avitational waves in general relativity
Isaac Robinson and Andrezj Trautman. Some spherical gr avitational waves in general relativity. Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences , 265(1323):463–473, 1962
1962
-
[23]
Quantum gravity
Carlo Rovelli. Quantum gravity. Cambridge university press, 2007
2007
-
[24]
On the characteristic initial value pro blem in gravitational theory
Rainer K Sachs. On the characteristic initial value pro blem in gravitational theory. Journal of Mathematical Physics , 3(5):908–914, 1962
1962
-
[25]
The characteristic initial value probl em in general relativ- ity
John M Stewart. The characteristic initial value probl em in general relativ- ity. In Astrophysical Radiation Hydrodynamics , pages 531–568. Springer, 1986
1986
-
[26]
Numerical relativ ity
John M Stewart and Helmut Friedrich. Numerical relativ ity. I. the charac- teristic initial value problem. In Proceedings of the Royal Society of London A: Mathematical, Physical and Engineering Sciences , volume 384, pages 427–454. The Royal Society, 1982
1982
-
[27]
Modern canonical quantum general relativity
Thomas Thiemann. Modern canonical quantum general relativity . Cam- bridge University Press, 2007. 17
2007
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.