REVIEW 4 major objections 5 minor 33 references
A scattering construction for nonlinear wave equations on Kerr--Anti-de Sitter spacetimes
T0 review · 4 major / 5 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read By prescribing exponentially decaying data on the event horizon and evolving backwards, the paper constructs exponentially decaying solutions of a nonlinear massive wave equation on Kerr–Anti-de Sitter exteriors, including fast-spinning…
desk verdict A serious, well-written scattering construction whose main theorem currently overshoots its proof: the bootstrap closing needs a smallness condition on the data that Theorem 4.2 does not state. 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 argument is carried by a backwards scattering iteration. Exponentially decaying data are posed on the future event horizon, and the redshift vector field $N=T+\xi(r)Y$—a uniformly timelike vector field equal to $\partial_{t_*}$ at infinity—is used as a multiplier to produce coercive energy estimates; the assumed decay rate $B_k$ is chosen larger than the blueshift growth constant $C_\kappa$ so that a Grönwall argument closes. A four-level hierarchy of elliptic $L^2$ estimates (Propositions 3.7, 3.9, 3.10, 3.12) controls higher spatial derivatives on the far region, on the near region, and then on the whole exterior, and Sobolev embeddings convert these into the pointwise bounds. The theorem is assembled from finite-in-time problems (5.1) with truncated data, solved via a bootstrap that improves the exponential decay constant, with convergence by Arzelà–Ascoli.
What would settle it
Run the linear ($\mathcal{F}=0$) backwards evolution on Schwarzschild–AdS with smooth horizon data decaying like $e^{-B t_*}$ for a rate $B$ just above the constant $C_\kappa$ appearing in the redshift-vector energy estimate; if the $k$-th order hypersurface energy fails to decay exponentially, the central estimate (4.2) is false. An analytic check of whether the characteristic-data local well-posedness asserted in Section 5.1 really follows from the cited spacelike-data result would also settle the construction.
Extended reading notes
Core claim
The central claim is that the backwards scattering construction works on Kerr–AdS: given smooth scattering data $h_{H^+}$ on the future event horizon that decay exponentially in $t_*$ at a sufficiently fast rate, and vanishing Dirichlet data on the timelike conformal boundary $\mathcal{I}$, there exists a classical solution $\psi$ of $\Box_g\psi+\alpha\psi=\mathcal{F}(\psi,\partial\psi)$ on the exterior, globally to the future of some slice, with energy decaying as $\|\psi\|^2_{H^k_{KAdS}(\Sigma_{t_*})} \le C e^{-B_k t_*} D_k$ together with the $L^\infty$ bounds (4.3) for $r^{1/2}D^{\sigma}\psi$. This is proved for $k\ge 9$, for masses $\alpha<9/4$ satisfying the Breitenlohner–Freedman bound, and for nonlinearities quadratic in unit derivatives of the form (2.17). The construction does not assume the Hawking–Reall bound, so it covers fast-spinning exteriors in which the forward linear problem has exponentially growing modes; the resulting solutions are exceptional rather than generic, since even the linear forward problem decays only logarithmically in general, and prescribing data that vanish after finite time gives nontrivial solutions outside the span of quasinormal modes.
Load-bearing premise
The construction assumes without proof that each finite-in-time nonlinear problem (5.1) with characteristic horizon data is locally well-posed, citing an adaptation of a linear well-posedness result that treats spacelike data; if that adaptation fails or needs extra conditions, the approximating sequence and hence the existence theorem collapse.
Editorial extensions
If this is right
- Exponentially decaying nonlinear waves exist on every subextremal Kerr–AdS exterior allowed by (1.2), including angular momenta violating the Hawking–Reall bound where the forward linear problem has growing modes.
- For the linear equation $\mathcal{F}=0$, the construction produces exponentially decaying solutions that do not lie in the span of quasinormal modes; data vanishing after finite time yield solutions that vanish to the future of a late slice.
- The class of solutions is large enough to exhibit the full functional degrees of freedom of the problem, with no symmetry and no null condition imposed on the nonlinearity.
- Quantitative control is achieved: the $H^k_{KAdS}$ energy decays like $e^{-B_k t_*}$ and $r^{1/2}$-weighted $L^\infty$ norms of derivatives up to order $k-3$ and $k-4$ satisfy the same exponential bound.
- The paper argues that the semilinear framework is designed to extend to quasilinear systems such as the Einstein vacuum equation in harmonic gauge, where the relevant masses lie in the allowed range.
Reading between the lines
- If Theorem 4.2 is correct, exponentially decaying solutions are a non-generic but infinite-dimensional family inside the space of finite-energy solutions; characterizing their Cauchy data as a set is an open problem that numerical searches could probe.
- The linear solutions outside the quasinormal-mode span suggest that mode decompositions miss part of the Kerr–AdS solution space, which may matter for stability arguments that rely on quasinormal-mode completeness.
- The exponential-rate threshold $B_k>C_\kappa$ points to a possible phase transition: polynomial horizon decay would likely produce horizons that are singular in the backwards evolution, analogous to the asymptotically flat weak-null-singularity picture; extending the bootstrap to slower decay rates would test this.
- In the extremal limit $\kappa\to 0$ the blueshift constant vanishes, so the method may admit slower (possibly polynomial) horizon decay there; this is a concrete extension the paper leaves implicit.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper constructs exponentially decaying solutions of the massive nonlinear wave equation □_g ψ + αψ = F(ψ,∂ψ) on Kerr-AdS exteriors by prescribing exponentially decaying scattering data on the future event horizon and solving backwards, with Dirichlet boundary conditions at the conformal boundary. The main result, Theorem 4.2, asserts that for k ≥ 9 and any smooth scattering data with finite weighted norm D_k and associated decay rate Υ_{κ,k} ≥ B_k (B_k sufficiently large depending on k and κ), there exists a global-to-the-future solution in C H^k_{KAdS} satisfying the exponential decay estimate (4.2) and the L∞ bounds (4.3). The proof proceeds through finite-in-time approximating problems, a bootstrap argument for uniform exponential decay, and a convergence argument. The paper also discusses implications for quasinormal modes and for the Einstein equation in harmonic gauge.
Significance. If valid, the result would be significant: it provides an infinite-dimensional class of exponentially decaying classical solutions to a semilinear wave equation on Kerr-AdS, including outside the Hawking-Reall bound where forward mode solutions grow exponentially. The physical-space approach avoids frequency analysis and is insensitive to trapping and superradiance. The explicit four-level hierarchy of elliptic estimates (Propositions 3.6–3.12), the L∞ Sobolev embedding (Theorem 3.14), and the precise energy estimates (Proposition 3.16) are valuable technical contributions. The paper is also commendably explicit about its assumptions and about two admitted gaps: local well-posedness of the approximating problems and attainment of the Dirichlet boundary condition. However, as detailed in the major comments, the proof of the main theorem does not close as written for the stated quantifiers.
major comments (4)
- [Section 5.3, Eqs. (5.10)–(5.13)] The bootstrap improvement does not close for arbitrary finite D_k. In (5.11), the coefficient a(C_{κ,k}) contains the term C·3C exp(−B_k τ)D_k, so the condition 2Υ_{κ,k} > a and the factor (1 + a/(2Υ_{κ,k}−a)) in (5.12) can only be controlled if D_k is sufficiently small or if B_k (or t*_0) is chosen depending on D_k. Theorem 4.2 fixes t*_0 and makes B_k depend only on k and κ, so the estimate (5.13) does not follow for all data satisfying (4.1). This is load-bearing because Theorem 4.2 is the main result.
- [Section 5.3, Eq. (5.10)] In passing from the first to the second displayed inequality of (5.10), the pointwise term ||ψ_i||^4_{H^{k-1}(Σ_τ)} is dropped without justification. If this term is retained and bounded using the bootstrap assumption (5.4), it contributes a factor of order D_k^2 exp(−2B_k τ), which makes the improved estimate (5.13) even more restrictive and again requires a smallness condition or a τ-dependent largeness condition. The derivation of (5.11) from (5.10) is therefore not established.
- [Sections 1.3.3 and 5.1] Existence of the approximating solutions ψ_i to the finite-in-time characteristic initial-boundary value problems (5.1) is assumed from an unspecified 'adaptation' of [19], which treats spacelike initial data. No proof or precise statement is given for the characteristic setting with the nonlinearity (2.17). Since the iteration, bootstrap, and convergence arguments in Sections 5.2–5.4 all rely on these ψ_i, the proof of Theorem 4.2 lacks a necessary foundation.
- [Section 2.4.1 and Theorem 4.2] The paper explicitly notes that it does not prove that the constructed solutions attain the Dirichlet boundary condition r^{3/2−s}ψ|_I = 0, because the estimates only give r^{−1/2} decay. For α in (5/4, 9/4), this decay is insufficient to ensure the boundary condition in the classical sense, yet the boundary condition is used throughout Section 3 to drop boundary terms (for example in Propositions 3.6–3.12 and Proposition 3.16) and in the Sobolev embedding Theorem 3.14 via (3.30). Thus Theorem 4.2 is not fully proven for the stated mass range.
minor comments (5)
- [Theorem 5.2, after (5.9)] The phrase 'for B_n = C_{κ,n}' after the estimates (5.9) is unclear and likely a typo; the decay rate B_k should be the same as in Theorem 5.1.
- [Eq. (5.14)] The displayed inequality (5.14) is garbled and unreadable; it should be rewritten with explicit algebraic conditions.
- [Section 5.4] The Arzelà-Ascoli argument is applied on the non-compact domain [t*_0, ∞) × {r ≥ r_+} × S²; a diagonal subsequence argument on a compact exhaustion should be stated.
- [Definition 2.1, Eq. (2.9)] The multi-index notation in the H^k_{KAdS} norm is ambiguous: ρ is written with two components while elsewhere multi-indices have three components; the intended indexing should be clarified.
- [Section 2.4.2, Eq. (2.17)] The notation F^{μν} e_μψ e_νψ is ambiguous because the same indices are used for the tensor components and the frame vectors; this should be disambiguated.
Circularity Check
No circularity: the exponential decay rate is assumed in the scattering data and propagated by energy estimates, and the construction is not fitted to its conclusion.
full rationale
The paper's derivation chain is a backwards scattering construction: data hH+ is prescribed with finite weighted quantity D_k (Definition 4.1), i.e., exponential decay at rate Υ_{κ,k} ≥ B_k, and the proof uses N-current energy estimates, the Grönwall inequality, and a bootstrap to show the bulk solution inherits decay at rate B_k. The decay rate is an input hypothesis, not a parameter fitted after the fact, and the output bound (4.2) is a weaker consequence of that input rather than identical to it. There is no self-definitional step: the energy spaces, the data norm, and Condition 2.4 are all defined independently of the theorem's conclusion, and Proposition 3.17 verifies that quadratic nonlinearities (2.17) satisfy Condition 2.4 using the elliptic and energy estimates, not by assuming the desired decay. There are no load-bearing self-citations: all cited well-posedness and decay results ([10,11,19,20,21,22]) are external works, not by the author, and the paper does not invoke a uniqueness theorem to forbid alternatives. I flag two non-circular correctness concerns: (i) Section 1.3.3 states 'Local well-posedness for the finite-in-time nonlinear problems will not be proven here. However, it follows from an adaptation of the linear well-posedness result [19]', so Theorem 4.2 is conditional on an unproved adaptation from spacelike to characteristic data; and (ii) in Section 5.3, inequality (5.14) 'holds, provided 2Υ_{κ,k} > a(C_{κ,k}) and C and B_k are sufficiently large, depending on C_{κ,k}, C and D_k', which appears to require B_k to depend on the data size D_k even though Theorem 4.2 states B_k depends only on k and κ; this may invalidate the quantifier order, but it is a gap in the argument, not a reduction of the theorem's conclusion to its assumptions. Neither issue makes the 'prediction' equivalent to the input by construction; the estimates are substantive and independent of the conclusion.
Assumptions & free parameters
free parameters (2)
- B_k / Υ_{κ,k} (required exponential decay rate)
- Cutoff radii r0, r1 (and δ)
assumptions (7)
- domain assumption Kerr-AdS background with parameters satisfying (1.2)
- domain assumption Mass α satisfies the Breitenlohner-Freedman bound α < 9/4
- domain assumption Dirichlet boundary condition r^{3/2-s}ψ|_I = 0
- ad hoc to paper Nonlinearity F of the form (2.17) (or satisfying Condition 2.4)
- domain assumption Local well-posedness for finite-in-time problems (5.1) follows from an adaptation of [19]
- domain assumption Scattering data decays exponentially: D_k < ∞ with Υ_{κ,k} ≥ B_k
- standard math Background Sobolev embedding and Hardy inequalities from [18] and [20]
Cite this review
Pith. "Pith review of A scattering construction for nonlinear wave equations on Kerr--Anti-de Sitter spacetimes." pith.science (2026). https://pith.science/paper/AYQI5QL3
@misc{pith2026241211209,
author = {Pith},
title = {Pith review of: A scattering construction for nonlinear wave equations on Kerr--Anti-de Sitter spacetimes},
year = {2026},
howpublished = {\url{https://pith.science/paper/AYQI5QL3}},
note = {Machine review of arXiv:2412.11209}
}
abstract
Existence of a large class of exponentially decaying solutions of the nonlinear massive wave equation $\Box_g\psi+\alpha\psi = \mathcal{F}(\psi,\partial\psi)$ on a Kerr--Anti-de Sitter exterior is established via a backwards scattering construction. Exponentially decaying data is prescribed on the future event horizon, and Dirichlet data on the timelike conformal boundary. The corresponding solutions exhibit the full functional degrees of freedom of the problem, but are exceptional in the sense that (even) general solutions of the forward, linear ($\mathcal{F}=0$) problem are known to decay at best inverse logarithmically. Our construction even applies outside of the \textit{Hawking-Reall bound} on the spacetime angular momentum, in which case, there exist exponentially growing mode solutions of the forward problem. As for the analogous construction in the asymptotically flat case, the assumed exponential decay of the scattering data on the event horizon is exploited to overcome the gravitational blueshift encountered in the backwards construction.
Figures
Reference graph
Works this paper leans on
-
[19]
G. Holzegel, Well-posedness for the massive wave equation on asymptotically anti-de Sitter space- times, Journal of Hyperbolic Differential Equations 9 (2012), no. 2, 239–261
work page 2012
-
[1]
P. Biz´ on and A. Rostworowski, Weakly turbulent instability of anti-de Sitter spacetime , Physical Review Letters 107 (2011), no. 3, 0331102:1–4
work page 2011
-
[2]
R.H. Boyer and R.W. Lindquist, Maximal analytic extension of the Kerr metric , Journal of Math- ematical Physics 8 (1967), no. 2, 265–281
work page 1967
-
[3]
P. Breitenlohner and D. Z. Freedman, Positive energy in anti-de Sitter backgrounds and gauged extended supergravity, Physics Letters B 115 (1982), no. 3, 197–201
work page 1982
-
[4]
D. Christodoulou, Global solutions of nonlinear hyperbolic equations for small initial data , Commu- nications in Pure and Applied Mathematics 39 (1986), 267–282. 45
work page 1986
-
[5]
, The formation of black holes in general relativity , arXiv:0805.3880 [gr-qc] (2008)
arXiv 2008
-
[6]
M. Dafermos, G. Holzegel, and I. Rodnianski, A scattering theory construction of dynamical vacuum black holes , Journal of Differential Geometry 126 (2024), no. 2, 633–740
work page 2024
-
[7]
, The linear stability of the Schwarzschild solution to gravitational perturbations , Acta Math- ematica 222 (2019), 1–214
work page 2019
Show all 33 references
-
[8]
O. J. Dias, G. T. Horowitz, D. Marolf, and J. E. Santos, On the nonlinear stability of asymptotically anti-de Sitter solutions , Classical and Quantum Gravity 29 (2012), no. 23, 235019:1–24
2012
-
[9]
Dold, Unstable mode solutions to the Klein-Gordon equation in Kerr-anti-de Sitter spacetimes , Communications in Mathematical Physics 350 (2017), 639–697
D. Dold, Unstable mode solutions to the Klein-Gordon equation in Kerr-anti-de Sitter spacetimes , Communications in Mathematical Physics 350 (2017), 639–697
2017
-
[10]
Enciso and N
A. Enciso and N. Kamran, A singular initial-boundary value problem for nonlinear wave equations and holography in asymptotically anti-de Sitter spaces , Journal de Math´ ematiques Pures et Ap- pliqu´ ees103 (2015), no. 4, 1053–1091
2015
-
[11]
3, 505–554
, Lorentzian Einstein metrics with prescribed conformal infinity , Journal of Differential Ge- ometry 112 (2019), no. 3, 505–554
2019
-
[12]
Gannot, Quasinormal modes for Schwarzschild–AdS black holes: exponential convergence to the real axis, Communications in Mathematical Physics 330 (2014), 771–799
O. Gannot, Quasinormal modes for Schwarzschild–AdS black holes: exponential convergence to the real axis, Communications in Mathematical Physics 330 (2014), 771–799
2014
-
[13]
, Existence of quasinormal modes for Kerr-AdS black holes , Annales Henri Poincar´ e 18 (2017), 2757–2788
2017
-
[14]
Graf and G
O. Graf and G. Holzegel, Mode stability results for the Teukolsky equations on Kerr-anti-de Sitter spacetimes, Classical and Quantum Gravity 40 (2023), no. 045003, 1–43
2023
-
[15]
, Linear Stability of Schwarzschild-Anti-de Sitter spacetimes I: The system of gravitational perturbations, arXiv:2408.02251 [gr-qc] (2024)
2024 arXiv
-
[16]
, Linear Stability of Schwarzschild-Anti-de Sitter spacetimes II: Logarithmic decay of solutions to the Teukolsky system , arXiv:2408.02252 [gr-qc] (2024)
2024 arXiv
-
[17]
, Linear Stability of Schwarzschild-Anti-de Sitter spacetimes III: Quasimodes and sharp decay of gravitational perturbations, arXiv:2410.21994 [gr-qc] (2024)
2024 arXiv
-
[18]
Hebey, Nonlinear Analysis on Manifolds: Sobolev Spaces and Inequalities, Courant Lecture Notes in Mathematics, vol
E. Hebey, Nonlinear Analysis on Manifolds: Sobolev Spaces and Inequalities, Courant Lecture Notes in Mathematics, vol. 5, New York: Courant Institute, 1999
1999
-
[20]
1, 169–197
, On the massive wave equation on slowly rotating Kerr-AdS spacetimes , Communications in Mathematical Physics 294 (2010), no. 1, 169–197
2010
-
[21]
Holzegel and J
G. Holzegel and J. Smulevici, Decay properties of Klein-Gordon fields on Kerr-AdS spacetimes , Communications on Pure and Applied Mathematics 66 (2013), no. 11, 1751–1802
2013
-
[22]
5, 1057–1090
, Quasimodes and a lower bound on the uniform energy decay rate for Kerr-AdS spacetimes , Analysis & PDE 7 (2014), no. 5, 1057–1090
2014
-
[23]
Holzegel, J
G. Holzegel, J. Luk, J. Smulevici, and C. Warnick, Asymptotic properties of linear field equations in Anti-de Sitter space , Communications in Mathematical Physics 374 (2020), no. 2, 1125–1178
2020
-
[24]
, The global nonlinear stability of the anti-de Sitter space with dissipative boundary conditions (in preparation)
-
[25]
Holzegel and C
G. Holzegel and C. Warnick, Boundedness and growth for the massive wave equation on asymptoti- cally anti-de Sitter black holes , Journal of Functional Analysis 266 (2014), no. 4, 2436–2485
2014
-
[26]
John, Blow-up for quasi-linear wave equations in three space dimensions , Fritz John: Collected Papers 1 (1985), 566–588
F. John, Blow-up for quasi-linear wave equations in three space dimensions , Fritz John: Collected Papers 1 (1985), 566–588
1985
-
[27]
Klainerman, The null condition and global existence to nonlinear wave equations
S. Klainerman, The null condition and global existence to nonlinear wave equations . Nonlinear Sys- tems of Partial Differential Equations in Applied Mathematics Part I (Santa Fe, NM, 1984), Lectures in Applied Mathematics 23 (1986), 293–326. 46
1986
-
[28]
Moschidis, A proof of the instability of AdS for the Einstein null-dust system with an inner mirror, Analysis and PDE 13 (2020), no
G. Moschidis, A proof of the instability of AdS for the Einstein null-dust system with an inner mirror, Analysis and PDE 13 (2020), no. 6, 1671–1754
2020
-
[29]
, A proof of the instability of AdS for the Einstein-massless Vlasov system , Inventiones Math- ematicae 231 (2023), 467–672
2023
-
[30]
Schlue and M
V. Schlue and M. Taylor, Inverse modified scattering and polyhomogeneous expansions for the Vlasov–Poisson system , arXiv:2404.15885 [math.AP] (2024)
2024 arXiv
-
[31]
Vesel´ y and M.ˇZofka, The Kerr-Newman-(anti-)de Sitter spacetime: Extremal configurations and electrogeodesics, General Relativity and Gravitation 51 (2019), no
J. Vesel´ y and M.ˇZofka, The Kerr-Newman-(anti-)de Sitter spacetime: Extremal configurations and electrogeodesics, General Relativity and Gravitation 51 (2019), no. 11, 156:1–22
2019
-
[32]
Warnick, The massive wave equation in asymptotically AdS spacetimes, Communications in Math- ematical Physics 321 (2013), no
C. Warnick, The massive wave equation in asymptotically AdS spacetimes, Communications in Math- ematical Physics 321 (2013), no. 1, 85–111
2013
-
[33]
, (In)completeness of quasinormal modes, Acta Physica Polonica B, Proceedings Supplement 15 (2022), no. 1-A13. 47
2022
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.