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 →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
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.
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
- 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.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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)
- [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.
- [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)
- [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'.
- [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.
- [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
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
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).
- 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.
- standard math The fundamental angular eigenvalue lambda_{m|m|} satisfies a variational principle and the uniform semiclassical limit (3.1).
- 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].
- standard math Olver's WKB theorem gives the two approximate solutions e^{+- i omega_tilde r_star} with the stated error bounds.
- standard math The Teukolsky-Starobinsky constant is non-zero, so the horizon-regular solution branch is unique up to scalar.
- 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.
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.
Reference graph
Works this paper leans on
-
[1]
V. Cardoso, \'O . J. C. Dias, Small Kerr --anti-de Sitter black holes are unstable , Phys. Rev. D 70 (2004), no. 8, 084011
work page 2004
-
[2]
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
work page 2014
-
[3]
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
work page 2004
-
[4]
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
work page 2006
-
[5]
S. C. Collingbourne, The Gregory -- Laflamme instability of the Schwarzschild black string exterior , J. Math. Phys. 62 (2021), no. 3, 032502
work page 2021
-
[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
work page 2023
-
[7]
O. Chodosh, Y. Shlapentokh-Rothman , Time- Periodic Einstein -- Klein -- Gordon Bifurcations of Kerr , Commun. Math. Phys. 356 (2017), no. 3, 1155--1250
work page 2017
-
[8]
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
work page 2019
Show all 28 references
-
[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
2017
-
[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
2009
-
[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
2015
-
[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
1995
-
[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
2023
-
[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
2024 arXiv
-
[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
2024 arXiv
-
[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
2016
-
[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
2009
-
[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
1999
-
[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
2013
-
[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
2014
-
[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
1983
-
[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
2024
-
[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
1961
-
[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
2014
-
[25]
S. A. Teukolsky, Rotating Black Holes : Separable Wave Equations for Gravitational and Electromagnetic Perturbations , Phys. Rev. Lett. 29 (1972), no. 16, 1114--1118
1972
-
[26]
C. M. Warnick, On quasinormal modes of asymptotically anti-de Sitter black holes , Comm. Math. Phys. 333 (2015), no. 2, 959--1035
2015
-
[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
2024 arXiv
-
[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
2024 arXiv
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.