Recognition: 2 theorem links
· Lean TheoremA note on the instability of the Kerr Cauchy horizon under linearised gravitational perturbations
Pith reviewed 2026-05-10 19:45 UTC · model grok-4.3
The pith
A modest technical extension of linear instability estimates for the Kerr Cauchy horizon removes a barrier to proving its nonlinear instability.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The note demonstrates that the linear instability of the Kerr Cauchy horizon under small gravitational perturbations holds under a modestly enlarged set of technical conditions, thereby making the linear result available for use in a nonlinear instability analysis.
What carries the argument
The strengthened linear instability estimates near the Cauchy horizon, obtained by extending the conditions under which prior growth bounds remain valid.
If this is right
- The linear instability applies to a broader class of perturbation data than previously established.
- The extended estimates suffice as input for closing the nonlinear instability argument.
- Unbounded growth of linearized perturbations is confirmed in the parameter regime needed for the nonlinear result.
- The Cauchy horizon cannot remain regular under small perturbations once the strengthened conditions are met.
Where Pith is reading between the lines
- The same modest extension technique could be tested on other stationary black-hole spacetimes that possess Cauchy horizons.
- If the nonlinear instability holds, the interior geometry of generic Kerr-like black holes is expected to contain a spacelike singularity replacing the Cauchy horizon.
- The result tightens the conditions under which the strong cosmic censorship conjecture can be verified for rotating black holes.
Load-bearing premise
The estimates and technical conditions from the earlier linear analysis carry over without obstruction when the claimed modest extension is applied.
What would settle it
An explicit construction or numerical computation showing that perturbations remain bounded for data satisfying the new extended conditions would disprove the strengthening.
read the original abstract
This note slightly strengthens the result of arXiv:2201.12295 on the linear instability of the Kerr Cauchy horizon. This strengthened result is used in the proof arXiv:2604.04877 of the non-linear instability of the Kerr Cauchy horizon.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This short note claims to slightly strengthen the linear instability result for the Kerr Cauchy horizon under linearized gravitational perturbations from arXiv:2201.12295. The strengthened statement is presented as a technical improvement that is directly invoked in the nonlinear instability proof of arXiv:2604.04877.
Significance. If the claimed strengthening is valid, it has moderate significance as an incremental step that enables the nonlinear result; the note itself has limited standalone value beyond bridging the linear analysis to the nonlinear application in the companion paper.
major comments (1)
- The manuscript asserts the strengthening of the linear instability result but contains no independent derivation, explicit check, or extension of the weighted energy estimates and mode decompositions from arXiv:2201.12295 to the precise setting (e.g., adjusted weights or boundary conditions at the Cauchy horizon) needed here. This is load-bearing for the central claim, as the strengthened statement is used directly in the nonlinear proof.
Simulated Author's Rebuttal
We thank the referee for their careful reading of our short note. We address the major comment below and have revised the manuscript to provide additional clarification.
read point-by-point responses
-
Referee: The manuscript asserts the strengthening of the linear instability result but contains no independent derivation, explicit check, or extension of the weighted energy estimates and mode decompositions from arXiv:2201.12295 to the precise setting (e.g., adjusted weights or boundary conditions at the Cauchy horizon) needed here. This is load-bearing for the central claim, as the strengthened statement is used directly in the nonlinear proof.
Authors: We agree that the note is concise and does not repeat the full technical details of the weighted energy estimates and mode decompositions, which are established in arXiv:2201.12295. The strengthening here is a minor adjustment to the choice of weights in those estimates, chosen to match the precise requirements of the nonlinear instability argument in arXiv:2604.04877; this adjustment follows directly from the same methods without introducing new estimates or boundary conditions. In the revised version we have added a brief explanatory paragraph that explicitly indicates how the weights are modified and confirms that the prior estimates apply verbatim to the adjusted setting. revision: yes
Circularity Check
No circularity; note presents independent technical strengthening of cited prior result.
full rationale
The paper is a short note whose central claim is a slight strengthening of the linear instability result from the independently cited arXiv:2201.12295. No derivation chain, equations, or estimates within the note are shown to reduce by construction to the paper's own inputs, fitted parameters, or a self-citation load-bearing loop. The abstract positions the strengthened linear result as an input to a separate nonlinear paper, but this does not create circularity inside the present note's argument. The derivation for the claimed strengthening is treated as new technical content and remains self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem 2.2 ... blow-up estimates near the Cauchy horizon ... weighted energy norms ... Teukolsky field
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
The interior of dynamical vacuum black holes I: The C\^ 0-stability of the Kerr Cauchy horizon
Dafermos, M., and Luk, J. The interior of dynamical vacuum black holes I: The C\^ 0-stability of the Kerr Cauchy horizon . Annals of Mathematics 202 , 2 (2025), 309--630
2025
-
[2]
The interior of dynamical vacuum black holes II: Event horizon data and the stability of the red-shift region
Dafermos, M., and Luk, J. The interior of dynamical vacuum black holes II: Event horizon data and the stability of the red-shift region . in preparation\/ (2026)
2026
-
[3]
Hitchhiker's guide to the fractional Sobolev spaces
Di Nezza , E., Palatucci, G., and Valdinoci, E. Hitchhiker's guide to the fractional Sobolev spaces . Bulletin des Sciences Math \'e matiques 136 , 5 (2012), 521--573
2012
-
[4]
Precise Asymptotics of the Spin +2 Teukolsky Field in the Kerr Black Hole Interior
Gurriaran, S. Precise Asymptotics of the Spin +2 Teukolsky Field in the Kerr Black Hole Interior . Communications in Mathematical Physics 406 , 7 (2025), 152
2025
-
[5]
Gurriaran, S. Non-linear instability of the Kerr Cauchy horizon near i_+ . arXiv:2603.17911\/ (2026)
-
[6]
The formation of a weak null singularity in the interior of generic rotating black holes
Luk, J., and Sbierski, J. The formation of a weak null singularity in the interior of generic rotating black holes. arXiv:2604.04877\/ (2026)
work page internal anchor Pith review Pith/arXiv arXiv 2026
-
[7]
Sharp Decay for Teukolsky Equation in Kerr Spacetimes
Ma, S., and Zhang, L. Sharp Decay for Teukolsky Equation in Kerr Spacetimes . Communications in Mathematical Physics 401 , 1 (2023), 333--434
2023
-
[8]
Instability of the Kerr Cauchy Horizon Under Linearised Gravitational Perturbations
Sbierski, J. Instability of the Kerr Cauchy Horizon Under Linearised Gravitational Perturbations . Annals of PDE 9 , 7 (2023)
2023
-
[9]
Lipschitz inextendibility of weak null singularities from curvature blow-up
Sbierski, J. Lipschitz inextendibility of weak null singularities from curvature blow-up. Oberwolfach Reports 21 , 3 (2024), 2087--2092
2024
-
[10]
Lipschitz inextendibility of weak null singularities from curvature blow-up
Sbierski, J. Lipschitz inextendibility of weak null singularities from curvature blow-up . Inventiones mathematicae 243 , 3 (2026), 961--991
2026
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.