{"id":"8445e5d7-219a-4ed4-a356-d81960a10e87","arxiv_id":"1908.08428","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A BPS model of magnetic skyrmions is extended to curved thin films, with exact solutions on spheres, cones, and cylinders and a resolved moduli space.","lead":"Magnetic skyrmions are tiny stable magnetic whirls that could one day store computer data. This paper moves the mathematical model of skyrmions from flat surfaces to curved films like spheres, cones, and cylinders, and finds exact arrangements and the space of all possible ones.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The resolved-moduli claim depends on an unproven isomorphism between dissolving-vortex and finite-coupling vortex moduli spaces; the §2.4 existence proof also omits degree control.","rationale":"The reader's CONDITIONAL verdict correctly flags gaps in both the existence proof and the moduli-space resolution. My independent read agrees that the argument for Proposition 2.4.1 does not, as written, control the Skyrmion number of the section produced by Serre vanishing: a nonzero section of E⊗L can vanish, shifting the resulting degree, and the paper does not prove that nowhere-vanishing sections exist for every sufficiently large degree. This is a real omitted step, but it is a standard global-generation argument and probably not a false statement. The more load-bearing concern is the modulo-space resolution in Section 4.2, because the paper explicitly relies on an unproven 'expectation' that the dissolving-vortex moduli space is isomorphic as a complex manifold to the finite-coupling vortex moduli space. Since the abstract claims to 'construct the (resolved) moduli space', this unproven isomorphism is a central pillar of the headline result. The paper's exact solutions on the sphere, cone, and cylinder are independent and appear correct; they do not depend on the moduli-space conjecture. Thus the verdict should remain CONDITIONAL: the constructive and exact parts of the paper are valuable, but the global existence proof and, more importantly, the resolved-moduli construction need either proofs or explicit weakening to conjectures.","tokens_in":19990,"tokens_out":29662,"duration_ms":304971,"concrete_test":"For Σ = S^2, vortex number N = 1, and the spiral-staircase background A, compare the two moduli spaces directly: the dissolving-vortex construction yields CP^3, while the finite-e^2 semi-local vortex moduli space should be CP^3 with coordinates given by the vortex position and orientation. Solve the vortex equations (29)-(30) for a dense set of holomorphic-section data and check whether every CP^3 configuration deforms uniquely to a finite-e^2 solution modulo gauge. If any dissolving configuration is obstructed or the map is not biholomorphic, the Section 4.2 isomorphism fails and the resolution claim is not established.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central construction of the resolved Skyrmion moduli space rests on an explicitly unproven step in Section 4.2. The paper states 'We expect that, as a complex manifold, the moduli space of dissolving vortices is isomorphic to the moduli space of vortices at positive e^2' and then constructs the resolving space as a projectivised pushforward over Pic^N(Σ). If this isomorphism fails, the projective-bundle construction is not the finite-coupling vortex moduli space, so the claimed resolution of the singular Skyrmion moduli space is unsupported. This is a substantive missing proof, not a cosmetic gap. Separately, Proposition 2.4.1's proof is under-specified: Serre vanishing gives a line sub-bundle L' of E⊗L, hence a section of P(E), but the Skyrmion number is N = deg L − deg L' (with the convention N = −deg of the line sub-bundle of E); if the chosen section has zeros, deg L' < 0 and the degree shifts, so the written argument does not show that every sufficiently large integer N is attained. That latter gap is likely repairable by a standard global-generation/nowhere-vanishing-section argument, whereas the §4.2 expectation is an unproved and central assumption.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper generalizes the critically coupled BPS model of magnetic Skyrmions to curved thin films embedded in R^3. It derives the Bogomolny equation for the model, interprets solutions as holomorphic sections of a projective line bundle over the film, and claims an existence theorem for Skyrmion solutions on arbitrary compact films. It then gives explicit solutions on round spherical, conical, and cylindrical films, with the cylinder solutions interpreted as kinks between two vacua. The final part proposes a resolution of the singular Skyrmion moduli space via a moduli space of semi-local vortices in a background gauge field, constructed in a 'dissolving vortex' limit as a projective bundle over the Picard variety. An appendix recasts the BPS energy bound in equivariant cohomology.","tokens_in":20257,"tokens_out":5756,"duration_ms":59605,"significance":"The local BPS rearrangement and the exact solutions on the sphere and cylinder are the strongest parts of the paper; they are concrete, seemingly correct, and of genuine interest for the study of Skyrmions on curved films. The equivariant-cohomology interpretation of the topological energy is also a useful conceptual clarification. If the moduli-space resolution were established, it would be a substantial contribution connecting Skyrmion moduli to vortex moduli. However, the advertised global results are not yet fully supported: the existence proof in Section 2.4 lacks degree control, and the resolved-moduli construction in Section 4.2 rests on an explicitly unproven isomorphism. These are load-bearing gaps rather than cosmetic issues.","major_comments":[{"comment":"The proof is incomplete as written. Serre vanishing gives a non-zero holomorphic section of E tensor N for N of sufficiently high degree, hence a holomorphic line sub-bundle of E tensor N, but the passage from this line sub-bundle to a Skyrmion solution of every sufficiently large degree is not shown. The Skyrmion number is determined by the degree of the resulting section, and the written argument does not control that degree; zeros of the section can shift the topological degree. The proposition asserts existence for all N greater than or equal to N0, so an argument producing sections with prescribed degree is needed, for example via global generation or by constructing sections with controlled zeros. Without this step, the existence claim for arbitrary high Skyrmion number is not established.","section":"2.4, Proposition 2.4.1"},{"comment":"The resolution of the singular Skyrmion moduli space depends on the sentence 'We expect that, as a complex manifold, the moduli space of dissolving vortices is isomorphic to the moduli space of vortices at positive e^2.' This is an explicit unproven assumption, and it is load-bearing: the projective-bundle construction over Pic^N(Σ) is then presented as the finite-coupling vortex moduli space and as a resolution of the Skyrmion moduli space. If the isomorphism fails, the geometric resolution is unsupported. The paper should either prove this isomorphism (or give a precise citation covering the present case with background connection A) or formulate the result as a conjecture and adjust the abstract and conclusions accordingly.","section":"4.2, dissolving vortex limit"},{"comment":"The exact cone solutions in Eq. (26) are not finite-energy field configurations. The paper itself states that the solutions do not tend to the normal fast enough and that there is an infinite contribution from the integrated vorticity. Yet the abstract lists 'exact Skyrmion solutions on spherical, conical and cylindrical thin films' without this caveat. Under the standard definition of a Skyrmion as a finite-energy configuration, these are formal solutions of the Bogomolny equation rather than Skyrmions. The removal of the integrated vorticity contribution, attributed to [5], must either be justified mathematically or the claims must be explicitly limited to formal/local solutions.","section":"3.2, cone solutions"},{"comment":"The expected complex dimension of the Skyrmion moduli space and of the vortex moduli space is quoted from an 'index theory argument' and a Riemann–Roch calculation, but no computation is shown. Since the dimension formula 2N + 1 - g is used to identify the resolving space and to compare it with the Skyrmion moduli space, the derivation should be included or a precise reference should be given so that the equality of dimensions is verifiable.","section":"4.1 and 4.2, dimension computation"}],"minor_comments":[{"comment":"There are several typos: 'funadamental' appears in the introduction, and 'Skrymion' appears in the caption of Figure 2; these should be corrected.","section":"Throughout"},{"comment":"The notation F(A) is used both for the background connection and for the field strength appearing in the general Bogomolny rearrangement; the distinction between background and dynamical gauge fields should be made explicit to avoid confusion.","section":"Appendix A, Eq. (A.2)"},{"comment":"The statement that the integrated vorticity contribution 'has been argued in [5] and elsewhere that it should be removed' is not a derivation. If this removal is used later to give cone solutions finite energy, the precise regularization or boundary-condition prescription should be stated, even if only heuristically.","section":"2.3"},{"comment":"In Eq. (28), the asymptotic constants h± involve a square root of a complex number; a short remark on the chosen branch would improve reproducibility of the plots and of the energy computations.","section":"3.3"},{"comment":"The paper relies on [5,6] for the flat-plane BPS rearrangement and for the critical potential. It would be helpful to state explicitly which formulas are taken from those references and which are new in the curved-film setting.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The central difficulty is that the paper advertises a resolved moduli space while explicitly flagging the key isomorphism as an expectation. I recommend major revision rather than rejection because the BPS derivation and the explicit sphere/cylinder solutions are valuable and likely correct; the remaining work is to prove or honestly downgrade the global claims. I saw no concerns about attribution or journal fit."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Ed,\n\nWorth a look if you follow BPS Skyrmions or solitons on curved surfaces. The paper takes the critically coupled model from [5,6] and generalizes it to curved films; the main new results are exact solutions on the round sphere and cylinder, plus a Bessel-function solution on a cone. The sphere solution is a real result — a whole family parameterized by a meromorphic function — and the cylinder kinks between two vacua are clean and likely new. The paper is also honest: it states plainly that the cone solutions have infinite energy unless you drop the integrated vorticity term, and it doesn't pretend the moduli construction is fully rigorous.\n\nThe soft spots are exactly where the reader's report and the stress-test land. Proposition 2.4.1 claims existence on compact surfaces with all sufficiently large Skyrmion numbers, but the proof is a sketch. Serre vanishing gives a non-zero holomorphic section of E⊗N, hence a line sub-bundle of E, but the Skyrmion number is a degree of that sub-bundle; the argument never controls the degree as N varies. That gap is likely repairable with a global-generation argument, but as written the proposition is not proved. More serious: the claimed resolution of the singular Skyrmion moduli space rests on an expectation in Section 4.2 that the dissolving-vortex moduli space be isomorphic to the finite-coupling vortex moduli space. The paper says 'We expect' — and the projective-bundle construction over Pic^N(Σ) only counts as a resolution if that isomorphism holds. That is a central, unproven assumption. The construction itself is well-defined; the identification with vortex moduli space is what makes it a resolution, and that is missing.\n\nEverything else looks solid: the Bogomolny rearrangement on curved films, the geometry of the potential, and the projective-bundle viewpoint. No fitted parameters, no circular reasoning, and the citations to [5,6] are appropriate rather than self-promotional.\n\nWho this is for: people working on solitons in curved geometry or BPS models in condensed matter. It deserves a serious referee. I would send it to review with clear instructions that §2.4 and §4.2 need either proofs or explicit conjectural statements. I would not accept it as is, but the core ideas are worth refereeing carefully.\n\nRecommendation: send it out.","headline":"Technically rich extension of BPS Skyrmions to curved films with exact solutions, but the moduli-space resolution rests on an unproven isomorphism and the existence proof has a degree-control gap.","tokens_in":20736,"tokens_out":3257,"would_cite":true,"duration_ms":31256,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that energy-minimising Skyrmion solutions exist on every compact curved thin film, with a resolved moduli space of complex dimension $2N+1-g$.","keywords":["magnetic Skyrmions","BPS solitons","curved thin films","Bogomolny equation","projective bundles","vortex moduli space","Dzyaloshinskii-Moriya interaction","Gauss map"],"falsifier":"Compute, for a concrete compact surface such as a torus, the actual Skyrmion numbers of the sections produced by the proof's Serre-vanishing step; if every such section has degree bounded away from the claimed unbounded values, the existence theorem fails. Alternatively, solve the finite-coupling vortex equations on a round sphere at small but non-zero $e^2$ and check whether the vortex moduli space is diffeomorphic to $\\mathbb{CP}^{2N+1}$ as the resolution construction predicts.","tokens_in":19764,"feed_emoji":"🧲","tokens_out":9567,"duration_ms":167364,"temperature":0.7,"pith_summary":"The paper extends the critically coupled BPS model of magnetic Skyrmions, originally formulated on the plane, to thin films that are curved surfaces embedded in three-dimensional space. It shows that the energy admits a Bogomolny rearrangement, so energy-minimising configurations are solutions of a first-order equation that depends on the film's extrinsic geometry through its Gauss map. On any compact film the paper proves such solutions exist for every sufficiently large Skyrmion number, and it constructs their moduli space and a resolution of its singularities. It also finds exact solutions on spheres, cones and cylinders, including kink Skyrmions on cylinders that tunnel between two vacuum states. The moduli-space description matters because it is the standard starting point for low-energy quantum dynamics of BPS solitons.","feed_headline":"Skyrmions proven on every compact curved film","feed_subtitle":"Exact solutions on spheres, cones and cylinders; the moduli space has dimension 2N+1-g.","key_machinery":"The load-bearing objects are holomorphic sections of the projectivised rank-two spinor bundle over the film, with holomorphic structure defined by the operator $\\bar\\partial_A$, where $A$ is the background SO(3) connection with torsion. Solutions to the Bogomolny equation $\\bar\\partial_A m=0$ are exactly these sections, so existence of Skyrmions is reduced to an algebraic-geometry question: Serre vanishing guarantees non-zero sections after twisting by a line bundle of sufficiently high degree. The resolution mechanism is the vortex construction, a gauged linear $\\sigma$ model with two Higgs fields and a U(1) gauge field whose strong-coupling limit recovers the Skyrmion theory; the dissolving-vortex limit $e^2\\to 0$ models the vortex moduli space as the projectivisation of the pushforward of the universal twisted spinor bundle over the Picard variety.","core_discovery":"The central claim is that the critical-coupling chiral magnet on a curved film is a $\\sigma$ model whose BPS states are holomorphic sections of a projective line bundle over the surface. The Bogomolny equation takes the local form $\\bar\\partial_z v = i\\kappa \\bar u_{\\bar z}(v-n)^2$, where $n$ is the Gauss map of the embedding, so curvature acts as a source for Skyrmion and anti-Skyrmion density. Because every projective line bundle on a compact Riemann surface is the projectivisation of a rank-two holomorphic vector bundle, Serre vanishing gives non-zero sections, yielding the existence of Skyrmion solutions of Skyrmion number $N\\ge N_0$ for some integer $N_0$. The moduli space of degree-$N$ solutions is a singular complex manifold of dimension $2N+1-g$, whose singularities are resolved by the moduli space of semi-local vortices; in the dissolving-vortex limit this resolution is a projective bundle over the Picard torus, reducing to $\\mathbb{CP}^{2N+1}$ for genus zero.","pith_inferences":["Because the existence proof never uses the particular form of the torsional connection, a likely corollary is that any translation-invariant chiral connection on $\\mathbb{R}^3$ gives BPS Skyrmion solutions on compact films, not just the spiral staircase.","The infinite-energy cone solutions suggest a finite-energy analogue on smooth asymptotically flat bumps; one testable prediction is that the ring of Skyrmion-anti-Skyrmion density sits near the region of largest curvature gradient rather than exactly at the tip.","If the conjectured isomorphism between dissolving-vortex and finite-coupling vortex moduli spaces holds, vortex quantum corrections computed at small $e^2$ would give a controlled expansion around the Skyrmion theory; this could be tested numerically on $S^2$ for small $N$.","The cylinder result points to a nanowire experiment: a BPS wire of radius $R$ should host kink Skyrmions whose formation energy scales like $\\sqrt{R}$, a scaling signature distinguishable from non-BPS models."],"forward_implications":["On any compact thin film, regardless of genus or shape, stable BPS Skyrmion solutions exist for all sufficiently large Skyrmion numbers, so the continuum model allows arbitrarily dense Skyrmion configurations.","The energy of a solution is $4\\pi N$ up to boundary terms, so multi-Skyrmion configurations are degenerate and exert no net force on one another; their slow dynamics are governed by motion on the moduli space.","On cylindrical films, axially symmetric Skyrmions are kinks tunnelling between two vacuum states, with finite energy that depends on the radius and grows like $\\sqrt{R}$ for large $R$, so the wire radius controls the energy cost of a Skyrmion.","The genus-zero resolved moduli space is $\\mathbb{CP}^{2N+1}$, so the low-energy quantum dynamics of $N$ Skyrmions on a sphere can in principle be studied by geometric quantisation of this projective space.","Curvature pins Skyrmion-anti-Skyrmion density: the exact cone solutions describe a ring of such density around the tip, and the sphere solutions include a degree-zero vacuum and the degree-one hedgehog."],"supporting_citations":[{"why":"Defines the planar critically coupled BPS Skyrmion model and the energy functional family this paper generalises to curved films.","marker":"[5]"},{"why":"Introduces the gauged sigma-model viewpoint and local Bogomolny solutions, and supplies the critical potential used here.","marker":"[6]"},{"why":"Gives the dissolving-vortex limit used to construct the resolved vortex moduli space.","marker":"[14]"},{"why":"Provides the near-Bradlow-limit vortex moduli picture that motivates identifying the dissolving limit with the finite-coupling vortex moduli space.","marker":"[15]"},{"why":"Proves the general Bogomolny rearrangement for gauged sigma models, the basis of the energy bound and the first-order equation.","marker":"[19]"}],"fun_headline_variants":["Skyrmions exact on spheres, cones, cylinders","Curved thin films host proven Skyrmion solutions","Skyrmion existence proven on any compact curved film","Moduli space of Skyrmions on films: 2N+1-g"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The central claim rests on the unproven step that the non-zero holomorphic sections guaranteed by Serre vanishing can be chosen with the prescribed large Skyrmion numbers, together with the stated expectation that the dissolving-vortex moduli space is isomorphic to the finite-coupling vortex moduli space.","fun_headline_variants_meta":{"raw":{"variants":["Skyrmions exact on spheres, cones, cylinders","Curved thin films host proven Skyrmion solutions","Skyrmion existence proven on any compact curved film","Moduli space of Skyrmions on films: 2N+1-g"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000171,"raw_usage":{"total_tokens":1227,"prompt_tokens":857,"completion_tokens":370,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":473,"completion_tokens_details":{"reasoning_tokens":301}},"tokens_in":473,"tokens_out":370,"duration_ms":103784,"temperature":1.0,"reasoning_tokens":301,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:53:38.680339+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute, for a concrete compact surface such as a torus, the actual Skyrmion numbers of the sections produced by the proof's Serre-vanishing step; if every such section has degree bounded away from the claimed unbounded values, the existence theorem fails. Alternatively, solve the finite-coupling vortex equations on a round sphere at small but non-zero $e^2$ and check whether the vortex moduli space is diffeomorphic to $\\mathbb{CP}^{2N+1}$ as the resolution construction predicts.","supporting_citations":[{"cited_title":"Barton-Singer, C","cited_arxiv_id":null,"evidence_quote":"Defines the planar critically coupled BPS Skyrmion model and the energy functional family this paper generalises to curved films."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces the gauged sigma-model viewpoint and local Bogomolny solutions, and supplies the critical potential used here."},{"cited_title":"Vortex invariants and toric manifolds","cited_arxiv_id":"0812.0299","evidence_quote":"Gives the dissolving-vortex limit used to construct the resolved vortex moduli space."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the near-Bradlow-limit vortex moduli picture that motivates identifying the dissolving limit with the finite-coupling vortex moduli space."},{"cited_title":"Cieliebak, A","cited_arxiv_id":null,"evidence_quote":"Proves the general Bogomolny rearrangement for gauged sigma models, the basis of the energy bound and the first-order equation."}],"review_version":1}