Foliation of null cones by surfaces of constant spacetime mean curvature near MOTS

This paper utilizes flow techniques to demonstrate that a neighborhood of a stable Marginally Outer Trapped Surface (MOTS) within a null cone can be foliated by hypersurfaces of constant spacetime mean curvature, while also providing methods to construct such surfaces with prescribed curvature.

The Gist

Imagine the universe as a vast, four-dimensional ocean. In this ocean, gravity isn't just a force; it's the shape of the water itself. Sometimes, this water gets so twisted and dense that it forms a whirlpool so strong that nothing, not even light, can escape. We call the edge of this whirlpool a Black Hole.

But how do we find the exact edge of a black hole if we can't see it? That's where this paper comes in.

The Problem: Finding the Invisible Edge

The authors are looking for a specific type of surface called a MOTS (Marginally Outer Trapped Surface). Think of a MOTS as the "event horizon" or the exact boundary line of a black hole.

• The Analogy: Imagine standing on a beach at the edge of a stormy sea. If you throw a ball into the air, it falls back down. If you throw it harder, it goes higher but still falls. The MOTS is the exact spot where, if you threw a ball (or a beam of light) outward, it would hover there, neither escaping to the open sea nor falling back in. It's the "point of no return."

The paper asks: If we find this boundary (the MOTS), can we map out the entire neighborhood around it? Can we fill the space around this black hole edge with a series of smooth, perfectly shaped layers, like the rings of an onion or the layers of a cake?

The Solution: The "Curvature Flow"

The authors use a mathematical technique called a flow.

• The Analogy: Imagine you have a blob of clay. You want to smooth it out until it becomes a perfect sphere. You push and pull the clay, letting it relax into the smoothest shape possible.
• In the Paper: They start with a surface near the black hole and "flow" it forward in time. They push the surface in a specific direction (along the path of light rays) until it settles into a shape where its "curvature" is perfectly constant.

They prove that if you start near a stable black hole edge, you can keep doing this, creating an infinite stack of these perfect, constant-curvature layers. This stack is called a foliation.

Why "Spacetime Mean Curvature"?

Usually, when we talk about curvature, we think of a curve on a piece of paper. But in space and time, things are more complex.

• The Analogy: Imagine a trampoline. If you put a bowling ball on it, the fabric curves down. That's spatial curvature. But in the universe, time is also part of the fabric. "Spacetime mean curvature" is like measuring how the trampoline curves while the fabric is also stretching or shrinking in time.
• The authors found a way to measure this combined "stretch-and-bend" and prove that you can build a whole family of surfaces where this measurement is exactly the same for every layer.

The "Recipe" for Success

The paper has two main parts:

1. The Map (Theorem 1.1): If you find a stable black hole edge (MOTS), you can automatically generate a perfect map of the space around it using these special layers. It's like saying, "If you find the center of a ripple in a pond, you can predict the shape of every single ripple expanding outward."
2. The Custom Design (Theorem 1.2): Not only can they find these natural layers, but they can also design them. They can force the surface to have a specific curvature you choose.
   • The Analogy: It's like being a baker who can not only make a perfect cake but can also bake a cake with a specific number of layers, a specific height, and a specific flavor, provided the kitchen (the universe) isn't too chaotic.

The "Stability" Condition

There is a catch. The black hole edge must be stable.

• The Analogy: Think of a pencil balanced on its tip. It's a "surface," but if you breathe on it, it falls. That's unstable. Now think of a pencil lying flat on a table. If you nudge it, it wobbles but stays put. That's stable.
• The authors prove that if the black hole edge is like the pencil on the table (stable), the layers will form perfectly. If it's like the pencil on its tip (unstable), the layers might collapse or break apart.

Why Does This Matter?

You might ask, "Who cares about mathematical layers around black holes?"

• Measuring the Universe: In physics, to calculate things like the "center of mass" of a galaxy or a black hole, you need a standard way to measure space. These layers act like a ruler. By having a perfect, smooth stack of surfaces, scientists can finally measure the mass and spin of isolated black holes with high precision.
• Understanding Gravity: It helps us understand how space and time behave in the most extreme environments in the universe.

Summary

In simple terms, this paper proves that if you find a stable black hole boundary, you can build a perfect, infinite ladder of smooth surfaces around it. These surfaces act like a coordinate system, allowing us to measure the universe's most mysterious objects with mathematical precision. It turns the chaotic, invisible edge of a black hole into a structured, understandable map.

Technical Summary

1. Problem Statement and Context

The Core Problem:
The paper addresses the geometric problem of constructing a foliation (a decomposition into non-intersecting layers) of a neighborhood of a Marginally Outer Trapped Surface (MOTS) within a null hypersurface (specifically a null cone). The goal is to foliate this region using hypersurfaces of Constant Spacetime Mean Curvature (STCMC).

Background & Motivation:

• MOTS and Black Holes: MOTS are surfaces where the outward null expansion is zero. Their existence is a key indicator of black holes in General Relativity (via the Hawking-Penrose singularity theorems).
• STCMC Surfaces: These are hypersurfaces $\Sigma$ where the squared norm of the spacetime mean curvature vector is constant: $|\vec{H}|^2 = 2\theta\bar{\theta} = \lambda$. In asymptotically flat spacetimes, foliations by STCMC surfaces are crucial for defining the center of mass of isolated systems (Cederbaum-Sakovich, Huisken-Yau).
• Existing Methods: Previous approaches to finding MOTS or foliations often relied on flows within spacelike slices (e.g., Bourni-Moore's null mean curvature flow) or inverse mean curvature flows. However, flows within the null hypersurface itself are more natural for studying the geometry of light cones.
• The Gap: While the existence of STCMC foliations in Riemannian manifolds and asymptotically flat ends is well-studied, the specific problem of foliating a null cone near a stable MOTS using STCMC leaves had not been rigorously solved using flow techniques in this specific setting.

2. Methodology

The authors employ geometric flow techniques (specifically curvature flows) to construct the desired foliation.

Key Definitions and Setup:

• Null Cone Structure: The null cone $\bar{N}$ is modeled as a product $[0, \Lambda) \times S_0$, where $S_0$ is a compact spacelike base manifold (the MOTS). The cone is generated by a null vector field $\bar{L}$ satisfying $\bar{D}_{\bar{L}}\bar{L} = 0$.
• STCMC Condition: A hypersurface $\Sigma$ is $\lambda$-STCMC if $|\vec{H}|^2 = 2H\bar{\theta} = \lambda$, where $H$ is the mean curvature relative to the null cone and $\bar{\theta}$ is the expansion of the null generators.
• Stability: A MOTS is defined as stable if the associated stability operator (Jacobi operator) $L_\Sigma f = -\Delta f - 2\tau(\nabla f) + fB$ has a positive eigenvalue (or admits a positive function $f$ such that $L_\Sigma f > 0$).

The Flow Strategy:
The authors construct the foliation by running a family of flows parameterized by $\lambda$.

1. Prescribed Mean Curvature Flow (PMCF): They define a flow of graphs $x(t, z) = (\omega(t, z), z)$ within the null cone governed by:
   $$\dot{x} = \left( \frac{\lambda}{2\bar{\theta}} - H \right) \bar{L}$$
   Here, the flow speed is aligned with the null generator $\bar{L}$. The term $\frac{\lambda}{2\bar{\theta}}$ acts as the prescribed curvature forcing term.
2. Evolution Equations: The authors derive detailed evolution equations for the metric, second fundamental form, mean curvature $H$, and the gradient function $u = \frac{1}{2}|\nabla \omega|^2$.
3. A Priori Estimates: The core of the proof relies on establishing $C^1$-estimates (bounds on the gradient $u$).
   • They use a maximum principle argument on a test function $\phi = u \mu^{-2}(\omega)$, where $\mu$ is a carefully constructed barrier function.
   • The existence of a suitable $\mu$ depends on the geometry of the ambient null cone (specifically bounds on the shear $\bar{\chi}$ and Ricci curvature $Rc(\bar{L}, \bar{L})$).
4. Continuity Method: By proving that the flow exists for all time and converges smoothly to a stationary solution (a $\lambda$-STCMC surface) for small $\lambda$, they use the Implicit Function Theorem to extend this to a continuous family of surfaces, forming a foliation.

3. Key Contributions

1. Existence of STCMC Foliation near MOTS:
   The primary result (Theorem 1.1) proves that if a MOTS $\Sigma_0$ is stable, there exists a neighborhood of $\Sigma_0$ in the future null cone that can be foliated by smooth $\lambda$-STCMC hypersurfaces for $\lambda \in [0, \sigma)$, where $\sigma > 0$.

   • The foliation is unique in the sense that any $\lambda$-STCMC surface contained in the union of the leaves must be one of the leaves.
   • The foliation either extends indefinitely, leaves every compact set, or terminates at a surface where curvature blows up or stability is lost.

2. Prescribed Curvature Problem in Null Hypersurfaces:
   The authors solve a broader geometric problem (Theorem 1.2): constructing surfaces with arbitrary prescribed spacetime mean curvature $\rho$ within a null cone.

   • They establish conditions under which the flow converges to a surface satisfying $|\vec{H}|^2 = \rho$.
   • This requires specific geometric bounds on the null cone (related to rotational symmetry and curvature) to ensure the existence of the necessary barrier functions.

3. Refined Stability Analysis:
   The paper provides a rigorous definition of stability for MOTS in the context of null cones and links it directly to the local existence of the STCMC foliation. It clarifies the relationship between the stability operator and the variation of the spacetime mean curvature.

4. Main Results

Theorem 1.1 (Foliation near Stable MOTS):
Let $\Sigma_0$ be a stable MOTS in a null cone $\bar{N}$. Then:

• There exists a strictly increasing smooth foliation of a future region of $\Sigma_0$ by stable $\lambda$-STCMC hypersurfaces for $\lambda \in [0, \sigma)$ with $\sigma > 0$.
• The foliation is unique.
• The foliation terminates if it leaves all compact sets, if curvature blows up, or if the limit surface is unstable.

Theorem 1.2 (Prescribed Curvature):
Under specific geometric constraints on the null cone (bounds on shear and Ricci curvature involving constants $c_{\bar{\chi}}, c_R, C_R$), and given a smooth function $\rho$ bounded between two barriers, there exists a flow that converges smoothly to a hypersurface with $|\vec{H}|^2 = \rho$.

• The result holds provided a specific discriminant constant $D$ (derived from the geometric bounds) is non-negative, or if $D < 0$, the domain is restricted to a specific range.

5. Significance

• Geometric Analysis of Black Holes: This work provides a new tool for analyzing the geometry of spacetime near black holes. By foliating the null cone near a MOTS with STCMC surfaces, one can potentially define quasi-local mass and center of mass in a more robust way than previous methods.
• Extension of Flow Techniques: It demonstrates that curvature flows can be successfully adapted to null hypersurfaces, a setting that is more singular and degenerate than spacelike slices. The derivation of evolution equations and estimates in this setting is a significant technical achievement.
• Connection to Rotational Symmetry: The conditions in Theorem 1.2 suggest that the existence of such foliations is closely tied to the ambient spacetime being "close" to rotationally symmetric (e.g., Schwarzschild). This offers insight into the stability of these geometric structures under perturbations.
• Foundation for Future Work: The techniques developed (specifically the barrier functions for the gradient estimates in null geometry) can be applied to other problems involving prescribed curvature in Lorentzian manifolds and the study of trapped surfaces.

In summary, Lambert and Scheuer successfully bridge the gap between the theory of MOTS and the theory of constant mean curvature foliations in the context of null geometry, providing a rigorous existence proof for STCMC foliations near stable black hole horizons.