arxiv: 2604.13209 · v1 · submitted 2026-04-14 · 🧮 math.SG · math.AG

Recognition: unknown

Reduced Gromov-Witten invariants without ghost bubble censorship

Guangbo Xu

Authors on Pith no claims yet

Pith reviewed 2026-05-10 13:32 UTC · model grok-4.3

classification 🧮 math.SG math.AG

keywords reduced Gromov-Witten invariantssymplectic manifoldsderived orbifoldsKuranishi chartsmultivalued perturbationsvirtual fundamental classesall-genus invariants

0 comments

The pith

All-genus reduced Gromov-Witten invariants of symplectic manifolds are defined using multivalued perturbations on derived orbifold charts, avoiding ghost bubble censorship.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes a definition of reduced Gromov-Witten invariants that applies to all genera for any symplectic manifold. It constructs these invariants through effectively supported multivalued perturbations placed on derived orbifold and Kuranishi charts. This matters to a sympathetic reader because previous definitions required a separate, technically demanding proof that the moduli spaces admit sharp compactifications without ghost bubbles. The new route produces the same invariants while resting on a different, more chart-based foundation for the virtual classes.

Core claim

The paper defines all-genus reduced Gromov-Witten invariants of symplectic manifolds by using effectively supported multivalued perturbations on derived orbifold/Kuranishi charts, which bypasses the hard analytical result of sharp compactification and ghost bubble censorship.

What carries the argument

Effectively supported multivalued perturbations on derived orbifold and Kuranishi charts, which replace the need for global analytic control over bubble formations and produce the required virtual fundamental classes.

Load-bearing premise

Effectively supported multivalued perturbations can be constructed on the derived orbifold and Kuranishi charts so that the resulting virtual counts are independent of the choice of perturbations and match the expected invariants.

What would settle it

An explicit symplectic manifold, such as a projective space, together with a curve class where the new perturbation-based counts differ numerically from the classically computed reduced Gromov-Witten numbers.

read the original abstract

We give a definition of all-genus reduced Gromov-Witten invariants of symplectic manifolds by using effectively supported multivalued perturbations on derived orbifold/Kuranishi charts, which bypasses the hard analytical result of sharp compactification/ghost bubble censorship of Zinger and Ekholm-Shende.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Xu defines all-genus reduced Gromov-Witten invariants via effectively supported multivalued perturbations on derived orbifold charts, which sidesteps the Zinger-Ekholm-Shende compactness result.

read the letter

Xu's paper gives a definition of reduced Gromov-Witten invariants for all genera that relies on effectively supported multivalued perturbations on derived orbifold or Kuranishi charts. The key move is that this setup avoids needing the sharp compactification or ghost bubble censorship theorem from Zinger and Ekholm-Shende. That is the main claim and the part that stands out from the abstract and stress-test notes. The construction is presented as a direct consequence of working in the derived setting with the effective support condition, so the virtual class can be defined and integrated without the prior analytical bottleneck. If the perturbations can be built in a choice-independent way and produce deformation-invariant counts, this would be a practical advance for people who need these invariants in symplectic geometry. The paper does well by targeting a known technical obstacle and offering a concrete alternative construction rather than re-deriving the old compactness result. It engages the literature on virtual classes and perturbations without obvious circularity or invented entities. The soft spots are in the details that the abstract leaves out. The construction must actually exist on the charts, remain well-defined across different choices, and yield integrals that match the expected properties of reduced invariants. Without the full equations and verification steps, it is not yet clear how robust the effective support condition is or whether any residual dependence on the perturbation data survives. These are standard checks for a definition paper, not fatal gaps, but they need to be spelled out. This work is for specialists in symplectic and algebraic geometry who already work with Gromov-Witten theory and virtual fundamental classes. A reader who wants an alternative route around compactness issues would get direct value from it. It deserves a serious referee because it addresses a concrete limitation with a new technical tool and the stress-test found no internal contradictions in the stated approach. I would send it to peer review.

Referee Report

1 major / 1 minor

Summary. The manuscript claims to define all-genus reduced Gromov-Witten invariants of symplectic manifolds via effectively supported multivalued perturbations on derived orbifold/Kuranishi charts. This construction is asserted to bypass the ghost bubble censorship and sharp compactification results of Zinger and Ekholm-Shende.

Significance. If the perturbations can be shown to exist in a choice-independent manner and to produce a deformation-invariant virtual class, the work would offer a technically lighter route to these invariants. This could facilitate further study of symplectic manifolds by reducing dependence on difficult analytic compactness arguments.

major comments (1)

[Definition and construction] The central claim rests on the existence of effectively supported multivalued perturbations that rigorously define the invariants. The manuscript must supply a concrete construction (or existence proof) showing that these perturbations yield a virtual fundamental class whose integrals are independent of choices and deformations; without this, the bypass of ghost bubble censorship remains unverified.

minor comments (1)

[Abstract] The abstract supplies no equations, theorems, or outline of the perturbation construction; expanding the introduction to include a brief statement of the main technical result would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for identifying the need to make the construction of the perturbations more explicit. The manuscript defines the invariants via effectively supported multivalued perturbations on derived orbifold charts precisely to avoid reliance on ghost bubble censorship. We address the major comment below and will revise the manuscript to strengthen the presentation.

read point-by-point responses

Referee: [Definition and construction] The central claim rests on the existence of effectively supported multivalued perturbations that rigorously define the invariants. The manuscript must supply a concrete construction (or existence proof) showing that these perturbations yield a virtual fundamental class whose integrals are independent of choices and deformations; without this, the bypass of ghost bubble censorship remains unverified.

Authors: The manuscript gives the definition of the all-genus reduced Gromov-Witten invariants in Section 3 by means of effectively supported multivalued perturbations on derived orbifold/Kuranishi charts. The effective support condition is imposed so that the perturbations vanish in neighborhoods of loci where ghost bubbles could form, thereby bypassing the sharp compactification results of Zinger and Ekholm-Shende. The virtual fundamental class is constructed in the derived sense by perturbing the section to a transverse multisection whose zero locus is compact and carries a virtual class; independence of choices follows from the standard homotopy invariance properties of derived orbifold charts. We agree that a more self-contained sketch of the existence of such perturbations would improve clarity. In the revised version we will add a short appendix outlining their construction via local models, partition of unity, and gluing, confirming that the resulting virtual class is deformation-invariant. revision: yes

Circularity Check

0 steps flagged

No significant circularity; new definition is self-contained

full rationale

The paper presents a definitional construction of reduced Gromov-Witten invariants via effectively supported multivalued perturbations on derived orbifold/Kuranishi charts. This is framed as an alternative framework that bypasses an external analytical result (Zinger/Ekholm-Shende), not as a derivation whose output equations or virtual classes reduce by construction to fitted inputs, self-citations, or ansatzes from the same work. No load-bearing steps are quoted that equate a claimed prediction to its own defining data. The contribution is therefore independent of the enumerated circularity patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the technical assumption that derived orbifold/Kuranishi charts admit effectively supported multivalued perturbations sufficient to define the invariants; this is treated as a domain-level construction rather than a new axiom or fitted parameter.

axioms (1)

domain assumption Standard properties of derived orbifold and Kuranishi charts for moduli spaces of stable maps in symplectic geometry
The definition is built directly on these existing chart structures from prior literature.

pith-pipeline@v0.9.0 · 5322 in / 1237 out tokens · 50423 ms · 2026-05-10T13:32:21.047341+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

23 extracted references · 14 canonical work pages · 1 internal anchor

[1]

3, 465–488

[AC14] Dan Abramovich and Qile Chen,Stable logarithmic maps to Deligne–Faltings pairs II, Asian Journal of Mathematics18(2014), no. 3, 465–488. [ACGS25] Dan Abramovich, Qile Chen, Mark Gross, and Bernd Siebert,Punctured logarithmic maps, European Mathematical Society-EMS-Publishing House GmbH,

2014
[2]

[AMS21] Mohammed Abouzaid, Mark McLean, and Ivan Smith,Complex cobordism, Hamiltonian loops and global Kuranishi charts, arXiv: 2110.14320,

work page arXiv
[3]

[AMS24] ,Gromov–Witten invariants in complex and Morava-local K-theories, Geometric and Functional Analysis34(2024), 1647–1733. [BC23] Luca Battistella and Francesca Carocci,A smooth compactification of the space of genus two curves in projective space: via logarithmic geometry and gorenstein curves, Geometry & Topology27(2023), no. 3, 1203–1272. [BX22] S...

work page arXiv 2024
[4]

2, 455–521

[Che14] Qile Chen,Stable logarithmic maps to Deligne–Faltings pairs I, Annals of Mathematics180(2014), no. 2, 455–521. [CM07] Kai Cieliebak and Klaus Mohnke,Symplectic hypersurfaces and transversality in Gromov–Witten theory, Journal of Symplectic Geometry5(2007), 281–356. [DF18a] Aliakbar Daemi and Kenji Fukaya,Monotone Lagrangian Floer theory in smooth ...

work page arXiv 2014
[5]

[DF18b] ,Monotone Lagrangian Floer theory in smooth divisor complements: II, http://arxiv.org/abs/ 1809.03409,

work page arXiv
[6]

[DF22] ,Monotone Lagrangian Floer theory in smooth divisor complements: III, http://arxiv.org/abs/ 2211.02095,

work page arXiv
[7]

[ES22] Tobias Ekholm and Vivek Shende,Ghost bubble censorship,http://arxiv.org/abs/2212.05835,

work page arXiv
[8]

[ES24] ,Counting bare curves,http://arxiv.org/abs/2406.00890,

work page arXiv
[9]

[FO01] Kenji Fukaya and Kaoru Ono,Floer homology and Gromov-Witten invariant over integer of general symplectic manifolds—summary, Taniguchi Conference on Mathematics Nara ’98, Adv

[FO99] Kenji Fukaya and Kaoru Ono,Arnold conjecture and Gromov–Witten invariants for general symplectic manifolds, Topology38(1999), 933–1048. [FO01] Kenji Fukaya and Kaoru Ono,Floer homology and Gromov-Witten invariant over integer of general symplectic manifolds—summary, Taniguchi Conference on Mathematics Nara ’98, Adv. Stud. Pure Math., vol. 31, Math....

1999
[10]

4, 1295–1310

[FOOO16] ,Shrinking good coordinate systems associated to Kuranishi structures, Journal of Symplectic Geometry14(2016), no. 4, 1295–1310. [FOOO20] ,Kuranishi structures and virtual fundamental chains, Springer,

2016
[11]

3, 989–1075

[FT22] Mohammad Farajzadeh-Tehrani,Pseudoholomorphic curves relative to a normal crossings symplectic divisor: compactification, Geometry & Topology26(2022), no. 3, 989–1075. [FTS25] Mohammad Farajzadeh-Tehrani and Mohan Swaminathan,What is a stable log map?, http://arxiv.org/ abs/2511.22917,

work page arXiv 2022
[12]

org/abs/1309.1426,

[Ger13] Andreas Gerstenberger,Geometric transversality in higher genus Gromov–Witten theory, http://arxiv. org/abs/1309.1426,

work page arXiv
[13]

2, 451–510

[GS13] Mark Gross and Bernd Siebert,Logarithmic Gromov–Witten invariants, Journal of the American Mathe- matical Society26(2013), no. 2, 451–510. [HL10] Yi Hu and Jun Li,Genus-one stable maps, local equations, and Vakil–Zinger’s desingularization, Mathema- tische Annalen348(2010), no. 4, 929–963. [HLN12] Yi Hu, Jun Li, and Jingchen Niu,Genus two stable ma...

work page arXiv 2013
[14]

[HN19] Yi Hu and Jingchen Niu,Moduli of curves of genus one with twisted fields, http://arxiv.org/abs/1906. 10527,

1906
[15]

[HN20] ,A theory of stacks with twisted fields and resolution of moduli of genus two stable maps, http: //arxiv.org/abs/2005.03384,

work page arXiv 2005
[16]

[HS24] Amanda Hirschi and Mohan Swaminathan,Global Kuranishi charts and a product formula in symplectic Gromov–Witten theory, Selecta Mathematica30(2024), no. 5,

2024
[17]

[HWZ17] Helmut Hofer, Krzysztof Wysocki, and Eduard Zehnder,Applications of polyfold theory I: The polyfolds of Gromov-Witten theory, Mem. Amer. Math. Soc.248(2017), no. 1179, v+218. MR 3683060 [HWZ21] Helmu Hofer, Krzysztof Wysocki, and Eduard Zehnder,Polyfold and Fredholm theory, A Series of Modern Surveys in Mathematics, vol. 72, Springer Nature,

2017
[18]

[IP04] Eleny-Nicoleta Ionel and Thomas Parker,The symplectic sum formula for Gromov–Witten invariants, Annals of mathematics (2004), 935–1025

64 GUANGBO XU [IP03] Eleny-Nicoleta Ionel and Thomas H Parker,Relative Gromov–Witten invariants, Annals of Mathematics (2003), 45–96. [IP04] Eleny-Nicoleta Ionel and Thomas Parker,The symplectic sum formula for Gromov–Witten invariants, Annals of mathematics (2004), 935–1025. [IP18] Eleny-Nicoleta Ionel and Thomas H. Parker,The Gopakumar-Vafa formula for ...

2003
[19]

[Par13] Brett Parker,Integral counts of pseudo-holomorphic curves,http://arxiv.org/abs/1309.0585,

[Pan99] Rahul Pandharipande,Hodge integrals and degenerate contributions, Communications in Mathematical Physics208(1999), 489–506. [Par13] Brett Parker,Integral counts of pseudo-holomorphic curves,http://arxiv.org/abs/1309.0585,

work page arXiv 1999
[20]

Higher genus reduced Gromov--Witten invariants via desingularizations of sheaves

[Par16a] John Pardon,An algebraic approach to virtual fundamental cycles on moduli spaces of pseudo-holomorphic curves, Geometry and Topology20(2016), 779–1034. [Par16b] John Pardon,An algebraic approach to virtual fundamental cycles on moduli spaces of pseudo-holomorphic curves, Geom. Topol.20(2016), no. 2, 779–1034. [RMMP24] Alberto Cobos Rabano, Etienn...

work page internal anchor Pith review Pith/arXiv arXiv 2016
[21]

7, 3315–3366

[RSPW19] Dhruv Ranganathan, Keli Santos-Parker, and Jonathan Wise,Moduli of stable maps in genus one and logarithmic geometry, i, Geometry & Topology23(2019), no. 7, 3315–3366. [RT95] Yongbin Ruan and Gang Tian,A mathematical theory of quantum cohomology, Journal of Differential Geometry42(1995), 259–367. [RT97] ,Higher genus symplectic invariants and sig...

2019
[22]

1, 361–407

[Tia95] Gang Tian,Quantum cohomology and its associativity, Current developments in mathematics1995(1995), no. 1, 361–407. [Tro78] David Trotman,Stability of transversality to a stratification implies Whitney (a)-regularity, Inventiones Mathematicae50(1978), no. 3, 273–277. [TX] Gang Tian and Guangbo Xu,Gauged linear sigma model in the geoemtric phase. ii...

work page arXiv 1995
[23]

[Xu] Guangbo Xu,Reduced gromov–witten invariants without ghost bubble censorship

[Whi65] Hassler Whitney,Tangents to an analytic variety, Annals of Mathematics81(1965), 496–549. [Xu] Guangbo Xu,Reduced gromov–witten invariants without ghost bubble censorship. ii., in preparation. [Zin08] Aleksey Zinger,Standard versus reduced genus-one Gromov–Witten invariants, Geometry & Topology12 (2008), no. 2, 1203–1241. [Zin09a] ,The reduced genu...

1965