REVIEW
Quasi-Local Gravitational Energy
General Relativity and Quantum Cosmology · Submitted 26 Mar 1993 · 1 reference
Pith's verdict: The functional is explicit and the flat-space fix is right; the 'dynamically preferred' label leans on two in-press self-citations and the twist term is never exercised by a single worked example.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
Hayward proposes a single formula for the gravitational energy of any closed spatial two-surface, built from the Hamiltonian of a null-foliation ('2+2') formulation of general relativity, and shows it vanishes in flat spacetime, reproduces$
The reading
What carries the argument
The load-bearing object is the Hamiltonian 2-form of the '2+2' (dual-null) formulation, $8pi H = -mu(R + theta tilde{theta} - tfrac{1}{2}sigma_{ab}tilde{sigma}^{ab} - 2omega_aomega^a)$, obtained from the Einstein-Hilbert Lagrangian rewritten in a basis of two null evolution vectors plus two tangent vectors to the surface, up to a total divergence. Two geometric identities do the bookkeeping: the contracted Gauss equation $R + theta tilde{theta} - tfrac{1}{2}sigma_{ab}tilde{sigma}^{ab} = h^a{}_c h^b{}_d R_{abcd}$, which turns the integrand into a curvature contraction and makes the flat-space vanishing immediate, and Gauss-Bonnet, $int_S mu R = 8pi(1-g)$, which separates the topological genus from the dynamical content. The single length scale needed to convert the integrated Hamiltonian into energy units is supplied by the area, which is why $sqrt{A/16pi}$ appears and why the Schwarzschild normalisation comes out right.
Extended reading notes
Core claim
The paper defines the quasi-local energy of a compact orientable spatial two-surface $S$ as $$E = -frac{sqrt{A}}{16pi}int_S H = frac{1}{8pi}sqrt{frac{A}{16pi}}int_S mu left(R + $\theta$ tilde{$\theta$} - tfrac{1}{2}sigma_{ab}tilde{$\sigma$}^{ab} - 2omega_a omega^aright),$$ where $H$ is the Hamiltonian 2-form of the '2+2' formulation, $A$ is the area of $S$, $mu$ its area 2-form, $R$ the Ricci scalar of the induced metric, $theta,tilde{theta}$ the two null expansions, $sigma_{ab},tilde{sigma}_{ab}$ the two shears, and $omega_a$ the twist. The claim is that this is a dynamically preferred quantity rather than an ad hoc guess, because varying the full Hamiltonian returns the Einstein equations adapted to null foliations of two-surfaces. The supporting checks are that $E$ vanishes on every surface in flat spacetime (the shear term is exactly the correction that removes the known negative flat-space values of the Hawking and Geroch masses), that it equals the Hawking mass when shear and twist vanish, that it evaluates to $m$ for Schwarzschild, $m - tfrac{1}{2}e^2 r^{-1}$ for Reissner-Nordström, $tfrac{4}{3}pi r^3 rho$ for Robertson-Walker, zero for plane waves and negative for the Khan-Penrose colliding plane wave, and that on a static horizon it satisfies $16pi E^2 = A$, making it the irreducible mass.
Load-bearing premise
The coefficient of the twist term, $-2omega_a omega^a$, is not fixed by any of the paper's stated criteria: section 7 concedes that flat-space vanishing plus the Schwarzschild and Bondi/ADM limits determine the coefficients of $R$, $theta tilde{theta}$ and $sigma_{ab}tilde{sigma}^{ab}$ but leave the twist coefficient open, justified only by reference to a separate in-press paper on black-hole dynamics.
Editorial extensions
If this is right
- A single functional unifies the null-infinity and spatial-infinity limits: $M_B = \lim_{r\to\infty} E$ along an area-radius foliation and $M_{\mathrm{ADM}} = \lim_{\rho\to\infty} E$, so the Bondi and ADM masses become two limits of one quasi-local quantity rather than unrelated definitions.
- The long-standing failure of the Hawking mass to vanish on generic surfaces in flat spacetime is repaired by a specific shear term dictated by the Gauss equation, with no free parameter introduced for that purpose.
- On a Killing horizon the twist and internal shear vanish, so $16\pi E^2 = A$ holds exactly, giving the irreducible mass of a static black hole directly from the quasi-local definition.
- Quasi-local energy is not monotonic and need not be positive: it is zero for plane waves, unbounded and negative at the singularity of a colliding plane wave, and negative inside the inner horizon of a charged black hole, so the definition tracks non-linear gravitational interaction rather than a conserved charge.
- For a disconnected surface $S = S_1 \cup S_2$ the energy satisfies $E > E_1 + E_2$, giving a positive binding energy and making coalescence energetically favourable.
Reading between the lines
- The definition supplies a ready-made diagnostic for numerical relativity: tracking $E$ across a foliation of surfaces during a black-hole merger would test whether the binding-energy inequality is realised dynamically, since the paper only establishes it algebraically for disjoint surfaces.
- Because $E$ is built from the same data that characterise trapped surfaces, it sits naturally alongside horizon-finding algorithms: the marginal-trapping condition $\theta\tilde{\theta}=0$ turns the energy formula into a relation between $E$, the shear and the twist on the apparent horizon, which is a checkable identity in any numerical simulation.
- The twist coefficient is the one place where the construction could be repaired or broken without touching the rest, so a natural extension is to test boost invariance of $E$ on a surface carrying both shear and twist; that is a purely algebraic computation in the '2+2' variables.
- The paper's remark that $E$ controls the signature and trapping of singularities in spherical symmetry, and its two-dimensional dilaton analogue, hints at a broader use of the same Hamiltonian as a censorship diagnostic rather than only as a mass.
Original abstract
A dynamically preferred quasi-local definition of gravitational energy is given in terms of the Hamiltonian of a `2+2' formulation of general relativity. The energy is well-defined for any compact orientable spatial 2-surface, and depends on the fundamental forms only. The energy is zero for any surface in flat spacetime, and reduces to the Hawking mass in the absence of shear and twist. For asymptotically flat spacetimes, the energy tends to the Bondi mass at null infinity and the \ADM mass at spatial infinity, taking the limit along a foliation parametrised by area radius. The energy is calculated for the Schwarzschild, Reissner-Nordstr\"om and Robertson-Walker solutions, and for plane waves and colliding plane waves. Energy inequalities are discussed, and for static black holes the irreducible mass is obtained on the horizon. Criteria for an adequate definition of quasi-local energy are discussed.
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.
The abstract, sentence by sentence
A dynamically preferred quasi-local definition of gravitational energy is given in terms of the Hamiltonian of a `2+2' formulation of general relativity. The energy is well-defined for any compact orientable spatial 2-surface, and depends on the fundamental forms only. The energy is zero for any surface in flat spacetime, and reduces to the Hawking mass in the absence of shear and twist. For asymptotically flat spacetimes, the energy tends to the Bondi mass at null infinity and the \ADM mass at spatial infinity, taking the limit along a foliation parametrised by area radius. The energy is calculated for the Schwarzschild, Reissner-Nordstr\"om and Robertson-Walker solutions, and for plane waves and colliding plane waves. Energy inequalities are discussed, and for static black holes the irreducible mass is obtained on the horizon. Criteria for an adequate definition of quasi-local energy are discussed.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | A dynamically preferred quasi-local definition of gravitational energy is given in terms of the Hamiltonian of a `2+2' formulation of general relativity. | contribution 0.98 | 0.91 | 0.63 | asserted 1.00 |
| s1 | The energy is well-defined for any compact orientable spatial 2-surface, and depends on the fundamental forms only. | result 0.57 | 0.80 | 0.13 | asserted 1.00 |
| s2 | The energy is zero for any surface in flat spacetime, and reduces to the Hawking mass in the absence of shear and twist. | result 0.99 | 0.76 | 0.17 | asserted 1.00 |
| s3 | For asymptotically flat spacetimes, the energy tends to the Bondi mass at null infinity and the \ADM mass at spatial infinity, taking the limit along a foliation parametrised by area radius. | result 0.98 | 0.81 | 0.18 | asserted 1.00 |
| s4 | The energy is calculated for the Schwarzschild, Reissner-Nordstr\"om and Robertson-Walker solutions, and for plane waves and colliding plane waves. | result 0.48 | 0.90 | 0.07 | asserted 1.00 |
| s5 | Energy inequalities are discussed, and for static black holes the irreducible mass is obtained on the horizon. | result 0.89 | 0.80 | 0.11 | asserted 0.96 |
| s6 | Criteria for an adequate definition of quasi-local energy are discussed. | contribution 0.48 | 0.63 | 0.06 | unclear 0.76 |
What was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
References
How the literature uses it
32 arXiv papers cite this in 45 sentences
Papers citing it · 33 sentences without a confident label
Uses its method or tool 3 papers
-
In this space-time, the physically relevant mass is the Hawking-Hayward quasi-local mass [ref] [equation]
Dark Energy Accretion onto a Black Hole in an Expanding Universe · the Solution with Imperfect Fluid and Radial Mass Flow · 0.84
-
To probe horizon formation, we compute the quasi‐local Hawking mass [ref] M(T,x) ≡r̅^2- (∇r̅)^2, r̅ =e^- T r (T,x).
Quantum Critical Collapse Abhors a Naked Singularity · Introduction · 0.99
-
With the help of the Gauss-Codazzi equation for codimension-$2$ spatial surfaces [ref] , [equation] we get
Dynamics and Observer-Dependence of Holographic Screens · Cross-focusing Equations · 0.98
Compares with it 1 paper
-
Now focusing on the first term on the RHS of ([ref]), we identify it as the variation of the energy associated with the null surface $S_t$ under the virtual displacement $δλ_(k)$, i.e [equation] Performing an indefinite integration over $λ_(k)$ allows us to have an expression for the energy associated with the $2$-surface $S_t$, [equation] Before proceeding ahead, we note that the expression of the energy as obtained in ([ref]) is reminiscent of the Hawking-Hayward energy definition [ref] .
Covariant approach to the thermodynamic structure of a generic null surface · $R_abl^ak^b$, favourable candidate for thermodynamic interpretation: a covariant approach · 0.97
Cites it as background 8 papers
-
The Hawking-Hayward quasilocal mass [ref] reduces to the Misner-Sharp-Hernandez mass in spherical symmetry and is the Noether charge associated with the conservation of the Kodama current [ref] .
The curious case of the Buchdahl-Land-Sultana-Wyman-Iba\~nez-Sanz spacetime · Quasilocal mass · 0.80
-
There is a host of quasi-local definitions, see e.g. Ref. [ref] and the works discussed there.
Conserved charges in (Lovelock) gravity in first order formalism · Quasi-local generators and conservation · 0.99
-
The irreducible mass is closely related to another quasilocal measure of mass: the Hawking mass [ref] , M_H := M_irr(1+1/8π∫_H_v ϑ_+ ϑ_- √(γ)d^2θ).
Deformed Schwarzschild horizons in second-order perturbation theory: mass, geometry, and teleology · Surface area and mass · 0.86
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.