New bounds for the area of MOTS and generalized ultra-massive spacetimes

This paper establishes new area bounds for general closed marginally trapped surfaces that depend on Einstein tensor components and stability parameters, revealing that these bounds are realized in "ultra-massive" spacetimes where the entire external region collapses without an event horizon, a phenomenon occurring for both positive and non-positive cosmological constants under sufficient energy-momentum conditions.

The Gist

The Big Picture: Measuring the "Unmeasurable"

Imagine you are trying to measure the size of a black hole. In physics, we usually look at the Event Horizon—the point of no return. But what if you are looking at a black hole that is still growing, or one that is behaving strangely? You can't always see the final boundary.

Instead, physicists look at Marginally Trapped Surfaces (MTS). Think of these as the "skin" of a black hole at a specific moment in time. It's a closed surface where light trying to escape is just barely failing to get out; it's stuck on the edge.

This paper, written by José M. M. Senovilla, introduces a new rule for how big these "skins" can get. It turns out there is a maximum size limit for these surfaces, but the limit depends on two things:

1. The "Stiffness" of the Surface: How stable is it? (Is it wobbly or rock-solid?)
2. The "Pressure" Inside: How much energy and gravity are pushing on it from the inside?

The Main Discovery: The "Ceiling" on Size

The paper proves a mathematical formula that acts like a ceiling for the area of these surfaces.

• The Analogy: Imagine you are inflating a balloon. Usually, you can keep blowing air into it until it pops. But in this universe, there is a magical rule: if the air inside gets too dense (high energy) or the balloon gets too stable, the balloon simply cannot grow any larger. If you try to force it bigger, the rules of physics change, and the balloon stops being a "balloon" and turns into something else entirely.

The formula says:

(Stability Factor + Energy Factor) × Area ≤ A Constant Number

If the energy inside is very high (a positive value), the area is forced to stay small. If the area tries to get huge, the "Stability Factor" must become negative, meaning the surface becomes unstable and collapses or transforms.

The Plot Twist: "Ultra-Massive" Spacetimes

The most exciting part of the paper is what happens when you try to break this limit.

In the past, scientists thought that if you had a lot of energy (like a positive cosmological constant, or "dark energy"), the universe would just create a bigger black hole. But this paper says: No.

If you keep adding energy and the surface tries to reach that maximum size limit, something wild happens. The surface stops being a "black hole" (which has an event horizon and a safe outside) and turns into an Ultra-Massive Spacetime.

• The Analogy: Imagine a city wall.
  • Normal Black Hole: The wall has a gate. If you are outside, you are safe. If you cross the wall, you are trapped.
  • Ultra-Massive Spacetime: The wall doesn't just trap you; it swallows the whole world. There is no "outside" anymore. The entire region is collapsing inward. It's like a black hole that grew so big it ate the concept of "outside." There is no escape route, no horizon, just a universal collapse.

The paper shows that these "Ultra-Massive" objects are even more extreme than black holes. They are like a cosmic singularity where the entire universe is falling in, with no way out.

The "Magic Sphere" (The Distinguished Round Sphere)

The paper describes a special moment in this process. As the surface grows and hits the maximum size limit, it becomes a perfect, smooth sphere (like a billiard ball) with a specific curvature.

• The Analogy: Think of a river flowing toward a waterfall.
  • The Dynamical Horizon is the river flowing fast (spacelike).
  • The Ultra-Massive Spacetime is the waterfall itself.
  • The Distinguished Round Sphere is the exact edge of the waterfall where the water stops flowing forward and starts falling straight down.

At this specific sphere, the nature of the surface changes. It stops being a "wall" that moves through space and becomes a "membrane" that moves through time. This is the tipping point where a black hole becomes an ultra-massive spacetime.

Why Does This Matter?

1. It's Not Just About Black Holes: This applies to any situation where gravity is crushing matter, even if there isn't a traditional black hole yet.
2. Cosmic Collisions: When two very dense objects (like neutron stars) crash into each other, they might not just form a black hole. If the energy is high enough, they might trigger this "Ultra-Massive" state, creating a region of space that collapses entirely.
3. No Escape: In these new scenarios, the "outside" of the object doesn't exist in the way we think. The whole universe around it is part of the collapse.

Summary in One Sentence

This paper discovers that gravity has a strict "speed limit" for how big a trapped surface can get before it stops being a black hole and turns into a terrifying, all-consuming "Ultra-Massive" spacetime where the entire universe collapses inward with no escape.

Technical Summary

1. Problem Statement

The paper addresses the fundamental question of bounding the area of Marginally Outer Trapped Surfaces (MOTS) and Marginally Trapped Surfaces (MTS) in general spacetimes.

• Context: In General Relativity (GR), the area of a stable MOTS is often associated with the entropy and size of a black hole. Previous bounds (e.g., in [13, 14]) relied heavily on the assumption that the MOTS is stable within a specific initial spacelike hypersurface and satisfied the Dominant Energy Condition (DEC).
• Limitation of Previous Work: Existing bounds were often non-optimal because they restricted perturbations to a single initial slice. Furthermore, they did not fully account for scenarios where the surface might be unstable within the initial slice but stable in other directions, or where the spacetime contains extreme matter configurations (like those leading to "ultra-massive" spacetimes).
• Goal: To derive general area bounds for MOTS/MTS that do not require stability assumptions, apply to any gravitational theory based on Lorentzian manifolds, and characterize the spacetime structures that realize these bounds (specifically, "generalized ultra-massive spacetimes").

2. Methodology

The author employs a geometric analysis approach using the stability operator for MOTSs, originally introduced in [2, 3].

• Definitions:

  • Let $S$ be a closed spacelike 2-surface with genus $g$.
  • Let $\vec{\ell}$ and $\vec{k}$ be future-pointing null normal vectors normalized such that $\ell^\mu k_\mu = -1$.
  • The mean curvature vector is $\vec{H} = -\theta_\ell \vec{k} - \theta_k \vec{\ell}$. For an MTS, $\theta_k = 0$ and $\theta_\ell < 0$.
  • Stability Operator ($L_n$): Defined for an external normal direction $\vec{n}$. The principal eigenvalue $\lambda_n$ determines stability: $\lambda_n \geq 0$ implies stability; $\lambda_n > 0$ implies strict stability.

• Key Constants:

  • $\mu_S$: Defined as the minimum of the Einstein tensor component on the surface:
    $$\mu_S = \min_S (G_{\mu\nu} \ell^\mu k^\nu)$$
  • $\lambda_{-\ell}$: The principal eigenvalue of the stability operator in the specific null direction $-\vec{\ell}$.

• Derivation Strategy:

  1. The author integrates the stability equation (an elliptic operator equation involving the Laplacian, Gaussian curvature $K$, and matter terms) over the compact surface $S$.
  2. By applying the Gauss-Bonnet theorem ($\int_S K dA = 4\pi(1-g)$), the author relates the area $A_S$ to the constants $\mu_S$ and $\lambda_n$.
  3. The derivation utilizes the non-negativity of specific terms (like the shear squared $W$) to establish inequalities.

3. Key Contributions and Results

A. General Area Bound (Result 3.1 & 3.2)

The paper establishes a universal inequality for the area $A_S$ of any MOTS $S$:
$$(\mu_S + \lambda_{-\ell}) A_S \leq 4\pi(1 - g)$$

• Significance: This bound holds regardless of whether the surface is stable or unstable, provided the term $(\mu_S + \lambda_{-\ell})$ is positive.
• Equality Conditions: Equality is achieved only if the surface is a "round sphere" (constant Gaussian curvature), the Einstein tensor component is constant ($G_{\mu\nu}\ell^\mu k^\nu = \mu_S$), and specific conditions on the stability eigenfunction are met.
• Implications for Topology:
  • If $\mu_S > 0$ and the genus $g > 0$, the surface cannot be stable along $-\vec{\ell}$ (i.e., $\lambda_{-\ell}$ must be negative).
  • If $\mu_S > 0$ and the area exceeds $4\pi/\mu_S$, the surface is necessarily unstable.

B. Generalized Ultra-Massive Spacetimes

The paper extends the concept of "ultra-massive spacetimes" (previously defined for $\Lambda > 0$) to cases with arbitrary $\Lambda$ (positive, zero, or negative), provided the energy-momentum content is sufficiently strong.

• Definition: A spacetime is "generalized ultra-massive" if it contains a dynamical horizon foliated by MTSs $\{S_s\}$ such that:
  1. $W \geq 0$ everywhere.
  2. $\bar{\mu} = \inf(\mu_{S_s}) > 0$.
  3. The areas of the foliating spheres approach the bound $4\pi/\bar{\mu}$.
• Theorem 5.1: In such spacetimes:
  • The dynamical horizon is part of a Marginally Trapped Tube (MTT) with topology $\mathbb{R} \times S^2$.
  • There exists a distinguished surface $\bar{S}$ where the area reaches the maximum bound $A_{\bar{S}} = 4\pi/\bar{\mu}$.
  • At $\bar{S}$, the MTT changes its causal signature from spacelike (dynamical horizon) to timelike (timelike membrane).
  • The surface $\bar{S}$ has constant Gaussian curvature $K = \bar{\mu}$.
  • These spacetimes typically lack an event horizon and future null infinity, ending in a singularity where the entire external region is collapsing.

C. Physical Interpretation in General Relativity

In GR, $\mu_S$ is related to physical quantities via the Einstein equations ($G_{\mu\nu} = 8\pi T_{\mu\nu} - \Lambda g_{\mu\nu}$):
$$\mu_S = \Lambda + \min_S (T_{\mu\nu} \ell^\mu k^\nu)$$
The paper analyzes contributions from various matter fields:

• Cosmological Constant ($\Lambda$): If $\Lambda > 0$, it provides a universal lower bound for $\mu_S$.
• Electromagnetic Fields: Always contribute positively to $\mu_S$ (satisfying DEC).
• Scalar Fields & Perfect Fluids: Can contribute positively if the potential $V(\phi)$ or energy density $\rho$ is sufficiently large.
• Null Dust: Contributes positively if the energy density is positive.

This implies that even with $\Lambda \leq 0$, if the matter density (or electromagnetic charge) is high enough, $\mu_S$ becomes positive, leading to the formation of ultra-massive spacetimes.

4. Significance and Implications

1. Beyond Black Holes: The results demonstrate that the "maximum size" implied by area bounds does not necessarily cap the size of black holes. Instead, exceeding these bounds leads to a phase transition where the horizon becomes timelike, creating ultra-massive spacetimes. These are distinct from black holes as they possess no event horizon and no escape to infinity.
2. Optimality of Bounds: The paper corrects previous literature by showing that bounds derived solely from initial data slices are often non-optimal. The true limit is determined by the stability in the null direction $-\vec{\ell}$, which can be stricter.
3. Astrophysical Relevance: The findings suggest that binary mergers or accretion onto very compact objects could potentially trigger the formation of these ultra-massive spacetimes if the energy density is extreme, rather than forming standard black holes.
4. Generality: The results are independent of specific field equations, making them applicable to alternative theories of gravity based on Lorentzian geometry, provided the geometric definitions of MOTS and stability hold.

Conclusion

Senovilla provides a rigorous geometric framework showing that the area of marginally trapped surfaces is bounded by a combination of the Einstein tensor component and the stability eigenvalue. When this bound is saturated, the spacetime structure undergoes a fundamental change, transitioning from a black hole-like dynamical horizon to a timelike membrane, characterizing a new class of "generalized ultra-massive" objects that exist even without a positive cosmological constant.