{"id":"2fe4130c-0e05-4a26-88ee-6e0d0e998b8c","arxiv_id":"2509.06090","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For each degree m≥1, sufficiently small equivariant perturbations of the m-vortex in Manton's self-dual Chern-Simons-Schrödinger model on H² yield a global solution with uniform Strichartz bounds.","lead":"The paper proves that small symmetric perturbations of degree-m magnetic vortices in Manton's Chern-Simons-Schrödinger system on the hyperbolic plane stay small for all time and satisfy global spacetime bounds. The proof uses a nonlinear Darboux transform and spectral analysis of the linearized operators, extending known stability results to a curved geometry.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 2.2's no-resonance proof has a divergent boundary term; without fixing it the Strichartz estimates and main bootstrap lack a valid spectral foundation.","rationale":"The paper has a real and interesting strategy: the nonlinear Darboux transform produces a self-adjoint linearized operator R_Q, and the bootstrap via Strichartz estimates is coherent. Many of the nonlinear estimates in Section 3 are plausible and detailed. However, the reader's weakest assumption points to the correct soft spot. The strongest claim Theorem 1.1 depends on Corollary 2.3, which in turn depends entirely on Lemma 2.2. The proof of Lemma 2.2 contains an apparently false asymptotic cancellation: the boundary term sh(R)∂rφ(∂*_rβ) at infinity grows like e^{R/2} for the stated resonance profile, so the integration-by-parts identity cannot yield a contradiction in the way written. This is an internal correctness issue, not a disagreement with consensus. The claimed sign ∂_rV<0 is also under-verified, though it may be true. Since these gaps are potentially fixable and the overall approach is credible, the existing CONDITIONAL verdict is appropriate; I do not recommend moving to REJECT or ACCEPT without the fix.","tokens_in":38481,"tokens_out":6191,"duration_ms":69374,"concrete_test":"Re-evaluate the boundary terms in the resonance computation of Lemma 2.2 using the leading asymptotics φ(r)=c e^{-r/2}: compute the R→∞ limit of sh(R)∂rφ(R)(∂*_rβ)(R) and the two other displayed boundary terms. If the limit is nonzero (or diverges), the no-resonance argument fails as written; then test whether a regularized cutoff or a corrected identity can make the boundary contributions vanish. Independently verify the claimed ∂_rV<0 by substituting the vortex ODE solutions for m=1,2,3 into the displayed derivative.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The threshold-resonance argument in Lemma 2.2 is internally inconsistent. For a resonance φ(r) ~ c e^{-r/2}, the paper's integration-by-parts boundary term contains sh(R) ∂rφ(R) (∂*_r β)(R). Since β(r)=tanh(r/2) → 1 and ∂*_r β = -β' - coth(r)β → -1, while sh(R) ~ e^R/2 and ∂rφ(R) ~ -(c/2)e^{-R/2}, this term behaves like (e^R/2)(-c/2 e^{-R/2})(-1) = (c/4)e^{R/2}, which diverges as R→∞. The paper's claimed cancellation (−c²/8 − c²/8 + c²/4 = 0) does not correspond to the actual asymptotic boundary terms. Moreover, the assertion ∂_r V < 0 is stated without a verifiable computation, and it is essential to the no-eigenvalue argument. Because Corollary 2.3, Proposition 3.1, and the final bootstrap all rely on Lemma 2.2, a valid proof that R_Q has no threshold resonance and no eigenvalues in [0,5/4] is a load-bearing prerequisite. As written, the main theorem is not fully supported.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies Manton's Chern-Simons-Schrödinger system on the hyperbolic plane in the self-dual (Bogomolny) regime, restricted to equivariant perturbations of the degree-m vortex. In the Coulomb gauge the perturbation ε satisfies a nonlinear equation i∂tε - (1/2)L_Q^*L_Q ε = G(ε), where L_Q and L_Q^* are nonlocal and not complex-linear. The authors introduce a nonlinear Darboux transformation to a new variable ε1 satisfying i∂tε1 - (1/2)R_Q ε1 = N(ε1), with R_Q a local self-adjoint Schrödinger operator. They then derive elliptic equations relating Re ε and Im ε to ε1 and to the linearized gauge potential a_θ, solve these using Green's function for H=-Δ_{H^2}+Q^2, and use Strichartz estimates imported from [28] and [1] to close a bootstrap. Theorem 1.1 asserts that sufficiently small H^1_m data produce a global solution with uniform Strichartz bound. An appendix proves local well-posedness in H^1_m.","tokens_in":38808,"tokens_out":10080,"duration_ms":112966,"significance":"If the proof is completed, the result would be a meaningful first step in the stability theory of vortices in Manton's model on a curved background. The Darboux-transform strategy is attractive and mirrors recent work on Chern-Simons-Schrödinger equations, and the reduction of the nonlocal linearized operators to a local self-adjoint operator is a genuine structural insight. The paper also makes explicit use of the hyperbolic-space spectral and Strichartz theory from [28] and [1], which is appropriate and not circular. The main theorem, however, is currently not fully supported because the spectral analysis of R_Q and H contains gaps, and one nonlinear estimate in the bootstrap is not justified.","major_comments":[{"comment":"The boundary-term computation after (2.21) is not valid. With φ~c e^{-r/2}, β=tanh(r/2)→1, ∂_r^*β→-1, sh(R)~e^R/2 and ∂_rφ(R)~-(c/2)e^{-R/2}, the displayed term sh(R)∂_rφ(R)(∂_r^*β)(R) behaves like (c/4)e^{R/2}, which diverges. If an omitted factor φ(R) was intended, the claimed cancellation -c^2/8 - c^2/8 + c^2/4 = 0 still does not correspond to the actual asymptotics, since the third boundary term is O(e^{-2R}), not -c^2/8. Thus the exclusion of a threshold resonance is unproved. Because Corollary 2.3 and Proposition 3.1 rely on Lemma 2.2, the main theorem is not supported as written.","section":"§2.2, Lemma 2.2 (resonance argument)"},{"comment":"The proof that 0 is not an eigenvalue of H is not rigorous. The sentence 'Since v∈L^2(0,∞), it must vanish at some point' is false: a nonzero L^2 function need not have any zero. Moreover, with Hv=0 the displayed inequality '0<∫_0^{r0} Hu v dx' is unjustified (the integral is 0 if Hv=0). The Green representation (2.26) requires a reliable exclusion of the L^2 kernel of H. Please replace this argument with a standard Sturm-Liouville/positivity comparison or provide a correct reference.","section":"§2.2, Lemma 2.4 (zero not an eigenvalue of H)"},{"comment":"The displayed nonlinear estimate ∥(a_θ/sh)ε1∥_{L^{4/3}L^{4/3}} ≤ ∥a_θ/sh∥^2_{L∞L4} ∥ε∥_{L^{4/3}L4} ≲ X^3+X^5 does not follow from Lemma 3.6, which has ∥ε1∥_{L^{p2}} on the right-hand side, nor from any previous estimate. The power of a_θ/sh is also inconsistent with the left-hand side. This line is needed for the bootstrap (3.13). Please correct the Hölder/Lemma combination or the displayed inequality.","section":"§3.1, proof of Proposition 3.1"},{"comment":"The paper states in the abstract and introduction that the vortex is 'asymptotically stable,' but Theorem 1.1 only proves global existence and the uniform Strichartz bound ∥ε∥_{S^1_m(R)} ≲ δ. No decay as t→∞ or convergence to the vortex is established. If the intended statement is Lyapunov/global stability, the terminology should be softened; if asymptotic stability is intended, additional dispersive decay must be proved.","section":"Abstract and Introduction (claim of asymptotic stability)"}],"minor_comments":[{"comment":"Typo: 'Abalian-Higgs' should be 'Abelian-Higgs'; later 'Boglomony' should be 'Bogomolny'.","section":"Abstract"},{"comment":"The statement says 'for any two pairs of exponents (p1,q1) and (p1,q1)' but only one pair is named. It should presumably be (p1,q1) and (p2,q2).","section":"Corollary 2.3"},{"comment":"The phrase 'Let 0<r0≤∞ be the first value such that v(r0)=0' needs care when r0=∞; the integration by parts requires decay conditions at infinity that are not stated.","section":"Lemma 2.4"},{"comment":"The uniqueness statement uses C((0,T), H^1_m)∩S^1_m((0,T)); for a well-posedness statement the interval should be [0,T] or the endpoint behavior should be specified.","section":"Appendix A, Theorem A.1"},{"comment":"Norms such as ∥a_θ/sh∥^2_{L∞L4} are ambiguous; it should be stated explicitly whether the L∞ is in time and L^4 in the radial variable.","section":"Notation in §3.1"},{"comment":"There are spacing artifacts in several reference entries ('La wrie', 'Hor v athy') that should be corrected.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The overall strategy is credible and the result is likely true, but the spectral lemma for R_Q is the weakest point: the resonance boundary calculation is visibly wrong. I do not think rejection is warranted if the authors can supply a correct proof of Lemma 2.2 and repair Lemma 2.4 and the bootstrap line in Proposition 3.1. The 'asymptotic stability' wording should also be aligned with what is actually proved."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This paper proves the first stability theorem for equivariant vortices in Manton's Chern-Simons-Schrödinger system on the hyperbolic plane. That is a legitimate new result: the Darboux transform is adapted from Euclidean CSS work, but the curved setting forces a genuinely new elliptic inversion through H = -Δ + Q², and the Green's function estimates are specific to H². The strategy is coherent and the paper is honest about what is new; the Strichartz estimates imported from [28] are an external published benchmark, not a circular citation.\n\nThe trouble is Lemma 2.2, which is load-bearing. In the no-resonance proof, the boundary term sh(R)∂_rφ(∂^*_rβ)(R) diverges like e^{R/2} when φ ~ c e^{-r/2}; the claimed cancellation (−c²/8 − c²/8 + c²/4 = 0) does not match the asymptotics. The resonance argument is therefore invalid as written. Since Corollary 2.3 and the Proposition 3.1 bootstrap rely on Lemma 2.2, the main theorem is not fully supported. The sign assertion ∂_r V < 0 is also stated without a derivation from vortex properties; it may be true, but it needs proof.\n\nSeparately, the abstract and introduction promise asymptotic stability, but Theorem 1.1 gives only Strichartz bounds for ε, with no decay. That overclaim should be fixed. The local well-posedness appendix is sketched: Claims A.3–A.5 are asserted with abbreviated estimates, not complete proofs.\n\nIf the spectral gap and resonance issue is repaired — the conclusion is plausible and the rest of the machine is well-built — this will be a solid contribution. For now, the proof has a hole in a central place. I would send it to a serious referee, but with the expectation of major revision. The ideas are worth close scrutiny.","headline":"Genuinely new stability theorem for vortices in Manton's model on H², but the spectral lemma underpinning the Strichartz estimates has a divergent boundary term and the abstract overclaims asymptotic stability.","tokens_in":39275,"tokens_out":7103,"would_cite":false,"duration_ms":65909,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q55","35B35","35R01"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that every sufficiently small equivariant perturbation of the degree-m vortex in the self-dual Chern-Simons-Schrödinger system on the hyperbolic plane evolves globally with a uniform Strichartz bound.","keywords":["equivariant vortices","hyperbolic plane","Chern-Simons-Schrödinger system","asymptotic stability","Darboux transform","Strichartz estimates","self-dual vortex equations","magnetic vortices"],"falsifier":"Numerically integrate R_Q u = (5/4)u with the near-origin behavior u ~ r^{1/2+m}; if the far-field coefficient of the growing mode e^{+r/2} is found to be zero, the threshold is non-resonant, while a nonzero coefficient would exhibit a threshold resonance, contradicting Lemma 2.2 and invalidating the Strichartz input. Equivalently, constructing a normalized L² eigendata for R_Q with eigenvalue in [0, 5/4] would falsify the theorem's linear premise.","tokens_in":38410,"feed_emoji":"🌀","tokens_out":10454,"duration_ms":100551,"temperature":0.7,"pith_summary":"The paper's goal is to show that the degree-m equivariant magnetic vortices of the self-dual Chern-Simons-Schrödinger system on the hyperbolic plane are dynamically stable: any sufficiently small equivariant perturbation, measured in H^1_m, extends to a global-in-time solution and obeys a uniform Strichartz bound. The obstruction is that the linearized flow is governed by nonlocal, real-linear operators not amenable to direct spectral analysis. The authors bypass this with a nonlinear Darboux transform: differentiating the field equation once shifts the linearized problem to a new variable whose evolution is driven by a local, complex-linear, self-adjoint Schrödinger operator R_Q. They prove R_Q has purely absolutely continuous spectrum [5/4, ∞) with no eigenvalues or threshold resonance, which grants Strichartz estimates; a coupled elliptic equation with Green's function estimates then recovers the original perturbation. If correct, the theorem settles asymptotic stability of all equivariant vortices (m ≥ 1) in this self-dual model.","feed_headline":"Hyperbolic vortices survive small symmetric perturbations","feed_subtitle":"Darboux transform plus spectral resolution yields global Strichartz bounds for every degree m ≥ 1.","key_machinery":"The load-bearing object is the nonlinear Darboux transform. Writing the m-equivariant solution as Φ = e^{imθ}(Q+ε), the linearized evolution for ε involves the nonlocal, real-linear, non-complex-linear operator L_Q^* L_Q, where L_Q and L_Q^* are only formal adjoints with respect to the real inner product. Applying D_+ (the covariant Cauchy–Riemann operator) turns D_+Φ = e^{i(m+1)θ} ε_1 into a new unknown satisfying i∂_t ε_1 − ½ R_Q ε_1 = N(ε_1), where R_Q = −Δ_{H²} + V + 1 = A_Q^* A_Q − 1 is a local, complex-linear, self-adjoint Schrödinger operator with exponentially decaying potential. The spectral lemma for R_Q (purely absolutely continuous spectrum on [5/4, ∞), no eigenvalues, no thresho","core_discovery":"Main result (Theorem 1.1): there is a δ > 0 such that any radial H^1_m datum ε_0 with ‖ε_0‖_{H^1_m} ≤ δ initiates a global solution ε(t) of the perturbed system, with the uniform control ‖ε‖_{S^1_m(ℝ)} ≲ δ; in particular the degree-m equivariant vortex is asymptotically stable under equivariant perturbations. The argument applies the covariant derivative D_+ to the full flow to produce the transformed variable ε_1 = D_+Φ, which satisfies i∂_t ε_1 − ½ R_Q ε_1 = N(ε_1) with R_Q local and self-adjoint. Lemma 2.2 identifies σ(R_Q) = [5/4, ∞) as purely absolutely continuous, with no eigenvalue in [0, 5/4] and no threshold resonance; this feeds Strichartz estimates via Corollary 2.3. The original","pith_inferences":["If the spectral lemma holds, the same Darboux-transform-plus-elliptic-inversion scheme may transfer to the classical self-dual Chern-Simons-Schrödinger equation on H² or to equivariant data on other noncompact rank-one symmetric spaces, where analogous dispersive estimates are available.","The boundary-term computation identifying 5/4 as a non-resonant threshold is delicate and involves the far-field behavior φ ~ c e^{-r/2}; a direct numerical check of the Jost-function coefficient at 5/4 for m = 1 would independently verify the paper's main spectral input.","The expected gap eigenvalues of H = −Δ_{H²} + Q² (Remark 2.5) do not enter the stability argument; this suggests that vortex stability on H² is governed by the absence of discrete spectrum of R_Q, not of H — a structural prediction one could test by computing both spectra numerically.","Because the perturbation class is equivariant and radial, the stability statement does not address non-equivariant or translational perturbations; extending the result would require additional modulation and radiation-damping analysis beyond the equivariant sector."],"forward_implications":["For every winding number m ≥ 1, small equivariant perturbations of the vortex produce global solutions with a uniform Strichartz bound; in particular, no finite-time blow-up can arise from small equivariant data.","The global bound ‖ε‖_{S^1_m(ℝ)} ≲ δ implies time-integrated decay of the perturbation in the admissible L^p norms, which is exactly the asymptotic stability asserted in the abstract.","The nonlinearity is controlled by quadratic and cubic terms in the Strichartz norm, using the fact that the admissible range on H² is strictly larger than on ℝ²; the same control also yields local well-posedness for arbitrary H^1_m data (Appendix A).","Lemma 2.2's absolute-continuity result — no eigenvalues and no resonance at the threshold 5/4 — is what makes the linearized Strichartz estimates available, so the stability result is inherited from a purely spectral statement about a one-dimensional Schrödinger operator with exponentially decaying potential."],"supporting_citations":[{"why":"Supplies the abstract Strichartz estimates for Schrödinger operators with purely absolutely continuous spectrum, applied to R_Q in Corollary 2.3.","marker":"[28]"},{"why":"Provides the free Strichartz estimates on hyperbolic space used in the local well-posedness fixed-point argument in Appendix A.","marker":"[1]"},{"why":"Introduced the first-order vortex dynamics model and its self-dual structure, providing the commutator relations used to derive the Darboux-transformed equation (2.10).","marker":"[38]"},{"why":"Classifies finite-energy vortices on the hyperbolic plane and gives the equivariant vortex profiles (Q, A_θ[Q]) that the paper perturbs.","marker":"[37]"},{"why":"Standard reference for Ginzburg-Landau or self-dual vortices, supplying the finite-energy vortex theory used in Section 1.1.","marker":"[21]"},{"why":"Identifies the spectrum of the hyperbolic Laplacian as [1/4, ∞), the lower bound used to locate the essential spectrum of R_Q in Lemma 2.2.","marker":"[16]"},{"why":"Weyl's criterion is invoked to pin down the essential spectrum of the self-adjoint perturbation −Δ + V + 1 in Lemma 2.2.","marker":"[42]"},{"why":"Earlier work on the self-dual Chern-Simons-Schrödinger equation demonstrating the favorable structure after an analogous Darboux transform, which this paper adapts.","marker":"[24]"}],"fun_headline_variants":["Darboux transform proves hyperbolic vortices stable","Vortices on hyperbolic plane resist symmetric shakes","Spectral gap shields hyperbolic vortices","Equivariant vortices asymptotically stable on hyperbolic plane","Chern-Simons vortices: small perturbations fade away"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"The proof stands on the spectral lemma that the Darboux-transformed operator R_Q has purely absolutely continuous spectrum [5/4, ∞) with no eigenvalue below 5/4 and no threshold resonance at 5/4; in particular, the boundary-term computation at infinity in Lemma 2.2 must give a genuine cancellation, otherwise the Strichartz estimates and the whole bootstrap collapse.","fun_headline_variants_meta":{"raw":{"variants":["Darboux transform proves hyperbolic vortices stable","Vortices on hyperbolic plane resist symmetric shakes","Spectral gap shields hyperbolic vortices","Equivariant vortices asymptotically stable on hyperbolic plane","Chern-Simons vortices: small perturbations fade away"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000331,"raw_usage":{"total_tokens":1680,"prompt_tokens":744,"completion_tokens":936,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":488,"completion_tokens_details":{"reasoning_tokens":876}},"tokens_in":488,"tokens_out":936,"duration_ms":7786,"temperature":1.0,"reasoning_tokens":876,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T04:28:47.049564+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Numerically integrate R_Q u = (5/4)u with the near-origin behavior u ~ r^{1/2+m}; if the far-field coefficient of the growing mode e^{+r/2} is found to be zero, the threshold is non-resonant, while a nonzero coefficient would exhibit a threshold resonance, contradicting Lemma 2.2 and invalidating the Strichartz input. Equivalently, constructing a normalized L² eigendata for R_Q with eigenvalue in [0, 5/4] would falsify the theorem's linear premise.","supporting_citations":[{"cited_title":"uhrmann, J., Oh, S.-J., and Shahshahani, S. Local smoothing estimates for S chr\\","cited_arxiv_id":null,"evidence_quote":"Supplies the abstract Strichartz estimates for Schrödinger operators with purely absolutely continuous spectrum, applied to R_Q in Corollary 2.3."},{"cited_title":"Nonlinear Schr\\\"odinger Equation on Real Hyperbolic Spaces","cited_arxiv_id":null,"evidence_quote":"Provides the free Strichartz estimates on hyperbolic space used in the local well-posedness fixed-point argument in Appendix A."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduced the first-order vortex dynamics model and its self-dual structure, providing the commutator relations used to derive the Darboux-transformed equation (2.10)."},{"cited_title":"Topological solitons","cited_arxiv_id":null,"evidence_quote":"Classifies finite-energy vortices on the hyperbolic plane and gives the equivariant vortex profiles (Q, A_θ[Q]) that the paper perturbs."},{"cited_title":"Vortices and monopoles","cited_arxiv_id":null,"evidence_quote":"Standard reference for Ginzburg-Landau or self-dual vortices, supplying the finite-energy vortex theory used in Section 1.1."},{"cited_title":"Geometric analysis on symmetric spaces , vol","cited_arxiv_id":null,"evidence_quote":"Identifies the spectrum of the hyperbolic Laplacian as [1/4, ∞), the lower bound used to locate the essential spectrum of R_Q in Lemma 2.2."},{"cited_title":"Methods of modern mathematical physics","cited_arxiv_id":null,"evidence_quote":"Weyl's criterion is invoked to pin down the essential spectrum of the self-adjoint perturbation −Δ + V + 1 in Lemma 2.2."},{"cited_title":"Soliton resolution for equivariant self-dual C hern- S imons- S chr\\\"odinger equation equation in weighted sobolev class","cited_arxiv_id":null,"evidence_quote":"Earlier work on the self-dual Chern-Simons-Schrödinger equation demonstrating the favorable structure after an analogous Darboux transform, which this paper adapts."}],"review_version":1}