Pith. sign in

REVIEW 2 major objections 3 minor 28 references

Stationary gravitational modes on Kerr-anti-de Sitter spacetimes

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

Pith's one-line read The paper proves that stationary gravitational modes of Kerr–anti-de Sitter black holes must appear exactly when the Hawking–Reall bound is crossed, for large azimuthal numbers.

desk verdict Strong, novel shooting/WKB proof of stationary Teukolsky modes crossing the Hawking-Reall threshold, but the final boundary-condition bridge has a complex-conjugation mismatch that must be fixed before the theorem as stated is proved. read the letter →

arxiv 2506.18524 v1 pith:YO55UF2Q submitted 2025-06-23 math.AP gr-qc

classification math.APgr-qc MSC 35Q7683C5734E2035P05
keywords stationarymodesTeukolskyequationsKerr–anti-deSitterHawking–ReallboundshootingmethodWKBapproximationmodestabilitylinearizedEinstein
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

This paper proves that stationary (non-decaying, time-independent up to rotation) gravitational perturbation modes must appear on every Kerr–anti-de Sitter black hole exactly when its parameters cross the Hawking–Reall bound, provided the azimuthal number |m| is taken large enough. The result matters because these modes are suspected to mark the onset of a genuine linear instability of the black hole, and they explain where mode stability ends. The proof cannot use variational methods, so the author develops a shooting-type continuity argument that tracks the real quantity Q = (|R|^2)' along solutions of the separated radial Teukolsky equation. Below the bound Q stays positive; above the bound, a WKB calculation shows Q must turn negative; the no-rebound property forces the crossing exactly at the conformal boundary.

What carries the argument

The central object is the real-valued bullet quantity Q[R] = (|R|^2)' along solutions R of the separated radial Teukolsky ODE, because the conformal boundary condition for stationary modes reduces exactly to Q[R](0) = 0. Proposition 4.1 establishes a no-rebound property: if Q and Q' both vanish at an interior point, then Q'' < 0 (or R is trivial), so the first time Q touches zero it must be at the boundary r_* = 0. Uniform positivity of Q below the Hawking–Reall bound follows from an energy identity plus the angular eigenvalue asymptotics of Section 3; negativity above the bound comes from a high-frequency WKB expansion in powers of 1/|m|, where the leading pure-wave terms have Q = 0 identically and the next-order correction must be computed to fix the sign.

What would settle it

Take a concrete continuous path of Kerr–adS parameters crossing the Hawking–Reall bound, fix a large |m|, and compute the normalized radial solution R(s) shooting from the horizon. If for some s in the crossing interval Q[R(s)] vanishes at an interior point r_* < 0 with Q' = 0 and Q'' ≥ 0, Proposition 4.1 is false and Theorem 1.1 collapses. Alternatively, a numerical search that finds no stationary mode for any |m| ≥ m_0 along a crossing path would contradict the theorem.

Watch

Extended reading notes

Core claim

The paper establishes Theorem 1.1: for any continuous path of admissible Kerr–anti-de Sitter parameters (M(s), a(s), k(s)) that starts strictly below the Hawking–Reall bound a < k r_+^2 and ends strictly above it, and for all azimuthal numbers |m| ≥ m_0 (depending on the path), there is a parameter value s_m on the path for which the Teukolsky system with conformal boundary conditions admits a non-trivial regular stationary mode. Moreover, these parameters s_m accumulate at the Hawking–Reall threshold as |m| → ∞. The companion Theorem 1.2 proves that no such modes exist below the bound for large |m|, so the threshold is precisely the location where the modes condense.

Load-bearing premise

The proof depends on uniform high-frequency estimates for the radial potential that remain valid all the way up to the Hawking–Reall threshold; if those estimates degenerate at the threshold, the no-rebound property could fail and the first zero of Q could occur inside the domain rather than at the boundary.

Editorial extensions

If this is right

  • Stationary modes, and therefore non-decaying gravitational perturbations, exist on every Kerr–adS black hole whose parameters cross the Hawking–Reall bound, for all sufficiently large azimuthal numbers.
  • The set of parameters admitting such modes accumulates exactly on the Hawking–Reall threshold as |m| → ∞.
  • Below the bound, for large |m|, no non-trivial stationary modes exist (Theorem 1.2), so mode stability holds there within this high-frequency regime.
  • By the metric reconstruction method, each such mode yields a non-trivial stationary solution to the linearised Einstein equations around the Kerr–adS family, as the paper claims in Remark 3.

Reading between the lines

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

  • If stationary modes appear at the threshold, the nonlinear black resonators that are expected to bifurcate from Kerr–adS should also emerge precisely there; the parameter s_m from Theorem 1.1 gives a concrete branch along which such bifurcations could be sought.
  • The no-rebound mechanism is likely to extend to other separated Teukolsky-like systems (e.g., higher spins or charged black holes) whenever a real quantity of the form (|R|^2)' can be defined and its second derivative controlled at interior zeros.
  • A numerical computation along a single crossing path for a large fixed |m| could directly verify the prediction s_m → s_HR; the paper itself does not compute such numbers.
  • The WKB sign analysis may be sensitive to the choice of boundary conditions at infinity; changing the conformal boundary conditions could shift or even remove the mode, a possibility the current argument does not address.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 3 minor

Summary. The paper proves that for any continuous path of admissible Kerr-adS parameters crossing the Hawking-Reall bound, for all sufficiently large azimuthal numbers |m| there exist parameter values on the path at which the spin-±2 Teukolsky equations admit non-trivial regular stationary modes satisfying horizon regularity and conformal boundary conditions, with the mode parameters accumulating at the Hawking-Reall threshold as |m| tends to infinity. It also proves a complementary high-frequency mode stability result when the Hawking-Reall bound holds. The method separates variables, reduces the two spin-±2 radial equations to a single complex radial ODE, and uses the real quantity Q[R] = (|R|^2)' as a shooting 'bullet' toward the boundary condition Q[R](0)=0. The proof combines uniform angular eigenvalue asymptotics near the threshold, a no-rebound property for Q, and a two-term WKB analysis near conformal infinity above the threshold.

Significance. If the conjugation issue described below is repaired, this is a significant rigorous confirmation of the Hawking-Reall instability picture for gravitational perturbations of Kerr-adS, complementing the earlier mode stability results of Graf-Holzegel and the numerics of Cardoso-Dias-Hartnett-Lehner-Santos. The paper introduces a genuinely new non-variational shooting scheme for the complex Teukolsky system, and the WKB estimates are presented with explicit error bounds. The use of previously established facts from [GH23] is clearly identified and does not appear circular. The paper also supplies a clean high-frequency mode stability theorem under the Hawking-Reall bound.

major comments (2)
  1. [Section 1, Eq. (1.7); Section 2.1, Eq. (2.7); Lemma 2.6] The boundary conditions (1.7) and (2.7) are displayed without complex conjugation, but the construction in Lemma 2.6 proves the conjugated conditions R[+2] - conjugate(R[-2]) = 0 and (R[+2])' + (conjugate(R[-2]))' = 0. For instance, if R(0)=0 and R'(0)=i, the choice kappa = -conjugate(R'(0))/R'(0) = 1 gives (R[+2])' + (R[-2])' = 2i, which is not zero, so the displayed (2.7) is not what is established. The algebra in the remainder of Lemma 2.6 also only closes with the conjugated conditions, and the reciprocal Lemma 2.7 needs the same convention. Since Theorem 1.1 is stated with (1.7), the theorem and its proof are inconsistent as written. This is a local but load-bearing correction: add the conjugations in (1.7), (2.7), and in the equivalence stated in Lemma 2.5.
  2. [Section 6.2, first paragraph] The proof reduces without comment to strictly rotating parameters a(s)>0. This excludes paths with a(0)=0, which are allowed by Theorem 1.1, and Propositions 4.1 and 5.1, as well as Lemma 4.3, genuinely require a>0 with constants that are not uniform as a tends to 0. The gap is repairable by choosing s0 in (0,s_HR) with a(s0)>0 and applying the shooting argument to the subpath [s0,1]; the dependence of m0 on s0 and the preservation of the accumulation statement (1.10) should be stated explicitly.
minor comments (3)
  1. [Section 6.2, final paragraph] The sentence 'for all s in (s_HR,s_c), there exists m3(s) such that for all |m| >= m3, s not in J = [0,s_m]' is confusing: J is a subset, not an interval, and the conclusion being drawn is that s > s_m. Rephrase as 's not in J, i.e. s > s_m'.
  2. [Remark 3 after Theorem 1.1] The remark asserts that metric reconstruction associates non-trivial stationary solutions of the linearised Einstein equations to the modes of Theorem 1.1, but no proof or reference for this specific reconstruction step is given; if retained, it should be labelled as expected or supported by a cited argument.
  3. [Section 5.2, proof of Lemma 5.5] After (5.11), the absorption of the V00''(0) term into the error term A |omega r_star|^3 is not shown; a one-sentence justification would improve the readability of the sign argument.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the shooting and WKB arguments are self-contained; [GH23] citations are independent auxiliary facts.

full rationale

The derivation of Theorem 1.1 is self-contained in the sense relevant to circularity. The target Q[R](0)=0 is introduced as an equivalent reformulation of the boundary conditions (1.7)/(2.7) via Lemmas 2.5, 2.6 and 2.7; it is not an independently fitted quantity later relabeled as a prediction. The shooting parameter s_m is located by the continuity/no-rebound argument applied to the real quantity Q[R_s], with R_s fixed by horizon regularity and the normalization (6.3); no parameter is tuned to force the conclusion. The high-frequency negativity of Q above the Hawking-Reall bound is proved by a WKB approximation with explicit error bounds in Section 5, not derived from the existence of the sought mode. The accumulation statement (1.10) follows from the mode-stability argument of Theorem 1.2 and from Proposition 5.1, neither of which assumes the mode it excludes or constructs. The self-citations to [GH23] supply two auxiliary facts: positivity of V00 (Lemma 4.2) and non-vanishing of the Teukolsky-Starobinsky constant (Lemma 2.7); both are parameter-free explicit computations in a separate published paper and do not contain the target mode-existence result, so under the review rules they are real evidence and do not raise the circularity score. No equation was found that is equal to its input by construction. The apparent conjugation mismatch in the displayed (2.7) appears to be a typographical/OCR issue, since the proof algebra in Lemma 2.6 requires overlines; that is a correctness concern, not a circularity.

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

The proof pulls standard ODE and spectral theory, prior Teukolsky separation results, and published estimates from [GH23] and [Olv61]. There are no free parameters fitted to data and no new physical entities. The main contribution is the shooting and WKB scheme itself, not a model with adjustable constants.

assumptions (7)
  • domain assumption The separated radial Teukolsky ODE (2.4) with potential V[lambda] is equivalent, for mode ansaetze (2.5), to the full Teukolsky system (1.3).
    Lemma 2.5 states this equivalence and cites [Kha83] for the separation; the computation is left to the reader. This is the bridge from the PDE system to the ODE analysis.
  • domain assumption The conformal boundary conditions at infinity (1.7), combined with the horizon regularity conditions (1.6), are the physically relevant boundary conditions for gravitational perturbations of Kerr-AdS.
    These conditions are motivated by previous work [Fri95, GH23, GH24a] and define the mode solutions asserted in the main theorem.
  • standard math The fundamental angular eigenvalue lambda_{m|m|} satisfies a variational principle and the uniform semiclassical limit (3.1).
    Lemma 2.1 and Remark 2.3 give the variational characterization; Lemma 3.1 proves the uniform limit by direct estimates on the potential G_m. This limit controls the sign of the radial potential throughout the proof.
  • standard math The radial potential V00 is positive and V1 has the sign and decay properties stated in Lemmas 4.2 and 4.3, with the positivity of V00 imported from [GH23, Section 5.4].
    These estimates are used in the energy identity, the no-rebound proposition, and the WKB sign computation. They come from a previously published proof rather than from the present paper.
  • standard math Olver's WKB theorem gives the two approximate solutions e^{+- i omega_tilde r_star} with the stated error bounds.
    Lemma 5.3 invokes [Olv61, Theorem 2], and Lemma 5.4 bounds the error function F. The WKB approximation is the main tool for showing that Q becomes negative above the Hawking-Reall bound.
  • standard math The Teukolsky-Starobinsky constant is non-zero, so the horizon-regular solution branch is unique up to scalar.
    Lemma 2.7 relies on the non-vanishing of C from [GH23, erratum] to show that R[+2] and R[-2] must be colinear. This is needed to reduce the coupled boundary conditions to the scalar target condition.
  • domain assumption A continuous path of admissible Kerr-AdS parameters crossing the Hawking-Reall bound can be restricted to a sub-path with a > 0.
    Section 6.2 restricts to strictly rotating black holes so that Propositions 4.1 and 5.1 apply. This is justifiable by continuity when the path starts with a = 0, but the paper does not spell out the restriction.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Stationary gravitational modes on Kerr-anti-de Sitter spacetimes." pith.science (2026). https://pith.science/paper/YO55UF2Q

@misc{pith2026250618524,
  author       = {Pith},
  title        = {Pith review of: Stationary gravitational modes on Kerr-anti-de Sitter spacetimes},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/YO55UF2Q}},
  note         = {Machine review of arXiv:2506.18524}
}
abstract

We prove that, for any continuous path of Kerr-adS black hole parameters crossing the Hawking-Reall threshold, for all azimuthal number $|m|$ sufficiently large, there exists black hole parameters on the path such that the Teukolsky equations with conformal boundary conditions admit a non-trivial regular stationary (\emph{i.e.} with frequency $\omega=m\omega_+$) mode solution. When $|m|$ goes to infinity, we show that these black hole parameters accumulate at the Hawking-Reall threshold. The major difficulty is that one cannot construct solutions to the system of Teukolsky equations using variational arguments as it is usually done for the classical wave equation. We introduce a new scheme of proof based on a shooting-type continuity argument and a high-frequency WKB approximation.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

28 extracted references · 25 canonical work pages

  1. [1]

    Cardoso, \'O

    V. Cardoso, \'O . J. C. Dias, Small Kerr --anti-de Sitter black holes are unstable , Phys. Rev. D 70 (2004), no. 8, 084011

  2. [2]

    Cardoso, \'O

    V. Cardoso, \'O . J. C. Dias, G. S. Hartnett, L. Lehner, J. E. Santos, Holographic thermalization, quasinormal modes and superradiance in Kerr-AdS , J. High Energ. Phys. 2014 (2014), no. 4, 183

  3. [3]

    Cardoso, \'O

    V. Cardoso, \'O . J. C. Dias, J. P. S. Lemos, S. Yoshida, Black-hole bomb and superradiant instabilities, Phys. Rev. D 70 (2004), no. 4, 044039

  4. [4]

    Cardoso, \'O

    V. Cardoso, \'O . J. C. Dias, S. Yoshida, Classical instability of Kerr-AdS black holes and the issue of final state , Phys. Rev. D 74 (2006), no. 4, 044008

  5. [5]

    S. C. Collingbourne, The Gregory -- Laflamme instability of the Schwarzschild black string exterior , J. Math. Phys. 62 (2021), no. 3, 032502

  6. [6]

    S. C. Collingbourne, Coercivity properties of the canonical energy in double null gauge on the 4-dimensional Schwarzschild exterior , Class. Quantum Grav. 40 (2023), no. 22, 225013

  7. [7]

    Chodosh, Y

    O. Chodosh, Y. Shlapentokh-Rothman , Time- Periodic Einstein -- Klein -- Gordon Bifurcations of Kerr , Commun. Math. Phys. 356 (2017), no. 3, 1155--1250

  8. [8]

    Dafermos, G

    M. Dafermos, G. Holzegel, I. Rodnianski, Boundedness and decay for the Teukolsky equation on Kerr spacetimes I : The case a << M , Ann. PDE 5 (2019), no. 1, 118 pp

Show all 28 references
  1. [9]

    Dold, Unstable mode solutions to the Klein -- Gordon equation in Kerr-anti-de Sitter spacetimes , Comm

    D. Dold, Unstable mode solutions to the Klein -- Gordon equation in Kerr-anti-de Sitter spacetimes , Comm. Math. Phys. 350 (2017), no. 2, 639--697

  2. [10]

    \'O . J. Dias, H. S. Reall, J. E. Santos, Kerr- CFT and gravitational perturbations , J. High Energy Phys. 2009 (2009), no. 08, 101--101

  3. [11]

    \'O . J. C. Dias, J. E. Santos, B. Way, Black holes with a single Killing vector field: Black resonators , J. High Energ. Phys. 2015 (2015), no. 12, 1--10

  4. [12]

    Friedrich, Einstein equations and conformal structure: Existence of anti-de Sitter-type space-times , Journal of Geometry and Physics 17 (1995), no

    H. Friedrich, Einstein equations and conformal structure: Existence of anti-de Sitter-type space-times , Journal of Geometry and Physics 17 (1995), no. 2, 125--184

  5. [13]

    O. Graf, G. Holzegel, Mode stability results for the Teukolsky equations on Kerr --anti-de Sitter spacetimes , Class. Quantum Grav. 40 (2023), no. 4, 045003

  6. [14]

    O. Graf, G. Holzegel, Linear Stability of Schwarzschild-Anti-de Sitter spacetimes I : The system of gravitational perturbations , arXiv:2408.02251 (2024), 54 pp

  7. [15]

    O. Graf, G. Holzegel, Linear Stability of Schwarzschild-Anti-de Sitter spacetimes II : Logarithmic decay of solutions to the Teukolsky system , arXiv:2408.02252 (2024), 48 pp

  8. [16]

    S. R. Green, S. Hollands, A. Ishibashi, R. M. Wald, Superradiant instabilities of asymptotically anti-de Sitter black holes , Class. Quantum Grav. 33 (2016), no. 12, 125022

  9. [17]

    Holzegel, On the massive wave equation on slowly rotating Kerr-AdS spacetimes , Comm

    G. Holzegel, On the massive wave equation on slowly rotating Kerr-AdS spacetimes , Comm. Math. Phys. 294 (2009), no. 1, 169--197

  10. [18]

    S. W. Hawking, H. S. Reall, Charged and rotating AdS black holes and their CFT duals , Phys. Rev. D 61 (1999), no. 2, 024014

  11. [19]

    Holzegel, J

    G. Holzegel, J. Smulevici, Decay properties of Klein-Gordon fields on Kerr-adS spacetimes , Comm. Pure Appl. Math. 66 (2013), no. 11, 1751--1802

  12. [20]

    G. H. Holzegel, C. M. Warnick, Boundedness and growth for the massive wave equation on asymptotically anti-de Sitter black holes , Journal of Functional Analysis 266 (2014), no. 4, 2436--2485

  13. [21]

    Khanal, Rotating black hole in asymptotic de Sitter space: Perturbation of the space-time with spin fields , Phys

    U. Khanal, Rotating black hole in asymptotic de Sitter space: Perturbation of the space-time with spin fields , Phys. Rev. D 28 (1983), no. 6, 1291--1297

  14. [22]

    Millet, Geometric background for the Teukolsky equation revisited , Rev

    P. Millet, Geometric background for the Teukolsky equation revisited , Rev. Math. Phys. 36 (2024), no. 03, p. 2430003

  15. [23]

    F. W. J. Olver, Error bounds for the Liouville-Green (or WKB ) approximation , Mathematical Proceedings of the Cambridge Philosophical Society 57 (1961), no. 4, 22 pp

  16. [24]

    Shlapentokh-Rothman , Exponentially Growing Finite Energy Solutions for the Klein -- Gordon Equation on Sub-Extremal Kerr Spacetimes , Comm

    Y. Shlapentokh-Rothman , Exponentially Growing Finite Energy Solutions for the Klein -- Gordon Equation on Sub-Extremal Kerr Spacetimes , Comm. Math. Phys. 329 (2014), no. 3, 859--891

  17. [25]

    S. A. Teukolsky, Rotating Black Holes : Separable Wave Equations for Gravitational and Electromagnetic Perturbations , Phys. Rev. Lett. 29 (1972), no. 16, 1114--1118

  18. [26]

    C. M. Warnick, On quasinormal modes of asymptotically anti-de Sitter black holes , Comm. Math. Phys. 333 (2015), no. 2, 959--1035

  19. [27]

    Zheng, Asymptotically Anti-de Sitter Spherically Symmetric Hairy Black Holes , arXiv:2410.04758 (2024), 41 pp

    W. Zheng, Asymptotically Anti-de Sitter Spherically Symmetric Hairy Black Holes , arXiv:2410.04758 (2024), 41 pp

  20. [28]

    Zheng, Exponentially-growing Mode Instability on Reissner-Nordstr \"o m--Anti-de-Sitter black holes , arXiv:2410.04750 (2024), 47 pp

    W. Zheng, Exponentially-growing Mode Instability on Reissner-Nordstr \"o m--Anti-de-Sitter black holes , arXiv:2410.04750 (2024), 47 pp

Pith tools

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