The index of the cosmological horizon and the area-charge-inequality

This paper investigates the index of marginally outer trapped surfaces (MOTS) representing cosmological horizons in Kerr-Newman-de Sitter spacetime, establishing that the index is at least one (and exactly one under specific mass bounds) and deriving an area-charge inequality for MOTS with index one under the dominant energy condition.

The Gist

Imagine the universe as a giant, stretching rubber sheet. In this sheet, massive objects like stars and black holes create deep dips or "gravity wells." Now, imagine a specific type of black hole that is spinning, has an electric charge, and exists in a universe that is also expanding (thanks to something called the "cosmological constant"). This is the Kerr-Newman-de Sitter spacetime.

The paper you provided is a mathematical investigation into the "skin" of the cosmological horizon in this universe. Think of the cosmological horizon not as a solid wall, but as a fence that marks the limit of what we can ever see or reach. Beyond this fence, the universe is expanding so fast that light can never catch up to us.

Here is a breakdown of what the author, Neilha Pinheiro, is doing, using simple analogies:

1. The "MOTS" (The Trapped Surface)

In physics, a MOTS (Marginally Outer Trapped Surface) is like the edge of a whirlpool. If you are standing on the edge, you are just barely holding on. If you step one inch further out, you might escape; one inch further in, and you are sucked in.

• The Analogy: Imagine a river flowing toward a waterfall. The MOTS is the exact line where the water's speed matches the speed of a swimmer trying to swim upstream. They aren't moving forward or backward relative to the water; they are stuck in a "marginal" state.
• The Goal: The author wants to study the "stability" of this line. Is it a wobbly, unstable line that will collapse easily? Or is it a sturdy, stable line?

2. The "Index" (The Stability Score)

The paper focuses on something called the Index.

• The Analogy: Think of the horizon as a trampoline.
  • Index 0 (Stable): If you push the trampoline, it springs back perfectly. It's happy and stable.
  • Index 1 (Unstable but simple): If you push it, it wobbles in one specific way before settling or collapsing. It has "one way" to be unstable.
  • Index 2 or higher (Very Unstable): The trampoline is so wobbly it can collapse in two or more different directions at once.
• The Finding: The author calculates this "wobble score" for the cosmological horizon.
  • If the black hole spins slowly (a small parameter $a$), the horizon is unstable (Index $\ge$ 1). It wants to change shape.
  • If the black hole is heavy enough (Mass is large), the horizon settles into Index 1. It has exactly one "wobble mode."
  • If the black hole is light enough (Mass is small), the horizon becomes very unstable (Index $\ge$ 2). It has multiple ways to collapse or change.

3. The "Area-Charge Inequality" (The Budget Rule)

The second half of the paper connects the size of this horizon (Area) to its electric charge.

• The Analogy: Imagine the horizon is a balloon. The author proves a rule about how much air (Area) you can put in the balloon based on how much static electricity (Charge) is on its surface.
• The Rule: You cannot have a tiny balloon with a massive amount of charge, nor a huge balloon with no charge, if the universe follows certain energy laws. There is a strict mathematical "budget" that links the size of the horizon to its charge and the expansion of the universe.
• Why it matters: This connects the abstract math of "wobbly surfaces" to the real physical laws of General Relativity. It tells us that if we find a black hole horizon that is "Index 1" (has one wobble), its size and charge must fit this specific formula.

Summary of the Story

1. The Setup: We are looking at the "edge of the observable universe" around a spinning, charged black hole.
2. The Investigation: The author asks, "How stable is this edge?"
3. The Result:
   • If the black hole spins a little, the edge is unstable.
   • Depending on how heavy the black hole is, the edge has either one specific way to be unstable or two or more ways.
4. The Big Picture: The author also proves a new rule: The size of this edge and its electric charge are locked together by a strict mathematical equation. If you know one, you can predict limits on the other.

In a nutshell: This paper is like a structural engineer inspecting the "fence" around a black hole. They determine how shaky the fence is (the Index) and prove that the fence's size and its electrical charge must follow a specific, unbreakable law (the Inequality). This helps physicists understand the fundamental rules that govern how black holes and the universe behave.

Technical Summary

1. Problem Statement

The paper investigates the geometric and spectral properties of Marginally Outer Trapped Surfaces (MOTS) within the context of General Relativity, specifically focusing on the cosmological horizon in the Kerr-Newman-de Sitter (KNdS) spacetime.

• Context: MOTS are surfaces where the outward null expansion vanishes ($\theta_+ = 0$). They serve as quasi-local indicators of black hole boundaries and transition zones between strong and weak gravitational fields.
• Specific Gap: While the index (number of negative eigenvalues of the stability operator) of MOTS in static or Reissner-Nordström-de Sitter (RNdS) spacetimes (where angular momentum $a=0$) is well-studied, the behavior of these surfaces in rotating spacetimes (where $a > 0$) is less understood.
• Core Question: How does the introduction of angular momentum ($a$) affect the stability index of the cosmological horizon? Specifically, does the index remain one (as in the static RNdS case) or change? Furthermore, can an area-charge inequality be established for MOTS with index one, analogous to known results for minimal surfaces?

2. Methodology

The author employs a combination of spectral perturbation theory, differential geometry, and variational methods.

• Stability Operators:
  • The study utilizes the MOTS stability operator $L$ and its symmetrized version $L_s$.
  • The index is defined as the number of negative eigenvalues of these operators.
  • A surface is stable if the principal eigenvalue $\lambda_1 \geq 0$ and unstable if $\lambda_1 < 0$.
• Perturbation Theory:
  • The paper analyzes the spectrum of the operator $L_s(a)$ as a perturbation of the operator $L_s(0)$ (the static RNdS case).
  • By establishing the sign of eigenvalues $\lambda_k(L_s(0))$ for the static case, the author uses continuity arguments to determine the sign of $\lambda_k(L_s(a))$ for small $a > 0$.
• Geometric Models:
  • The analysis is conducted on the Kerr-Newman-de Sitter metric (rotating, charged, with positive cosmological constant $\Lambda$) and its sub-cases (RNdS, Kerr-de Sitter, Schwarzschild-de Sitter).
  • The cosmological horizon is treated as a spatial cross-section $\Sigma$.
• Variational Techniques (Hersch's Trick):
  • To prove the area-charge inequality (Theorem 6), the author adapts Hersch's trick, typically used for minimal surfaces. This involves mapping the surface $\Sigma$ to a sphere $S^2$ via a conformal map and using Möbius transformations to construct test functions orthogonal to the first eigenfunction.

3. Key Contributions and Results

A. Index of the Cosmological Horizon in Rotating Spacetimes

The paper establishes precise conditions under which the cosmological horizon has a specific index in the symmetrized sense:

1. Instability (Index $\geq 1$):

   • Theorem 1: For a small angular momentum parameter $a > 0$, the principal eigenvalue $\lambda_1(L_s(a)) < 0$.
   • Result: The MOTS representing the cosmological horizon in KNdS spacetime is unstable and has an index of at least one. This generalizes previous results from the static RNdS case.

2. Exact Index One (Under Mass Constraints):

   • Theorem 3: If the mass parameter $m$ satisfies a specific lower bound relative to the charge $Q$ and cosmological constant $\Lambda$ (specifically $m > \frac{2Q^2}{3\sqrt{\beta_+}}$), then the second eigenvalue $\lambda_2(L_s(a)) > 0$.
   • Result: Under these conditions, the index is exactly one.
   • Degeneracy: If the equality holds in the mass bound, the surface is degenerate (index one, but $\lambda_2 = 0$).

3. Index at Least Two (Under Mass Constraints):

   • Theorem 4: If the mass $m$ is sufficiently small ($m < \frac{2Q^2}{3\sqrt{\beta_+}}$), then $\lambda_2(L_s(a)) < 0$.
   • Result: The index is at least two. This indicates that low-mass, highly charged, rotating cosmological horizons are significantly more unstable.

4. Special Cases:

   • Corollary 5: In the Kerr-de Sitter spacetime (uncharged, $Q=0$), the cosmological horizon has index one for small $a$.

B. Area-Charge Inequality for MOTS

• Theorem 6: The author establishes a geometric inequality linking the area $|\Sigma|$, the charge $Q(\Sigma)$, and the cosmological constant $\Lambda$ for a MOTS with index one in a Cauchy data set satisfying the dominant energy condition.
  • Inequality:
    $$\Lambda|\Sigma| + \frac{16\pi^2 Q(\Sigma)^2}{|\Sigma|} \leq 12\pi$$
  • Significance: This extends known inequalities for minimal surfaces (index one) to the context of MOTS in General Relativity.
  • Equality Case: Equality holds if and only if the surface is a specific type of sphere where the electric field is normal to the surface ($E = c\nu$) and the scalar curvature satisfies a specific relation with $\Lambda$.

4. Significance and Implications

1. Generalization of Stability Theory: The paper successfully bridges the gap between static and rotating black hole/cosmological horizon models. It confirms that the "index one" property of the cosmological horizon in static charged spacetimes is robust under small rotations, provided the mass is not too small.
2. Connection to General Relativity: By proving the area-charge inequality for MOTS with index one, the work strengthens the link between the spectral properties of trapped surfaces and the fundamental constraints of General Relativity (specifically the dominant energy condition).
3. Physical Interpretation of Mass Bounds: The results suggest a critical threshold for the mass of a rotating, charged universe. If the mass is too low relative to the charge, the cosmological horizon becomes highly unstable (index $\geq 2$), potentially implying different dynamical behaviors or phase transitions in the spacetime structure.
4. Methodological Advancement: The application of Hersch's trick to MOTS stability operators provides a new tool for deriving geometric inequalities in non-time-symmetric spacetimes, moving beyond the limitations of minimal surface theory.

In summary, Neilha Pinheiro's work provides a rigorous spectral analysis of the cosmological horizon in rotating spacetimes, classifying its stability based on physical parameters and establishing a fundamental geometric inequality that connects the area, charge, and cosmological constant for unstable trapped surfaces.