Pith. sign in

REVIEW 2 major objections 6 minor 92 references

BPS polynomials and Welschinger invariants

T0 review · 2 major / 6 minor · reviewed 2026-08-07 · deepseek-v4-flash

Pith's one-line read The paper proves that for blow-ups of $\mathbb{P}^2$ at up to six general points, the BPS polynomial at $q=-1$ equals the Welschinger invariant, tying real curve counts to Gromov–Witten theory.

desk verdict Valuable BPS/Welschinger bridge undercut by a load-bearing theorem used outside its stated hypothesis — the n=6 proof has a real gap. read the letter →

arxiv 2506.02770 v1 pith:XSXJGS23 submitted 2025-06-03 math.AG hep-thmath.SG

classification math.AGhep-thmath.SG MSC 14N3514N1014P0514J26
keywords BPSinvariantsWelschingerBlock–GöttschepolynomialsGromov–WittentheoryfloordiagramsrealalgebraicgeometrydelPezzosurfacesrefinedcurvecounting
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

The paper introduces BPS polynomials for any smooth projective surface $S$, organizing the BPS invariants of the threefold $S \times \mathbb{P}^1$ into a Laurent polynomial in $q$. These polynomials refine counts of complex rational curves: at $q=1$ they give the genus-zero Gromov–Witten invariant, and for toric del Pezzo surfaces they coincide with the tropical Block–Göttsche polynomials. The paper's central conjecture is that for the surfaces $S_n$ obtained by blowing up $\mathbb{P}^2$ at $n$ general real points, evaluating the BPS polynomial at $q=-1$ gives the Welschinger invariant, a signed count of real rational curves. The paper proves this for every $n \leq 6$ and every curve class with $m_\beta \geq 0$, establishing an interpolation between complex and real enumerative geometry via higher-genus Gromov–Witten theory. This matters because Welschinger invariants are subtle real-geometric quantities that now appear as a specialization of complex curve-counting data.

What carries the argument

The key object is the BPS polynomial of a surface $S$, defined as the BPS polynomial of the threefold $S \times \mathbb{P}^1$ in class $(\beta, 0)$ with $m_\beta$ point insertions lifted from $S$ and one point in $\mathbb{P}^1$. Lemma 3.3 converts it into a generating series of higher-genus Gromov–Witten invariants of $S$ with insertion of $(-1)^g \lambda_g$, which is what makes the polynomial a refinement of the genus-zero count. The proof machinery then brings in relative BPS polynomials of the pair $(\widetilde{S}_n, \widetilde{C})$: Theorem 4.17 and Corollary 4.18 compute these from refined counts of marked floor diagrams, using $q$-integer multiplicities $[w]_q^2$, and Theorem 4.20 shows that at $q=-1$ these refined counts become Welschinger signs. Finally, the refined Abramovich–Bertram–Vakil formula (Theorem 5.1) writes the BPS polynomial of the cubic surface $S_6$ as a weighted sum of relative BPS polynomials, and its real counterpart matches the analogous decomposition of Welschinger invariants.

What would settle it

A decisive check would be to compute the BPS polynomial of the cubic surface in the class $\beta = 2c_1(S_6)$ from the defining higher-genus Gromov–Witten invariants using a method that does not invoke the refined Abramovich–Bertram–Vakil formula; if its value at $q=-1$ is not 1000, the main theorem is false.

Watch

Extended reading notes

Core claim

The central discovery is Theorem 5.2: for every $n \leq 6$ and every class $\beta \in H_2(S_n, \mathbb{Z})$ with $m_\beta = -1 + c_1(S_n)\cdot \beta \geq 0$, the specialization at $q=-1$ of the BPS polynomial equals the Welschinger invariant, $\mathrm{BPS}_{S_n,\beta}(-1) = W_{S_n,\beta}$. The argument first proves a relative version for the pair $(\widetilde{S}_n, \widetilde{C})$, where $\widetilde{S}_n$ is the blow-up of $\mathbb{P}^2$ at $n$ points on a conic and $\widetilde{C}$ is the strict transform of the conic: the relative BPS polynomial at $q=-1$ equals, up to an explicit factor, a relative Welschinger count. The $n \leq 6$ statement then follows by combining this relative statement with a refined Abramovich–Bertram–Vakil formula expressing BPS polynomials of $S_6$ as weighted sums of relative BPS polynomials, and the analogous real formula for Welschinger invariants. The paper also shows that BPS polynomials agree with Block–Göttsche polynomials on toric del Pezzo surfaces, so the $q=-1$ phenomenon genuinely extends the earlier toric interpolation.

Load-bearing premise

The $n=6$ proof relies on a degeneration formula that is stated under a transversality condition (the curve class must meet the chosen conic at least once), but it is applied to the class $\beta = 2c_1(S_6)$, which does not meet the conic; if the formula does not extend to such classes, the $n=6$ case is not established as written.

Editorial extensions

If this is right

  • For every $n \leq 6$ and every class $\beta$ with $m_\beta \geq 0$, the Welschinger invariant of $S_n$ is a specialization of the BPS polynomial of $S_n \times \mathbb{P}^1$; the signed real count is therefore fixed by complex Gromov–Witten data.
  • BPS polynomials provide a single Laurent polynomial interpolating between Gromov–Witten counts at $q=1$ and Welschinger counts at $q=-1$; the paper computes the explicit example $\mathrm{BPS}^{S_6}_{2c_1(S_6)}(q) = q^{-4} + 13q^{-3} + 100q^{-2} + 547q^{-1} + 1918 + 547q + 100q^2 + 13q^3 + q^4$.
  • For toric del Pezzo surfaces, BPS polynomials coincide with Block–Göttsche polynomials, so the new invariants extend the tropical refined counts to arbitrary surfaces.
  • The relative version holds for all $n$: relative BPS polynomials of the pair $(\widetilde{S}_n, \widetilde{C})$ at $q=-1$ equal relative Welschinger counts up to an explicit factor depending only on the contact orders $\nu$.
  • The proof yields an effective algorithm for computing BPS polynomials of $S_n$ for $n \leq 6$, since each class is handled by finite sums of refined floor-diagram counts.

Reading between the lines

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

  • One could test the conjecture at $n=7$ and $n=8$, where the surfaces are still del Pezzo and Welschinger invariants are defined, by running the floor-diagram algorithm the paper describes; agreement at $q=-1$ would support the conjecture beyond the proved range.
  • If Conjecture E (BPS polynomial equals a K-theoretic refined BPS invariant of the canonical bundle) is combined with the $q=-1$ result, it would predict that a purely sheaf-theoretic count also specializes to Welschinger invariants.
  • The paper's K3 discussion suggests a broader principle: for real surfaces whose real locus has Euler characteristic equal to the signature, the $q=-1$ specialization of the BPS polynomial may always admit a real-curve interpretation; testing this on real K3 surfaces with $e_R = -16$ is already possible from the formulas in the paper.
  • A direct check of the $n=6$ proof's edge case would be to verify Theorem 5.1 for $\beta = 2c_1(S_6)$ by an independent computation of both sides; Example 5.3 is precisely the case that exercises the formula beyond its stated hypothesis.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 6 minor

Summary. The paper defines BPS polynomials for any smooth projective surface S from the Gromov-Witten theory of S × P^1, with BPS_{S,β}(1) equal to the genus-zero Gromov-Witten count of rational curves. It proves that for toric del Pezzo surfaces these polynomials agree with the Block-Göttsche polynomials, and it establishes a relative version stating that the q = -1 specialization of relative BPS polynomials for (eS_n, eC) equals, up to explicit factors, relative Welschinger counts. The central conjecture, that BPS_{S_n,β}(-1) equals the Welschinger invariant W_{S_n,β} for blow-ups of P^2 at n general real points, is claimed for all n ≤ 6 via a refined Abramovich-Bertram-Vakil formula, the real ABV formula, and the relative floor diagram computations.

Significance. If correct, the main result gives a striking bridge between real enumerative geometry and higher-genus Gromov-Witten theory, and provides an effective algorithm for computing Welschinger invariants of del Pezzo surfaces of degree at least 3. The toric comparison and the relative floor-diagram theorem are proved in detail, and the explicit Example 5.3 gives a concrete interpolation between complex and real counts. No free parameters are fitted, and the overall architecture is coherent. However, the n = 6 case of the main theorem currently rests on an unproved extension of the refined ABV formula, so the central claim is not fully established as written.

major comments (2)
  1. [§5.1–5.2, Theorem 5.1 and Eq. (5.1)] Theorem 5.1 is stated for every β with β · eC ≥ 1, but the proof of Theorem 5.2 applies Eq. (5.1) to every β with m_β ≥ 0, and Example 5.3 explicitly uses it for β = 2c_1(S_6), for which β · eC = 0. The proof of Theorem 5.1 is only a one-sentence reference to an 'analogous degeneration argument' citing [13, Theorem 8.3]; no argument is given that the refined ABV formula extends to classes with zero intersection with the conic. Since the cases n ≤ 5 are reduced to n = 6, this is a load-bearing gap. Please either prove the extension to β · eC = 0, state and prove a separate boundary-case formula, or restructure the argument so that this range is not needed.
  2. [§5.2, proof of Theorem 5.2] After proving the n = 6 case, the text concludes the result for all n ≤ 6 'by Lemma 3.8.' Lemma 3.8 concerns equality of Gromov-Witten invariants and BPS polynomials under blow-up at a point; it does not address the Welschinger side. The needed equality W_{S_6, π^*β} = W_{S_n, β} under blowing down exceptional curves is standard, but it must be stated and justified or given a precise reference, because the theorem compares BPS polynomials with Welschinger invariants.
minor comments (6)
  1. [§4.3.1, Lemma 4.12] The proof refers to 'Theorem 3.4,' but no Theorem 3.4 exists in the manuscript; the intended reference is likely Theorem 3.9 or a result from [12].
  2. [§4.4.1, Definition 4.19] The tuple x^{eC} is written with entries indexed up to ℓ(ν), but the surrounding text says it is a set of ℓ(µ) points; the indexing should be ℓ(µ).
  3. [§4.2.2, Remark 4.6] Remark 4.6 says vertices in V_2(Γ) are drawn as white disks; the second occurrence should refer to V_4(Γ).
  4. [§4.5, Example 4.22] The text says the floor diagrams are represented in 'Figures 4.8,' but the relevant figure is Figure 4.9.
  5. [§2.3] The q = -1 specialization of the Block-Göttsche polynomial is described as a 'number' of real genus zero stable maps; since it equals the signed Welschinger count, the wording should say 'signed count.'
  6. [§4.2.3 and §4.5] The manuscript contains duplicated passages and repeated figure captions in these subsections; the editorial cleanup should remove the duplicates before publication.

Circularity Check

0 steps flagged · score 1.0 of 10

No substantive circularity: the BPS(-1)=Welschinger result is a chain of independently published theorems, with one scope gap in Theorem 5.1 that is a correctness risk rather than a circular reduction.

full rationale

The paper's central comparison BP S_{S_n,beta}(-1) = W_{S_n,beta} is not obtained by fitting, renaming, or defining the output into the input. BPS polynomials are defined from Gromov-Witten invariants of S x P^1 (Definition 3.2 and Lemma 3.3); for toric del Pezzo surfaces they are identified with Block-Gottsche polynomials (Theorem 3.11) using the independently published result [12] together with a degeneration proof (Theorem 3.9) contained in this paper. For the relative setting, Theorem 4.17 and Corollary 4.18 compute relative BPS polynomials as refined counts of marked floor diagrams, and Theorem 4.20 converts the q = -1 specialization into relative Welschinger counts via Brugalle's independently proved [18, Theorem 3.12]. The final step, Theorem 5.2, combines this with the real Abramovich-Bertram-Vakil formula from [22, 23, 50] and the refined Abramovich-Bertram-Vakil formula stated as Theorem 5.1. No free parameter is fitted to the Welschinger side, and none of the equalities is definitionally identical to the target statement. The one caveat worth flagging is a scope gap: Theorem 5.1 is stated under the hypothesis beta*eC >= 1, and its proof is only described as 'an analogous degeneration argument' citing [13, Theorem 8.3], yet equation (5.1) is applied in the proof of Theorem 5.2 and in Example 5.3 to beta = 2c_1(S_6), for which beta*eC = 0. This is a missing justification or correctness risk, not a circular reduction, so it does not by itself raise the circularity score.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The central claim has no free parameters and no invented entities. It rests on a chain of published theorems, including GV integrality, the GW/pairs correspondence, [12], [18], the real ABV formula, and the paper's Theorem 5.1. Theorem 5.1 is the least externally anchored item because it is stated with a proof sketch and used outside its stated range.

assumptions (6)
  • domain assumption Gopakumar-Vafa BPS invariants are integers and vanish for large genus for fixed class and insertions.
    Invoked in Section 3.1.1 to define BPS polynomials as Laurent polynomials; proved in [45,92] and [31,32].
  • domain assumption The Gromov-Witten/pairs correspondence holds for Sn × P1.
    Used in Lemma 3.6; the paper cites [65] because Sn × P1 is deformation equivalent to a toric 3-fold.
  • domain assumption Block-Göttsche polynomials equal higher-genus log Gromov-Witten invariants with insertion of (-1)^g λ_g.
    From [12, Theorem 1]; used in proofs of Theorem 3.11 and Lemma 4.12.
  • domain assumption Refined counts of marked floor diagrams at q=-1 equal relative Welschinger counts.
    From [18, Theorem 3.12]; used in Theorem 4.20.
  • domain assumption Real Abramovich-Bertram-Vakil formula.
    Used in Theorem 5.2, quoted from [22, Theorem 2.2], [23, Theorem 7], and [50, Section 4].
  • domain assumption Refined Abramovich-Bertram-Vakil formula, Theorem 5.1.
    Stated as a theorem with a one-sentence proof by analogy to [13, Theorem 8.3]; load-bearing for n=6 and used for β·eC = 0 outside its stated hypothesis.

how reviews work

0 comments
Cite this review

Pith. "Pith review of BPS polynomials and Welschinger invariants." pith.science (2026). https://pith.science/paper/XSXJGS23

@misc{pith2026250602770,
  author       = {Pith},
  title        = {Pith review of: BPS polynomials and Welschinger invariants},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/XSXJGS23}},
  note         = {Machine review of arXiv:2506.02770}
}
abstract

We generalize Block-G\"ottsche polynomials, originally defined for toric del Pezzo surfaces, to arbitrary surfaces. To do this, we show that these polynomials arise as special cases of BPS polynomials, defined for any surface $S$ as Laurent polynomials in a formal variable $q$ encoding the BPS invariants of the $3$-fold $S \times \mathbb{P}^1$. We conjecture that for surfaces $S_n$ obtained by blowing up $\mathbb{P}^2$ at $n$ general points, the evaluation of BPS polynomials at $q=-1$ yields Welschinger invariants, given by signed counts of real rational curves. We prove this conjecture for all surfaces $S_n$ with $n \leq 6$.

Figures

Figures reproduced from arXiv: 2506.02770 by the authors.

Figure 3.1
Figure 3.1. The polyhedral decomposition PS. We equip the total space S of the degeneration with the divisorial log structure defined by the central fiber S0, and C with the divisorial log structure defined by {0} ⊂ C, so that the morphism π : S → C naturally lifts to a log smooth morphism. The tropicalization of S is the cone over the compact polygon P ⊂ R 2 with vertices the points uρ. Finally, we specialize the mβ point cons… view at source ↗
Figure 4.1
Figure 4.1. Two floor diagrams of degree 2 We will later make use of the following elementary result on floor diagrams in the proof of Theorem 4.17: Lemma 4.7. A floor diagram Γ of degree d satisfies |V2(Γ)| + 2|V4(Γ)| = d. Proof. We evaluate P v∈V (Γ) div(v) in two different ways. Since V (Γ) = V2(Γ) ⨿ V4(Γ), we obtain P v∈V (Γ) div(v) = 2|V2(Γ)| + 4|V4(Γ)|. On the other hand, expressing div(v) as a difference of weights, all … view at source ↗
Figure 4.2
Figure 4.2. Two floor diagrams of degree 4 of class β = 4H − P6 i=1 Ei ∈ H2(Se6,Z) and type (∅,(1, 1)). 4.2.3. Curves in the degeneration of Sen and floor diagrams. In this section we provide exam￾ples of marked floor diagrams and briefly explain how they encode topological information about curves in the central fiber eϵ −1 (0) = P 2 ∪ F (mβ,(µ,ν) ) 4 ∪ . . . F (1) 4 ∪ Bln(F4) of the degeneration eϵ of Sen described in §4.2.1.… view at source ↗
Figures from the paper (7 more)
Figure 4.3
Figure 4.3. Figure 4.3: Different markings on a floor diagram There exists a natural correspondence between the topology of irreducible components of curves in the central fiber, and vertices, edges, and legs of floor diagrams. White vertices marked by i, for 1 ≤ i ≤ mβ,(µ,ν) , correspond t…
Figure 4.3
Figure 4.3. Figure 4.3: Different markings on a floor diagram There exists a natural correspondence between the topology of irreducible components of curves in the central fiber, and vertices, edges, and legs of floor diagrams. White vertices marked by i, for 1 ≤ i ≤ mβ,(µ,ν) , correspond t…
Figure 4.5
Figure 4.5. Figure 4.5: Degeneration used in the proof of Lemma 4.12. 4.3.2. Lines tangent to the conic. In this section, we compute another particular case of the relative Gromov–Witten invariants GWSen/Ce g,β,(µ,ν) defined in (4.3). We assume that n = 0, that is Sen = P 2 and Ce = C. More…
Figure 4.6
Figure 4.6. Figure 4.6: Degeneration used in the proof of Lemma 4.13. 4.3.3. Relative BPS polynomials from refined counts of floor diagrams. In this section, we prove that the relative Gromov–Witten invariants GWSen/Ce g,β,(µ,ν) and the corresponding BPS [PITH_FULL_IMAGE:figures/full_fig_p…
Figure 4.7
Figure 4.7. Figure 4.7: Curve contributing to GWF4/C−4∪C4 g,C4+|mv|F,(mv,nv) Corollary 4.18. Let β ∈ H2(Sen, Z) such that H · β ≥ 1, and µ, ν as in (4.1). Then, the relative BPS polynomial BP SSen/C β,(µ,ν) (q) is equal to the refined count with multiplicity Nfloor β,(µ,ν) (q) of marked flo…
Figure 4.8
Figure 4.8. Figure 4.8: All floor diagrams of degree 4 of class β = 4H − P6 i=1 Ei ∈ H2(Se6, Z) and type (∅,(1, 1)). Diagram C-count R-count Refined count 1) 16 0 q −3 + 2q −2 + 3q −1 + 4 + 3q + 2q 2 + q 3 2) 54 6 6q −2 + 12q −1 + 18 + 12q + 6q 2 3) 60 0 15q −1 + 30 + 15q 4) 20 20 20 5) 36 …
Figure 4.9
Figure 4.9. Figure 4.9: All floor diagrams of degree 6 of class β = 6H − 2 P6 i=1 Ei ∈ H2(Se6, Z) and type (∅, ∅). 5. BPS polynomials and Welschinger invariants of del Pezzo surfaces In §5.1, we prove a refined version of the Abramovich–Bertram–Vakil formula which relates the BPS polynomial…

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

92 extracted references · 69 canonical work pages

  1. [1]

    The formula 12 = 10 + 2 × 1 and its generalizations: counting rational curves on F2

    Dan Abramovich and Aaron Bertram. The formula 12 = 10 + 2 × 1 and its generalizations: counting rational curves on F2. In Advances in algebraic geometry motivated by physics (Lowell, MA, 2000) , volume 276 of Contemp. Math. , pages 83–88. Amer. Math. Soc., Providence, RI, 2001

  2. [2]

    Stable logarithmic maps to Deligne-Faltings pairs II

    Dan Abramovich and Qile Chen. Stable logarithmic maps to Deligne-Faltings pairs II. Asian J. Math. , 18(3):465–488, 2014

  3. [3]

    Decomposition of degenerate Gromov- Witten invariants

    Dan Abramovich, Qile Chen, Mark Gross, and Bernd Siebert. Decomposition of degenerate Gromov- Witten invariants. Compos. Math., 156(10):2020–2075, 2020

  4. [4]

    Refinements of Kool-Thomas Invariants via Equivariant $K$-theoretic invariants

    Rizal Afgani. Refinements of Kool-Thomas Invariants via Equivariant K-theoretic invariants. arXiv preprint arXiv:2012.05278, 2020

  5. [5]

    Real loci in (log) Calabi-Yau manifolds via Kato-Nakayama spaces of toric degenerations

    H¨ ulya Arg¨ uz. Real loci in (log) Calabi-Yau manifolds via Kato-Nakayama spaces of toric degenerations. Eur. J. Math. , 7(3):869–930, 2021

  6. [6]

    Recursive formulas for Welschinger in- variants of the projective plane

    Aubin Arroyo, Erwan Brugall´ e, and Luc ´ ıa L´ opez de Medrano. Recursive formulas for Welschinger in- variants of the projective plane. Int. Math. Res. Not. IMRN , (5):1107–1134, 2011

  7. [7]

    Gromov-Witten invariants in algebraic geometry

    Kai Behrend. Gromov-Witten invariants in algebraic geometry. Invent. Math. , 127(3):601–617, 1997

  8. [8]

    The product formula for Gromov-Witten invariants

    Kai Behrend. The product formula for Gromov-Witten invariants. J. Algebraic Geom. , 8(3):529–541, 1999

Show all 92 references
  1. [9]

    Refined curve counting with tropical geometry

    Florian Block and Lothar G¨ ottsche. Refined curve counting with tropical geometry. Compos. Math. , 152(1):115–151, 2016

  2. [10]

    Refined count of oriented real rational curves

    Thomas Blomme. Refined count of oriented real rational curves. J. Algebraic Geom. , 33(1):143–197, 2024

  3. [11]

    Tropical refined curve counting from higher genera and lambda classes.arXiv preprint arXiv:1706.07762, version 1 , 2017

    Pierrick Bousseau. Tropical refined curve counting from higher genera and lambda classes.arXiv preprint arXiv:1706.07762, version 1 , 2017

  4. [12]

    Tropical refined from higher genera and lambda classes

    Pierrick Bousseau. Tropical refined from higher genera and lambda classes. Invent. Math. , 215(1):1–79, 2019. BPS POLYNOMIALS AND WELSCHINGER INV ARIANTS 45

  5. [13]

    Refined floor diagrams from higher genera and lambda classes

    Pierrick Bousseau. Refined floor diagrams from higher genera and lambda classes. Selecta Math. (N.S.) , 27(3):Paper No. 43, 42, 2021

  6. [14]

    A proof of N

    Pierrick Bousseau. A proof of N. Takahashi’s conjecture for (P2, E) and a refined sheaves/Gromov-Witten correspondence. Duke Math. J. , 172(15):2895–2955, 2023

  7. [15]

    Stable maps to Looijenga pairs

    Pierrick Bousseau, Andrea Brini, and Michel van Garrel. Stable maps to Looijenga pairs. Geom. Topol., 28(1):393–496, 2024

  8. [16]

    All-genus WDVV recursion, quivers, and BPS invariants

    Pierrick Bousseau and Longting Wu. All-genus WDVV recursion, quivers, and BPS invariants. arXiv preprint arXiv:2303.00503, 2023

  9. [17]

    Refined Gromov-Witten invariants

    Andrea Brini and Yannik Schuler. Refined Gromov-Witten invariants. arXiv preprint arXiv:2410.00118, 2024

  10. [18]

    Floor diagrams relative to a conic, and GW-W invariants of del Pezzo surfaces

    Erwan Brugall´ e. Floor diagrams relative to a conic, and GW-W invariants of del Pezzo surfaces. Adv. Math., 279:438–500, 2015

  11. [19]

    On the invariance of Welschinger invariants

    Erwan Brugall´ e. On the invariance of Welschinger invariants. St. Petersburg Mathematical Journal , 32(2):199–214, 2021

  12. [20]

    Enumeration of curves via floor diagrams

    Erwan Brugall´ e and Grigory Mikhalkin. Enumeration of curves via floor diagrams. C. R. Math. Acad. Sci. Paris , 345(6):329–334, 2007

  13. [21]

    Floor decompositions of tropical curves: the planar case

    Erwan Brugall´ e and Grigory Mikhalkin. Floor decompositions of tropical curves: the planar case. In Proceedings of G¨ okova Geometry-Topology Conference 2008, pages 64–90. G¨ okova Geometry/Topology Conference (GGT), G¨ okova, 2009

  14. [22]

    Behavior of Welschinger invariants under Morse simplifications

    Erwan Brugall´ e and Nicolas Puignau. Behavior of Welschinger invariants under Morse simplifications. Rend. Semin. Mat. Univ. Padova , 130:147–153, 2013

  15. [23]

    On Welschinger invariants of symplectic 4-manifolds

    Erwan Brugall´ e and Nicolas Puignau. On Welschinger invariants of symplectic 4-manifolds. Comment. Math. Helv. , 90(4):905–938, 2015

  16. [24]

    The local Gromov-Witten theory of curves

    Jim Bryan and Rahul Pandharipande. The local Gromov-Witten theory of curves. J. Amer. Math. Soc. , 21(1):101–136, 2008. With an appendix by Bryan, C. Faber, A. Okounkov and Pandharipande

  17. [25]

    Counting curves on Hirze- bruch surfaces: tropical geometry and the Fock space

    Renzo Cavalieri, Paul Johnson, Hannah Markwig, and Dhruv Ranganathan. Counting curves on Hirze- bruch surfaces: tropical geometry and the Fock space. Math. Proc. Cambridge Philos. Soc. , 171(1):165– 205, 2021

  18. [26]

    Tropical and logarithmic methods in enu- merative geometry, volume 52 of Oberwolfach Seminars

    Renzo Cavalieri, Hannah Markwig, and Dhruv Ranganathan. Tropical and logarithmic methods in enu- merative geometry, volume 52 of Oberwolfach Seminars. Birkh¨ auser/Springer, Cham, [2023]©2023

  19. [27]

    Steenrod pseudocycles, lifted cobordisms, and Solomon’s relations for Welschinger invari- ants

    Xujia Chen. Steenrod pseudocycles, lifted cobordisms, and Solomon’s relations for Welschinger invari- ants. Geom. Funct. Anal., 32(3):490–567, 2022

  20. [28]

    WDVV-type relations for Welschinger invariants: applications

    Xujia Chen and Aleksey Zinger. WDVV-type relations for Welschinger invariants: applications. Kyoto J. Math. , 61(2):339–376, 2021

  21. [29]

    Counting real J-holomorphic discs and spheres in dimension four and six

    Cheol-Hyun Cho. Counting real J-holomorphic discs and spheres in dimension four and six. J. Korean Math. Soc., 45(5):1427–1442, 2008

  22. [30]

    Real Enriques surfaces , volume 1746 of Lecture Notes in Mathematics

    Alex Degtyarev, Ilia Itenberg, and Viatcheslav Kharlamov. Real Enriques surfaces , volume 1746 of Lecture Notes in Mathematics . Springer-Verlag, Berlin, 2000

  23. [31]

    The Gopakumar-Vafa finiteness conjec- ture

    Aleksander Doan, Eleny-Nicoleta Ionel, and Thomas Walpuski. The Gopakumar-Vafa finiteness conjec- ture. arXiv preprint arXiv:2103.08221 , 2021

  24. [32]

    Counting embedded curves in symplectic 6-manifolds

    Aleksander Doan and Thomas Walpuski. Counting embedded curves in symplectic 6-manifolds. Com- ment. Math. Helv. , 98(4):693–769, 2023

  25. [33]

    Notes on stable maps and quantum cohomology

    William Fulton and Rahul Pandharipande. Notes on stable maps and quantum cohomology. arXiv preprint alg-geom/9608011, 1996. 46 H. ARG ¨UZ AND P. BOUSSEAU

  26. [34]

    Open Gromov-Witten disk invariants in the presence of an anti-symplectic involution

    Penka Georgieva. Open Gromov-Witten disk invariants in the presence of an anti-symplectic involution. Adv. Math., 301:116–160, 2016

  27. [35]

    M-Theory and Topological Strings–I

    Rajesh Gopakumar and Cumrun Vafa. M-Theory and Topological Strings–I. arXiv preprint hep- th/9809187, 1998

  28. [36]

    M-theory and topological strings–II

    Rajesh Gopakumar and Cumrun Vafa. M-theory and topological strings–II. arXiv preprint hep- th/9812127, 1998

  29. [37]

    The quantum cohomology of blow-ups ofP2 and enumera- tive geometry

    Lothar G¨ ottsche and Rahul Pandharipande. The quantum cohomology of blow-ups ofP2 and enumera- tive geometry. J. Differential Geom. , 48(1):61–90, 1998

  30. [38]

    Refined curve counting on complex surfaces

    Lothar G¨ ottsche and Vivek Shende. Refined curve counting on complex surfaces. Geom. Topol. , 18(4):2245–2307, 2014

  31. [39]

    Localization of virtual classes

    Tom Graber and Rahul Pandharipande. Localization of virtual classes. Invent. Math. , 135(2):487–518, 1999

  32. [40]

    The tropical vertex

    Mark Gross, Rahul Pandharipande, and Bernd Siebert. The tropical vertex. Duke Math. J. , 153(2):297– 362, 2010

  33. [41]

    Logarithmic Gromov-Witten invariants

    Mark Gross and Bernd Siebert. Logarithmic Gromov-Witten invariants. J. Amer. Math. Soc., 26(2):451– 510, 2013

  34. [42]

    Poincar´ e polynomials of moduli spaces of one-dimensional sheaves on the projective plane

    Shuai Guo and Longting Wu. Poincar´ e polynomials of moduli spaces of one-dimensional sheaves on the projective plane. arXiv preprint arXiv:2501.05622 , 2025

  35. [43]

    Asaf Horev and Jake P. Solomon. The open Gromov-Witten-Welschinger theory of blowups of the projective plane. arXiv preprint arXiv:1210.4034 , 2012

  36. [44]

    Gromov-Witten invariants of blow-ups along points and curves

    Jianxun Hu. Gromov-Witten invariants of blow-ups along points and curves. Math. Z. , 233(4):709–739, 2000

  37. [45]

    Eleny-Nicoleta Ionel and Thomas H. Parker. The Gopakumar-Vafa formula for symplectic manifolds. Ann. of Math. (2) , 187(1):1–64, 2018

  38. [46]

    Appendix to ”Welschinger invariant and enumeration of real rational curves”

    Ilia Itenberg, Viatcheslav Kharlamov, and Eugenii Shustin. Appendix to ”Welschinger invariant and enumeration of real rational curves”. arXiv preprint math/0312142 , 2003

  39. [47]

    A Caporaso-Harris type formula for Welschinger invariants of real toric del Pezzo surfaces

    Ilia Itenberg, Viatcheslav Kharlamov, and Eugenii Shustin. A Caporaso-Harris type formula for Welschinger invariants of real toric del Pezzo surfaces. Comment. Math. Helv. , 84(1):87–126, 2009

  40. [48]

    Welschinger invariants of real del Pezzo surfaces of degree ≥ 3

    Ilia Itenberg, Viatcheslav Kharlamov, and Eugenii Shustin. Welschinger invariants of real del Pezzo surfaces of degree ≥ 3. Math. Ann., 355(3):849–878, 2013

  41. [49]

    Welschinger invariants of small non-toric Del Pezzo surfaces

    Ilia Itenberg, Viatcheslav Kharlamov, and Eugenii Shustin. Welschinger invariants of small non-toric Del Pezzo surfaces. J. Eur. Math. Soc. (JEMS) , 15(2):539–594, 2013

  42. [50]

    Welschinger invariants of real del Pezzo surfaces of degree ≥ 2

    Ilia Itenberg, Viatcheslav Kharlamov, and Eugenii Shustin. Welschinger invariants of real del Pezzo surfaces of degree ≥ 2. Internat. J. Math. , 26(8):1550060, 63, 2015

  43. [51]

    Welschinger invariants revisited

    Ilia Itenberg, Viatcheslav Kharlamov, and Eugenii Shustin. Welschinger invariants revisited. In Analysis meets geometry, Trends Math., pages 239–260. Birkh¨ auser/Springer, Cham, 2017

  44. [52]

    On Block-G¨ ottsche multiplicities for planar tropical curves

    Ilia Itenberg and Grigory Mikhalkin. On Block-G¨ ottsche multiplicities for planar tropical curves. Int. Math. Res. Not. IMRN , (23):5289–5320, 2013

  45. [53]

    Real enumerative invariants relative to the anti-canonical divisor and their refinement

    Ilia Itenberg and Eugenii Shustin. Real enumerative invariants relative to the anti-canonical divisor and their refinement. arXiv preprint arXiv:2303.06203 , 2023

  46. [54]

    Real enumerative invariants relative to the toric boundary and their refinement

    Ilia Itenberg and Eugenii Shustin. Real enumerative invariants relative to the toric boundary and their refinement. arXiv preprint arXiv:2401.06718 , 2024

  47. [55]

    M-theory, topological strings and spinning black holes

    Sheldon Katz, Albrecht Klemm, and Cumrun Vafa. M-theory, topological strings and spinning black holes. Adv. Theor. Math. Phys. , 3(5):1445–1537, 1999. BPS POLYNOMIALS AND WELSCHINGER INV ARIANTS 47

  48. [56]

    Tropical refined curve counting with descendants

    Patrick Kennedy-Hunt, Qaasim Shafi, and Ajith Urundolil Kumaran. Tropical refined curve counting with descendants. Comm. Math. Phys. , 405(10):Paper No. 240, 41, 2024

  49. [57]

    Counting real rational curves on K3 surfaces

    Viatcheslav Kharlamov and Rares Rasdeaconu. Counting real rational curves on K3 surfaces. Int. Math. Res. Not. IMRN , (14):5436–5455, 2015

  50. [58]

    A compactification of the space of maps from curves

    Bumsig Kim, Andrew Kresch, and Yong-Geun Oh. A compactification of the space of maps from curves. Trans. Amer. Math. Soc. , 366(1):51–74, 2014

  51. [59]

    A degeneration formula of GW-invariants

    Jun Li. A degeneration formula of GW-invariants. J. Differential Geom. , 60(2):199–293, 2002

  52. [60]

    Comparison of algebraic and symplectic Gromov-Witten invariants

    Jun Li and Gang Tian. Comparison of algebraic and symplectic Gromov-Witten invariants. Asian J. Math., 3(3):689–728, 1999

  53. [61]

    Gromov–Witten invariants of blow-ups of P2 using logarithmic geometry

    Chun Hong Lo. Gromov–Witten invariants of blow-ups of P2 using logarithmic geometry. MIT PhD thesis https://hdl.handle.net/1721.1/147470 , 2022

  54. [62]

    Framed knots at large N

    Marcos Mari˜ no and Cumrun Vafa. Framed knots at large N . In Orbifolds in mathematics and physics (Madison, WI, 2001) , volume 310 of Contemp. Math. , pages 185–204. Amer. Math. Soc., Providence, RI, 2002

  55. [63]

    Gromov-Witten theory and Donaldson-Thomas theory

    Davesh Maulik, Nikita Nekrasov, Andrei Okounkov, and Rahul Pandharipande. Gromov-Witten theory and Donaldson-Thomas theory. I. Compos. Math., 142(5):1263–1285, 2006

  56. [64]

    Gromov-Witten theory and Donaldson-Thomas theory

    Davesh Maulik, Nikita Nekrasov, Andrei Okounkov, and Rahul Pandharipande. Gromov-Witten theory and Donaldson-Thomas theory. II. Compos. Math., 142(5):1286–1304, 2006

  57. [65]

    Gromov- Witten/Donaldson-Thomas correspondence for toric 3-folds

    Davesh Maulik, Alexei Oblomkov, Andrei Okounkov, and Rahul Pandharipande. Gromov- Witten/Donaldson-Thomas correspondence for toric 3-folds. Invent. Math. , 186(2):435–479, 2011

  58. [66]

    Davesh Maulik, Rahul Pandharipande, and Richard P. Thomas. Curves on K3 surfaces and modular forms. J. Topol., 3(4):937–996, 2010. With an appendix by A. Pixton

  59. [67]

    Enumerative tropical algebraic geometry in R2

    Grigory Mikhalkin. Enumerative tropical algebraic geometry in R2. J. Amer. Math. Soc., 18(2):313–377, 2005

  60. [68]

    Quantum indices and refined enumeration of real plane curves

    Grigory Mikhalkin. Quantum indices and refined enumeration of real plane curves. Acta Math. , 219(1):135–180, 2017

  61. [69]

    Towards an enumerative geometry of the moduli space of curves

    David Mumford. Towards an enumerative geometry of the moduli space of curves. In Arithmetic and geometry, Vol. II , volume 36 of Progr. Math., pages 271–328. Birkh¨ auser Boston, Boston, MA, 1983

  62. [70]

    Membranes and sheaves

    Nikita Nekrasov and Andrei Okounkov. Membranes and sheaves. Algebr. Geom., 3(3):320–369, 2016

  63. [71]

    Unramified Gromov–Witten and Gopakumar–vafa invariants

    Denis Nesterov. Unramified Gromov–Witten and Gopakumar–vafa invariants. arXiv preprint arXiv:2405.18398, 2024

  64. [72]

    Toric degenerations of toric varieties and tropical curves

    Takeo Nishinou and Bernd Siebert. Toric degenerations of toric varieties and tropical curves. Duke Math. J., 135(1):1–51, 2006

  65. [73]

    Hodge integrals and degenerate contributions

    Rahul Pandharipande. Hodge integrals and degenerate contributions. Comm. Math. Phys. , 208(2):489– 506, 1999

  66. [74]

    Three questions in Gromov-Witten theory

    Rahul Pandharipande. Three questions in Gromov-Witten theory. In Proceedings of the International Congress of Mathematicians, Vol. II (Beijing, 2002) , pages 503–512. Higher Ed. Press, Beijing, 2002

  67. [75]

    Gromov-Witten/Pairs correspondence for the quintic 3-fold

    Rahul Pandharipande and Aaron Pixton. Gromov-Witten/Pairs correspondence for the quintic 3-fold. J. Amer. Math. Soc. , 30(2):389–449, 2017

  68. [76]

    Rahul Pandharipande and Richard P. Thomas. Curve counting via stable pairs in the derived category. Invent. Math. , 178(2):407–447, 2009

  69. [77]

    Rahul Pandharipande and Richard P. Thomas. Stable pairs and BPS invariants. J. Amer. Math. Soc. , 23(1):267–297, 2010

  70. [78]

    Rahul Pandharipande and Richard P. Thomas. 13/2 ways of counting curves. In Moduli spaces, volume 411 of London Math. Soc. Lecture Note Ser. , pages 282–333. Cambridge Univ. Press, Cambridge, 2014. 48 H. ARG ¨UZ AND P. BOUSSEAU

  71. [79]

    Rahul Pandharipande and Richard P. Thomas. The Katz-Klemm-Vafa conjecture forK3 surfaces. Forum Math. Pi , 4:e4, 111, 2016

  72. [80]

    Universally counting curves in Calabi–Yau threefolds

    John Pardon. Universally counting curves in Calabi–Yau threefolds. arXiv preprint arXiv:2308.02948 , 2023

  73. [81]

    Tropical enumeration of curves in blowups of CP 2

    Brett Parker. Tropical enumeration of curves in blowups of CP 2. J. Differential Geom., 129(1):165–223, 2025

  74. [82]

    On Gromov-Witten invariants of del Pezzo surfaces

    Mendy Shoval and Eugenii Shustin. On Gromov-Witten invariants of del Pezzo surfaces. Internat. J. Math., 24(7):1350054, 44, 2013

  75. [83]

    Algebraic and symplectic Gromov-Witten invariants coincide

    Bernd Siebert. Algebraic and symplectic Gromov-Witten invariants coincide. Ann. Inst. Fourier (Greno- ble), 49(6):1743–1795, 1999

  76. [84]

    Jake P. Solomon. Intersection theory on the moduli space of holomorphic curves with Lagrangian bound- ary conditions. arXiv preprint math/0606429 , 2006

  77. [85]

    Solomon and Sara B

    Jake P. Solomon and Sara B. Tukachinsky. Point-like bounding chains in open Gromov-Witten theory. Geom. Funct. Anal., 31(5):1245–1320, 2021

  78. [86]

    Richard P. Thomas. Equivariant K-theory and refined Vafa-Witten invariants. Comm. Math. Phys. , 378(2):1451–1500, 2020

  79. [87]

    Richard P. Thomas. Refined sheaf counting on local K3 surfaces. arXiv preprint arXiv:2403.12741, 2024

  80. [88]

    Counting curves on rational surfaces

    Ravi Vakil. Counting curves on rational surfaces. Manuscripta Math. , 102(1):53–84, 2000

  81. [89]

    Invariants of real rational symplectic 4-manifolds and lower bounds in real enumerative geometry

    Jean-Yves Welschinger. Invariants of real rational symplectic 4-manifolds and lower bounds in real enumerative geometry. C. R. Math. Acad. Sci. Paris , 336(4):341–344, 2003

  82. [90]

    Invariants of real symplectic 4-manifolds and lower bounds in real enumerative geometry

    Jean-Yves Welschinger. Invariants of real symplectic 4-manifolds and lower bounds in real enumerative geometry. Invent. Math. , 162(1):195–234, 2005

  83. [91]

    Open/closed BPS correspondence and integrality

    Song Yu. Open/closed BPS correspondence and integrality. Comm. Math. Phys. , 405(9):Paper No. 219, 34, 2024

  84. [92]

    A comparison theorem for Gromov-Witten invariants in the symplectic category

    Aleksey Zinger. A comparison theorem for Gromov-Witten invariants in the symplectic category. Adv. Math., 228(1):535–574, 2011. University of Georgia, Department of Mathematics, Athens, GA 30605 Email address : Hulya.Arguz@uga.edu University of Georgia, Department of Mathemati...

Pith tools

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