Pith. Sign in

REVIEW

A 3+1 perspective on null hypersurfaces and isolated horizons

PaperPDF from arXiv

data files

ReviewThe objections and verdict, as JSON Paper breakdownThe authors' claims, conditions and measurements, as JSON Signed receiptProof this review has not been altered
X Bluesky LinkedIn Reddit Hacker News
E. Gourgoulhon, J.L. Jaramillo (LUTH, CNRS / Observatoire de Paris)

General Relativity and Quantum Cosmology · Submitted 29 Mar 2005 · 176 references

Pith's verdict: A reference-grade dictionary between null-surface geometry and 3+1 variables, with modest but real new machinery in the projector and the conformal boundary conditions.

T0 · AI review

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on October 29, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 7 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDgr-qc/0503113 (version 2)
Pith IDW6L3WHRB, Pith's permanent record of this paper and its review
CitationCNRS / Observatoire de Paris), E. Gourgoulhon, J.L. Jaramillo (LUTH. "A 3+1 perspective on null hypersurfaces and isolated horizons." arXiv:gr-qc/0503113 (2005). https://pith.science/paper/W6L3WHRB
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

Why Pith says this

Highlight any text to comment on it.

Referee report

How Pith checks papers → · Full audit of this paper →

The paper

The paper claims

The paper shows that a 3+1 spacelike slicing of spacetime supplies exactly the structures a null hypersurface lacks — a preferred null normal, a transverse null direction, and a projector onto the surface — and uses them to rewrite the null

The reading

A null hypersurface, the kind of surface on which a black hole horizon lives, is awkward to work with: its normal is also tangent to it, so there is no unit normal, no orthogonal projector, and no canonical way to carry quantities defined on the surface out into the surrounding spacetime. The paper's claim is that a 3+1 slicing — the foliation of spacetime by spacelike hypersurfaces that numerical relativists already use — quietly supplies the missing pieces. Each slice cuts the horizon in a two-surface $S_t$; demanding that the null normal advance the parameter $t$ at unit rate, $langle dt, ell rangle = 1$, fixes its normalization, and the unique null direction normal to $S_t$ and transverse to the horizon gives a partner $k$ with $ell cdot k = -1$. Together they yield a projector $Pi = 1 + k langle ell, cdot rangle$ onto the horizon, which lets every object intrinsic to the horizon be extended to ordinary tensors on spacetime. With that machinery the authors re-derive the null Raychaudhuri equation, Damour's Navier-Stokes equation for the horizon, and the tidal-force equation, and then restate the isolated-horizon hierarchy — non-expanding, weakly isolated, isolated — as conditions on 3+1 fields living on $S_t$. The practical stake is a dictionary: horizon prescriptions become inner boundary conditions on an excised sphere when solving the constraint equations for black-hole initial data.

What carries the argument

The load-bearing device is the projector $Pi = 1 + k langle ell, cdot rangle$ onto the null hypersurface, built from the slicing-induced null pair $(ell, k)$ with $ell cdot k = -1$. Two features do the work. First, $Pi$ is invariant under rescalings $ell mapsto alpha ell$, $k mapsto alpha^{-1} k$, so it depends only on the foliation $S_t$ and not on the normalization of the null normal. Second, applying $Pi$ (and the two-surface projector $vec{q} = Pi + ell langle k, cdot rangle$) to the spacetime covariant derivative $nabla ell$ splits it into a symmetric piece $Theta$ and a one-form piece $omega$, giving $nabla ell = vec{Theta} + ell otimes omega - nabla_k ell otimes ell$. That single decomposition is what converts the standard null equations — Raychaudhuri, Damour-Navier-Stokes, tidal force — into statements about 3+1 quantities, and it is what makes the horizon's intrinsic connection and its constraints expressible on a spatial two-surface.

Extended reading notes

Core claim

The central claim is that the extra structure induced on a null hypersurface $H$ by a spacelike foliation $(Sigma_t)$ is enough to remove the ambiguities that make null geometry hard to connect to spatial geometry. Concretely: the slices induce a foliation $S_t = H cap Sigma_t$ of the horizon by spacelike two-surfaces; the null normal is normalized by $langle dt, ell rangle = 1$ so that it Lie-drags the $S_t$; and the ingoing null vector $k$, defined as the null direction normal to $S_t$ with $ell cdot k = -1$, is transverse to $H$ and therefore supports a projector $Pi = 1 + k langle ell, cdot rangle$ onto $H$. Because $Pi$ exists, the Weingarten map, the second fundamental form $Theta$, the rotation one-form $omega$, the Hájiček one-form $Omega = vec{q}^{,*} omega$, and the transversal deformation rate $Xi$ all become well-defined four-dimensional tensors rather than surface-bound objects, and their derivatives along $ell$ can be taken. The authors then show that the whole isolated-horizon construction can be expressed in these terms, with the non-expanding-horizon constraints appearing as evolution equations for $(q, Omega, Xi)$ on $S_t$, and with the free data of a non-expanding horizon identified as $(q|_{S_t}, Omega|_{S_t}, Xi|_{S_t}, kappa|_H)$.

Load-bearing premise

The step from a non-expanding horizon (vanishing expansion) to a fully rigid one (vanishing second fundamental form) relies on the null dominant energy condition, so that the shear-squared and the matter term in the Raychaudhuri equation are each non-negative and must vanish separately.

Editorial extensions

If this is right

  • Black-hole initial-data problems can impose horizon conditions as boundary conditions on an excised sphere, stated directly in the conformally decomposed 3+1 variables that a constraint solver actually uses.
  • The isolated-horizon hierarchy acquires a slicing-relative reading: non-expanding, weakly isolated, and isolated horizons correspond to progressively stronger statements of time-independence of $(q, Omega, kappa, Xi)$ on the two-surfaces $S_t$.
  • Damour's black-hole mechanics and the membrane paradigm's viscous-fluid equations are recovered as special cases of one derivation, so the two literatures can be read against a common notation.
  • The free data of a non-expanding horizon are identified explicitly, which tells a numerical relativist exactly which horizon quantities may be chosen and which are fixed by the constraints.
  • Because the construction is stated in four dimensions, quantities such as $nabla Theta$ and $nabla Xi$ become ordinary spacetime tensors, making higher-order horizon identities calculable without introducing quotient spaces.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the dictionary holds, a numerical evolution code could in principle check at run time whether its excision surface is drifting away from the non-expanding condition by monitoring $Theta$ and $Omega$ directly, rather than reconstructing them from the lapse and shift after the fact.
  • The construction suggests a natural diagnostic split: the expansion $theta$ and shear $sigma$ measure how the horizon's two-geometry changes, while $Xi$ and $Omega$ measure how the horizon sits in spacetime, so an apparent-horizon finder and an isolated-horizon test could be made to share the same data.
  • The gauge freedom the authors describe — rescaling $ell$ versus re-slicing $H$ — looks like a template for the same ambiguity in any characteristic or excision-boundary scheme, which would make it worth stating as a general prescription rather than a horizon-specific one.
  • Since the derivation of $Theta = 0$ leans on the null dominant energy condition, a natural extension is to ask what the weakest matter condition is that still yields a well-defined induced connection on a non-expanding horizon, and whether that condition can be stated as a restriction on the 3+1 stress-energy projections alone.
Original abstract

The isolated horizon formalism recently introduced by Ashtekar et al. aims at providing a quasi-local concept of a black hole in equilibrium in an otherwise possibly dynamical spacetime. In this formalism, a hierarchy of geometrical structures is constructed on a null hypersurface. On the other side, the 3+1 formulation of general relativity provides a powerful setting for studying the spacetime dynamics, in particular gravitational radiation from black hole systems. Here we revisit the kinematics and dynamics of null hypersurfaces by making use of some 3+1 slicing of spacetime. In particular, the additional structures induced on null hypersurfaces by the 3+1 slicing permit a natural extension to the full spacetime of geometrical quantities defined on the null hypersurface. This 4-dimensional point of view facilitates the link between the null and spatial geometries. We proceed by reformulating the isolated horizon structure in this framework. We also reformulate previous works, such as Damour's black hole mechanics, and make the link with a previous 3+1 approach of black hole horizon, namely the membrane paradigm. We explicit all geometrical objects in terms of 3+1 quantities, putting a special emphasis on the conformal 3+1 formulation. This is in particular relevant for the initial data problem of black hole spacetimes for numerical relativity. Illustrative examples are provided by considering various slicings of Schwarzschild and Kerr spacetimes.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13-20260917 via OpenRouter, question bank abstract-p1-20260923, 2026-09-23: 1 request, 8,206 input tokens, $0.0003 reported.

What the abstract itself states, as probabilities: claims first 0.04 · states limitation 0.07 · human participants 0.01 · controlled comparison 0.01 · randomized assignment 0.01 · states quantitative result 0.03 · compares with prior results 0.89 · mentions code or data availability 0.02.

The abstract, sentence by sentence

arXiv listing abstract v2. Results and the main claim are underlined; .

The isolated horizon formalism recently introduced by Ashtekar et al. aims at providing a quasi-local concept of a black hole in equilibrium in an otherwise possibly dynamical spacetime. In this formalism, a hierarchy of geometrical structures is constructed on a null hypersurface. On the other side, the 3+1 formulation of general relativity provides a powerful setting for studying the spacetime dynamics, in particular gravitational radiation from black hole systems. Here we revisit the kinematics and dynamics of null hypersurfaces by making use of some 3+1 slicing of spacetime. In particular, the additional structures induced on null hypersurfaces by the 3+1 slicing permit a natural extension to the full spacetime of geometrical quantities defined on the null hypersurface. This 4-dimensional point of view facilitates the link between the null and spatial geometries. We proceed by reformulating the isolated horizon structure in this framework. We also reformulate previous works, such as Damour's black hole mechanics, and make the link with a previous 3+1 approach of black hole horizon, namely the membrane paradigm. We explicit all geometrical objects in terms of 3+1 quantities, putting a special emphasis on the conformal 3+1 formulation. This is in particular relevant for the initial data problem of black hole spacetimes for numerical relativity. Illustrative examples are provided by considering various slicings of Schwarzschild and Kerr spacetimes.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
s0 The isolated horizon formalism recently introduced by Ashtekar et al. aims at providing a quasi-local concept of a black hole in equilibrium in an otherwise possibly dynamical spacetime. background 1.00 0.03 0.04 asserted 0.99
s1 In this formalism, a hierarchy of geometrical structures is constructed on a null hypersurface. background 1.00 0.09 0.03 asserted 1.00
s2 On the other side, the 3+1 formulation of general relativity provides a powerful setting for studying the spacetime dynamics, in particular gravitational radiation from black hole systems. background 1.00 0.04 0.03 asserted 1.00
s3 Here we revisit the kinematics and dynamics of null hypersurfaces by making use of some 3+1 slicing of spacetime. contribution 0.65 0.86 0.06 asserted 0.98
s4 In particular, the additional structures induced on null hypersurfaces by the 3+1 slicing permit a natural extension to the full spacetime of geometrical quantities defined on the null hypersurface. contribution 0.36 0.55 0.19 asserted 0.94
s5 This 4-dimensional point of view facilitates the link between the null and spatial geometries. interpretation 0.80 0.44 0.12 asserted 0.99
s6 We proceed by reformulating the isolated horizon structure in this framework. contribution 0.79 0.92 0.08 asserted 0.99
s7 We also reformulate previous works, such as Damour's black hole mechanics, and make the link with a previous 3+1 approach of black hole horizon, namely the membrane paradigm. contribution 0.97 0.84 0.12 asserted 1.00
s8 We explicit all geometrical objects in terms of 3+1 quantities, putting a special emphasis on the conformal 3+1 formulation. method 0.74 0.93 0.10 asserted 1.00
s9 This is in particular relevant for the initial data problem of black hole spacetimes for numerical relativity. interpretation 0.95 0.26 0.09 asserted 0.91
s10 Illustrative examples are provided by considering various slicings of Schwarzschild and Kerr spacetimes. method 0.66 0.84 0.05 asserted 0.99

What kind of paper the classifier reports this is: theoretical result 0.75 · evidence from proof or derivation 0.99.

What was examined, and what was not

sources read
  • arXiv listing abstract v2
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

Figures
Figure 2. 2: Null hypersurface H with some null normal ℓ and the null generators (thin lines). where we have used ℓ µ∇αℓµ = 1/2 ∇α(ℓ µ ℓµ) = 0. Hence Eq. (2.18) leads to ∇ℓ ℓ = hdρ, ℓi ℓ, (2.20) or by the metric duality between 1-forms and vectors: ∇ℓ ℓ = κ ℓ , (2.21) where κ is the scalar field defined on H by κ := ∇ℓ ρ = hdρ, ℓi . (2.22) In the case where H is the horizon of a Kerr black hole, ℓ can be normalized to become a Killing vector of (M, g), of the form ℓ = ξ0 + ΩHξ1, where ΩH = const and ξ0 and ξ1 are the Killing vectors associated with respectively the stationarity and axisymmet
Figure 3. 2: Constant spatial coordinate lines x i = const cutting across the foliation (Σt) and defining the coordinate time vector t and the shift vector β. Also represented are the the unit normal to each hypersurface Σt , n, and the lapse function N as giving the metric distance dτ between two neighboring hypersurfaces Σt and Σt+dt via dτ = N dt. Another useful formula relates K to the Lie derivative of the spatial metric γ along the normal n: K = − 1 2 Ln γ . (3.21) This formula follows from Eq. (3.19) and the symmetry of K by a direct computation, provided that the Lie derivative along
Figure 4. 3: Null vector ℓ normal to H, unit timelike vector n normal to Σt , unit spacelike vector s normal to St and ingoing null vector k normal to St . For any vector v ∈ Tp(St), ℓ · v = 0. Replacing ℓ by the above expression and using n·v = 0 results in b·v = 0. Since this equality is valid for any v ∈ Tp(St), we deduce that b is a vector of Σt which is normal to St . It is then necessarily collinear to s: b = αs, with α = s · b = s · ℓ = hℓ, si = e ρ hdu, si > 0, thanks to Eq. (4.10). The condition ℓ · ℓ = 0 then leads to α = N, so that finally ℓ = N(n + s) . (4.13) In particular, the…
Figure 7. 2: On the left the active aspect of the gauge freedom, linked to the choice of the null normal, and on the right the passive aspect, associated with the choice of a initial slice. for a given null geometry (q, ∇ˆ ), their initial data (q|St , Ω|St , Ξ|St , κ|H) are associated with a particular ℓ = N(n + s) (see below). Gauge freedom in the choice of the free data Even though each specific choice of data in (7.77), together with a slicing (Σt), fixes the NEH geometry, there are different choices that actually define the same NEH structure: there exists a degeneracy in the free data…
Figure 11. 1: Value of Kijs i s j along the iteration of the simultaneous numerical imple￾mentation of Eqs.(11.22) and (11.28). Kijs i s j = 1 N  s iDiN − κH(RH, JH)  , (11.29) and, finally, condition (11.28) for the lapse

Showing 5 of the paper's 11 figures. See all figures in the PDF ↗ Figures reproduced from arXiv:gr-qc/0503113 by the authors.

References
How later papers used it

90 later papers cite it

Evidence: substantial. 86 of the citing papers share no author with it, and 14 of those carry a confident label from Pith's citation classifier.

Pith read 25 of the 203 citing sentences, choosing only those whose citation markers point at this paper alone, and wrote the paraphrases from them. The summary, the counts, the evidence level, the links and the quotes come from code; the summary counts the papers listed below. A later paper is listed under a label when Pith's citation classifier gives one of its sentences that label at probability 0.8 or more (0.95 for support), Pith's reading finds that the citing paper itself did it, and a second check confirms the paraphrase against the sentence. This section lists uses only. It does not list criticism or disagreement, so their absence here says nothing about how the paper has been received. Papers that share an author with this one are listed apart, under "By the same authors". A quote is the citing authors' own sentence, shown when their paper's licence is CC BY, CC BY-SA or CC0. JSON

Uses its method or tool 7 of 12 papers with this label
How the literature uses it

83 arXiv papers cite this in 191 sentences

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

Papers citing it · 111 sentences without a confident label

Builds on it 1 paper
Uses its method or tool 10 papers
Compares with it 4 papers
Cites it as background 52 papers

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.