{"id":"3199f648-26e6-4a7a-9525-f5fa929a709c","arxiv_id":"2603.04202","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":5,"one_line_summary":"Small-data Maxwell–Higgs fields on Schwarzschild admit global existence and nonlinear scattering; on slowly rotating Kerr the same is proved conditional on external linear and spectral estimates.","lead":"This paper proves that small Maxwell–Higgs perturbations near the vacuum on Schwarzschild black holes have global evolution and nonlinear scattering, and it reduces the slowly rotating Kerr case to a list of linear and spectral estimates. A generalist reader should see this as a rigorous map from linear black-hole estimates to nonlinear matter-field scattering, with the rotating scattering results explicitly conditional on open inputs.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Kerr claims hinge on unproved inputs: Theorem E.8's small-Coulomb scalar comparison and MSK(M,a); if either fails at the stated thresholds, small-electric and scattering theorems collapse, while Schwarzschild stands.","rationale":"The paper's central claim is the transfer principle: given a list of linear estimates LinK, nonlinear Maxwell-Higgs on a stationary black-hole exterior yields global existence, radiation fields, nonlinear wave operators, and asymptotic completeness. The proof of this principle appears internally consistent: the finite-slab bootstrap closes at top order K, the radiation conclusions are stated at order K−4, the tame estimates in Lemma 1.16 and Proposition 1.17 are plausible, and the final-state contraction in Propositions 1.18–1.19 is the standard tail contraction. The Schwarzschild portion is presented as a self-contained verification of LinK and includes redshift, Morawetz, far-field r^p, and two-sided final-state maps; I saw no visible circularity in that part. The genuine correctness risk is not in the nonlinear mechanism but in the Kerr inputs it consumes. For Qe=0, the forward theorem rests entirely on external scalar and Maxwell estimates [1–3] that are cited but not reproduced. For 0<|Qe|≤q_el, the forward theorem additionally depends on Theorem E.8, whose proof is in an appendix not available in the reviewed material; the summary statement that a 'Coulomb-phase argument' proves the charged scalar estimates cannot be checked from the provided text. For wave operators and asymptotic completeness, the Maxwell channel requires MSK(M,a), an inverse final-state map that is explicitly named but neither proved nor cited. If Theorem E.8 only proves energy boundedness but not the full r^p hierarchy or two-sided maps on rotating Kerr, or if MSK does not hold at the stated slow-rotation range, then Theorem 1.1's small-electric sectors and all Kerr scattering homeomorphism claims collapse, while the Schwarzschild theorems and the transfer principle would remain intact. This is exactly the weak assumption the reader identified, so I agree with the CONDITIONAL verdict: the nonlinear reduction is likely correct, but the headline rotating claims inherit the status of unverified linear inputs.","tokens_in":62960,"tokens_out":11454,"duration_ms":121710,"concrete_test":"Obtain and inspect Appendix E, in particular Theorem E.8 and Proposition E.9. Verify that the Coulomb-phase comparison is proved for the full slowly rotating Kerr family (|a|≤a_slow) and that it yields the charged scalar estimates—redshift, trapping-degenerate Morawetz, far-field r^p, inhomogeneous source, and two-sided final-state maps—in the fixed-sector norm CE^{(0)}_K(M,a,Qe), not just an energy bound. In parallel, check whether MSK(M,a) is established anywhere in the literature for the stated slow-rotation range; if not, rerun Theorem 1.1 with MSK removed and confirm the theorem's statement is weakened to forward continuity of Cauchy-to-radiation maps. If Theorem E.8 fails or MSK is unproved, the Kerr scattering theorems should be downgraded to forward theorems under the external linear estimates.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The transfer principle (Theorem 1.15) is structurally coherent: the bootstrap closes at order K with radiation regularity K−4, the semilinear sources are tame, and the final-state fixed point is a contraction on tails. The Schwarzschild part is presented as a self-contained realization of LinK, including redshift, Morawetz, far-field r^p, and two-sided final-state maps. The load-bearing weak point is the application to slowly rotating Kerr. Theorem 1.1's massless zero-sector forward result is only as strong as the cited scalar estimates [1,2] and charge-subtracted Maxwell estimates [3]; its small-electric sector (0<|Qe|≤q_el) additionally depends on Theorem E.8, whose proof is not present in the reviewed text; and every wave-operator/asymptotic-completeness statement in the Maxwell channel is predicated on MSK(M,a) (Definition 1.6), which is named but neither proved nor cited. Since the abstract and Theorem 1.1 present the slowly rotating Kerr part as a 'robust massless forward theory and perturbative small-electric extension', a failure of Theorem E.8 at the stated thresholds—for example, if the Coulomb-phase comparison does not reproduce the full r^p hierarchy or two-sided maps on rotating Kerr, not just Schwarzschild—would directly remove the 0<|Qe| sectors from Theorem 1.1. Likewise, without MSK the homeomorphism/wave-operator conclusions in Theorem 1.1 do not follow, leaving only forward scattering. The Schwarzschild theorems and the transfer principle would survive, so the concern is not about the core nonlinear mechanism but about the Kerr scope.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a small-data global and scattering theory for the Maxwell–Higgs system in Lorenz gauge on Schwarzschild and slowly rotating Kerr exteriors. The central mechanism is a transfer principle (Theorem 1.15): given a set of linear estimates Lin_K — energy boundedness, redshift, Morawetz/ILED, far-field r^p hierarchy, and two-sided linear final-state maps — the nonlinear problem closes by a bootstrap plus tail contraction, yielding global existence, gauge-covariant radiation fields, nonlinear wave operators, asymptotic completeness, tangency, and a Born expansion. On Schwarzschild the paper presents a self-contained realization of the linear estimates and states complete nonlinear scattering in the zero and fixed-electric sectors. On Kerr, the massless zero-sector forward Cauchy theorem is presented as following from cited scalar and Maxwell estimates; the small-electric sector is said to follow from a comparison theorem in Appendix E; and all rotating Maxwell wave-operator/asymptotic-completeness statements require the explicitly named condition MSK(M,a), while massive rotating statements require further spectral conditions. The main unresolved point in the reviewed text is that the proof of Theorem E.8 is not present, so the small-electric Kerr conclusions are currently conditional on an unavailable lemma.","tokens_in":63338,"tokens_out":9660,"duration_ms":105368,"significance":"If the Schwarzschild results are correct, they constitute a substantive advance: a nonlinear small-data Maxwell–Higgs scattering theory on Schwarzschild with gauge-covariant radiation fields, a Coulomb long-range phase, and a clean transfer mechanism. The paper is unusually careful in separating proved results from externally supplied or open linear inputs, and I found no fitted parameters or circular use of the conclusion. The transfer principle itself is a valuable reduction: it isolates the nonlinear mechanism from the geometry-specific linear theory. The Kerr statements are largely honest reduction theorems, and the explicit list of standing conditions in Appendix A is helpful. However, the small-electric Kerr sectors are load-bearing parts of the main theorem, and the missing proof of Theorem E.8 is a substantive gap that must be addressed before the paper can be accepted.","major_comments":[{"comment":"The proof of Theorem E.8 is not present in the reviewed version. This is load-bearing: Theorem 1.1 includes the range 0<|Qe|≤q_el, and its proof states that the scalar comparison estimate is Theorem E.8 in that range; the introductory 'Unconditional and conditional results' paragraph says the small-Coulomb comparison is proved in Appendix E. Without the proof, the small-electric Kerr forward Cauchy, decay, and radiation statements are not established. The revision must either supply a complete proof on slowly rotating Kerr — including the full r^p hierarchy, inhomogeneous source estimates, and two-sided final-state maps for the charged scalar operator — or explicitly demote the 0<|Qe| sectors of Theorem 1.1 to conditional status and revise the abstract accordingly.","section":"Appendix E, Theorem E.8"},{"comment":"MSK(M,a) is named in Definition 1.6 but is neither proved nor cited. Since every rotating Maxwell wave-operator, two-sided scattering, and asymptotic-completeness statement in Theorem 1.1 is conditioned on MSK, these are reduction theorems rather than established results. The proof is transparent about this, but the abstract and the theorem statement could mislead: the phrase 'complete' and the presence of wave-operator conclusions in a 'Main Kerr theorem' should be accompanied by an explicit statement in the theorem itself that the inverse Maxwell final-state input remains open/unproved. I recommend either adding this caveat to the theorem statement or moving the wave-operator part into a separate conditional corollary.","section":"Definition 1.6 and Theorem 1.1"},{"comment":"The abstract states that the slowly rotating Kerr part gives 'a robust massless forward theory and a perturbative small-electric extension'. In the reviewed text, the massless zero-sector forward theory rests on the cited estimates [1–3], but the perturbative small-electric extension rests on Theorem E.8, whose proof is absent. The abstract should be adjusted so that the small-electric Kerr claim is labeled as unconditional only after the proof of Theorem E.8 is supplied, or as conditional on it. This is not a circularity issue, but it is a mismatch between the stated unconditional content and what the manuscript currently proves.","section":"Abstract and §1.1"}],"minor_comments":[{"comment":"The symbol F is used both for the Maxwell curvature and for an external forcing term. Remark 5.1 acknowledges this, but the ambiguity is a readability burden; a different symbol such as \\mathcal F for forcing would help.","section":"§1.5 and §5.2"},{"comment":"Several phrases read 'therp hierarchy' instead of 'the r^p hierarchy'; these typos should be corrected.","section":"Throughout"},{"comment":"The notation 'v_+-type bounds' is used before v_+ is defined (it is defined later in §2.6). Define v_+ and w_+ in the introduction or move the notation to a preliminary section.","section":"§1.5"},{"comment":"The massive energy theorem is explicitly conditional on ME(m)_N, which is an external spectral condition. This is acceptable, but a one-sentence reminder in the theorem statement that ME(m)_N is not proved here and is known to fail for some masses on rotating Kerr would improve precision.","section":"§1.1, Theorem 1.2"},{"comment":"The collected conditions are useful, but the number of named conditions (Lin_K, SKG, ME, CE, SMS, MSK, RS) is large. A short table listing which conditions are proved, which are cited, and which are open would make the paper easier to navigate.","section":"Appendix A"}],"recommendation":"major_revision","confidential_remarks":"The stress-test concern lands: the small-electric Kerr sectors of Theorem 1.1 depend on Theorem E.8, whose proof is not in the reviewed text. The MSK condition is an unproved named input, but the paper is explicit about it, so I view that as an acceptable conditional statement provided it is consistently presented. The transfer principle and Schwarzschild parts appear sound and substantial. If the authors supply the missing proof of Theorem E.8, or explicitly downgrade the affected Kerr claims and adjust the abstract, I would be willing to recommend acceptance."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague, here is my take. The paper is better than its title suggests: the actual deliverable is a complete small-data nonlinear scattering theory for Maxwell–Higgs on Schwarzschild, plus a transfer-principle framework that cleanly reduces the same conclusion on slowly rotating Kerr to a named list of linear and final-state estimates. The Schwarzschild part is self-contained — redshift, Morawetz, r^p hierarchy, radiation fields, wave operators, asymptotic completeness, massive timelike channel — and the bootstrap and contraction structure is internally coherent. The Coulomb-phase renormalization is a sensible bookkeeping device, and fixed-sector charge conservation is handled properly. Credit is due: the authors are unusually honest about what is proved versus what is assumed, and the rotating claims carry their conditions visibly.\n\nSoft spots are exactly where the stress-test lands. The small-electric massless Kerr sector depends on Theorem E.8, whose proof is not in the text I saw; the Kerr Maxwell wave operators and asymptotic completeness all depend on MSK(M,a), which is defined but neither proved nor cited. If either of those fails at the stated thresholds, the corresponding Kerr conclusions collapse. This is not circularity — the reduction is transparent and the Schwarzschild theorems stand independently — but it does mean the \"scattering on slowly rotating Kerr\" in the title is largely a promise pending external inputs. The abstract's \"robust massless forward theory\" is accurate; the scattering part is more conditional than the title implies. The massive energy theorem under ME is explicitly a Cauchy theorem, not a final-state one, which I respect.\n\nA referee must see the Appendix E proof and the Appendix F material before the Kerr small-electric sector can be accepted. Relying on the cited linear estimates [1–3] is normal and fine; the unproved condition that matters is MSK. Who is this for: researchers working on nonlinear stability and scattering for gauge fields on black holes, and anyone who wants a transfer-principle template. It deserves a serious referee, not a desk rejection.\n\nMy recommendation: engage with it, but require the missing appendix proofs and ask the authors to either prove or cite MSK, or to restate the Kerr scattering theorems as explicitly conditional corollaries — and to adjust the title accordingly. The Schwarzschild core is solid and likely correct.","headline":"The Schwarzschild scattering theory is the real, solid contribution; the Kerr scattering claims are honest but conditional on an unproved final-state condition and a missing appendix proof.","tokens_in":63818,"tokens_out":2240,"would_cite":true,"duration_ms":25847,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q61","35L05","83C57"],"pacs":[],"model":"deepseek-v4-flash","headline":"Small-data Maxwell–Higgs scattering on Schwarzschild is complete, and on slow Kerr it reduces to one named linear condition.","keywords":["Maxwell-Higgs","Schwarzschild","slowly rotating Kerr","small-data global existence","nonlinear scattering","radiation fields","Lorenz gauge","Coulomb sector"],"falsifier":"Two concrete checks would settle the central claim. First, on Schwarzschild, construct two distinct small Lorenz-compatible data sets whose nonlinear solutions have identical future radiation fields on I+ ∪ H+: asymptotic completeness would then fail. Second, on slowly rotating Kerr, test whether the charged scalar resolvent for (D_{Qe})^μ D_{Qe,μ} − m^2 has a resonance inside the window 0 < |Q_e| ≤ q_el^{(0)} stated by Theorem E.8; any such resonance would falsify the small-Coulomb comparison used by the Kerr forward theory.","tokens_in":1424,"feed_emoji":"🕳️","tokens_out":1888,"duration_ms":64943,"temperature":0.7,"pith_summary":"This paper tries to establish that small-data Maxwell–Higgs dynamics on black-hole exteriors reduces to a transfer principle: whenever the decoupled linear scalar and Maxwell equations satisfy a short list of energy, decay, horizon, and far-field estimates, the nonlinear Lorenz-gauge problem automatically has global solutions, radiation fields, wave operators, and asymptotic completeness. On Schwarzschild the paper proves those linear estimates from scratch, yielding a complete scattering theory that also covers a massive scalar field with a timelike channel. On slowly rotating Kerr the paper obtains an unconditional massless forward theory in the zero and small-electric sectors, while every rotating statement about wave operators, two-sided scattering, or massive fields is an explicit reduction to named spectral and final-state conditions that the paper does not prove. The payoff is a clean separation: the nonlinear mechanism is settled, and the open rotating difficulties are located precisely in the linear spectral analysis.","feed_headline":"Maxwell–Higgs scattering is complete on Schwarzschild","feed_subtitle":"On slow Kerr, wave operators reduce to one named Maxwell condition.","key_machinery":"The carrier of the argument is the transfer principle (Theorem 1.15): a fixed set of top-order linear estimates for the uncharged scalar wave/Klein–Gordon and Maxwell equations — redshift boundedness, trapping-degenerate integrated local energy decay, an r^p far-field hierarchy, and two-sided final-state maps — is sufficient to run the small-data nonlinear Maxwell–Higgs theory in Lorenz gauge, the divergence-free gauge condition that turns the system into a semilinear wave system. Its companion objects are the fixed-sector Coulomb splitting (subtracting the stationary Coulomb field and working with the radiative Maxwell remainder) and the phase-renormalized scalar radiation variable U^{-1}_{","core_discovery":"The central claim is the transfer theorem: for any admissible stationary black-hole exterior satisfying a finite list of linear estimates — coercive redshift energy, trapping-degenerate Morawetz decay, an r^p far-field hierarchy, and two-sided linear scattering maps — the Lorenz-gauge Maxwell–Higgs evolution of small data is global and nonlinear-scattering-complete. The nonlinearity is tamed in the same source norms in which the linear equations are solved, so the Cauchy bootstrap and the final-state contraction close with no further geometric input. On Schwarzschild the paper verifies the whole linear list and obtains the four main structural results; on slowly rotating Kerr the forward mas","pith_inferences":["The transfer principle suggests the same reduction should apply to other semilinear gauge systems on stationary black holes once matching linear estimates exist; the paper does not claim this.","The Coulomb phase normalization U^{-1}_{Qe} r φ predicts that charged scalar radiation on black holes carries a log-corrected phase analogous to flat-space Coulomb scattering; this is derived in the paper's sector but not pursued beyond it.","A testable extension is to close the rotating massive gap by proving MSK(M,a) and the massive scalar spectral windows; the nonlinear layer of this paper would then automatically supply unconditional Kerr massive scattering.","If the Schwarzschild small-mass electric window (1.32) is sharp, it suggests that charged massive fields can scatter even with arbitrarily small positive mass, unlike the neutral massive case with its known large-mass obstruction."],"forward_implications":["On Schwarzschild, every sufficiently small Lorenz-compatible datum in the zero sector yields a unique global smooth solution with uniform energy boundedness, integrated local energy decay, and finite radiation fluxes on I+ ∪ H+.","The Cauchy-to-radiation maps are homeomorphisms on small neighborhoods, so nonlinear wave operators exist and small-data asymptotic completeness holds in both the massless and massive cases; the massive case includes a timelike/Dollard channel at i±.","On slowly rotating Kerr, the massless zero and small-electric sectors are globally well posed with radiation fields, and the remaining Kerr wave-operator statement is conditional on the Maxwell final-state condition MSK(M,a).","Positive-mass rotating Kerr admits no unconditional small-data theorem: any massive rotating scattering claim requires the stated spectral conditions, and a theorem covering all positive masses would be false.","In electric Coulomb sectors the scalar radiation variable is U^{-1}_{Qe} r φ, and all scattering maps descend to the residual Lorenz-gauge quotient, so the constructed operators are gauge invariant."],"fun_headline_variants":["Scattering fully solved for Maxwell–Higgs on Schwarzschild","Transfer principle yields global Maxwell–Higgs scattering","Schwarzschild: complete scattering for Maxwell–Higgs","Slow Kerr scattering conditional on spectral assumptions","Coulomb sectors settled: scattering complete on Schwarzschild"],"cache_read_input_tokens":65024,"weakest_assumption_plain":"The load-bearing premise is that the linear estimates the argument borrows or proves actually hold at the stated thresholds—in particular, on slowly rotating Kerr, the named Maxwell final-state map MSK(M,a) and the massive scalar spectral conditions, neither of which this paper proves.","fun_headline_variants_meta":{"raw":{"variants":["Scattering fully solved for Maxwell–Higgs on Schwarzschild","Transfer principle yields global Maxwell–Higgs scattering","Schwarzschild: complete scattering for Maxwell–Higgs","Slow Kerr scattering conditional on spectral assumptions","Coulomb sectors settled: scattering complete on Schwarzschild"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000662,"raw_usage":{"total_tokens":2830,"prompt_tokens":684,"completion_tokens":2146,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":428,"completion_tokens_details":{"reasoning_tokens":2071}},"tokens_in":428,"tokens_out":2146,"duration_ms":15991,"temperature":1.0,"reasoning_tokens":2071,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-02T18:52:34.047746+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Two concrete checks would settle the central claim. First, on Schwarzschild, construct two distinct small Lorenz-compatible data sets whose nonlinear solutions have identical future radiation fields on I+ ∪ H+: asymptotic completeness would then fail. Second, on slowly rotating Kerr, test whether the charged scalar resolvent for (D_{Qe})^μ D_{Qe,μ} − m^2 has a resonance inside the window 0 < |Q_e| ≤ q_el^{(0)} stated by Theorem E.8; any such resonance would falsify the small-Coulomb comparison used by the Kerr forward theory.","supporting_citations":[],"review_version":1}