Conditional non-linear stability of Kerr-de Sitter spacetimes in the full subextremal range

Andr\'as Vasy; Oliver Petersen; Peter Hintz

REVIEW 3 major objections 3 minor 1 cited by

Conditional non-linear stability of Kerr-de Sitter spacetimes in the full subextremal range

T0 review · 3 major / 3 minor · reviewed 2026-08-05 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Kerr-de Sitter black holes are nonlinearly stable across the full subextremal spin range, if mode stability holds.

desk verdict Conditional stability for full subextremal Kerr-de Sitter: a cleanly stated endpoint theorem with an underspecified mode-stability assumption and a proof we couldn't read. read the letter →

arxiv 2508.06620 v1 pith:PQS2MCCC submitted 2025-08-08 gr-qc math.APmath.DG

Peter Hintz , Oliver Petersen , András Vasy This is my paper · ORCID

classification gr-qcmath.APmath.DG MSC 83C5783C05

keywords Kerr-deSitternonlinearstabilitymodeblackholescosmologicalconstantEinsteinequationconstraintdampingtrappedset

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper shows that Kerr-de Sitter black holes—rotating black holes in a universe with positive cosmological constant—are nonlinearly stable throughout the full subextremal range, provided a linear spectral condition called mode stability holds. In concrete terms, any sufficiently small perturbation of such a spacetime remains bounded and decays to a nearby Kerr-de Sitter solution with slightly adjusted mass and angular momentum. This extends an earlier unconditional stability proof for slow rotation to all subextremal spins by introducing constraint damping that works across the whole parameter range and by verifying a subprincipal symbol condition at the trapped set. The result matters because it reduces a difficult nonlinear problem in general relativity to a single linear spectral check: once mode stability is proved, the nonlinear stability of Kerr-de Sitter becomes unconditional.

What carries the argument

Mode stability—the assumption that the linearized Einstein operator around subextremal Kerr-de Sitter has no nonzero bounded solutions in the relevant frequency range—is the input on which the theorem depends. The proof's engine is the damped linearized Einstein operator: adding constraint-damping terms that vanish on true solutions but suppress constraint violations, combined with a microlocal subprincipal symbol condition at the trapped set (the region of phase space where null geodesics stay bounded). These ingredients yield a resonance-free strip and exponential decay for linear perturbations, which the nonlinear iteration converts into stability.

What would settle it

Find a subextremal Kerr-de Sitter parameter pair for which the linearized Einstein equations admit a nontrivial solution with frequency $\omega$ satisfying $\mathrm{Im}\,\omega \ge 0$ and appropriate boundary conditions—equivalently, a quasinormal mode crossing into the upper half-plane or onto the real axis. A numerical search across the subextremal parameter space for such non-decaying modes would falsify mode stability, and with it the paper's theorem.

Watch

Extended reading notes

Core claim

Let $g_b$ be a subextremal Kerr-de Sitter spacetime, meaning a Kerr-de Sitter solution with non-degenerate event and cosmological horizons and parameters in the full subextremal range. The paper claims that, conditional on mode stability for such spacetimes, the vacuum Einstein equation with positive cosmological constant is nonlinearly stable: for initial data sufficiently close to the Kerr-de Sitter data, the maximal development remains close to $g_b$ for all times and asymptotically decays to another Kerr-de Sitter solution. The proof adapts the slow-rotation strategy: it analyzes the linearized Einstein equation after adding constraint-damping terms, obtains high-energy resolvent estimat

Load-bearing premise

The paper assumes, without proof, that mode stability holds for every subextremal Kerr-de Sitter spacetime: no nonzero bounded solutions of the linearized Einstein equations exist in the relevant frequency range.

Editorial extensions

If this is right

Every sufficiently small perturbation of a subextremal Kerr-de Sitter spacetime stays bounded and converges to a nearby Kerr-de Sitter solution, conditional on mode stability.
The stability result holds across the entire subextremal parameter range, not just near zero rotation.
Proving mode stability for subextremal Kerr-de Sitter would turn the conditional theorem into an unconditional nonlinear stability statement.
The constraint-damping construction and the trapped-set subprincipal symbol verification are new tools valid in the full subextremal range and are reusable for related black hole stability problems.
The theorem sharpens the picture of black hole dynamics with positive cosmological constant: stable, decaying perturbations pick out a nearby Kerr-de Sitter end state.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Because the theorem excludes extremal Kerr-de Sitter, the boundary case at maximal spin remains open; mode stability and trapping are expected to degenerate there, so the extremal limit likely needs separate treatment.
The constraint-damped formulation used in the proof could double as a practical evolution system for numerical relativity, since it is engineered to keep constraint violations bounded over long times.
The same strategy may transfer to other families of de Sitter black holes, such as charged or higher-dimensional rotating solutions, once the analogous mode stability and subprincipal symbol conditions are verified.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Chris — quick take on 2508.06620. The headline: this is the expected endpoint of the Hintz–Vasy program, nonlinear stability of Kerr-de Sitter in the full subextremal range, but explicitly conditional on mode stability. The abstract is admirably clear about that condition. If the proof is right, it's the first full-range result and a serious milestone.

What's genuinely new: two technical steps, constraint damping across the full range and the subprincipal symbol condition at the trapped set. Those are plausible from the authors' prior work and the abstract states them without overclaiming. The reduction of nonlinear stability to a linear spectral input is standard for this microlocal framework, and they don't hide the condition.

The soft spots, in order of importance. First, 'mode stability' is underspecified in the abstract. The stress-test note is right: scalar Teukolsky mode stability does not obviously imply the spectral statement needed for the gauge-fixed linearized Einstein operator with constraint damping. The authors presumably mean the full linearized mode stability, but the paper needs to say that explicitly, and the proof has to identify exactly which resonances are excluded. If they only assume scalar mode stability, the conclusion likely doesn't follow. This is a genuine precision issue, not a manufactured one. Second, the theorem is conditional on a statement that remains unproven in the full subextremal range; that's honestly flagged, but it means the paper's central claim is conditional, and the value depends on the eventual mode stability proof. Third, the supplied full text is a garbled glyph stream, so I can't audit the argument. That's not the authors' fault in the arXiv file, but it means my verdict rests on the abstract and the prior framework.

Who should read it: anyone working on black hole stability, especially the Kerr-de Sitter program. The conditional structure is worth discussing in a reading group even if the proof details are currently unreadable. It deserves a serious referee: the claim is important, the method extends a published framework, and the explicit condition makes the logical dependencies checkable. My recommendation: send it to peer review, with referees told to focus on the precise mode stability assumption and the two named technical novelties. If those hold up, it's an important paper even with the condition left open.

Referee Report

3 major / 3 minor

Summary. The paper claims a conditional nonlinear stability theorem for Kerr-de Sitter spacetimes with positive cosmological constant, covering the full subextremal parameter range rather than the slowly rotating case treated unconditionally by Hintz and Vasy. The abstract states: under the assumption that mode stability holds, small vacuum perturbations of any subextremal Kerr-de Sitter spacetime remain bounded and decay to a nearby Kerr-de Sitter solution. The proof is said to follow the Hintz–Vasy microlocal framework, with two technical novelties: an implementation of constraint damping valid in the full subextremal range, and a verification of the subprincipal symbol condition at the trapped set. The theorem is openly conditional, and the linear spectral assumption is isolated rather than hidden. However, the supplied full text is badly corrupted: most body text and displayed equations are unreadable, so the mathematical argument could not be independently audited from the manuscript file.

Significance. If correct, this is a significant contribution to the nonlinear stability program for Kerr-de Sitter spacetimes. It reduces the full subextremal case to a single linear spectral assumption and identifies the additional technical obstacles beyond the slow-rotation case. The explicit conditionality is a strength: the result is honestly stated and provides a clear target for future work on mode stability. I found no obvious circularity: mode stability is an external linear input, not a restatement of the nonlinear conclusion. The value of the paper, however, depends crucially on the precise meaning of 'mode stability' and on the correctness of the two technical verifications, neither of which could be checked from the supplied text.

major comments (3)

[Abstract / §1] The theorem is conditional on 'mode stability', but the abstract does not specify which operator this refers to. Standard scalar or Teukolsky mode stability—absence of non-decaying scalar modes—does not by itself imply the spectral property needed by the nonlinear argument: absence of non-decaying resonances for the full linearized, gauge-fixed Einstein operator, including the constraint-damping modification. If the intended hypothesis is the stronger full-system statement, it should be stated as a numbered assumption with the operator, gauge, and boundary conditions explicitly listed; if it is the weaker scalar statement, an argument is needed showing that scalar mode stability controls the full linearized spectrum. This is load-bearing: every subsequent conclusion depends on this hypothesis. The corrupted text prevents locating the definition in the body, so the statement of the theore
[Technical sections (operator definition, unreadable in supplied text)] The first claimed novelty is the implementation of constraint damping in the full subextremal range. Constraint damping adds lower-order terms that can in principle change the location of resonances or introduce new ones. The proof must show that the spectral gap is preserved under this modification, and, in particular, that the mode stability assumption is made for the damped gauge-fixed operator rather than for an undamped 'physical' operator. The supplied text contains visible fragments of the relevant definitions but the equations are illegible. A precise lemma isolating the spectral statement for the damped operator is necessary for the nonlinear conclusion to follow.
[Technical sections (trapped-set condition, unreadable in supplied text)] The second novelty is the verification of a subprincipal symbol condition at the trapped set. This condition is central to the microlocal estimates that yield decay. The text appears to contain a long calculation, but the symbols and inequalities are corrupted in the supplied file. I could not identify the parameter ranges covered, the exact inequality verified, or whether the verification is uniform over the full subextremal range. This is a proof-critical point and must be legible before the paper can be accepted.

minor comments (3)

[Abstract / Introduction] Please define 'subextremal' explicitly in the introduction, with the precise parameter domain (mass, spin, cosmological constant, and the condition that no degenerate horizons occur).
[Introduction] Please include a precise reference to the unconditional Hintz–Vasy slowly rotating theorem and state clearly why the new proof is needed beyond that case, e.g., which estimates fail or are not known to be uniform.
[Abstract] The phrase 'mode stability holds for these spacetimes' should be expanded by one sentence in the introduction to specify the linear operator and the spectral statement. This would remove ambiguity and make the conditional theorem easier for readers to verify.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the theorem is conditional on mode stability, an external linear spectral input, not on its own conclusion.

full rationale

The abstract's central claim is a conditional nonlinear stability theorem: assuming mode stability for subextremal Kerr-de Sitter, the authors prove nonlinear stability via the Hintz-Vasy framework with constraint damping and a subprincipal symbol condition. Mode stability is a linear spectral statement (absence of non-decaying modes of the linearized operator), structurally distinct from the nonlinear decay/global-existence conclusion; assuming it does not make the nonlinear conclusion equivalent to the input. No fitted parameters are presented as predictions, no definitional identity between input and output is exhibited, and the cited Hintz-Vasy slowly rotating proof is prior independent published work rather than a self-citation used to forbid alternatives. The supplied full text is too corrupted to audit every equation, but the abstract and available structure reveal no step where a quantity is defined in terms of the very quantity it is used to derive. The unproven mode stability assumption is a limitation of the theorem's scope, not a circularity.

Assumptions & free parameters 0 free parameters · 2 assumptions · 0 invented entities

No free parameters are fitted in the central claim; the subextremal range is the physical parameter space of the spacetime, treated as input. No new physical entities are introduced. The proof rests on two domain assumptions: mode stability as an explicit external conjecture, and the transferability of the prior microlocal framework to the full range. Constraint damping is an existing technique applied in a new setting, not an invented entity.

assumptions (2)

domain assumption Mode stability holds for subextremal Kerr-de Sitter spacetimes
The entire theorem is conditional on this linear spectral statement; the abstract states it explicitly as the assumption under which stability is shown. It was unproven at submission and is the load-bearing unproven input.
domain assumption The microlocal and Fredholm framework for the linearized Einstein equations, developed in the prior Hintz-Vasy program, extends to the full subextremal range
The abstract says the method is similar to the slowly rotating proof, so the validity of those tools in the new parameter range is assumed, with the two named novelties intended to establish the needed extensions.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Conditional non-linear stability of Kerr-de Sitter spacetimes in the full subextremal range." pith.science (2026). https://pith.science/paper/PQS2MCCC

@misc{pith2026250806620,
  author       = {Pith},
  title        = {Pith review of: Conditional non-linear stability of Kerr-de Sitter spacetimes in the full subextremal range},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/PQS2MCCC}},
  note         = {Machine review of arXiv:2508.06620}
}

read the original abstract

We show the stability of Kerr-de Sitter black holes, in the full subextremal range, as solutions of the vacuum Einstein equation with a positive cosmological constant under the assumption that mode stability holds for these spacetimes. The method is similar to the (unconditional) proof in the slowly rotating case by Hintz and Vasy. The key novelties are the implementation of constraint damping in the full subextremal range as well as the verification of a subprincipal symbol condition at the trapped set.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Teukolsky on slowly-rotating Kerr-de Sitter in the vanishing $\Lambda$ limit
math.AP 2026-01 accept novelty 6.0 of 10

Energy, Morawetz and r^p-weighted estimates are proved for Teukolsky equations on slowly-rotating Kerr-de Sitter, uniformly as the cosmological constant tends to zero, recovering known Kerr-Teukolsky estimates in the limit.

Pith tools

Reviewed August 5, 2026 · model on record in the stance chip above.