A note on the instability of the Kerr Cauchy horizon under linearised gravitational perturbations

This paper strengthens the established result on the linear instability of the Kerr Cauchy horizon, providing a crucial component for the proof of its non-linear instability.

The Gist

The Big Picture: The "Unbreakable" Wall Inside a Black Hole

Imagine a rotating black hole (a Kerr black hole) as a giant, cosmic whirlpool. We know that if you fall in, you pass the Event Horizon (the point of no return). But deep inside, there is a theoretical boundary called the Cauchy Horizon.

In the world of classical physics, the Cauchy Horizon is like a "glass wall" inside the black hole. If you could survive the trip there, you might theoretically see the entire future of the universe flash before your eyes, or even escape into a parallel universe. It represents a place where the laws of physics as we know them might stop working, but the math suggests the wall itself is smooth and passable.

The Problem: For decades, physicists have suspected this "glass wall" is actually a lie. They think that if you actually put a real black hole in the universe (with stars, gas, and gravitational waves crashing into it), this wall wouldn't be smooth at all. Instead, it would turn into a violent, infinite storm of energy that would tear anything apart. This is called instability.

What This Paper Does: Sharpening the Knife

Jan Sbierski's paper is a technical "proof of concept" that strengthens the evidence for this instability.

Think of the previous research (specifically a paper by a colleague, referenced as [8]) as a detective who found a clue that the glass wall is cracked. The detective said, "If you look closely, the cracks are getting bigger."

Sbierski says, "Let's look even closer." He takes that previous detective work and adds a few more assumptions about how the "cracks" behave. He proves that not only are the cracks getting bigger, but they are growing in a very specific, predictable, and violent way.

The Main Takeaway:
He proves that if you throw a tiny ripple of gravity (a gravitational wave) into a rotating black hole, that ripple doesn't just fade away. As it travels toward the inner Cauchy Horizon, it gets amplified until it becomes an infinite, unmanageable explosion of energy.

The Key Ingredients (The "How")

To understand the paper, we need three metaphors:

1. The "Teukolsky Field" (The Ripple)

The paper studies a specific mathematical object called the Teukolsky field.

• Analogy: Imagine dropping a single pebble into a calm pond. The ripples spreading out are the Teukolsky field. In a black hole, these ripples are gravitational waves.
• The Twist: The paper looks at how these ripples behave when they hit the "Event Horizon" (the outer edge) and then travel inward to the "Cauchy Horizon" (the inner wall).

2. The "Modes" (The Notes of a Chord)

The author breaks the gravitational ripple down into different "notes" or frequencies, called modes (specifically the $l=2$ mode).

• Analogy: Think of a piano chord. The lowest note (the bass) is the $l=2$ mode. The higher notes are the other modes.
• The Discovery: Sbierski assumes that the "bass note" (the $l=2$ mode) is the loudest and decays the slowest on the outer edge. He proves that because this bass note is so persistent, it carries its energy all the way to the inner wall, causing the explosion there. The higher notes fade away, but the bass note screams forever.

3. The "Blow-Up" (The Explosion)

The core result is a blow-up.

• Analogy: Imagine a sound system in a room. If you turn the volume up just a little bit, it's fine. But if you keep turning it up, eventually the speakers blow out.
• The Math: Sbierski proves that as the gravitational wave gets closer to the Cauchy Horizon, the "volume" (the energy) doesn't just get loud; it goes to infinity. The energy becomes so high that the smooth "glass wall" shatters into a "weak null singularity."

Why This Matters: The "Lipschitz" Wall

The paper mentions a result called $C^{0,1}_{loc}$-inextendibility. That sounds like gibberish, but here is the simple version:

• The Old View: Maybe the Cauchy Horizon is a "rough" wall, but you could still walk right up to it and touch it. It's just a bit bumpy.
• The New View (Sbierski's contribution): The wall isn't just bumpy; it's jagged. It's so jagged that you can't even define a "slope" or a "direction" at that point. It's a mathematical dead end.
• The Consequence: This proves that the "future" inside the black hole is not predictable. The laws of physics break down completely. You cannot extend the story of the universe past this point.

The "Secret Sauce" of the Paper

Sbierski's paper is a "slight strengthening" of previous work. How?

1. Better Assumptions: He assumes the gravitational waves behave in a very specific, realistic way on the outer edge of the black hole.
2. Odd Powers: He allows for some mathematical "oddities" (odd powers in the energy weights) that previous proofs ignored. This makes the proof more robust and applicable to real-world scenarios.
3. The "Graph" Surface: He proves this explosion happens not just on a perfect line, but on any surface that gets close to the inner wall. This makes the result much more general.

The Conclusion: The End of the "Time Machine"

For a long time, science fiction and theoretical physics wondered if rotating black holes were time machines or portals to other universes. The Cauchy Horizon was the gateway.

This paper, along with the work it supports (specifically the collaboration with Luk mentioned in the text), delivers a final verdict: The gateway is locked.

Because of the instability of gravitational waves, the Cauchy Horizon will always turn into a violent, infinite singularity before you can pass through it. The "smooth passage" to the future or other dimensions is mathematically impossible. The black hole is a one-way street that ends in a wall of infinite energy, not a door to another world.

In short: The universe protects itself. If you try to peek behind the curtain of a black hole, the curtain doesn't just move; it catches fire.

Technical Summary

1. Problem Statement

The paper addresses the linear instability of the Cauchy horizon inside subextremal rotating (Kerr) black holes. Specifically, it investigates the behavior of the spin-2 Teukolsky equation (governing gravitational perturbations) near the Cauchy horizon.

• Context: Previous work by the author (reference [8]) established that solutions to the Teukolsky equation exhibit a "blow-up" (divergence) at the Cauchy horizon, indicating instability. However, the estimates derived in [8] were slightly insufficient to fully satisfy the assumptions required for proving the non-linear instability and the $C^{0,1}_{loc}$-inextendibility (Lipschitz inextendibility) of the spacetime metric in subsequent joint work with Luk (reference [6]).
• Goal: The paper aims to slightly strengthen the blow-up estimates from [8]. The objective is to prove that under slightly stronger (but still generic) assumptions on the decay of the field along the event horizon, the field exhibits specific blow-up behaviors near the Cauchy horizon that are strong enough to verify the conditions for non-linear instability and Lipschitz inextendibility.

2. Methodology

The author employs a modification of the energy estimate techniques used in [8], incorporating advanced tools from harmonic analysis and fractional Sobolev spaces.

• Framework: The analysis is conducted on the interior of a subextremal Kerr black hole using $(v_+, r, \theta, \phi_+)$ coordinates. The Teukolsky equation is analyzed for spin $s=2$ fields.
• Assumptions on Event Horizon ($H^+_r$): The paper assumes specific asymptotic decay rates for the Teukolsky field $\psi$ along the event horizon:
  • The $l=2$ angular mode (the dominant mode) decays with a specific polynomial weight $v_+^q$ such that the integral diverges (blow-up condition).
  • Higher angular modes ($l > 2$) and time derivatives decay slightly faster (with weights $v_+^{q-\epsilon}$ or similar).
• Mathematical Tools:
  • Fractional Sobolev Spaces: The author utilizes $H^{k+1/2}$ spaces defined via Gagliardo semi-norms. A key technical step involves proving that if a function $h$ is not in $H^{1/2}$ but $\omega h$ is, then $h$ fails to be in $H^{1/2}$ locally near $\omega=0$. This is used to analyze the regularity of the Fourier transform of the field near zero frequency.
  • Mode Decomposition: The field is decomposed into spherical harmonic modes ($\psi_{S(m l)}$). The author proves that the non-commutativity of the projection operator $P_{S(l>2)}$ with the Teukolsky operator generates inhomogeneous terms that decay faster, allowing the propagation of improved decay estimates for higher modes.
  • Propagation: The estimates are propagated from the event horizon to the Cauchy horizon and then to a general hypersurface $\Sigma$ approaching the Cauchy horizon.

3. Key Contributions and Improvements

The paper provides three specific improvements over the result in [8]:

1. Refined Decay Assumptions and Conclusions: By assuming the $l=2$ mode has the slowest decay on the event horizon and higher modes/derivatives decay faster, the author proves that these specific decay rates (and the corresponding blow-up rates) are preserved near the Cauchy horizon.
2. General Hypersurfaces: The instability result is formulated not just on a specific coordinate slice but on a general hypersurface $\Sigma$ that approaches the Cauchy horizon asymptotically. This makes the result more robust for geometric applications.
3. Odd Polynomial Weights: The energy norms are allowed to capture decay and blow-up using odd powers in the polynomial weights (e.g., $v_+^q$ where $q$ can be an odd integer). This flexibility is crucial for handling the specific asymptotic behaviors of generic initial data.

4. Main Results

The central result is Theorem 2.2, which establishes the following bounds for a solution $\psi$ satisfying the Teukolsky equation and the specific horizon assumptions:

• Blow-up of the Dominant Mode: The weighted $L^2$ norm of the $l=2$ mode diverges on the hypersurface $\Sigma$:
  $$\int_{\Sigma} v_+^q |\psi_{S(l=2)}|^2 \, d\text{vol}_{S^2} dv_+ = \infty$$
• Boundedness of Higher Modes and Derivatives:
  • The weighted norm of the full field (excluding the $l=2$ divergence) remains finite: $\int_{\Sigma} v_+^{q-\epsilon} |\psi|^2 < \infty$.
  • The weighted norm of the time derivative remains finite: $\int_{\Sigma} v_+^q |\partial_{v_+}\psi|^2 < \infty$.
  • The weighted norm of the higher angular modes ($l > 2$) remains finite: $\int_{\Sigma} v_+^q |\psi_{S(l>2)}|^2 < \infty$.

Proposition 4.13 is a critical intermediate result, proving that under the given assumptions, the Fourier transform of the $l=2$ mode near the Cauchy horizon fails to belong to a specific fractional Sobolev space ($H^{q/2 + \epsilon}$), which mathematically guarantees the blow-up of the energy integral.

5. Significance

• Resolution of Non-Linear Instability: This note is a critical component in the proof (published in reference [6] with Luk) of the non-linear instability of the Kerr Cauchy horizon. The strengthened linear estimates provided here are the necessary input to show that generic perturbations lead to a curvature singularity that prevents the spacetime from being extended as a $C^{1,1}$ (or even $C^{0,1}$) metric.
• Strong Cosmic Censorship: The results support the Strong Cosmic Censorship Conjecture in the context of rotating black holes. By demonstrating that the Cauchy horizon is unstable and leads to a "weak null singularity" that is Lipschitz-inextendible, the paper suggests that the deterministic nature of general relativity is preserved (i.e., the future is uniquely determined by initial data, as the Cauchy horizon is not a valid boundary for extension).
• Technical Rigor: The paper bridges the gap between linear stability analysis and non-linear geometric analysis by providing the precise regularity estimates required to handle the non-linear Einstein equations.

In summary, Sbierski's note refines the mathematical understanding of gravitational perturbations in Kerr black holes, providing the precise "blow-up" estimates needed to confirm that the Cauchy horizon is a physical singularity rather than a smooth boundary, thereby reinforcing the Strong Cosmic Censorship conjecture.