Elliptic curvature estimates for linearised gravitational perturbations of Kerr in the full sub-extremal range $|a|<M$

Gabriele Benomio; Rita Teixeira da Costa

REVIEW 3 major objections 4 minor 21 references

Elliptic curvature estimates for linearised gravitational perturbations of Kerr in the full sub-extremal range $|a|<M$

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

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

Pith's one-line read The paper proves that in the full sub-extremal Kerr family, every derivative of order k≥3 of the non-extremal linearised curvature is controlled on each sphere by the extremal curvature at the same order, plus lower-order terms.

desk verdict For Kerr linear stability: a real extension to full |a|<M, built on a projection whose linchpin is quoted rather than proven; referee it, but expect revisions. read the letter →

arxiv 2509.06828 v1 pith:AYRHPEQJ submitted 2025-09-08 gr-qc math-phmath.APmath.DGmath.MP

Gabriele Benomio , Rita Teixeira da Costa This is my paper · ORCID

classification gr-qcmath-phmath.APmath.DGmath.MP MSC 35Q7583C0583C57

keywords KerrspacetimelinearisedEinsteinequationsellipticestimatescurvaturecomponentsTeukolskyequationsub-extremalrangenon-integrabledistributionBoyer-Lindquistfoliation

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 presents a scheme to prove elliptic L^2 estimates on each sphere of the Kerr exterior for the linearised curvature components that are not extremal—β, β̇, ρ, σ—in terms of the extremal components α, α̇ plus lower-order terms. Such estimates already existed for Schwarzschild, but for rotating Kerr the natural horizontal distribution is non-integrable, so the usual spherical elliptic structure is lost. The authors circumvent this by projecting the equations onto the Boyer–Lindquist spheres, where the lost structure reappears through two explicit one-forms k and h; h vanishes at the horizon and both decay at infinity, which lets their effects be absorbed. The main theorem states that for any |a|r+, every k-th order derivative of the non-extremal curvature is bounded on r+≤r≤R by k-th order derivatives of the extremal curvature plus (k−1)-th order terms. This is the missing elliptic ingredient that, together with known Teukolsky control of the extremal components, would complete orbital stability of linearised Kerr perturbations in the full sub-extremal range.

What carries the argument

The central mechanism is the S^2-projection of the linearised Bianchi equations, mapping tensors over the non-integrable distribution D_Nas to tensors on the Boyer–Lindquist spheres. The load-bearing objects are the two explicit sphere one-forms k(X)=1/2 g(e_3,X) and h(X)=1/2 g(e_4,X), which are the only top-order error terms produced by the projection: every projected Bianchi equation acquires terms k⊗∇̌4(projected quantity)+h⊗∇̌3(projected quantity) plus lower order. Because h=0 on the event horizon, |k| decays like r/(r^2+a^2), h=(Δ/Σ)k, and all factors multiplying the error terms are computed explicitly and are monotone in r, the top-order errors can be absorbed. A general ellipticity le

What would settle it

Directly compute, for a nonzero-spin Kerr metric and a smooth one-form ς with generic angular dependence, the difference between the sphere projection of its horizontal covariant derivative and the formula ˇ∇eς + k⊗ˇ∇4 eς + h⊗ˇ∇3 eς of Section 5.1; if any top-order term involving ˇ∇^2 eς or derivatives of k,h appears with nonzero coefficient, the absorption argument fails.

Watch

Extended reading notes

Core claim

Working in the linearised vacuum Einstein equations around a Kerr exterior derived in [3], the paper's central claim is that the non-extremal linearised curvature quantities ψ=(β,β̇,ρ,σ) satisfy elliptic L^2(S^2)-estimates at every order k≥3 in the full sub-extremal range |a|<M. The estimates hold on every Boyer–Lindquist sphere with r+≤r≤R: the sum of all k-th order derivatives of ψ is bounded by the k-th order derivatives of the extremal quantities (α,α̇) plus terms of order at most k−1. The proof projects the linearised Bianchi equations onto the spheres, where the non-integrability of the background frame shows up as explicit top-order error terms proportional to two one-forms k and h. B

Load-bearing premise

Everything rests on the quoted projection formula being exactly right: when a horizontal derivative is projected to the spheres, the one-forms k and h must be the only top-order error terms, and no additional top-order term such as a second angular derivative or a derivative of k or h may appear.

Editorial extensions

If this is right

The theorem implies that no loss of regularity occurs at the curvature level: k-th order derivatives of β, β̇, ρ, σ are controlled by k-th order derivatives of α, α̇ on every finite exterior slab, uniformly in the spin a.
Together with the Teukolsky boundedness and decay results cited as [19,20], this would complete the top-order elliptic step of the linear-stability programme for Kerr, giving orbital stability of all gauge-dependent curvature components once connection-coefficient control is in place.
Because the constants are uniform up to |a|=M, the estimate does not degenerate as the Kerr parameter approaches extremality, even though the theorem itself is stated for |a|<M.
The scheme iterates from k=3 to all higher orders; in the slowly rotating regime |a|≪M, the absorption of error terms becomes automatic since the one-forms k and h vanish at a=0.

Reading between the lines

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

The explicit coefficient tracking suggests the constants C_{k,R} could be made quantitative by further bookkeeping, which would turn the estimate into a tool for bootstrap arguments in nonlinear stability.
The same S^2-projection and absorption strategy should transfer to any linearised system formulated in a gauge built on the algebraically special frame, since the paper identifies the top-order Bianchi structure as gauge-independent.
The uniform-in-a bound hints that a genuine extremal |a|=M theorem might be reachable with r-dependent weights or horizon-degenerate norms, but the paper does not pursue this.
The angular ellipticity lemma for operators on non-round spheres could be applied independently to elliptic estimates on Kerr for other tensor fields where spherical harmonic expansions are not available.

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

The main news is that elliptic curvature estimates are now claimed for the full sub-extremal range |a|

What is done well: the k=3 estimates are mostly written out with an explicit absorption argument; the ellipticity lemma in Appendix A is a useful self-contained result; and the discussion tying the top order k=3 to the Teukolsky results of [19,20] is clear and honest about what remains (the connection-coefficient step). The reliance on the author's prior system [3,5] is a necessary dependency, not a flaw by itself.

Soft spots, in order of severity. (1) The projection formulae of Section 5.1 are quoted from [5], not re-derived. The whole proof depends on k,h being the only top-order error terms. If the true projection contains additional top-order terms---say derivatives of k,h multiplying null derivatives, or double angular derivatives---the absorption balances in Propositions 6.5--6.8 break. This is the linchpin, and pointing to Proposition 7.47 of [5] is not the same as showing it in this context. (2) Propositions 6.3 and 6.4 are asserted by "repeating" the proof of Proposition 6.2. The commutation of \nabla^2 and \nabla\nabla_3/\nabla\nabla_4 through the projected Bianchi equations is exactly where derivatives of k,h enter, so "one repeats" hides a potentially delicate algebra. (3) The final step of Proposition 6.1, controlling third-order derivatives with no angular derivatives, is summarized in one sentence. (4) The theorem states k>=3, but only k=3 is proved in detail; Remark 6.9 sketches the iteration. That is acceptable as a scheme but not as a complete proof of the stated theorem.

None of this is fatal on its own. The scheme is plausible, and the structure---small h near the horizon, monotonic radial factors away from it---is well motivated. The authors are not overclaiming: they explicitly say the connection-coefficient step is future work. The missing details are the kind a serious referee should ask for.

For whom: anyone working on Kerr stability or on the Benomio gauge system. It deserves a serious referee. My recommendation: send it out, with referees asked to verify the projection formulae and the commuted estimates. If those survive scrutiny, this is a solid foundational piece.

Referee Report

3 major / 4 minor

Summary. The paper proposes a scheme to prove elliptic L^2(S^2) estimates for the non-extremal linearised curvature components ψ=(β,β̲,ρ,σ) of the linearised vacuum Einstein equations around Kerr exteriors, for the full sub-extremal range 0≤|a|<M and derivative order k≥3. The main theorem (Theorem 4.1, restated as Theorem 5.5 for the S^2-projected system) asserts that on any finite exterior slab r+≤r≤R, the sum of all k-th order mixed derivatives of ψ is bounded by the corresponding sum for the extremal components (α,α̲) plus lower-order terms in f,Γ,ψ. The proof reduces to k=3: after projecting the equations from the non-integrable distribution D^N_as to Boyer-Lindquist spheres, the projected Bianchi equations contain explicit error terms with the background one-forms k,h. The paper shows how to absorb these terms using smallness of |h| at the horizon and explicit radial factors, then uses an ellipticity lemma on S^2 to close.

Significance. If correct, Theorem 4.1 provides the first elliptic estimates of this type for linearised gravitational perturbations of Kerr in the full sub-extremal range, a key ingredient for orbital stability of Kerr. The paper is careful with the background one-forms k,h, gives explicit estimates for their norms, and identifies the structure that makes absorption possible. It does not fit parameters or rely on calibration; the only external input is the S^2-projection calculus from the first author's earlier work [5]. The main gap is not in the overall strategy but in the degree to which certain commuted estimates are actually demonstrated.

major comments (3)

[Section 5.1 and Propositions 6.5–6.8] The proof of the main theorem hinges on the exact top-order form of the S^2-projection formulae. In particular, equations (60)–(69) and estimates (99)–(101) rely on the statement that the only top-order error terms are k⊗∇_4 and h⊗∇_3. If the projection of /∇ς contained additional top-order terms such as (∇k)⊗∇_4 eς, (∇h)⊗∇_3 eς, or k⊗∇^2 eς, the absorption argument in Propositions 6.5–6.8 would fail. These formulae are quoted from Proposition 7.47 of [5] without proof. This is acceptable as a citation, but because it is the linchpin, the manuscript should either reproduce the relevant computation or state explicitly that Theorem 4.1 is conditional on the exact validity of those formulae. I recommend adding an appendix or at least a precise statement of the projection identity with its proof.
[Propositions 6.3 and 6.4] The proofs of Propositions 6.3 and 6.4 are not fully written. Proposition 6.3 says 'One applies ∇^2 ... and then repeats the proof of Proposition 6.2', and Proposition 6.4 says 'We apply ∇∇_3 and ∇∇_4 ... repeating the proof there'. These commuted estimates are central: they are used to obtain (99)–(101) and ultimately Proposition 6.8. Commuting the projected Bianchi equations with angular derivatives generates many terms through [∇,∇_4], [∇,∇_3], and derivatives of k,h; it is not evident that all such terms are lower order or absorbable. Please supply the commutation algebra, or at least the explicit form of the commuted identities (82), (84)–(85) after angular differentiation.
[Section 6.3, end of proof of Proposition 6.1] The proof of Proposition 6.1 is concluded by the sentence 'One can then derive a commuted version of Proposition 6.2 for third order mixed derivatives ... which do not contain any angular derivatives. This last step of the procedure concludes the proof.' This is the only place where the pure null derivative terms (e.g., ∇_4^3 ψ, ∇_3^3 ψ, mixed null-only derivatives) are treated. Since Theorem 5.5 claims all i1+i2+i3≤3, these terms must be covered explicitly. I request a statement of the commuted estimates for the no-angular-derivative terms and an explanation of how the top-order terms are absorbed. This is particularly important because the commutator [∇_4,∇_3] has terms involving first-order horizontal derivatives and lower-order curvature terms; without demonstrating closure the theorem is not proven.

minor comments (4)

[Introduction, Main Theorem display] The indices in the first derivative in the displayed Main Theorem are misprinted: two occurrences of i3 appear where i1, i2, i3 are intended.
[Section 5.4, equation (70)] The notation ∼_r in the norm equivalence (70) should be defined explicitly; it appears to mean that the constants depend on r, which is fine, but it would help to be unambiguous.
[Appendix A, equation (121)] The identity (121) and the definitions of L[f_i] contain many terms; a short explanation of why [∆,∇]f_i = K∇f_i (with K the Gauss curvature of ˇ/g) holds on a two-sphere would improve readability.
[Section 6.3, final paragraph] Typo: 'deired' should be 'desired'.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the estimates are proved from the projected linearised system; prior-work citations are parameter-free mathematical lemmas, not fitted inputs or self-referential assumptions.

full rationale

The paper's derivation chain is a genuine proof rather than a reduction to its inputs. Theorem 4.1 is reduced to the S^2-projected version, Theorem 5.5, and then proved in Proposition 6.1 through a sequence of estimates (Propositions 6.2-6.8) that commute the projected linearised Bianchi equations, apply elliptic estimates for angular operators on the spheres (Lemma A.1), and absorb the top-order error terms using the explicit smallness and monotonicity of the background one-forms k and h. No parameter is fitted to data, no quantity is renamed as a prediction after being used as an input, and no uniqueness theorem is imported from the authors' prior work to force a choice. The projection formulae in Section 5.1 are quoted from the first author's prior work [5]; this is a self-citation, but it is a parameter-free mathematical derivation whose assumptions do not include the target elliptic estimates, and it is therefore independent support under the review rules. The proof does rely on the exact top-order structure of those formulae, and a skeptical reader could question whether [5] indeed contains no additional top-order terms; that is a correctness or fragility concern, not circularity. No circular step can be exhibited by comparing equations: the left-hand sides are third-order derivatives of the non-extremal curvature components, and the right-hand sides are extremal curvature derivatives plus strictly lower-order terms, which is the intended elliptic estimate and not an identity by construction.

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

The central claim rests on the prior linearised system and projection procedure of Benomio; the paper contributes the elliptic estimate scheme. No free parameters are fitted; k and h are geometric quantities of the Kerr background, not invented entities.

assumptions (4)

domain assumption The linearised vacuum Einstein system around Kerr is correctly given by the system from [3] reported in Section 3.
The paper uses this system as its starting point and proves estimates for its solutions; the derivation is cited to [3] and not repeated.
domain assumption The S^2-projection formulae of Section 5.1 (from Proposition 7.47 of [5]) correctly capture the top-order structure, with k and h one-forms as the only top-order projection errors.
The absorption argument in Sections 6.1 through 6.3 depends on the exact form of the k and h error terms in equations (60)-(69); the formulae are quoted rather than re-derived.
ad hoc to paper Lower-order terms in the projected Bianchi equations and in the estimates can be bounded on the right hand side without altering the coefficient balances.
Remark 4.3 states that l.o.t. are not tracked explicitly. The proof writes '+ l.o.t.' and carries ||partial^{<=k-1}(f,Gamma,psi)|| on the RHS, assuming these do not interfere with top-order absorption.
standard math The angular ellipticity estimates of Lemma A.1 hold with constants uniform for r in [r+,R] and, as claimed in Remark 4.2, for |a| <= M.
Proven in Appendix A by Hodge decomposition on the non-round spheres check-g; uniform bounds on curvature and commutator terms are delegated to constants C_r, which are then bounded on the compact interval.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Elliptic curvature estimates for linearised gravitational perturbations of Kerr in the full sub-extremal range $|a|<M$." pith.science (2026). https://pith.science/paper/AYRHPEQJ

@misc{pith2026250906828,
  author       = {Pith},
  title        = {Pith review of: Elliptic curvature estimates for linearised gravitational perturbations of Kerr in the full sub-extremal range $|a|<M$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/AYRHPEQJ}},
  note         = {Machine review of arXiv:2509.06828}
}

abstract

We consider the linearised vacuum Einstein equations around a Kerr exterior solution and present a scheme to prove elliptic $L^2(\mathbb{S}^2)$-estimates for the linearised curvature quantities in the equations. The scheme employs the linearised system of equations derived in the first author's doctoral thesis and applies to the full sub-extremal range of Kerr parameters $0\leq |a|<M$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

21 extracted references · 16 canonical work pages

[5]

Henri Poincar\'e, 26 (2025), pp

height 2pt depth -1.6pt width 23pt, A new gauge for gravitational perturbations of K err spacetimes I : the linearised theory , Ann. Henri Poincar\'e, 26 (2025), pp. 1573--1731

work page 2025
[1]

Andersson, T

L. Andersson, T. B\"ackdahl, P. Blue, and S. Ma , Stability for linearized gravity on the K err spacetime , Ann. PDE, 11 (2025), Paper No. 11, pp. 1--161

work page 2025
[2]

Mode analysis for the linearized Einstein equations on the Kerr metric : the large $\mathfrak{a}$ case

L. Andersson, D. H \"a fner, and B. F. Whiting , Mode analysis for the linearized E instein equations on the K err metric : the large a case , arXiv e-print 2207.12952, (2022)

work page Pith review arXiv 2022
[3]

Benomio , The wave equation on black rings and the linear stability of slowly rotating Kerr spacetimes , PhD thesis , Imperial College London, 2020

G. Benomio , The wave equation on black rings and the linear stability of slowly rotating Kerr spacetimes , PhD thesis , Imperial College London, 2020

work page 2020
[4]

height 2pt depth -1.6pt width 23pt, A new gauge for gravitational perturbations of K err spacetimes II : the linear stability of S chwarzschild revisited , Arch. Ration. Mech. Anal., 248 (2024), Paper No. 92, pp. 1--70

work page 2024
[6]

Christodoulou and S

D. Christodoulou and S. Klainerman , The global nonlinear stability of the M inkowski space , vol. 41 of Princeton Mathematical Series, Princeton University Press, Princeton, NJ, 1993

work page 1993
[7]

Dafermos, G

M. Dafermos, G. Holzegel, and I. Rodnianski , The linear stability of the S chwarzschild solution to gravitational perturbations , Acta Math., 222 (2019), pp. 1--214

work page 2019
[8]

Dafermos, G

M. Dafermos, G. Holzegel, I. Rodnianski, and M. Taylor , The nonlinear stability of the Schwarzschild family of black holes , arXiv e-print 2104.08222, (2021)

arXiv 2021

Show all 21 references

[9]

Giorgi, S

E. Giorgi, S. Klainerman, and J. Szeftel , A general formalism for the stability of Kerr , arXiv e-print 2002.02740, (2020)

2002 arXiv
[10]

Giorgi, S

E. Giorgi, S. Klainerman, and J. Szeftel , Wave equations estimates and the nonlinear stability of slowly rotating K err black holes , Pure Appl. Math. Q., 20 (2024), pp. 2865--3849

2024
[11]

H \"a fner, P

D. H \"a fner, P. Hintz, and A. Vasy , Linear stability of slowly rotating K err black holes , Inventiones mathematicae, 223 (2021), pp. 1227--1406

2021
[12]

H \" a fner, P

D. H \" a fner, P. Hintz, and A. Vasy , Linear stability of Kerr black holes in the full subextremal range , arXiv e-print 2506.21183, (2025)

2025 arXiv
[13]

Klainerman and J

S. Klainerman and J. Szeftel , Construction of GCM spheres in perturbations of K err , Ann. PDE, 8 (2022), Paper No. 17, pp. 1--153

2022
[14]

PDE, 8 (2022), Paper No

height 2pt depth -1.6pt width 23pt, Effective results on uniformization and intrinsic GCM spheres in perturbations of K err , Ann. PDE, 8 (2022), Paper No. 18, pp. 1--89. With an appendix by Camillo De Lellis

2022
[15]

Klainerman and J

S. Klainerman and J. Szeftel , Kerr stability for small angular momentum , Pure and Applied Mathematics Quarterly, 19 (2023), pp. 791--1678

2023
[16]

Ma and L

S. Ma and L. Zhang , Sharp Decay for Teukolsky Equation in Kerr Spacetimes , Commun. Math. Phys., 401 (2023), pp. 333--434, 2111.04489

2023 arXiv
[17]

Millet , Optimal decay for solutions of the Teukolsky equation on the Kerr metric for the full subextremal range |a| M , arXiv e-print 2302.06946, (2023), 2302.06946

P. Millet , Optimal decay for solutions of the Teukolsky equation on the Kerr metric for the full subextremal range |a| M , arXiv e-print 2302.06946, (2023), 2302.06946

2023 arXiv
[18]

Shen , Construction of GCM hypersurfaces in perturbations of K err , Ann

D. Shen , Construction of GCM hypersurfaces in perturbations of K err , Ann. PDE, 9 (2023), Paper No. 11, pp. 1--112

2023
[19]

Shlapentokh-Rothman and R

Y. Shlapentokh-Rothman and R. Teixeira da Costa , Boundedness and decay for the Teukolsky equation on Kerr in the full subextremal range |a|<M : frequency space analysis , arXiv e-print 2007.07211, (2020)

2007 arXiv
[20]

height 2pt depth -1.6pt width 23pt, Boundedness and decay for the Teukolsky equation on Kerr in the full subextremal range |a|<M : physical space analysis , arXiv e-print 2302.08916, (2023)

2023 arXiv
[21]

write newline

" write newline "" before.all 'output.state := FUNCTION fin.entry add.period write newline FUNCTION new.block output.state before.all = 'skip after.block 'output.state := if FUNCTION not #0 #1 if FUNCTION and 'skip pop #0 if FUNCTION or pop #1 'skip if FUNCTION new.block.check...

Pith tools

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

[1] [5]

Henri Poincar\'e, 26 (2025), pp

height 2pt depth -1.6pt width 23pt, A new gauge for gravitational perturbations of K err spacetimes I : the linearised theory , Ann. Henri Poincar\'e, 26 (2025), pp. 1573--1731

work page 2025

[2] [1]

Andersson, T

L. Andersson, T. B\"ackdahl, P. Blue, and S. Ma , Stability for linearized gravity on the K err spacetime , Ann. PDE, 11 (2025), Paper No. 11, pp. 1--161

work page 2025

[3] [2]

Mode analysis for the linearized Einstein equations on the Kerr metric : the large $\mathfrak{a}$ case

L. Andersson, D. H \"a fner, and B. F. Whiting , Mode analysis for the linearized E instein equations on the K err metric : the large a case , arXiv e-print 2207.12952, (2022)

work page Pith review arXiv 2022

[4] [3]

Benomio , The wave equation on black rings and the linear stability of slowly rotating Kerr spacetimes , PhD thesis , Imperial College London, 2020

G. Benomio , The wave equation on black rings and the linear stability of slowly rotating Kerr spacetimes , PhD thesis , Imperial College London, 2020

work page 2020

[5] [4]

height 2pt depth -1.6pt width 23pt, A new gauge for gravitational perturbations of K err spacetimes II : the linear stability of S chwarzschild revisited , Arch. Ration. Mech. Anal., 248 (2024), Paper No. 92, pp. 1--70

work page 2024

[6] [6]

Christodoulou and S

D. Christodoulou and S. Klainerman , The global nonlinear stability of the M inkowski space , vol. 41 of Princeton Mathematical Series, Princeton University Press, Princeton, NJ, 1993

work page 1993

[7] [7]

Dafermos, G

M. Dafermos, G. Holzegel, and I. Rodnianski , The linear stability of the S chwarzschild solution to gravitational perturbations , Acta Math., 222 (2019), pp. 1--214

work page 2019

[8] [8]

Dafermos, G

M. Dafermos, G. Holzegel, I. Rodnianski, and M. Taylor , The nonlinear stability of the Schwarzschild family of black holes , arXiv e-print 2104.08222, (2021)

arXiv 2021