Skip to content

Marginal Tubes and Their Signature

Scrollable formula. Use Left and Right arrow keys to reveal hidden content.

Scrollable table. Use Left and Right arrow keys to reveal additional columns.

Scrollable figure. Use Left and Right arrow keys to inspect hidden content.

A marginally trapped tube is a three-surface assembled from marginal two-surfaces. Its causal signature is not fixed by the condition θ(ℓ)=0\theta_{(\ell)}=0: the tube may be spacelike, null, timelike, or of mixed signature. Under an outer condition and positive null energy, however, influx and outgoing shear force the physically relevant future tube to be spacelike, with a null limit when the flux vanishes.

Required background. Hypersurface normals and tangential projectors supplies the nested normal geometry and signature conventions.

Helpful background. Black-Hole Geometry and Mechanics develops dynamical, trapping, and isolated horizons; Black-Hole Perturbation Theory supplies null shear; Formulations of General Relativity explains slicing and constraints; and Computational Relativity develops tube tracking.

Let HH be foliated by smooth closed surfaces SvS_v with future null normals ℓ⋅k=−1\ell\cdot k=-1 and

θ(ℓ)=0,θ(k)<0.\theta_{(\ell)}=0,\qquad \theta_{(k)}\lt 0.

On a branch whose outgoing coefficient is positive, normalize the vector normal to each leaf but tangent to HH as

Va=ℓa−Cka.\mathcal V^a=\ell^a-Ck^a.

Then V2=2C\mathcal V^2=2C in the (−,+,+,+)(-,+,+,+) convention: C>0C\gt 0 is spacelike, C=0C=0 null, and C<0C\lt 0 timelike. The evolution must preserve marginality,

0=δVθ(ℓ)=−W+L−kC,W=∣σ(ℓ)∣2+8πGTabℓaℓb.0=\delta_{\mathcal V}\theta_{(\ell)}=-W+L_{-k}C, \qquad W=\lvert\sigma^{(\ell)}\rvert^2+8\pi G T_{ab}\ell^a\ell^b.

Here δX\delta_X varies the surface and its null normals, rather than differentiating a fixed scalar field. Raychaudhuri supplies δℓθ(ℓ)=−W\delta_\ell\theta_{(\ell)}=-W. Define the normal connection ωA=−kbqAa∇aℓb\omega_A=-k_bq_A{}^a\nabla_a\ell^b, let DAD_A and RS\mathcal R_S be the leaf derivative and scalar curvature, and write GabG_{ab} for the Einstein tensor. The stability operator for deformation along −ka-k^a is

L−kC=−DADAC+2ωADAC+VC,V=12RS+DAωA−ωAωA−Gabℓakb.\begin{aligned} L_{-k}C&=-D^AD_AC+2\omega^AD_AC+VC,\\ V&=\frac12\mathcal R_S+D_A\omega^A -\omega_A\omega^A-G_{ab}\ell^ak^b. \end{aligned}

The angular derivatives of CC matter: moving different points by different amounts changes the surface’s shape. Suppose the chosen normalization has V=L−k1=−δkθ(ℓ)>0V=L_{-k}1=-\delta_k\theta_{(\ell)}\gt0. Under the null energy condition, the maximum principle on a closed connected leaf gives C≥0C\geq0. If WW is nonzero anywhere, C>0C\gt0 everywhere on that leaf; if WW vanishes everywhere, invertibility gives C=0C=0. Positive principal eigenvalue of L−kL_{-k} is a more general sufficient stability condition. The full variation and signature argument are in Booth and Fairhurst 2007, Eqs. (2.23), (3.2)–(3.7), pp. 8, 11–12, PDF.

The pointwise condition V>0V\gt0 depends on the chosen null scaling. Under ℓ′=fℓ\ell'=f\ell, k′=f−1kk'=f^{-1}k with smooth f>0f\gt0, the connection becomes ωA′=ωA+DAln⁡f\omega'_A=\omega_A+D_A\ln f and

L−k′′ψ=fL−k(f−1ψ).L'_{-k'}\psi=fL_{-k}(f^{-1}\psi).

The operators are conjugate, so their principal eigenvalues agree even though their pointwise potentials need not. This distinguishes a geometric stability test from a test of one normalization.

In spherical symmetry, CC is constant on each round leaf, so its derivatives disappear and the equation reduces to

C=δℓθ(ℓ)δkθ(ℓ).C=\frac{\delta_\ell\theta_{(\ell)}} {\delta_k\theta_{(\ell)}}.

This quotient is not a pointwise formula for a general distorted MOTS. A patch with zero local flux need not be null when flux elsewhere makes the entire leaf evolve spacelike.

The same decomposition gives

LVdA=(θ(ℓ)−Cθ(k))dA=−Cθ(k) dA.\mathcal L_{\mathcal V}dA =\left(\theta_{(\ell)}-C\theta_{(k)}\right)dA =-C\theta_{(k)}\,dA.

Thus an outer future spacelike tube has increasing area along Va\mathcal V^a. A timelike tube can have the opposite behavior. The signs are invariant under positive rescaling of the null normals, but CC and the parameter vv change; a numerical rate dA/dvdA/dv is meaningless without the normalization.

An equivalent dynamical-horizon normalization uses a unit timelike normal τ^a\hat\tau^a to spacelike HH and an outward unit spacelike vector r^a\hat r^a tangent to HH, with ℓ=τ^+r^\ell=\hat\tau+\hat r and n=τ^−r^n=\hat\tau-\hat r. Then ℓ⋅n=−2\ell\cdot n=-2. The area increase follows directly from θ(ℓ)=0\theta_{(\ell)}=0 and θ(n)<0\theta_{(n)}\lt 0. Converting between this normalization and ℓ⋅k=−1\ell\cdot k=-1 changes factors but not the geometric conclusions.

Three hypotheses carry the result. If the null energy condition fails, WW can be negative. If the principal eigenvalue reaches zero, the stability operator may cease to be invertible and its positive inverse is no longer available. A zero of VV at one point alone does not establish this spectral degeneracy. If the selected branch has θ(k)>0\theta_{(k)}\gt0, it is not future marginally trapped even though θ(ℓ)=0\theta_{(\ell)}=0.

Generic merger tubes can display precisely these branch complications. Inner common MOTSs may be timelike, change signature, cease to be future marginally trapped on part of a leaf, or self-intersect. Pook-Kolb and collaborators document signature and expansion diagnostics for a head-on merger in Pook-Kolb et al. 2021, §§II–V, pp. 3–12, PDF. These features do not contradict the spacelike area law, because its outer, future, smooth-branch hypotheses are not all satisfied on the inner tube.

On a round marginal leaf in spherical symmetry, δℓθ(ℓ)=−6/L2\delta_\ell\theta_{(\ell)}=-6/L^2 and δkθ(ℓ)=−2/L2\delta_k\theta_{(\ell)}=-2/L^2, while θ(k)=−1/L\theta_{(k)}=-1/L. Find CC and the signed area rate per unit dAdA.

Solution

The signature coefficient is C=(−6)/(−2)=3>0C=(-6)/(-2)=3\gt 0, so the tube is spacelike. Its local area rate is

LVdAdA=−Cθ(k)=3L>0.\frac{\mathcal L_{\mathcal V}dA}{dA} =-C\theta_{(k)}=\frac{3}{L}\gt 0.

The numerical value depends on the scaling of Va\mathcal V^a, but its positive sign does not.

  • Booth, Ivan, and Stephen Fairhurst. “Isolated, Slowly Evolving, and Dynamical Trapping Horizons: Geometry and Mechanics from Surface Deformations.” Physical Review D 75 (2007): 084019. doi:10.1103/PhysRevD.75.084019.
  • Pook-Kolb, Daniel, Ofek Birnholtz, José Luis Jaramillo, Badri Krishnan, and Erik Schnetter. “Horizons in a Binary Black Hole Merger I: Geometry and Area Increase.” Physical Review D 103 (2021): 026005. doi:10.1103/PhysRevD.103.026005.