⚛️ general relativity

Foliations by critical surfaces of the Hawking energy in asymptotically flat initial data sets

This paper constructs and analyzes unique large-scale foliations by Hawking surfaces in asymptotically Schwarzschild initial data sets, demonstrating that these surfaces provide a robust quasi-local energy tool with positivity, monotonicity under specific constraints, and convergence to the ADM energy, while also establishing their applicability in broader classes of dynamical spacetimes.

Original authors: Alejandro Peñuela Diaz

Published 2026-06-23

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Alejandro Peñuela Diaz

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are trying to weigh a specific chunk of a stormy ocean. You can't just step on a bathroom scale because the water is moving, the waves are crashing, and the "weight" of the water depends on how you slice it. In physics, this is the problem of quasi-local energy: trying to measure how much energy is inside a specific, bounded region of space (like a sphere) within a universe that is constantly shifting and curving.

For the whole universe (if it's isolated), we have a perfect scale called the ADM energy. But for a small patch inside? That's been a mystery for decades. Many physicists have tried to invent a "local scale," but most of them break down: they give negative numbers for empty space, or they don't settle down to the correct total weight when you look at a huge area.

This paper, by Alejandro Peñuela Diaz, introduces a new, very specific way to slice the universe to get a reliable weight. Here is the breakdown using everyday analogies:

1. The Problem: Finding the "Right" Slice

Imagine you have a giant, invisible balloon floating in a complex, curvy room. You want to measure the energy inside the balloon.

If you pick a random balloon shape, the math might say the energy is negative (which makes no sense physically).
If you pick a balloon that is perfectly round and still, it might work, but only in a very calm, empty room.
The author's goal is to find a special family of balloons that work even when the room is "dynamical" (moving, twisting, and full of momentum).

2. The Solution: "Hawking Surfaces"

The author focuses on a specific type of balloon called a Hawking surface. Think of these not as random balloons, but as balloons that have been "trained" to be perfectly balanced.

The Training: These surfaces are mathematically "critical." This means if you tried to wiggle them slightly to change their shape while keeping their surface area the same, the energy reading wouldn't change. They are in a state of perfect equilibrium.
The Result: When you use these specific, balanced balloons, the Hawking energy (the weight measurement) behaves nicely:
- It is never negative (it's always a positive number).
- If the energy is zero, the space inside is perfectly flat (like a calm, empty room).
- As the balloons get huge, their weight reading matches the total weight of the entire universe (the ADM energy).

3. The Big Achievement: The "Onion" Foliations

The paper proves that in a universe that looks like a black hole far away (asymptotically Schwarzschild), you can stack these balanced balloons one inside the other, all the way out to infinity, without them ever bumping into each other.

The Analogy: Imagine peeling an onion. Each layer is a perfect, balanced balloon. The author proves you can peel this "onion" all the way from the center out to the edge of the universe.
Uniqueness: There is only one way to peel this onion correctly. If you try to peel it differently, the layers won't balance, or they will cross over each other. This gives us a unique, standard way to measure energy at every distance.

4. The "Center" of the Universe

When you peel an onion, the center is obvious. But in a wobbly, dynamic universe, where is the "center" of these energy layers?

The paper shows that the center of these layers doesn't always line up with the "center of mass" we usually calculate.
The Twist: The center of these energy layers is sensitive to how the "momentum" (the movement) of the universe is distributed. It's like a spinning top; the point where the layers balance might shift slightly depending on how the spin is distributed, not just where the mass is. The author provides a formula to calculate exactly where this "energy center" sits.

5. The "Monotonicity" Rule (The Energy Never Drops)

One of the most important rules for a good energy scale is monotonicity: as you expand your balloon to include more space, the energy reading should never go down. It should only stay the same or increase.

The author proves that for these special "Hawking surfaces," the energy does increase (or stay flat) as you move outward, but only if the universe satisfies a specific "integrability condition."
The Catch: This condition is met in many realistic models of the universe (specifically those with "Harmonic" or "York" asymptotics, which are standard ways physicists model the edge of the universe). In these common cases, the energy scale works perfectly: it grows steadily as you look further out.

6. The "Rigidity" Test (The Zero-Point Check)

Finally, the paper asks: "What happens if the energy reading is exactly zero?"

The Answer: If you find a layer in this "onion" where the Hawking energy is zero, and the space outside it is calm, then the entire universe must be empty, flat space (Minkowski space).
The Metaphor: It's like a lie detector test. If the scale says "zero weight" for a specific layer, the only possible truth is that there is absolutely no matter or energy anywhere in the universe. If there were any matter, the scale would read a positive number.

Summary

This paper builds a robust, mathematical "onion" of perfectly balanced spheres in a dynamic universe. It proves that if you use these specific spheres to measure energy:

The measurement is always positive.
It matches the total weight of the universe when you get far enough away.
It increases (or stays steady) as you expand, provided the universe follows standard physical rules.
If the reading is zero, the universe is empty.

The author demonstrates that this method is robust and works for a wide variety of realistic cosmic models, offering a reliable tool for weighing the universe, piece by piece.

Technical Summary: Foliations by Critical Surfaces of the Hawking Energy in Asymptotically Flat Initial Data Sets

Problem Statement
A central challenge in classical general relativity is defining a physically meaningful "quasi-local energy" for arbitrary bounded regions within an initial data set $(M, g, k)$ . While the ADM energy successfully characterizes the total energy of an isolated system at infinity, no canonical functional exists that assigns energy to an arbitrary closed 2-surface $\Sigma$ while satisfying five key physical criteria: (1) nonnegativity, (2) rigidity (vanishing only for flat regions), (3) monotonicity under expansion, (4) convergence to the ADM energy in the large-sphere limit, and (5) convergence to the local energy density in the small-sphere limit.

The Hawking energy, defined for a surface $\Sigma$ as $E(\Sigma) = \sqrt{\frac{|\Sigma|}{16\pi}} \left( 1 - \frac{1}{16\pi} \int_\Sigma (H^2 - P^2) d\mu \right)$ (where $H$ is mean curvature and $P = \text{tr}_\Sigma k$ ), exhibits correct local behavior but fails to be nonnegative on arbitrary surfaces. Previous work established that in time-symmetric settings ( $k=0$ ), area-constrained critical surfaces of the Hawking functional (Willmore surfaces) form a unique foliation at infinity with desirable properties. This paper extends that framework to the dynamical setting ( $k \neq 0$ ), investigating whether area-constrained critical surfaces of the full Hawking functional (termed "Hawking surfaces") can form a foliation at infinity that restores positivity, rigidity, and monotonicity.

Methodology
The author employs a variational approach within the framework of asymptotically Schwarzschild initial data sets. The core methodology involves:

Variational Framework: The study focuses on area-constrained critical points of the Hawking functional $\mathcal{H}(\Sigma) = \int_\Sigma (H^2 - P^2) d\mu$ . These surfaces satisfy a specific Euler-Lagrange equation involving the mean curvature, the traceless second fundamental form, Ricci curvature, and terms derived from the second fundamental form $k$ of the initial data.
Lyapunov–Schmidt Reduction: Following the strategy of Eichmair and Koerber [13] for Willmore surfaces, the author constructs the foliation by perturbing large coordinate spheres. The infinite-dimensional problem of finding critical surfaces is reduced to a finite-dimensional critical point problem for a reduced functional $G_r(\xi)$ , where $\xi$ represents the center of the sphere.
Asymptotic Analysis: The paper analyzes the asymptotic behavior of the reduced functional $G_r(\xi)$ under specific decay conditions on the scalar curvature $Sc$ and the tensor $k$ . The author relaxes the "little-o" decay assumptions used in previous static works to "big-O" bounds with small constants, allowing for a broader class of initial data sets (including those with harmonic or York asymptotics).
Geometric Estimates: The proof utilizes detailed expansions of geometric quantities (mean curvature, trace of $k$ , etc.) on perturbed spheres. Key estimates involve controlling the translation parameter $\xi(r)$ to ensure the surfaces form a non-intersecting foliation and analyzing the coordinate center of the resulting family.

Key Contributions and Results

Existence and Uniqueness of Foliations:
The paper proves the existence of a global foliation by stable, area-constrained Hawking surfaces in the asymptotic end of $C^4$ -asymptotically Schwarzschild initial data sets. Under specific decay conditions on the scalar curvature (radial derivative bounds and parity conditions) and the tensor $k$ , there exists a unique family of surfaces $\{\Sigma(\lambda)\}$ foliating the exterior of a compact set. A uniqueness theorem is also established, showing that any area-constrained critical sphere with sufficiently large area and small traceless second fundamental form must belong to this foliation.
Relaxed Assumptions for Non-Foliated Families:
Under weaker assumptions (specifically, relaxing the radial derivative condition on scalar curvature), the author constructs an "on-center" family of Hawking surfaces. While this family is not guaranteed to be a foliation (surfaces may intersect), it still satisfies the large-sphere limit and positivity properties.
Physical Properties of the Hawking Energy:
- Large-Sphere Limit: The Hawking energy evaluated along the constructed foliation converges to the ADM energy $m$ as the area radius tends to infinity.
- Positivity and Rigidity: Under the dominant energy condition, the Hawking energy is nonnegative on the leaves of the foliation. A rigidity statement is proven: if the Hawking energy vanishes on a leaf and the scalar curvature is nonnegative outside, the data set is isometric to a spacelike hypersurface in Minkowski spacetime.
- Monotonicity: The paper establishes that the Hawking energy is monotonically non-decreasing along the foliation, provided an explicit integral constraint involving $k$ and its derivatives is satisfied. This constraint is verified to hold for initial data sets with harmonic asymptotics and York asymptotics, two significant classes of solutions to the Einstein constraint equations.
Coordinate Center Analysis:
The paper investigates the coordinate center of the foliation. It demonstrates that, unlike the time-symmetric Willmore foliation which coincides with the Hamiltonian center of mass under strong symmetry, the Hawking foliation's center is sensitive to the asymptotic distribution of both the scalar curvature and the second fundamental form $k$ . The center generally differs from the spacetime center of mass (STCMC) introduced by Cederbaum and Sakovich, unless specific parity and decay conditions are met.

Significance and Claims
The paper claims to demonstrate the robustness of Hawking surfaces as a tool for quasi-local energy in dynamical spacetimes. By extending the Eichmair–Koerber foliation framework to the dynamical setting ( $k \neq 0$ ), the author shows that, subject to technical assumptions (specifically regarding the decay and parity of $Sc$ and $k$ ), the Hawking energy satisfies the primary physical criteria for a quasi-local energy:

Positivity and Rigidity are restored on the critical surfaces.
The Large-Sphere Limit recovers the ADM energy.
Monotonicity holds for a broad class of physically relevant data (harmonic and York asymptotics).

The work highlights that while the Hawking energy on these surfaces behaves well, the monotonicity property relies on an integrability condition that is not automatically satisfied by all critical surfaces but is satisfied by the specific asymptotic models commonly used in general relativity. The paper concludes that these results, combined with existing small-sphere limit results, position Hawking surfaces as a viable candidate for defining quasi-local energy in dynamical initial data sets, provided the data satisfies the requisite asymptotic decay and symmetry conditions.