{"id":"82e3867d-70fa-411b-89cd-ec110d9935fe","arxiv_id":"2502.00210","paper_version":2,"verdict":"CONDITIONAL","confidence":"LOW","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"The authors re-prove global existence for null-condition semilinear waves on extremal Reissner-Nordström with a weaker bootstrap that avoids Y commutation, yielding a simpler proof.","lead":"This paper proves global existence and decay for small-data semilinear wave equations on extremal Reissner-Nordström black holes, using a simpler proof with weaker assumptions than the previous one. It shows the stability of the zero solution can be proved without tracking the horizon's unstable derivative growth, which may extend to harder settings like extremal Kerr.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Bootstrap closure in Section 6 is not demonstrated: Proposition 6.1 places the future boundary term E(τ2) on the RHS, so the claimed absorption via a 'standard pigeonhole argument' must be verified, especially for the growing top-order energies.","rationale":"The paper's detailed error estimates in Sections 5 are careful and, as far as I can check, internally consistent. The identified concern is not a counterexample but a missing link: the transition from the a priori energy inequalities to the closed bootstrap inequalities relies on a standard absorption argument that is neither stated nor proved. The reader also noted that the final continuity argument is deferred, and I agree with that observation; my concern sharpens it by pinpointing a concrete reason why the master hierarchy as written is circular unless the future boundary is absorbed. This is the single most load-bearing issue because if the absorption fails, the whole bootstrap collapses; if it succeeds, the proof likely goes through. The strong null condition, which the reader identified, is an explicit hypothesis and a known limitation, not an internal gap. I therefore recommend keeping the CONDITIONAL verdict (UNCHANGED), with the expectation that the authors provide the missing closure argument or a precise reference to where it appears in [AKU24] or [DHRT22].","tokens_in":43859,"tokens_out":20296,"duration_ms":171119,"concrete_test":"Derive Proposition 6.1 directly from Propositions 4.3–4.7, tracking every boundary term. In particular, resolve the boundary on the RHS of (4.9): if the term ∫_V (r−M)^{-p}|∂uψ_k|² is the same future boundary as on the LHS, then rewrite the inequality so that the future boundary is absorbed with coefficient <1, following [AKU24, Lemma 6.18]. Verify that the resulting hierarchy for X_{1+δ,n}(τ1,τ2) takes the form X ≤ C E(τ1) + C ε^{5/2} τ_2^{4δ} with no E(τ2) on the RHS and with C independent of τ2, so that C ε^{5/2} ≤ (1/2) ε² for small ε.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim Theorem 3.3 rests on the bootstrap closing in Section 6. The master energy hierarchy, Proposition 6.1, states X_{p,k}(τ1,τ2) ≲ E_{p,k}(τ2) + Ē_{p,k}(τ1) + ε^{5/2}[decay/growth]. Since X is defined as the supremum over τ∈[τ1,τ2] of E_{p,k}(τ)+Ē_{p,k}(τ), the boundary term E(τ2) is already part of the left-hand side. As written, this is an inequality of the form X ≲ X + (data) + (error), which is not closed. The text says a standard pigeonhole argument (citing [AKU24, Section 7.1]) yields X ≤ C(ε0²+ε^{5/2})[decay/growth], but the absorption of the future boundary is not carried out. This is not a cosmetic omission: the bootstrap allows growth for X_{1+δ,n} like τ_2^{4δ}, and if the coefficient in front of E(τ2) is not <1 after absorption, or if the growth prevents the standard dyadic summation, the bootstrap would not close. The paper's own Section 6 explicitly declines to give the details, stating that arguments are 'routine' and have appeared elsewhere. Since the master hierarchy is the bridge between the nonlinear error estimates of Sections 5 and the bootstrap improvement, this gap is load-bearing for the proof of Theorem 3.3. It is distinct from the acknowledged failure of the method for 'good·bad' null-form terms, which is a limitation of the theorem rather than an unverified step in its proof.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper revisits small-data global existence for systems of semilinear wave equations □_g φ = N(x,φ,dφ) on extremal Reissner–Nordström spacetimes, assuming a strong null condition on N near the horizon and null infinity (Definition 2.2). The main theorem (Theorem 3.3) asserts that smooth n-admissible characteristic data with sufficiently small norm ∥φ̇∥⋆ (with n≥12) produce solutions on the full domain of outer communication, smoothly extending to H+, with weighted energy estimates such as X_{0,n−2}(τ,∞) ≤ C ε0² τ^{−2+δ}, X_{2−δ,n−2} ≤ C ε0², and E_{1+δ,n}+Ē_{1+δ,n} ≤ C ε0² τ^{4δ}. The proof is organized as a bootstrap combining pointwise estimates, r^p and (r−M)^{−p} energy hierarchies, integrated local energy decay, and L¹L∞/L²L∞ estimates for lower-order terms. An extension to asymptotically extremal dynamical backgrounds is sketched as Theorem 1.7.","tokens_in":44146,"tokens_out":6912,"duration_ms":71404,"significance":"If the proof is completed, the paper would provide a substantial methodological simplification of the earlier result of Angelopoulos–Aretakis–Gajic: it propagates significantly weaker estimates, avoids commuting with Y and r²∂v, and is therefore compatible with the expected stronger horizon instabilities in charged scalar field and extremal Kerr settings. The explicit nonlinear error estimates in Section 5, the use of interpolation, and the honest discussion in Section 1.3.1 of which null forms are not covered are valuable contributions. The central claim is not circular and involves no fitted parameters; the limitations of the method are clearly stated. However, the manuscript currently leaves two load-bearing parts as sketches: the final bootstrap-closure argument in Section 6 and the Morawetz estimate in Proposition 4.4. These prevent full verification of Theorem 3.3 as written.","major_comments":[{"comment":"The master hierarchy (6.1) places E_{p,k}^{τf}(τ2) on the right-hand side, and this quantity is part of the left-hand side X_{p,k}^{τf}(τ1,τ2) through the supremum over τ∈[τ1,τ2]. The proof of Proposition 5.3 asserts that a standard pigeonhole argument over dyadic intervals (citing [AKU24, Section 7.1]) yields X_{p,k}^{τf}(τ1,τ2) ≤ C(ε0²+ε^{5/2}) times the stated powers of τ1 or τ2, but no argument is given. This is the decisive step where the bootstrap constants are improved, and it is not a cosmetic omission: for k=n and p=1+δ the bootstrap permits X ≲ ε² τ2^{4δ}, so the future boundary term has the same τ-growth as the desired bound, and a direct absorption of E(τ2) would only recover the assumed constant. I ask for a self-contained lemma that iterates (6.1) over dyadic intervals and shows how E(τ2) is converted into E(τ1) plus an integrated bulk that is ε^{5/2}-small with constants independent of A, or, failing that, a precise statement of the cited lemma with its hypotheses verified for the present energy norms.","section":"Section 6, Proposition 6.1 and proof of Proposition 5.3"},{"comment":"The Morawetz estimate is labeled 'Sketch of proof.' It is a foundational a priori estimate on which all nonlinear error estimates in Section 5 rely. The sketch introduces several multipliers (X2, h2, χnear, g) without defining them and concludes (4.8) after 'straightforwardly bounding' the bulk error by E_{T,k}+E_{Z,k}. If this estimate is taken verbatim from [Are11a]/[AAG20a]/[HMVR24], please give a precise reference and state it as an imported theorem; if the present proof contains new modifications, they need to be written out. Otherwise the derivation of the master hierarchy (6.1) is not fully verifiable.","section":"Section 4.4.1, Proposition 4.4"}],"minor_comments":[{"comment":"There is a typo in Theorem 3.3: 'extemal' should be 'extremal'.","section":"Section 3.2"},{"comment":"In the estimate for E(∂v, i, k, R), the term X_{1+δ} on the right-hand side is missing the subscript k; it should read X_{1+δ,k}^{τf}.","section":"Section 5.6"},{"comment":"The interpolation step after the endpoint estimates for E_{p,k}(R) is not shown; please specify the interpolation parameters used in (5.46) for at least one of the three rows, so the stated powers in (5.47) can be checked directly.","section":"Section 5.7"},{"comment":"Theorem 1.7 is stated as a theorem in the introduction but only sketched in Appendix A. Since the abstract advertises a sketch, I suggest rephrasing it as a conditional result or clearly marking it as a sketch within the statement.","section":"Section 1.3.2 and Appendix A"},{"comment":"The section title 'intermediater region' should be 'intermediate region'.","section":"Section 5.5"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is squarely within the scope of the journal and the main idea is attractive. The stumbling block is Section 6: although the pigeonhole argument may be standard, the presence of the future boundary E(τ2) and the allowed growth of the top-order energy make the closure step nontrivial. I recommend requesting a detailed proof of that step before acceptance."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The thing to know about this paper is that it delivers a simpler proof of a known global-existence result, and the simplification is real. Angelopoulos and Unger prove small-data global existence for semilinear wave equations on extremal Reissner-Nordström under a strong null condition, using a substantially weaker initial-data norm than the earlier AAG20b proof and dropping the Y and r^2∂v commutations. That is worth something on its own, and it is explicitly engineered to be compatible with the larger horizon instabilities expected for charged scalar fields and extremal Kerr. Section 1.3.1 also carefully identifies a concrete class of 'good·bad' null forms that the new method cannot handle, which is exactly the kind of limitation statement you want.\n\nThe detailed error estimates in Sections 5.3–5.8 are the meat of the paper, and they look credible: the L1L∞ and L2L∞ estimates, the pointwise hierarchy with the (r−M)^{-q} interpolation, and the dyadic summation arguments are all spelled out with enough precision that a patient reader can check them. The Morawetz estimate in Section 4.4, however, is only sketched, and Section 6 is a sketch as well. The proof of Proposition 5.3 is where the bootstrap closes, and it is three paragraphs with a citation to a 'standard pigeonhole argument.'\n\nThe sharpest concern, and the one I would want a referee to press on, is Proposition 6.1. As written, the master hierarchy has E_{p,k}(τ2) on the right-hand side, which makes it the wrong shape for a bootstrap: X is defined as a supremum over [τ1,τ2], so this is X ≲ X + data + error. The text says the standard pigeonhole argument takes care of it, but that is not demonstrated here. Either the estimate is misstated and the final boundary belongs on the left, or the absorption step is a genuine gap. Since the entire proof of Theorem 3.3 rests on this step, the paper must either give the argument or point to the exact place in AKU24 (or elsewhere) where the identical situation is resolved. I don't think this is a fatal flaw, but it is load-bearing and currently unverifiable from the text.\n\nThe theorem itself is a re-proof, not a first-principles discovery, but the new technique is genuinely new and the paper is honest about its scope. The citation pattern is appropriate—most reliance is on the authors' own prior work, which is exactly the relevant background. I would send this to a serious referee, with the expectation that the revision fill the bootstrap closure gap and expand the Morawetz sketch. For anyone working on stability of extremal black holes, this is a useful and timely paper.","headline":"A genuinely new proof technique for a known global-existence theorem on extremal RN, with a clean limitation statement; the main risk is the sketched bootstrap closure in Section 6.","tokens_in":44754,"tokens_out":4869,"would_cite":true,"duration_ms":48085,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35L71","35B40","83C57"],"pacs":[],"model":"deepseek-v4-flash","headline":"Global existence for small-data semilinear wave equations on extremal Reissner–Nordström follows from a weak hierarchy of weighted energy estimates that is compatible with horizon derivative growth.","keywords":["semilinear wave equations","extremal Reissner-Nordström","global existence","strong null condition","horizon instability","energy decay","bootstrap argument","black hole stability"],"falsifier":"Take the semilinear equation with nonlinearity containing $r^{-1}\\Gamma_i\\phi\\,Y\\phi$ near the horizon and all other terms satisfying the strong null condition. If for a sequence of characteristic data with $\\lVert\\mathring{\\phi}\\rVert_\\star\\to 0$ the solution fails to exist globally, or if the bootstrap quantity $(r-M)^{-2}\\partial_u\\phi^{n-6}$ grows faster than $\\tau^{1/2+\\delta/2}$, then the claimed boundary of the theorem would be falsified.","tokens_in":43585,"feed_emoji":"🕳️","tokens_out":7159,"duration_ms":69017,"temperature":0.7,"pith_summary":"The paper proves that small smooth solutions of semilinear wave equations on the extremal Reissner–Nordström black hole exist globally and decay polynomially, for nonlinearities satisfying a strong null condition at the horizon and at null infinity. The proof uses a strictly weaker set of weighted energy and pointwise estimates than earlier work: it commutes only with time translation and rotations, keeps the weights $r^p$ and $(r-M)^{-p}$ below $p=2-\\delta$, and never attempts to control the transverse null derivative of the solution on the horizon. This makes the stability statement compatible with, but not dependent on, the known non-decay and polynomial growth of horizon derivatives. The authors also sketch how the same scheme applies to semilinear problems on spacetimes that settle down to extremal Reissner–Nordström.","feed_headline":"Weak estimates prove global wave stability on extremal black holes","feed_subtitle":"A new bootstrap avoids tracking horizon derivative growth, leaving room for stronger instabilities like charged fields or Kerr.","key_machinery":"The load-bearing object is the master energy $X_{p,k}(\\tau_1,\\tau_2)$, which combines $r^p$-weighted outgoing fluxes, $(r-M)^{-p}$-weighted ingoing fluxes, and integrated spacetime energies with a degeneration at the photon sphere; the paper propagates this hierarchy only up to $p=2-\\delta$ and $k=n$ commutations. Around that hierarchy sits a bootstrap using $L^1_vL^\\infty_{u,\\omega}$ and $L^2_vL^\\infty_{u,\\omega}$ estimates for lower-order derivatives, characteristic pointwise bounds, and the strong null condition to organize nonlinear error terms. The weighted Hardy and Morawetz estimates replace the redshift effect in the extremal setting, while trapping is removed by a nondegenerate estimate at one higher commutation order. The method of characteristics yields $(r-M)^{-q}$ pointwise bounds that interpolate between boundedness and growth, which is enough to close the error estimates without proving sharp horizon asymptotics.","core_discovery":"The central claim is that global existence for semilinear systems on extremal Reissner–Nordström does not require the sharp near-horizon estimates that were previously thought necessary. For any mass $M>0$, $\\delta\\in(0,1/100)$, and $n\\ge 12$, if the nonlinearity satisfies the strong null condition of Definition 2.2 and the characteristic initial data satisfy $\\lVert\\mathring{\\phi}\\rVert_\\star\\le \\varepsilon_0\\le \\varepsilon_{\\mathrm{stab}}$, then the solution exists on the entire domain of outer communication and extends smoothly to the event horizon. The solution obeys energy bounds such as $X_{0,n-2}(\\tau,\\infty)\\le C\\varepsilon_0^2\\tau^{-2+\\delta}$ and $X_{2-\\delta,n-2}(\\tau,\\infty)\\le C\\varepsilon_0^2$, while the top-order weighted energy $E_{1+\\delta,n}(\\tau)+\\underline{E}_{1+\\delta,n}(\\tau)$ is allowed mild growth like $\\tau^{4\\delta}$. The proof never commutes with the transverse null vector field $Y$ or with $r^2\\partial_v$, so it can tolerate horizon growth of order $|Y\\phi|\\lesssim v^{1/2+\\delta/2}$, exactly the kind of growth expected in more unstable settings.","pith_inferences":["The paper's decoupling of stability from horizon instability suggests a practical two-stage strategy for future nonlinear stability problems on extremal Kerr: first prove existence with weak norms, then quantify horizon growth separately.","A direct testable extension is to run the same weak hierarchy for the charged scalar field system on extremal Reissner–Nordström; if the hierarchy closes there, the claimed compatibility with faster horizon growth becomes a proven theorem rather than a heuristic.","The failure for terms like $r^{-1}\\Gamma_i\\phi\\,Y\\phi$ indicates that the boundary of stable semilinearities is set by a horizon null-structure condition, not merely by the classical null condition at infinity; a classification of all quadratic horizon terms admitting global stability would pin down that boundary.","The asymptotic extremal sketch relies only on angular commutations, so it may carry over to backgrounds without any timelike symmetry, which would be essential for non-stationary dynamical settings."],"forward_implications":["Small-data global existence holds on extremal Reissner–Nordström for all semilinear systems satisfying the strong null condition, with polynomial energy decay in all quantities except possibly a mildly growing top-order weighted energy.","The stability proof is independent of the horizon instability mechanism: it neither assumes nor proves decay of transverse null derivatives, so it remains consistent with faster horizon growth in charged scalar field and extremal Kerr settings.","Once global existence is known, one can revisit the same solution under the stronger norm of earlier work and recover the horizon derivative instability as a separate, later step.","The same weak hierarchy is sketched for asymptotically extremal spacetimes, provided the nonlinearity satisfies the null condition everywhere, which covers wave map systems on those backgrounds.","The proof uses only rotation and time-translation commutations in the exact extremal setting, and only rotation commutations in the dynamical background sketch, suggesting the method does not depend on a global timelike Killing field."],"supporting_citations":[{"why":"Prior proof of global existence and horizon instability for this class of equations; the paper's weaker hierarchy is measured against its stronger assumptions and conclusions.","marker":"[AAG20b]"},{"why":"Supplies the full $r^p$ and $(r-M)^{-p}$ weighted energy hierarchies for the linear wave equation that the nonlinear bootstrap builds on.","marker":"[AAG20a]"},{"why":"Provides the $r^p$-weighted estimates and the pigeonhole argument that convert energy hierarchies into decay estimates.","marker":"[DR10]"},{"why":"Introduces the horizon-weighted hierarchy, Morawetz estimate, and horizon instability for linear waves on extremal Reissner–Nordström.","marker":"[Are11a]"},{"why":"Shows that a nonlinearity with bad transverse derivatives causes finite-time horizon blowup, motivating the strong null condition at the horizon.","marker":"[Are13]"},{"why":"Source of the integrated $L^1L^\\infty$ and $L^2L^\\infty$ pointwise estimates and the trapping-removal technique used to close the bootstrap.","marker":"[DHRT22]"},{"why":"Provides the asymptotically extremal spacetimes on which the same method is sketched in Theorem 1.7.","marker":"[AKU24]"},{"why":"Establishes local well-posedness for the characteristic initial value problem needed to start the continuity argument.","marker":"[Luk12]"}],"fun_headline_variants":["Global wave stability on extremal black holes without sharp horizon estimates","Simpler proof extends wave stability on extremal black holes","Wave stability on extremal RN without horizon derivative tracking","New proof permits wave stability on extremal black holes, with room for instabilities"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The decisive assumption is the strong null condition at the event horizon: near $H^+$ every quadratic derivative term must pair one good transverse derivative with a tangent derivative, or two angular derivatives, so terms such as $r^{-1}\\Gamma_i\\phi\\,Y\\phi$ are excluded; if such a term is present, the bootstrap needs a bound on $Y\\phi^{n-6}$ that the weak hierarchy cannot provide.","fun_headline_variants_meta":{"raw":{"variants":["Global wave stability on extremal black holes without sharp horizon estimates","Simpler proof extends wave stability on extremal black holes","Wave stability on extremal RN without horizon derivative tracking","New proof permits wave stability on extremal black holes, with room for instabilities"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00091,"raw_usage":{"total_tokens":3964,"prompt_tokens":1049,"completion_tokens":2915,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":665,"completion_tokens_details":{"reasoning_tokens":2843}},"tokens_in":665,"tokens_out":2915,"duration_ms":19489,"temperature":1.0,"reasoning_tokens":2843,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-09T19:47:11.947272+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take the semilinear equation with nonlinearity containing $r^{-1}\\Gamma_i\\phi\\,Y\\phi$ near the horizon and all other terms satisfying the strong null condition. If for a sequence of characteristic data with $\\lVert\\mathring{\\phi}\\rVert_\\star\\to 0$ the solution fails to exist globally, or if the bootstrap quantity $(r-M)^{-2}\\partial_u\\phi^{n-6}$ grows faster than $\\tau^{1/2+\\delta/2}$, then the claimed boundary of the theorem would be falsified.","supporting_citations":[],"review_version":1}