---
title: Quasi-local Horizons in Black Hole Theory
url: https://www.emergentmind.com/topics/quasi-local-horizons
type: topic
---

# Quasi-local Horizons in Black Hole Theory

Quasi-local horizons are black-hole boundary concepts defined from local or quasi-local geometric data rather than from the global causal structure required for event horizons. In this framework, the basic objects are closed spacelike 2-surfaces, typically of spherical topology, equipped with future-directed null normals whose expansions determine whether the surface is trapped, marginally trapped, or untrapped. A central motivation is that event horizons are both global and teleological: they are defined only in spacetimes admitting a suitable future conformal boundary and their location depends on the entire future development of the spacetime, whereas quasi-local horizons can be identified from geometry in a finite spacetime region and are therefore central in numerical relativity, black-hole mechanics, and dynamical strong-field problems [1112.4412], [1303.4635], [2308.08729].

## 1. Foundational geometry and motivation

The quasi-local program begins with a smooth closed spacelike 2-surface \(S\) in spacetime, with induced metric \(q_{ab}\), area form \(\epsilon\), and two future-directed null normals, usually denoted \(\ell^a\) and \(n^a\), normalized by
\[
\ell \cdot n = -1.
\]
The null expansions are
\[
\Theta_{(\ell)} = q^{ab}\nabla_a \ell_b,\qquad \Theta_{(n)} = q^{ab}\nabla_a n_b.
\]
A future trapped surface satisfies
\[
\Theta_{(\ell)}<0,\qquad \Theta_{(n)}<0,
\]
while a marginally future trapped surface satisfies
\[
\Theta_{(\ell)}=0,\qquad \Theta_{(n)}<0.
\]
A marginally outer trapped surface (MOTS) is defined by
\[
\Theta_{(\ell)}=0,
\]
without any further condition on \(\Theta_{(n)}\) [1303.4635].

The underlying critique of event horizons is twofold. First, an event horizon is defined through the black-hole region
\[
B=\mathcal{M}\setminus J^{-}(\mathcal{I}^{+}), \qquad \mathcal{H}=\partial B,
\]
so one must know the full future of spacetime to determine it. Second, the event horizon can respond to future infall before any local signal is present; the Vaidya spacetime provides the standard example in which the event horizon extends into a flat region prior to collapse [1112.4412], [1303.4635], [2308.08729]. This is why quasi-local horizons are used instead in fully nonlinear and numerically evolved spacetimes.

The quasi-local viewpoint also distinguishes between slice-dependent and spacetime notions. On a spatial hypersurface \(\Sigma\), the outermost connected component of the boundary of trapped surfaces is an apparent horizon. By contrast, a marginally trapped tube (MTT) is a spacetime 3-surface foliated by MOTSs. This distinction is essential in dynamical settings because the trapped surfaces found on a given slice depend on the slicing, whereas a horizon world tube carries additional geometric structure [1303.4635], [2308.08729].

## 2. Equilibrium and non-equilibrium horizon frameworks

The equilibrium sector is described by isolated horizons. A non-expanding horizon (NEH) is a null hypersurface \(\Delta\subset\mathcal{M}\) such that \(\Delta\) is topologically \(R\times S\), the expansion of any null normal vanishes,
\[
\theta_{(\ell)}=0,
\]
the field equations hold at \(\Delta\), and the stress-energy tensor satisfies the causal energy condition that \(-T^a{}_b\ell^b\) is future-directed and causal for any future-directed null normal \(\ell\) [1112.4412]. On a NEH, vanishing expansion together with the energy condition and the Raychaudhuri equation imply vanishing shear, so the intrinsic metric is time independent along the generators:
\[
\pounds_\ell q_{ab}=0.
\]

A weakly isolated horizon (WIH) is a NEH together with an equivalence class \([\ell]\) of null normals, related by constant positive rescalings, such that
\[
\pounds_\ell \omega_a = 0,
\]
where \(\omega_a\) is the induced normal connection defined by
\[
D_a\ell_b=\omega_a\ell_b.
\]
The associated surface gravity
\[
\kappa_{(\ell)}=\ell^a\omega_a
\]
then satisfies
\[
D_a\kappa_{(\ell)}=0,
\]
which is the isolated-horizon version of the zeroth law [1112.4412]. A strongly isolated horizon (SIH) adds
\[
[\pounds_\ell,D_a]X^b=0
\]
for every vector field tangent to \(\Delta\), freezing the entire intrinsic connection. The hierarchy is
\[
\text{SIH} \;\Rightarrow\; \text{WIH} \;\Rightarrow\; \text{NEH}.
\]

The non-equilibrium sector is described by dynamical horizons and related trapping-horizon notions. A dynamical horizon (DH) is a smooth spacelike 3-manifold \(H\) foliated by compact 2-surfaces \(S\) satisfying
\[
\theta_{(\ell)}=0,\qquad \theta_{(n)}<0.
\]
A trapping horizon is a 3-surface foliated by such marginal surfaces together with an outer condition, usually written as
\[
\theta_{(\ell)}=0,\qquad \theta_{(n)}<0,\qquad \mathcal{L}_n\theta_{(\ell)}<0
\]
in the Vaidya analysis [1007.2990]. Hayward’s terminology is also used in inhomogeneous cosmological models, where a trapping horizon is the closure of a hypersurface foliated by marginally trapped surfaces satisfying
\[
\theta^{(k)}=0,\qquad \theta^{(l)}\neq 0,\qquad \mathcal{L}_l\theta^{(k)}\neq 0
\]
or the corresponding version with \(k\leftrightarrow l\), depending on the future/past convention [1803.11005].

The causal character distinguishes equilibrium from growth. Null quasi-local horizons correspond to equilibrium. Spacelike quasi-local horizons correspond to growth under infalling matter or gravitational radiation. Timelike marginally trapped tubes can occur, but they are not standard dynamical horizons in the Ashtekar–Krishnan sense [1007.2990], [1303.4635], [2308.08729].

## 3. Mechanics: area, angular momentum, mass, and multipoles

A principal achievement of the quasi-local horizon program is that black-hole mechanics can be formulated without assuming global stationarity. For isolated horizons, the basic charges are the area
\[
a_\Delta = \oint_S {}^2\epsilon,
\]
the electric charge
\[
Q_\Delta = \frac{1}{8\pi G}\oint_S \star \mathbf F,
\]
and the angular momentum. In the axisymmetric case, the gravitational-plus-electromagnetic horizon angular momentum is
\[
J_\Delta := - \frac{1}{8\pi G} \oint_S (\phi\lrcorner \omega)\, {}^2\epsilon - \frac{1}{4\pi}\oint_S (\phi\lrcorner \mathbf A)\,\star \mathbf F,
\]
while the purely gravitational piece can also be written as
\[
J_{\rm Grav} = -\frac{1}{4\pi G}\oint_S g\,\mathrm{Im}\Psi_2\, {}^2\epsilon.
\]
A horizon energy \(E_\Delta^{(t)}\) exists precisely when the Hamiltonian variation satisfies
\[
\delta E_{\Delta}^{(t)} = - \frac{\kappa_{(t)}}{8\pi G}\,\delta a_\Delta - \Phi_{(t)}\,\delta Q_\Delta - \Omega_{(t)}\,\delta J_\Delta,
\]
or, in thermodynamic notation,
\[
\delta E_{\Delta} = T_{(t)}\delta S_{\Delta} + \Phi_{(t)}\delta Q_{\Delta} + \Omega_{(t)}\delta J_{\Delta},
\]
with
\[
T_{(t)} = \frac{\kappa_{(t)}}{2\pi}, \qquad S_\Delta = \frac{a_\Delta}{4G}.
\]
In Einstein–Maxwell theory, the canonical horizon mass is fixed by the Kerr–Newman family and equals
\[
M_{\Delta} = \frac{\sqrt{(R_{\Delta}^2 + GQ_{\Delta}^2)^2 + 4G^2 J_{\Delta}^2}}{2GR_{\Delta}},
\qquad R_\Delta=\sqrt{a_\Delta/(4\pi)}.
\]
This provides a quasi-local generalization of the Kerr–Newman mass formula [1112.4412].

For dynamical horizons, the area increase law is local and flux-balanced. If \(H_{1,2}\) is the portion of a dynamical horizon between cuts \(S_1\) and \(S_2\), then
\[
\frac{R_2}{2}-\frac{R_1}{2}
=
\int_{\mathcal H} T_{ab}\tau^a\xi^b\, d^3V
+\frac{1}{16\pi}\int_{\mathcal H} N_r\left(|\sigma|^2+2|\zeta|^2\right)\, d^3V,
\]
where the two terms on the right are interpreted as matter flux and gravitational flux [1303.4635]. In axisymmetry, the angular momentum of a cut \(S\) is
\[
J_S^{(\varphi)} = -\frac{1}{8\pi}\int_S K_{ab}\varphi^a r^b\, d^2V,
\]
and finite-transition first-law-type balance relations can be written using the Kerr expressions \(\bar m(a,J)\), \(\bar\kappa(a,J)\), and \(\Omega(a,J)\) evaluated on each cut [2308.08729].

The quasi-local framework also supports horizon multipoles. On axisymmetric isolated horizons, one defines
\[
I_{\ell,m} + i L_{\ell,m} := -\oint_S \Psi_2\, \mathring Y_{\ell,m}\, d^2V,
\]
with \(\mathrm{Re}\,\Psi_2\) encoding shape information and \(\mathrm{Im}\,\Psi_2\) encoding spin information. On dynamical horizons, these become time-dependent multipoles on the leaves \(S_v\), defined through a complex seed field built from the scalar curvature of the cut and the curl of the pulled-back rotation 1-form [2308.08729]. This suggests a hierarchy of horizon-balance laws far richer than the familiar zeroth, first, and second laws.

A significant refinement concerns non-axisymmetric horizons. For a generic MOTS \(\Delta\cong S^2\), the standard angular-momentum functional
\[
J_\phi = -\frac{1}{8\pi G}\int_\Delta \omega(\phi)\,\epsilon
\]
still applies, but the challenge is to select the appropriate axial field \(\phi\). A geometrically preferred choice can be extracted from the conformal decomposition of the intrinsic 2-metric and the Möbius group of the conformal sphere. In conformally spherical coordinates, the six conformal generators split into three rotations \(\phi_i\) and three proper conformal generators \(\xi_i\), and one defines charge triples
\[
J_i = -\frac{1}{8\pi G}\int_\Delta \omega(\phi_i)\,\epsilon,\qquad
K_i = -\frac{1}{8\pi G}\int_\Delta \omega(\xi_i)\,\epsilon.
\]
The Lorentzian mixing of \(\vec J\) and \(\vec K\) under proper conformal transformations leads to the invariants
\[
A = |\vec J|^2 - |\vec K|^2,\qquad
B = \vec K\cdot \vec J,
\]
and hence to an invariant quasi-local angular momentum
\[
J = \sqrt{\frac{A + \sqrt{A^2+4B^2}}{2}}
\]
for all nondegenerate cases \(A^2+B^2>0\). This agrees with the standard isolated-horizon or dynamical-horizon expression in axisymmetry and supplies a canonical spin for generic non-axisymmetric MOTSs [0707.2824].

## 4. Foliation dependence, numerical relativity, and quasi-local detection

A persistent issue is foliation dependence. Apparent horizons and more general MOTSs depend on the chosen spacelike slices, and therefore quasi-local quantities assigned to them can vary with the slicing. This is analyzed explicitly in Vaidya spacetime with metric
\[
ds^2 = -\left(1-\frac{2m(v)}{r}\right)dv^2 +2\,dv\,dr +r^2 d\theta^2 +r^2\sin^2\theta\, d\phi^2,
\]
for which the radial null expansions are
\[
\theta_{(\ell)}=\frac{1}{r}\left(1-\frac{2m(v)}{r}\right), \qquad
\theta_{(n)}=-\frac{2}{r}.
\]
The spherically symmetric MOTS lies at
\[
r=2m(v),
\]
but non-spherical slicings
\[
\bar t = v-r-\alpha r\cos\theta
\]
produce distorted axisymmetric MOTSs whose location and area differ from the spherical one [1007.2990].

The dependence is real but, in the slowly evolving regime studied, small. For the linear mass function with \(\dot m=0.02\), the area variation across the family of slicings examined is about
\[
0.035\%.
\]
This suggests that, while the ambiguity is conceptually fundamental, the induced change in area can be modest in near-equilibrium situations [1007.2990]. The same paper emphasizes that even event-horizon cross-sectional areas vary with slicing, so foliation dependence is not unique to quasi-local horizons.

In practice, quasi-local horizons are indispensable in numerical relativity because they can be located slice by slice. In the Vaidya study, the numerical procedure is explicitly: rewrite the metric in \(3+1\) form on a Cartesian grid, place each \(\bar t=\) const slice on the grid, and use **AHFinderDirect** in the **Cactus** framework to solve \(\theta_{(\ell)}=0\) for the axisymmetric MOTS [1007.2990]. This operational role underlies the broader emphasis in black-hole merger studies: quasi-local horizons, not event horizons, are the objects that can be tracked during the evolution [2308.08729].

The detection problem has also motivated invariant alternatives. One proposal defines **geometric horizons** as hypersurfaces on which the curvature tensor or its derivatives become more algebraically special than in the surrounding spacetime. In four dimensions, necessary type II/D conditions can be written as discriminant constraints on scalar polynomial curvature invariants, such as
\[
\mathcal{W}_1 = -11W_2^3 + 33W_2 W_4 - 18W_6 = 0,
\]
\[
\mathcal{W}_2 = (W_2^2-2W_4)(W_2^2+W_4)^2 +18W_3(6W_6-2W_3^2-9W_2W_4+3W_2^3)=0,
\]
for the Weyl tensor. This is intended as a foliation-independent quasi-local characterization, especially relevant for numerical relativity, though the fully dynamical program remains conjectural [1710.08457].

A different line of work uses boundary quasi-local mass to infer the presence of a horizon inside a compact domain. For an admissible initial data set \((\Omega,g,k)\), with outer boundary \(\partial\Omega\), a MOTS is defined by
\[
H_\Sigma + \operatorname{Tr}_\Sigma k = 0.
\]
The Liu–Yau mass
\[
m_{LY}(\Sigma)=\frac{1}{8\pi}\int_\Sigma (H_0-|\vec H|)\, dA_\sigma
\]
and Wang–Yau mass
\[
m_{WY}(\Sigma)= \inf_{(\mathcal X,T_0)} E_{WY}(\Sigma,\mathcal X,T_0)
\]
then obey comparison theorems against Hawking masses of strictly minimizing hulls in Jang graphs. The resulting localized Penrose inequalities imply, for suitable interior surfaces \(S\),
\[
m_{LY}(\partial\Omega)\ge \sqrt{\frac{|S|}{16\pi}},\qquad
m_{WY}(\partial\Omega)\ge \sqrt{\frac{|S|}{16\pi}},
\]
and provide sufficient conditions for the existence or nonexistence of a MOTS inside \(\Omega\) [1912.01581].

## 5. Extensions beyond general relativity and alternative quasi-local horizon notions

The quasi-local horizon program extends beyond Einstein gravity in several distinct directions. In Einstein–Gauss–Bonnet gravity with an \((n-2)\)-dimensional Einstein horizon space satisfying the Dotti–Gleiser Weyl condition
\[
\overset{(n-2)}{C}{}^{iklm}\overset{(n-2)}{C}{}_{jklm}=\Theta \delta^i{}_j,
\]
one can define a generalized Misner–Sharp mass
\[
m_\Theta := \frac{(n-2)V_{n-2}^k}{2\kappa_n^2}
\biggl\{
-{\tilde \Lambda}r^{n-1}
+r^{n-3}[k-(D r)^2]
+{\tilde \alpha}r^{n-5}[k-(D r)^2]^2
+\frac{\tilde\alpha \tilde\Theta}{n-5}r^{n-5}
\biggr\},
\]
which satisfies a unified first law and supports quasi-local trapping-horizon mechanics, including monotonicity, a signature law, an area law in the GR branch, and a dynamical entropy law [1004.0917]. This suggests that much of the trapping-horizon framework survives higher-curvature corrections, though branch structure and non-GR behavior introduce major caveats.

In scalar-tensor and \(f(R)\) gravity, the relevant horizon quantity is not area but generalized entropy. For entropy 2-form
\[
s_{ab}=W\,\varepsilon_{ab},
\]
with \(W=\phi/4\) in scalar-tensor theory and \(W=f'(R)/4\) in \(f(R)\) gravity, the standard future outer trapping-horizon conditions
\[
\theta_{(l)}=0,\qquad \theta_{(n)}<0,\qquad \mathcal{L}_n\theta_{(l)}<0
\]
are replaced by entropy-based conditions
\[
\varepsilon^{ab}\mathcal{L}_l s_{ab}=0,\qquad
\varepsilon^{ab}\mathcal{L}_n s_{ab}<0,\qquad
\mathcal{L}_n\!\left(\varepsilon^{ab}\mathcal{L}_l s_{ab}\right)<0.
\]
This modification is motivated by the fact that ordinary future outer trapping horizons are not conformally invariant, whereas the generalized entropy is the conformally meaningful quantity. The resulting quasi-local horizons obey an entropy increase law under the appropriate positivity conditions [1103.2089].

There are also quasi-local horizon notions adapted to theories with a preferred foliation. In such settings, the standard null event horizon is not the relevant causal barrier because arbitrarily fast signals may exist. The proposed quasilocal universal horizon is defined by the vanishing of the optical scalar
\[
\Theta_{(e)}=0,
\]
where \(u^a\) is the preferred flow, \(e^a\) is the preferred spatial unit normal orthogonal to the codimension-two foliation, and
\[
\Theta_{(v)} = n^{ab}\nabla_a v_b = \frac{1}{2} n^{ab}\mathcal{L}_v n_{ab}.
\]
In spherical symmetry this reproduces the usual universal-horizon condition, shows that such horizons can occur only in trapped or antitrapped regions, and implies that there are no universal analogues of cosmological horizons in FLRW models for any scale factor [1511.08663].

A further extension is the quasi-local conformal Killing horizon. In its non-rotating form, a null inner boundary \(\Delta\simeq S^2\times\mathbb R\) is required to have vanishing shear, nonzero expansion, a scalar field obeying
\[
\mathcal{L}_\ell\varphi = -2\rho\,\varphi,
\]
and a Lie-dragged conformal analogue of surface gravity,
\[
\mathcal{L}_\ell (2\rho + \epsilon + \bar\epsilon)=0.
\]
This allows a covariant phase-space construction and a first law even though the horizon area changes. The rotating extension adds an axial conformal Killing vector \(\phi^a\), distorted \(S^2\) cross-sections, and a Hamiltonian angular momentum
\[
J_\Delta^\phi = -\frac{1}{8\pi G}\int_{S_\Delta}(\phi\cdot\omega)\,{}^2\epsilon,
\]
leading to a differential first law
\[
\dot E^t_\Delta
=
\frac{1}{8\pi G}(2\rho+\epsilon+\bar\epsilon)\,\dot A
+\Omega_\Delta\,\dot J_\Delta^\phi
+\frac{1}{8\pi G}\int_{S_\Delta}{}^2\epsilon\left(\dot\rho+8\pi G\,\dot\varphi D\varphi\right)
\]
for this restricted class of growing null horizons [1412.5115], [1502.07128].

These generalizations indicate that “quasi-local horizon” is not a single definition but a family of structures adapted to different theories and physical questions. This suggests that the common core lies in the use of finite-region geometry—null expansions, induced connections, entropy densities, preferred flows, or curvature discriminants—rather than in one universal kinematical criterion.

## 6. Applications, inner horizons, and unresolved structure

Quasi-local horizons are increasingly used to analyze transient and fully dynamical black-hole phenomena. In gauge-invariant reduced-phase-space perturbation theory with backreaction, the apparent horizon on a preferred Gullstrand–Painlevé foliation is defined by
\[
\theta_+ = 0,
\]
with the canonical form
\[
\sqrt{m}\,\theta_\pm = - s_i s_j W^{ij} \pm \partial_i(\sqrt{m}\,m^{ij}s_j).
\]
For a deformed horizon \(r=\rho(\theta,\phi)\), the second-order perturbative solution yields a remarkably simple area law:
\[
A = 4\pi r_s^2 + r_s\int^{r_s} E\,dr,
\]
and hence a quasi-local mass
\[
M_0=\sqrt{\frac{A}{16\pi}}
=
M + \frac{1}{16\pi}\int^{r_s}E\,dr.
\]
Classically,
\[
\dot M_0 \ge 0,
\]
while the authors argue that the quantum theory may permit \(\langle M_0\rangle\) to decrease, as expected in Hawking evaporation [2605.13714].

Inner horizons provide another arena where the quasi-local perspective alters the standard interpretation. In spherical symmetry, with metric
\[
\mathrm{d}s^2=-e^{-2\Phi(v,r)}F(v,r)\,\mathrm{d}v^2+2e^{-\Phi(v,r)}\,\mathrm{d}r\,\mathrm{d}v+r^2\mathrm{d}\Omega^2,
\]
and two quasi-local horizons given by
\[
F(v,r)=e^{\Psi(v,r)}
\left(1-\frac{r_{\rm in}(v)}{r}\right)
\left(1-\frac{r_{\rm out}(v)}{r}\right),
\]
a slowly-evolving non-extremal inner trapping horizon with
\[
\left|\frac{\mathrm{d}r_{\rm in}}{\mathrm{d}v}\right| \ll |\kappa_{\rm in}|\,|r-r_{\rm in}|,\qquad
\left|\frac{\mathrm{d}\kappa_{\rm in}}{\mathrm{d}v}\right| \ll |\kappa_{\rm in}|^2
\]
drives an exponential approach of outgoing null rays to the inner horizon,
\[
r(v)\approx r_{\rm in}(v) + \left[r(v_0)-r_{\rm in}(v_0)\right] e^{-|\kappa_{\rm in}(v)|(v-v_0)}.
\]
This produces finite but potentially large mass inflation even without a Cauchy horizon. The stationary divergence is recovered only when the drift of the inner trapping horizon vanishes. This reinterprets mass inflation as a quasi-local instability of inner trapping horizons rather than a phenomenon intrinsically tied to global Cauchy horizons [2402.14913].

In inhomogeneous cosmology, Hayward trapping horizons can also be analyzed explicitly. In Lemaître spacetime, future and past horizons are determined by
\[
R_{,t}+e^{\frac{C-A}{2}}R_{,r}=0 \quad\text{(future)},\qquad
R_{,t}-e^{\frac{C-A}{2}}R_{,r}=0 \quad\text{(past)},
\]
and both are null exactly when the Misner–Sharp mass is constant along them, which is equivalent on the horizon to
\[
\varepsilon=-p.
\]
In the non-symmetric Szekeres–Szafron spacetime, horizon existence depends not only on collapse or expansion but also on the sign of
\[
\left(R_{,z}-R\frac{E_{,z}}{E}\right)_{,t},
\]
showing directly how inhomogeneous shell motion enters the trapping-horizon conditions [1803.11005].

Across these applications, several structural issues remain unresolved. Quasi-local horizons in dynamical spacetimes are not unique; different slicings can generate different MOTSs and different trapping or dynamical horizons [1007.2990], [1303.4635]. Apparent horizons remain slicing-dependent, while more invariant alternatives such as geometric horizons are still partly conjectural [1710.08457]. The equilibrium sector, by contrast, is substantially cleaner: isolated horizons support a consistent action principle, covariant phase space, horizon charges, and both classical and quantum treatments, including the loop-quantum-gravity description in which the horizon boundary term becomes that of an \(SU(2)\) Chern–Simons theory [1112.4412].

A plausible implication is that quasi-local horizon theory is best viewed as a layered framework. Isolated horizons provide the equilibrium limit; dynamical and trapping horizons encode local growth and flux; more specialized constructions adapt the notion to conformal frames, preferred foliations, or non-Einstein dynamics; and invariant detection schemes seek to reduce foliation dependence without returning to teleological definitions. Within that layered picture, quasi-local horizons have become the primary language for black-hole mechanics in the fully nonlinear regime and for any setting in which the global event horizon is either inaccessible or conceptually inadequate [2308.08729].

Source: https://www.emergentmind.com/topics/quasi-local-horizons