Pseudo-holomorphic curves with a fixed complex structure in positive symplectic manifolds

Aleksander Doan; Alessio Cela

Pseudo-holomorphic curves with a fixed complex structure in positive symplectic manifolds

T0 review · 0 major / 7 minor · reviewed 2026-08-15 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read For any compact positive symplectic manifold of real dimension at least six, fixed-domain Gromov-Witten invariants of sufficiently high degree are signed counts of pseudo-holomorphic curves.

desk verdict A substantial, carefully argued symplectic answer to Ruan-Tian in the high-degree fixed-domain regime; the main theorem deserves a serious referee, even though the analytic estimates are long and not machine-checked. read the letter →

arxiv 2505.13120 v2 pith:DSS6IIBP submitted 2025-05-19 math.SG math.AG

Alessio Cela , Aleksander Doan This is my paper · ORCID

classification math.SGmath.AG MSC 53D4514N35

keywords fixed-domainGromov-Witteninvariantspseudo-holomorphiccurvespseudocyclepositivesymplecticmanifoldsaugmentedgraphsenumerativegeometryTevelevdegreestransversality

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper establishes a symplectic counterpart of the algebraic conjecture that fixed-domain Gromov-Witten invariants agree with geometric counts of curves in sufficiently high degree. The setting is a compact positive symplectic manifold — one whose first Chern class is positive on every symplectic sphere class, with smooth Fano varieties as the main examples. The algebraic version of the conjecture is known to fail in explicit examples, but the authors show that a fixed-domain version holds once complex structures are replaced by generic almost complex structures: for large \langle c_1(X),A\rangle and bounded relative codimension, the evaluation map from the moduli space of simple pseudo-holomorphic maps is a pseudocycle, so the invariant is a signed count of actual curves. In particular, the count needs no inhomogeneous or domain-dependent perturbations, resolving a question left open by the original pseudocycle construction. The proof works by controlling the image of all non-simple strata through a refined combinatorial stratification of the moduli space.

What carries the argument

The workhorse is the moduli space stratified by augmented graphs. An augmented graph is a dual graph of the domain curve decorated with four extra pieces of data: a weight $m_\$\alpha$$, a covering degree $d_\$\alpha$$, the homology class $A_\$\alpha$$ of the underlying simple map on each component, and a function $h$ recording which two components have the same image in $X$. These decorations are arranged so that every stable map modelled on an augmented graph $\tilde\Gamma$ has a well-defined weighted homology class $[\tilde\Gamma,m]$, which is preserved under the paper's simplification process. The simplification step repeatedly replaces a multiply covered component by its underlying simple map, identifies two components with identical image, or collapses a contracted main component, while recording exactly which points are identified. The bookkeeping is finer than the older genus-zero simplification used in [21], and it is what lets the authors compute, by induction, that every non-simple stratum has image of real codimension at least $2k+2$ under the evaluation map. That codimension bound is precisely what turns the evaluation map into a pseudocycle.

What would settle it

Exhibit a compact positive symplectic manifold of real dimension $2r\ge 6$, a generic $J$, and arbitrarily large classes $A$ with $\operatorname{codim}(\operatorname{ev})\le dn$ but for which a non-simple stratum — for instance maps with a multiply covered rational tail on a fixed domain — has image closure of real codimension strictly less than $2k+2$ in $X^n$. Such a stratum would make $\operatorname{ev}$ fail the pseudocycle bound; a dimension calculation for $\mathbb{CP}^3$ with the standard structure, genus zero, and marked-point data tuned so that $k/n$ approaches $(r-1)/5$ would settle whether the bound is sharp or false.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.1: if $(X,\omega)$ is a compact positive symplectic manifold of real dimension $2r\ge 6$, there are constants $c=c(r,g)$ and $d=d(r)$ such that, for a generic almost complex structure $J$ and a generic marked curve $(C,p)\in \mathcal M_{g,n}$, the evaluation map $\operatorname{ev}: \mathcal M^*(C,p;X,A,J)\to X^n$ is a pseudocycle — a map whose image has compact closure and whose limit set has real codimension at least two — whenever $\langle c_1(X),A\rangle\ge c$ and $\operatorname{codim}(\operatorname{ev})\le dn$. Corollary 1.3 then says that, for any homology class $\gamma$ of the appropriate degree, the corresponding fixed-domain Gromov-Witten invariant equals the signed count of intersection points of this evaluation map with any pseudocycle Poincaré dual to $\gamma$. Equivalently, the invariant constructed from virtual fundamental classes is, in this regime, an honest signed count of pseudo-holomorphic curves through the imposed point conditions, with no perturbed Cauchy-Riemann term $\nu$ required.

Load-bearing premise

The argument stands on the quantitative regime inequality $k\le \frac{r-1-\rho}{5}n$: the virtual codimension of the evaluation map must be at most a fixed fraction of the number of marked points, and the target must have real dimension at least six; outside that regime the dimension counts for non-simple strata are not controlled.

Editorial extensions

If this is right

When $\langle c_1(X),A\rangle\ge c$ and $\operatorname{codim}(\operatorname{ev})\le dn$, the fixed-domain Gromov-Witten invariant of a positive symplectic manifold can be computed as a signed count of $J$-holomorphic curves, without introducing any inhomogeneous term.
The pseudocycle is independent of the choice of generic almost complex structure and generic domain curve, so the signed count is a well-defined invariant rather than an artifact of a particular perturbation.
The disproof of the algebraic enumerativity conjecture does not contradict the symplectic result: replacing complex structures by generic almost complex structures is the corrective step that restores enumerativity.
The main theorem is a special case of Theorem 2.16, which makes the constants explicit in principle, and the paper leaves open whether the codimension bound $\operatorname{codim}(\operatorname{ev})\le dn$ is sharp.
The result requires real dimension at least six; the four-dimensional case is not covered and needs separate dimension counts.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The same augmented-graph stratification is not tied to fixed domains, so a testable extension is to use it to detect enumerativity of ordinary, non-fixed-domain Gromov-Witten invariants of positive symplectic manifolds in high-degree regimes.
The quantitative bound $k\le ((r-1-\rho)/5)n$ suggests a threshold phenomenon: enumerativity should appear when the number of marked points is large compared with the virtual codimension of the evaluation map, and probing whether the constant $1/5$ can be improved would directly test the optimality of the method.
If the stratification is applied to non-positive targets, the positivity assumption is what forces contracted components off the main component to have bounded complexity; testing the same construction on a Calabi-Yau or symplectically aspherical target would show where the argument breaks.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

The headline result is real: for positive symplectic manifolds of dimension at least six, the fixed-domain Gromov-Witten pseudocycle can be built from unperturbed pseudo-holomorphic curves, provided the degree is high and the virtual codimension is not too large. That answers Ruan-Tian's question in a substantial regime and gives a literal signed-count interpretation to fixed-domain GW invariants. The algebraic analogue has counterexamples, so this is a new result in symplectic geometry, not a repackaging.

What is genuinely good: the augmented graph stratification and the refined simplification process that preserves the weighted homology class. These are real technical ideas, and they are used honestly. The paper also includes a self-contained transversality theorem for simple maps and an appendix on Fredholm maps, which makes the proof much more checkable than is typical for this literature. The authorship is careful: the constants c and d are existential, not fitted to examples; the regime inequality (2.2) is stated as a hypothesis; and the authors explicitly flag that the earlier version of the paper omitted the Ruan-Tian and McDuff-Salamon discussion. I do not see a circular step or a hidden parameter.

Where are the soft spots? The proof is long and analytically dense. Section 4 relies on several numerical choices, including epsilon = 0.9 and delta = 0.2 in the case analysis, and the estimates are not machine-checked or independently verified. I would not call that a flaw; it is a reason to read carefully. The one spot that gave me real pause is Lemma 4.4: the rank bound for the differential of gamma is tersely justified, and the wording about the kernel being 'at most three' can be misread when marked points share a fiber. The stress-test note argues the intended tangent count is sound, and on reading the lemma that seems right, but the paper would benefit from a few more sentences of bookkeeping there. This is a minor presentational issue, not a mathematical gap. The qualitative restriction codim(ev) ≤ d n is genuine and means the theorem is not the full Ruan-Tian conjecture; the paper does not oversell it.

Who is this for? Symplectic enumerative geometers working on Gromov-Witten pseudocycles and anyone tracking the Lian-Pandharipande conjecture. The reader's ACCEPT verdict is fair; the confidence at MODERATE is appropriate without formal verification. I would send it to a serious referee, expecting heavy scrutiny of Section 4, and I would cite it.

Referee Report

0 major / 7 minor

Summary. The paper proves that for compact positive symplectic manifolds of real dimension at least six, the fixed-domain Gromov–Witten invariants can be represented, in sufficiently high degree and under a bound on the virtual codimension, by signed counts of unperturbed pseudo-holomorphic maps from a fixed marked curve. The main theorem (Theorem 1.1) is deduced from a general codimension statement (Theorem 2.16) for strata of stable maps modelled on newly introduced augmented graphs, using a simplification process that preserves the weighted homology class and a self-contained transversality theorem for simple maps (Section 6). The paper also answers, in this high-degree regime, a question of Ruan–Tian on whether the Gromov–Witten pseudocycle can be constructed without inhomogeneous perturbations.

Significance. If the result stands, it gives the first general enumerative interpretation of fixed-domain Gromov–Witten invariants in the symplectic category without domain-dependent or inhomogeneous perturbations, resolving the Ruan–Tian question in a positive direction. The technical machinery of augmented graphs and the refined simplification process is interesting in its own right and likely applicable to other enumerative problems. The paper is careful about its hypotheses: the high-degree condition and the codimension bound (2.2) are explicit, and the constants are existential rather than fitted to data. The proofs are unusually detailed for the field, including a complete transversality proof for simple maps and an appendix on Fredholm maps, which substantially increases confidence in the claims.

minor comments (7)

[Section 5] In the paragraph after the definition of the augmented graph eΓ, the paper refers to "condition (vi)" of Definition 2.5, but that definition has only items (i)–(iv); this should read "condition (iv)".
[Corollary 2.17] The statement says that the image "has codimension 2k+2", but the intended assertion is "has codimension at least 2k+2"; the inequality is important because the conclusion is a lower bound on codimension.
[Section 5 / Theorem 1.1] The transition from the universal statements of Theorem 1.5 and Corollary 2.17 (images in X^n×J) to the fixed-generic-J statement of Theorem 1.1 is not written out. A standard Sard–Smale slicing argument for the Fredholm projection to J gives the fixed-J codimension bound, but the authors should state this step explicitly, since it is load-bearing for the pseudocycle claim.
[Lemma 4.4] The rank estimate for γ says that the kernel of the restriction is "at most three dimensional". This wording is misleading when several marked source points lie in the same fiber of φ; the intended argument is to choose one unramified preimage for each target marking and then use the at-most-three-dimensional kernel of the map from marked-point tangent spaces to the moduli space of marked curves. The estimate is sound, but the proof should be rephrased for clarity.
[Section 6] The proof of Theorem 6.1 explicitly assumes n=0 and does not explain how the case n>0 is obtained. The index formula (6.1) is stated for general n, so the proof should mention that including the n marked points adds n to the Teichmüller slice dimension and n evaluation conditions, leaving the stated index unchanged.
[Throughout] There are several typographical slips: "the the image" in the paragraph after Theorem 1.5, "an he thanks" in the acknowledgments, and "Proposition Proposition 4.5" and "Theorem Theorem" in Section 4.3. These should be corrected.
[Definition 2.5(iv)] The assertion "In particular, |E(Γ)|≥2ℓ" is not immediate from the preceding sentence unless each of the ℓ special vertices has two edges to the main vertex, which is consistent with val(α_i)=3. A short explanatory sentence would help the reader verify the fixed-domain constraint in examples.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity identified.

full rationale

The derivation chain is self-contained. Theorem 1.1 is proved via Theorem 2.16, an induction over augmented graphs, and the base cases in Section 4 obtain their codimension estimates by constructing explicit Fredholm maps from moduli spaces of simple maps. The required transversality statement, Theorem 6.1, is proved in Section 6 rather than imported from the authors' own work. External references are used only for standard tools or for the independent definition of the fixed-domain Gromov–Witten invariant via Ruan–Tian perturbations, and they do not contain the target result. The constants c(r,g) and d(r) are existential, and the regime inequality (2.2) is an explicit hypothesis from which the theorem's stated bound follows by choosing d sufficiently small; this is not a fitted parameter disguised as a prediction. Self-citations appearing in the introduction concern contextual Tevelev-degree literature and do not bear weight in the pseudocycle proof. Therefore no step reduces, by construction or by self-citation, to its own inputs.

Assumptions & free parameters 0 free parameters · 4 assumptions · 1 invented entities

The central claim rests on standard symplectic-topological machinery plus the stated positivity, genericity, and degree-codimension hypotheses. No fitted free parameters or physical entities are introduced; the augmented graph is a bookkeeping device.

assumptions (4)

domain assumption (X,ω) is a compact positive symplectic manifold of real dimension 2r≥6.
Positivity (⟨c1,A⟩>0 for all positive area classes) is used to control the strata of the compactification; r≥3 is used in dimension estimates such as (r-2)(1-ε)n in Proposition 4.3.
domain assumption Generic choice of almost complex structure J and marked curve (C,p), in the sense of a residual (Baire generic) subset.
Transversality for simple maps (Theorem 6.1) and the regularity of the fiber (Corollary 2.17) require genericity, as stated in Remark 1.2.1 and proved via Sard-Smale.
domain assumption The degree-codimension inequality k ≤ (r-1-ρ)/5 n for some ρ>0, where 2k is the virtual codimension.
Equation (2.2) is the quantitative regime assumption; it is used throughout Section 4 to make the dimension estimates of non-simple strata work. It is part of the theorem's hypothesis.
standard math Standard results: Fredholm theory, Riemann-Roch, Teichmüller theory, Sard-Smale, Gromov compactness.
Used throughout, e.g., Theorem 6.1 and Appendix A; these are established results cited or proved in Section 6.

invented entities (1)

Augmented graph (Γ, m, d, A, h)
purpose: Stratify moduli spaces of stable maps by recording per-component degrees, weights, homology classes, and equal-image relations, enabling the induction.
This is a new combinatorial definition introduced in Section 2.1; it has no externally falsifiable handle and is purely a proof device, so it does not carry independent evidence.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Pseudo-holomorphic curves with a fixed complex structure in positive symplectic manifolds." pith.science (2026). https://pith.science/paper/DSS6IIBP

@misc{pith2026250513120,
  author       = {Pith},
  title        = {Pith review of: Pseudo-holomorphic curves with a fixed complex structure in positive symplectic manifolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/DSS6IIBP}},
  note         = {Machine review of arXiv:2505.13120}
}

read the original abstract

We prove a symplectic version of a conjecture of Lian and Pandharipande: in sufficiently high degree, the fixed-domain Gromov-Witten invariants of positive symplectic manifolds are signed counts of pseudo-holomorphic curves. The original conjecture in the complex algebraic setting was recently disproved by Beheshti et al. However, we show that the statement holds when the complex structure is replaced by a generic almost complex structure. The proof relies on showing that the fixed-domain Gromov-Witten pseudocycle can be constructed without the use of inhomogeneous or domain-dependent perturbations, which answers positively a question posed by Ruan and Tian.

Figures

Figures reproduced from arXiv: 2505.13120 by the authors.

**Figure 2.** Topological type of curves considered in [PITH_FULL_IMAGE:figures/full_fig_p022_2.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Enumerating log rational curves on some toric varieties
math.AG 2025-06 conditional novelty 7.0 of 10

All genus 0 logarithmic Tevelev degrees of X=P_{P^r}(O^s⊕O(-a)) are determined by a closed formula, and the separate conjecture for blow-ups of P^2 at two points is disproven.
A short way of counting maps to hypersurfaces in Grassmannians
math.AG 2025-06 conditional novelty 7.0 of 10

A closed-form virtual count of maps from a fixed genus-g curve to a degree-ℓ hypersurface in a Grassmannian, with Schubert incidence conditions, expressed via the Vafa-Intriligator formula, plus a large-degree enumera...

Reference graph

Works this paper leans on

29 extracted references · 24 canonical work pages · cited by 2 Pith papers

[1]

Arbarello, M

E. Arbarello, M. Cornalba, and P. Griffiths. Geometry of Algebraic Curves . Grundlehren der mathematischen Wissenschaften. Springer, Berlin, Germany, 2011 edition, September 2004. 30

work page 2011
[2]

Beheshti, B

R. Beheshti, B. Lehmann, C. Lian, E. Riedl, J. Starr, and S. Tanimoto. On the asymptotic enumerativity property for Fano manifolds. Forum Math. Sigma, 12:Paper No. e112, 2024

work page 2024
[3]

A. Bertram. Towards a Schubert Calculus for Maps from a Riemann Surface to a Grass- manian. Int. J. Math. , 05:811–825, 1994

work page 1994
[4]

Bertram, G

A. Bertram, G. Daskalopoulos, and R. Wentworth. Gromov invariants for holomorphic maps from Riemann surfaces to Grassmannians. J. Amer. Math. Soc., 9(2):529–571, 1996

work page 1996
[5]

Buch and R

A. Buch and R. Pandharipande. Tevelev degrees in Gromov–Witten theory. arXiv:2112.14824, 2021

arXiv 2021
[6]

Cavalieri and E

R. Cavalieri and E. Dawson. Tropical Tevelev degrees. arXiv 2407.20025, 2024

arXiv 2024
[7]

A. Cela. Quantum euler class and virtual tevelev degrees of fano complete intersections. Ark. Mat., 61(2):301–322, 2023

work page 2023
[8]

Cela and A

A. Cela and A. Iribar L´ opez. Genus 0 logarithmic and tropical fixed-domain counts for Hirzebruch surfaces. J. Lond. Math. Soc. (2) , 109(4):Paper No. e12892, 28, 2024

work page 2024

Show all 29 references

[9]

Cela and C

A. Cela and C. Lian. Fixed-domain curve counts for blow-ups of projective space. arXiv:2303.03433, 2023

2023
[10]

Cela and C

A. Cela and C. Lian. Generalized Tevelev degrees of P1. J. Pure Appl. Algebra, 227(7):Pa- per No. 107324, 30, 2023

2023
[11]

Cela and C

A. Cela and C. Lian. Curves on Hirzebruch surfaces and semistability. Michigan Math. J., 2025. To appear

2025
[12]

A. Cela, R. Pandharipande, and J. Schmitt. Tevelev degrees and Hurwitz moduli spaces. Math. Proc. Cambridge Philos. Soc. , 173(3):479–510, 2022

2022
[13]

Farkas and C

G. Farkas and C. Lian. Linear series on general curves with prescribed incidence conditions. J. Inst. Math. Jussieu , 22(6):2857–2877, 2023

2023
[14]

A. Hirschi. Properties of Gromov-Witten invariants defined via global Kuranishi charts. arXiv:2312.03625, to appear in Ann. Henri Lebesgue
[15]

E. Ionel. Genus 1 enumerative invariants in Pn with fixed j invariant. Duke Math. J. , 94(2):279–324, 1998

1998
[16]

Ionel and T

E. Ionel and T. Parker. The Gromov invariants of Ruan-Tian and Taubes. Math. Res. Lett., 4(4):521–532, 1997

1997
[17]

C. Lian. Degenerations of complete collineations and geometric Tevelev degrees of Pr. J. Reine Angew. Math., 817:153–212, 2024

2024
[18]

Lian and R

C. Lian and R. Pandharipande. Enumerativity of virtual Tevelev degrees. Ann. Sc. Norm. Super. Pisa Cl. Sci. , 26(1):71–89, 2025

2025
[19]

Marian and D

A. Marian and D. Oprea. Virtual intersections on the Quot scheme and Vafa-Intriligator formulas. Duke Math. J. , 136(1):81–113, 2007

2007
[20]

Marian, D

A. Marian, D. Oprea, and R. Pandharipande. The moduli space of stable quotients. Geom. Topol., 15(3):1651–1706, 2011. 31

2011
[21]

McDuff and D

D. McDuff and D. Salamon. J-holomorphic Curves and Symplectic Topology . American Mathematical Society colloquium publications. American Mathematical Society, 2012

2012
[22]

Ruan and G

Y. Ruan and G. Tian. A mathematical theory of quantum cohomology. J. Differential Geom., 42(2):259–367, 1995

1995
[23]

Ruan and G

Y. Ruan and G. Tian. Higher genus symplectic invariants and sigma models coupled with gravity. Invent. Math., 130(3):455–516, 1997

1997
[24]

Siebert and G

B. Siebert and G. Tian. On quantum cohomology rings of Fano manifolds and a formula of Vafa and Intriligator. Asian J. Math. , 1(4):679–695, 1997

1997
[25]

J. Tevelev. Scattering amplitudes and stable curves. Geom. Topol., 2024. To appear

2024
[26]

C. Wendl. Lectures on Holomorphic Curves in Symplectic and Contact Geometry. arXiv:1011.1690, 2014

2014 arXiv
[27]

A. Zinger. Enumeration of genus-two curves with a fixed complex structure in P2 and P3. J. Differential Geom., 65(3):341–467, 2003

2003
[28]

A. Zinger. Enumerative vs. symplectic invariants and obstruction bundles. J. Symplectic Geom., 2(4):445–543, 2004

2004
[29]

A. Zinger. Transversality for J-holomorphic maps: a complex-geometric perspective. https://www.math.stonybrook.edu/ azinger/mat645-spr22/GrTrans.pdf, 2022. 32

2022

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.

[1] [1]

Arbarello, M

E. Arbarello, M. Cornalba, and P. Griffiths. Geometry of Algebraic Curves . Grundlehren der mathematischen Wissenschaften. Springer, Berlin, Germany, 2011 edition, September 2004. 30

work page 2011

[2] [2]

Beheshti, B

R. Beheshti, B. Lehmann, C. Lian, E. Riedl, J. Starr, and S. Tanimoto. On the asymptotic enumerativity property for Fano manifolds. Forum Math. Sigma, 12:Paper No. e112, 2024

work page 2024

[3] [3]

A. Bertram. Towards a Schubert Calculus for Maps from a Riemann Surface to a Grass- manian. Int. J. Math. , 05:811–825, 1994

work page 1994

[4] [4]

Bertram, G

A. Bertram, G. Daskalopoulos, and R. Wentworth. Gromov invariants for holomorphic maps from Riemann surfaces to Grassmannians. J. Amer. Math. Soc., 9(2):529–571, 1996

work page 1996

[5] [5]

Buch and R

A. Buch and R. Pandharipande. Tevelev degrees in Gromov–Witten theory. arXiv:2112.14824, 2021

arXiv 2021

[6] [6]

Cavalieri and E

R. Cavalieri and E. Dawson. Tropical Tevelev degrees. arXiv 2407.20025, 2024

arXiv 2024

[7] [7]

A. Cela. Quantum euler class and virtual tevelev degrees of fano complete intersections. Ark. Mat., 61(2):301–322, 2023

work page 2023

[8] [8]

Cela and A

A. Cela and A. Iribar L´ opez. Genus 0 logarithmic and tropical fixed-domain counts for Hirzebruch surfaces. J. Lond. Math. Soc. (2) , 109(4):Paper No. e12892, 28, 2024

work page 2024