{"id":"f32bdc61-4e13-480e-8e43-83cd31988f10","arxiv_id":"2509.06828","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For all sub-extremal Kerr spacetimes |a|<M, angular elliptic estimates control the full linearised curvature by the extremal Teukolsky components up to lower-order terms.","lead":"This math paper shows that for perturbing a spinning black hole, the hard-to-track curvature pieces can be bounded by the easy-to-track ones, for every spin allowed below the extremal value. It is a step toward a long-sought proof that Kerr black holes are stable.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The proof's absorption scheme relies on the exact top-order structure of the S^2-projection formulae quoted from [5], which are not re-derived; if those formulae contain additional top-order terms, the closing estimates fail.","rationale":"The central claim, Theorem 4.1, is a set of elliptic estimates whose proof is organised around a delicate absorption argument. The most load-bearing ingredient is the S^2-projection procedure: it converts the non-integrable horizontal structure into equations on foliation spheres with explicit top-order error terms controlled by the one-forms k and h. Every subsequent estimate—from Proposition 6.2 through Proposition 6.8—depends on these being the only top-order terms. The reader's weakest_assumption correctly identifies this as the critical point. I agree with the reader's assessment: the paper is plausible and the cited formulae are likely correct, but since they are not re-derived and the proof's closure relies on their exact algebraic form, a concrete verification is the natural way to confirm the foundation. A secondary concern is that the proof of the k=3 case is not fully written (the final pure-null-derivative step is asserted), and the all-k≥3 statement is outsourced to a schematic iteration. These are additional reasons for a conditional verdict, but they are less foundational than the projection formulae, which is why I focus the concrete test there. No change to the reader's CONDITIONAL verdict is needed.","tokens_in":45776,"tokens_out":9621,"duration_ms":106325,"concrete_test":"Take the explicit algebraically special frame of Section 2.1 in Boyer–Lindquist coordinates. For a generic one-form ς (e.g. ς=η from (28)), compute the left-hand side f/∇ς, its S^2 projection, and the right-hand side ˇ/∇eς + k⊗ˇ/∇_4 eς + h⊗ˇ/∇_3 eς using the coordinate expressions for k,h in Section 5.2. Use a symbolic algebra system to verify that the difference contains no first-order terms in ς—i.e., all remaining terms are zeroth-order 'l.o.t.'. If any first-order term survives, Theorem 4.1 is not established.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 5.1 states that for a D^N one-form ς, the projection of /∇ς equals ˇ/∇eς + k⊗ˇ/∇_4 eς + h⊗ˇ/∇_3 eς + l.o.t., with analogous formulae for div, curl, and /D^⋆_2. The entire proof of Proposition 6.5 uses these to derive the projected Bianchi equations (60)–(69) with k- and h-multiplied top-order terms as the only dangerous errors. Propositions 6.3–6.4 commute these equations and absorb all top-order terms using the smallness of |h| and |k| and the specific structure that k and h appear only multiplying exactly one null derivative. If the true projection formulae contain additional top-order terms—for example (∇k)⊗ˇ/∇_4 eς, (∇h)⊗ˇ/∇_3 eς, k⊗ˇ/∇^2 eς, or terms involving ˇ/∇_4ˇ/∇_3 eς—then the inequalities (77)–(81), (102)–(106) would have unabsorbed top-order errors and the final positivity of Proposition 6.8 would not follow. The paper quotes the formulae from Proposition 7.47 of [5] and does not re-derive them here, so this structural assumption is the linchpin of the proof.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":46096,"tokens_out":6345,"duration_ms":72297,"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":[{"comment":"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.","section":"Section 5.1 and Propositions 6.5–6.8"},{"comment":"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":"Propositions 6.3 and 6.4"},{"comment":"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.","section":"Section 6.3, end of proof of Proposition 6.1"}],"minor_comments":[{"comment":"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":"Introduction, Main Theorem display"},{"comment":"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.","section":"Section 5.4, equation (70)"},{"comment":"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":"Appendix A, equation (121)"},{"comment":"Typo: 'deired' should be 'desired'.","section":"Section 6.3, final paragraph"}],"recommendation":"major_revision","confidential_remarks":"To the editor: The manuscript is built on the S^2-projection calculus of [5]. As the referee, I did not find an internal error in the argument presented, but the degree of reliance on [5] and the schematic proofs of Propositions 6.3, 6.4 and the final step of Proposition 6.1 make this a borderline case. I recommend major revision; if the authors can expand the commutation proofs, the paper may be acceptable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The main news is that elliptic curvature estimates are now claimed for the full sub-extremal range |a|<M, not just Schwarzschild or small rotation. The mechanism is an S^2-projection with explicit error one-forms k,h that absorb the non-integrability. That is a genuine new mechanism, not a routine reformulation.\n\nWhat 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.\n\nSoft 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.\n\nNone 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.\n\nFor 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.","headline":"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.","tokens_in":46611,"tokens_out":2653,"would_cite":true,"duration_ms":32632,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q75","83C05","83C57"],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["Kerr spacetime","linearised Einstein equations","elliptic estimates","curvature components","Teukolsky equation","sub-extremal range","non-integrable distribution","Boyer-Lindquist foliation"],"falsifier":"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.","tokens_in":45633,"feed_emoji":"🕳️","tokens_out":10355,"duration_ms":113024,"temperature":0.7,"pith_summary":"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|<M, any k≥3, and any finite radius R>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.","feed_headline":"Linearised Kerr curvature controlled at every order for all |a|<M","feed_subtitle":"Non-extremal curvature is bounded by the same-order extremal pieces, a key step toward Kerr stability.","key_machinery":"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","core_discovery":"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","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Provides the linearised vacuum Einstein system around Kerr whose curvature unknowns are estimated in the main theorem.","marker":"[3]"},{"why":"Supplies the S^2-projection formulae (Proposition 7.47), the non-integrable-frame tensor formalism, and the commutation formulae used throughout the proof.","marker":"[5]"},{"why":"Established the Schwarzschild elliptic estimates and the orbital-stability strategy that this paper extends to rotating Kerr.","marker":"[7]"},{"why":"Proved the Schwarzschild case in the same gauge and provides the template for the slowly-rotating regime and for the linearised system used here.","marker":"[4]"},{"why":"Proves frequency-space boundedness and decay for the Teukolsky equation in the full sub-extremal range, controlling the extremal curvature components at the required order.","marker":"[19]"},{"why":"Physical-space companion to [19] giving the Teukolsky control used to match the k≥3 top order in the elliptic estimates.","marker":"[20]"},{"why":"Defines the S^2 tensor calculus and norms used for the projected system and for the angular ellipticity lemma.","marker":"[6]"}],"fun_headline_variants":["Elliptic L2 curvature bounds for all sub-extremal Kerr","Linearised Kerr curvature tamed: elliptic L2 bounds for every spin","Linearised Kerr perturbations: curvature controlled for all |a|<M","Kerr linearised curvature: elliptic L2 control for any |a|<M","Full sub-extremal range: elliptic L2 estimates for linearised Kerr curvature"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Elliptic L2 curvature bounds for all sub-extremal Kerr","Linearised Kerr curvature tamed: elliptic L2 bounds for every spin","Linearised Kerr perturbations: curvature controlled for all |a|<M","Kerr linearised curvature: elliptic L2 control for any |a|<M","Full sub-extremal range: elliptic L2 estimates for linearised Kerr curvature"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001646,"raw_usage":{"total_tokens":6316,"prompt_tokens":627,"completion_tokens":5689,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":371,"completion_tokens_details":{"reasoning_tokens":5591}},"tokens_in":371,"tokens_out":5689,"duration_ms":39973,"temperature":1.0,"reasoning_tokens":5591,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-04T23:01:13.468893+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":"Benomio , The wave equation on black rings and the linear stability of slowly rotating Kerr spacetimes , PhD thesis , Imperial College London, 2020","cited_arxiv_id":null,"evidence_quote":"Provides the linearised vacuum Einstein system around Kerr whose curvature unknowns are estimated in the main theorem."},{"cited_title":"Henri Poincar\\'e, 26 (2025), pp","cited_arxiv_id":null,"evidence_quote":"Supplies the S^2-projection formulae (Proposition 7.47), the non-integrable-frame tensor formalism, and the commutation formulae used throughout the proof."},{"cited_title":"Dafermos, G","cited_arxiv_id":null,"evidence_quote":"Established the Schwarzschild elliptic estimates and the orbital-stability strategy that this paper extends to rotating Kerr."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Proved the Schwarzschild case in the same gauge and provides the template for the slowly-rotating regime and for the linearised system used here."},{"cited_title":"Christodoulou and S","cited_arxiv_id":null,"evidence_quote":"Defines the S^2 tensor calculus and norms used for the projected system and for the angular ellipticity lemma."}],"review_version":1}