Pith. sign in

REVIEW 1 major objections 4 minor 1 cited by

Sheaves of maximal intersection and multiplicities of stable log maps

T0 review · 1 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash

Pith's one-line read Two glued rational curves contribute exactly the smaller of their two tangency orders to the log Gromov-Witten count, with each of the d log maps carrying multiplicity min(e1,e2).

desk verdict Real new results on log GW multiplicities; main caveat is an unproved genericity assumption in the two-curve formula. read the letter →

arxiv 1908.10906 v5 pith:EFDY46WX submitted 2019-08-28 math.AG hep-th

classification math.AGhep-th MSC 14N3514A2114B1014D1514D2014J26
keywords logGromov-WitteninvariantsstablemapsmaximaltangencyCalabi-YausurfacessheavesofintersectionmultiplicitiesrelativeBPSnumbers
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 computes the numerical contributions of two natural kinds of zero-dimensional components in the moduli space of genus-0 stable log maps of maximal tangency on a surface. It establishes that an irreducible $A^1$-curve contributes to the log Gromov-Witten invariant exactly the same multiplicity it has as an ordinary stable map, namely the length $l(C)$ of the moduli space of maps to the curve. It then establishes that when two distinct immersed rational $A^1$-curves $Z_1,Z_2$ are maximally tangent to the boundary divisor at the same smooth point and meet there generically, their union supports exactly $\gcd(d_1,d_2)$ stable log maps, each of multiplicity $\min(e_1,e_2)$, for a total contribution of $\min(d_1,d_2)$. These calculations matter because log Gromov-Witten invariants have many structural theorems but very few worked-out computations; the results supply explicit terms in decompositions of log BPS numbers and connect the log, relative, and tropical counting formalisms.

What carries the argument

The load-bearing object in the first half is the moduli space $\mathrm{MMI}_\beta$ of sheaves of maximal intersection: torsion-free rank-one sheaves $F$ supported on integral curves of class $\beta$ whose restriction to $D$ is $\mathcal{O}_{wP}$ with $w=\beta\cdot D$. Theorem 1.11 proves that $\mathrm{MMI}_\beta$ and its point-fixed variant are nonsingular of dimension $2p_a(\beta)=\beta^2-w+2$, a logarithmic analogue of unobstructedness for sheaves on K3 surfaces; this smoothness is what forces infinitesimal deformations of a log map with image $C$ to factor through $C$, yielding Corollary 1.12. The second half carries out a fully explicit log deformation theory. The relevant domain is a chain $C_1\cup C_0\cup C_2$ with the middle component collapsed to $P$, the basic log structure is encoded by the coprime pair $(e_1,e_2)$ and by a $d$-th root $c_p$, and the extension calculation in Section 5 shows exactly which lifts survive to order $\min(e_1,e_2)$, giving $d$ isolated points of length $\min(e_1,e_2)$.

What would settle it

Compute the same local contribution in a one-parameter family of divisors D in which two A1-curves develop contact at P of order greater than min(d1,d2), using the deformation equations of Section 5; Theorem 1.14 predicts exactly d isolated log maps of length min(e1,e2), so any other count would show that the generic-intersection hypothesis is doing real work.

Watch

Extended reading notes

Core claim

On a smooth surface $X$ with an effective divisor $D$, the paper studies genus-0 basic stable log maps of maximal tangency to $D$. Corollary 1.12 states that if $X$ is a smooth projective rational surface, $K_X+D\sim 0$, $P\in D_{\mathrm{sm}}$, and $C$ is an irreducible rational curve of class $\beta$ maximally tangent to $D$ at $P$ and smooth at $P$, then the normalization map $\mathbb{P}^1\to C$ contributes $l(C)$ to $N_\beta(X,D)$, where $l(C)$ is the Euler characteristic of the compactified Jacobian of $C$. Theorem 1.14 concerns two proper integral rational curves $Z_1,Z_2$ with $(K_X+D)\cdot Z_i=0$, both maximally tangent to $D$ at the same point $P$, with immersive normalizations and with $(Z_1.Z_2)_P=\min(d_1,d_2)$ for $d_i=D\cdot Z_i$. Writing $d_1=de_1$, $d_2=de_2$ with $\gcd(e_1,e_2)=1$, the theorem asserts that the stack $M_{\beta_1+\beta_2}(X,D)$ contains exactly $d$ stable log maps with image $Z_1\cup Z_2$, each an isolated point of length $\min(e_1,e_2)$; their combined contribution to $N_{\beta_1+\beta_2}(X,D)$ is therefore $\min(d_1,d_2)$. The paper also shows by example that the relevant component of the log moduli space is not isomorphic to the corresponding relative stable map component, even though the two theories give the same numerical invariants.

Load-bearing premise

The count rests on the assertion that the two curves meet each other at P in the least special way possible, namely with intersection multiplicity equal to the smaller of their two tangency orders, which the authors conjecture holds for a general divisor D but do not prove.

Editorial extensions

If this is right

  • Under Condition ($\bullet$), Corollary 1.13 gives an enumerative meaning to the log BPS number at a $\beta$-primitive point: it is the sum of $l(C)$ over rational unibranch curves in the linear system, subject to Conjecture 1.8.
  • In the tropical-vertex example obtained by blowing up $\mathbb{P}^2$ at six points, combining Corollary 1.12 with Theorem 1.14 reproduces $N_\beta(S,D)=18$, matching the tropical multiplicity count and confirming deformation invariance through Euler numbers.
  • The log and relative moduli spaces are locally non-isomorphic near a two-component image: there are $d$ log maps of length $\min(e_1,e_2)$ versus one relative map of length $\min(d_1,d_2)$, yet by the comparison theorem the total contribution to the invariant agrees.
  • At a flex point of $(\mathbb{P}^2,E)$, the decomposition takes the form $113 = 5 + 24 + 2\cdot \mathrm{Contr} + k_5$, so determining the remaining component would determine $k_5$, the number of degree-5 rational curves maximally tangent at a flex.

Reading between the lines

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

  • If the smoothness of $\mathrm{MMI}_\beta$ is a genuine logarithmic analogue of K3 sheaf unobstructedness, then a sheaf-theoretic Euler-characteristic count should reproduce the log BPS numbers after the same kind of substitution used in the local BPS correspondence; the paper does not develop this.
  • The separation of the total contribution into $d$ log lifts times a length $\min(e_1,e_2)$ suggests that for a union of $k$ maximally tangent components the count may be governed by the gcds of the tangency orders; the three-line case from Section 2.2.4, whose contribution is 3, is a concrete place to test this.
  • If Condition ($\bullet$) fails, the clean sum in Corollary 1.13 could acquire correction terms from curves with worse singularities at $P$; a low-degree exhaustive enumeration on a del Pezzo surface would show whether such corrections actually occur.
  • The root-of-unity data $c_p$ distinguishing the $d$ log maps have no relative counterpart, so refined invariants that keep track of these data might be visible tropically as a choice of edge weights in a scattering diagram.
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.

Referee Report

1 major / 4 minor

Summary. This paper studies genus 0 maximally tangent stable log maps to a smooth surface with a divisor D, focusing on the contributions of zero-dimensional components of the moduli space to the log Gromov-Witten invariants N_beta(X,D). It proves two main results. (A) Corollary 1.12 states that an irreducible rational A1-curve C that is smooth at the contact point P contributes its ordinary stable map multiplicity l(C) to N_beta; this is deduced from the smoothness of a newly introduced moduli space MMI_beta of 'sheaves of maximal intersection' (Theorem 3.12). (B) Theorem 1.14 states that for two immersed rigid A1-curves Z1, Z2 satisfying (K_X+D).Z_i=0 and meeting D at the same smooth point P with intersection multiplicity (Z1.Z2)_P = min(d1,d2), there are exactly d=gcd(d1,d2) basic stable log maps with image Z1 union Z2, each isolated with multiplicity min(e1,e2), so together they contribute min(d1,d2) to the invariant. The proof occupies Section 5 and is an explicit coordinate computation of the log structures and deformation theory. Section 6 compares the result with relative stable maps in a concrete example.

Significance. If correct, these are the first explicit computations of log Gromov-Witten contributions for non-rigid and reducible image curves. The introduction of the moduli space MMI_beta and its nonsingularity (Theorem 3.12) is a novel sheaf-theoretic tool that parallels the K3 surface story. The results feed directly into applications to log BPS numbers and local BPS invariants, as illustrated in Section 2.3, and the paper includes a fully worked example recovering N_beta=18 for a weak del Pezzo surface, with a comparison to tropical multiplicity. The proofs are lengthy, detailed, and transparent, using explicit coordinate models for the log structures, and the paper contains a useful example contrasting log and relative stable maps (Section 6).

major comments (1)
  1. [Section 5.5, Lemma 5.16] The proof that v=0 in the case n=e1 uses the inequality A1(0)(B'_2(0))^d != A2(0)(B'_1(0))^d, which is equivalent to the genericity hypothesis (Z1.Z2)_P = min(d1,d2). For d1 != d2 this condition is automatic (Remark 1.15), but for d1 = d2 it is an extra assumption that is only conjectured to hold for general D. The applications in Section 2.3 and Example 6.1 satisfy the condition, but the paper should explicitly state that Theorem 1.14 is conditional on this hypothesis and that it must be verified in each equal-degree application. This is a limitation of the theorem's scope rather than an error in the proof.
minor comments (4)
  1. [Introduction, Section 1.1] The phrase 'remedy to that shortcoming' should be 'remedy that shortcoming'.
  2. [Section 3, proof of Theorem 3.12] The computation of dim Ext^1(F,F(-D)) = beta^2 + 1 would be clearer with an explicit expansion of the Riemann-Roch calculation; the current sentence is terse.
  3. [Section 5, Notation 5.9] For N=2, the notation Bji is later abbreviated to Bi; a brief remark that B_i = B_2i in the rest of Section 5 would improve readability.
  4. [Section 6, Example 6.1] It would be helpful to explicitly state that the two choices u2 = +/-1/2 correspond to the two log maps counted by d=2 and that (Z'_1.Z'_2)_P = 2 verifies the genericity hypothesis of Theorem 1.14.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main formulas are derived from independent moduli and deformation-theoretic calculations.

full rationale

The paper's central claims, Corollary 1.12 and Theorem 1.14, are not obtained by fitting, renaming, or self-referential definition. Corollary 1.12 is quoted from the authors' prior work [21] but is explicitly conditional on Theorem 1.11, and Theorem 1.11 (nonsingularity of MMI_beta and MMI^P_beta) is proved in Section 3 of the present paper using the relative compactified Picard scheme and standard moduli-of-sheaves techniques. Thus the chain is not circular: the prior conditional statement is being supplied with the missing ingredient here. Theorem 1.14 is proved by explicit deformation theory in Section 5: the number d of log maps is obtained from d2-th roots of unity and the identification modulo gcd(d1,d2), and the length min{e1,e2} is obtained by showing that extensions exist up to order e1-1 but not e1, using Lemma 5.16. The genericity hypothesis (Z1.Z2)_P = min{d1,d2} is a geometric input used to rule out unwanted extensions; it is not a restatement of the output contribution min{d1,d2}, which is a derived enumerative consequence. The paper's self-citations to [20,21] concern background classification of stable log maps and previously proved conditional results, and they are not load-bearing in a way that reduces the main theorems to their own conclusions. Remark 1.15 flags that the genericity condition is only conjectural for general D, which is a limitation on applicability rather than evidence of circular reasoning. No parameter fitting, no renaming of a known result, and no imported uniqueness theorem is present. The derivation is self-contained given the stated assumptions.

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

The central claims rest on standard infrastructure of log Gromov-Witten theory and on prior results by the authors and others. No numerical free parameters are fitted to data; the main assumptions are geometric genericity conditions and a background conjecture used for applications.

assumptions (7)
  • domain assumption Log Gromov-Witten invariants exist as virtual counts via proper Deligne-Mumford stacks of basic stable log maps
    Used throughout Sections 1.3 and 4.2, following Gross-Siebert, Chen, and Abramovich-Chen.
  • domain assumption The forgetful morphism from stable log maps to stable maps is finite
    Invoked in Sections 1.2 and 4.2 via Wise to ensure that zero-dimensional components of M_beta can be studied through underlying stable maps.
  • domain assumption Structure of genus 0 maximal tangency log maps with two non-collapsed components
    Proposition 5.1 and Corollary 5.2 rest on a prior classification of components by the same authors in [21, Corollary 2.10].
  • domain assumption Conjecture 1.8 equating log BPS numbers and local BPS numbers
    Used in Theorem 1.3 and Section 2.3 to convert multiplicity formulas into statements about local BPS numbers; explicitly conjectural except in known cases such as P2 and arithmetic genus at most 2.
  • domain assumption Condition (bullet): rational curves in the linear system unibranch at P are smooth at P
    Needed for Corollary 1.13 and Theorem 1.3; the authors state they expect it for general choices of (X,D) but do not prove it.
  • domain assumption Generic intersection condition (Z1.Z2)_P = min(d1,d2)
    Explicit hypothesis (4) of Theorem 1.14; the proofs of Lemma 5.16 and Section 5.4 depend on it, while Remark 1.15 only expects it for general D.
  • domain assumption Kato's log smooth deformation theorem and the relative stable map result of Takahashi
    Used in Lemma 5.10(1) for the structure of the log curve and in Example 6.2 to identify the relative moduli space as a single length-2 point via [54].
invented entities (1)
  • Moduli space MMI_beta of sheaves of maximal intersection
    purpose: To prove that infinitesimal deformations of a log map factor through the support curve C, yielding Corollary 1.12 through the nonsingularity of MMI_beta.
    This is a new mathematical construction, not an empirical entity; it has no falsifiable handle outside the paper and is judged by its internal consistency and consequences.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Sheaves of maximal intersection and multiplicities of stable log maps." pith.science (2026). https://pith.science/paper/EFDY46WX

@misc{pith2026190810906,
  author       = {Pith},
  title        = {Pith review of: Sheaves of maximal intersection and multiplicities of stable log maps},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/EFDY46WX}},
  note         = {Machine review of arXiv:1908.10906}
}
read the original abstract

A great number of theoretical results are known about log Gromov-Witten invariants, but few calculations are worked out. In this paper we restrict to surfaces and to genus 0 stable log maps of maximal tangency. We ask how various natural components of the moduli space contribute to the log Gromov-Witten invariants. The first such calculation by Gross-Pandharipande-Siebert deals with multiple covers over rigid curves in the log Calabi-Yau setting. As a natural continuation, in this paper we compute the contributions of non-rigid irreducible curves in the log Calabi-Yau setting and that of the union of two rigid curves in general position. For the former, we construct and study a moduli space of "logarithmic" 1-dimensional sheaves and compare the resulting multiplicity with tropical multiplicity. For the latter, we explicitly describe the components of the moduli space and work out the logarithmic deformation theory in full, which we then compare with the deformation theory of the analogous relative stable maps.

Figures

Figures reproduced from arXiv: 1908.10906 by the authors.

Figure 1
Figure 1. A tropical curve of multiplicity 12 in the fan of [PITH_FULL_IMAGE:figures/full_fig_p017_1.png] view at source ↗
Figure 2
Figure 2. Two tropical curves of multiplicity 3 each in the fa [PITH_FULL_IMAGE:figures/full_fig_p018_2.png] view at source ↗
Figure 3
Figure 3. Tropical curve N • • • ϕη0 (1) ux1 |uR1 | |uR1 | |uR2 | |uR2 | 5 Proof of Theorem 1.14 In this section, we prove Theorem 1.14. 5.1 Maximally tangent genus 0 log maps with 2 non-collapsed components The following gives a rough idea of what a genus 0, 1-marked stable log map looks like. Proposition 5.1 ([21, Corollary 2.10]) Let X be a divisorial log scheme given by a smooth variety X and a smooth divisor D. For a gen… view at source ↗
Figures from the paper (1 more)
Figure 4
Figure 4. Figure 4: Coordinates along C z10 z11 z12 z20 z21 z22 x2 x3 x1 x4 x5 C0 C1 C2 where F (k) 0 ∈ C, F (k) 1 (zi1) ∈ OCi (U ∩ Ci) and F (k) 2 (zi2) ∈ OC0 (U ∩ C0). Here, if i is e.g. 1, we regard OC1 (U ∩ C1) as a subring of OCS (U) using the projection map U1 → Spec C[z11], etc. Pr…

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

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

  1. On the log-local principle for the toric boundary

    math.AG 2019-08 conditional novelty 6.0 of 10

    For Q-factorial projective toric varieties whose toric boundary divisors are nef, the genus-zero log and local Gromov-Witten invariants with point and descendant insertions agree after the log-local normalization, and...

Reference graph

Works this paper leans on

61 extracted references · 54 canonical work pages · cited by 1 Pith paper

  1. [1]

    D Abramovich, Q Chen, Stable logarithmic maps to Deligne­Faltings pairs II, Asian J. Math. 18 (2014) 465–488

  2. [2]

    D Abramovich, B Fantechi, Orbifold techniques in degeneration formulas , Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 16 (2016) 519–579

  3. [3]

    D Abramovich, S Marcus, J Wise, Comparison theorems for Gromov­Witten invariants of smooth pairs and of degenerations , Ann. Inst. Fourier (Grenoble) 64 (2014) 1611–1667

  4. [4]

    Real and complex singularities (Proc. Ninth Nordic Summer School/NA VF Sympos. Math., Oslo, 1976)

    A B Altman, A Iarrobino , S L Kleiman, Irreducibility of the compactified Jacobian , from “Real and complex singularities (Proc. Ninth Nordic Summer School/NA VF Sympos. Math., Oslo, 1976)”, Sijthoff and Noordhoff, Alphen aan den Rijn (1 977) 1–12

  5. [5]

    P S Aspinwall, D R Morrison, T opological field theory and rational curves , Comm. Math. Phys. 151 (1993) 245–262

  6. [6]

    L Barrott, N Nabijou, T angent curves to degenerating hypersurfaces arXiv:2007.05016, 2020

  7. [7]

    A Beauville, Counting rational curves on K 3 surfaces, Duke Math. J. 97 (1999) 99–108

  8. [8]

    Takahashi’s conjecture on genus zero Gromov­Wi tten theory of (P2, E) and a refined sheaves/Gromov–Witten correspondence arXiv:1909.02992, 2019

    P Bousseau , A proof of N. Takahashi’s conjecture on genus zero Gromov­Wi tten theory of (P2, E) and a refined sheaves/Gromov–Witten correspondence arXiv:1909.02992, 2019

Show all 61 references
  1. [9]

    P Bousseau , Scattering diagrams, stability conditions, and coherent s heaves on P2 arXiv:1909.02985, 2019

  2. [10]

    P Bousseau , A Brini , M van Garrel , On the log­local principle for the toric boundary arXiv:1908.04371, 2019 Sheaves of maximal intersection and multiplicities of stab le log maps 51

  3. [11]

    P Bousseau, A Brini, M van Garrel, Stable maps to Looijenga pairs arXiv:2011.08830, 2020

  4. [12]

    P Bousseau , A Brini , M van Garrel , Stable maps to Looijenga pairs: orbifold examples arXiv:2012.10353, 2020

  5. [13]

    T Bridgeland , Stability conditions on a non­compact Calabi­Yau threefol d, Comm. Math. Phys. 266 (2006) 715–733

  6. [14]

    L Caporaso, J Coelho, E Esteves, Abel maps of Gorenstein curves, Rend. Circ. Mat. Palermo (2) 57 (2008) 33–59

  7. [15]

    Enumerative geometry and classical algebraic geometry (Nice, 1981)

    F Catanese , Pluricanonical­Gorenstein­curves, from “Enumerative geometry and classical algebraic geometry (Nice, 1981)”, Progr. Math. 24, Birkh ¨auser Boston, Boston, MA (1982) 51–95

  8. [16]

    Algebraic Geom

    Q Chen , The degeneration formula for logarithmic expanded degener ations, J. Algebraic Geom. 23 (2014) 341–392

  9. [17]

    Q Chen, Stable logarithmic maps to Deligne­Faltings pairs I , Ann. of Math. (2) 180 (2014) 455–521

  10. [18]

    Algebraic Geom

    X Chen, Rational curves on K 3 surfaces, J. Algebraic Geom. 8 (1999) 245–278

  11. [19]

    T ­M Chiang, A Klemm , S­T Yau , E Zaslow , Local mirror symmetry: calculations and interpretations, Adv. Theor. Math. Phys. 3 (1999) 495–565

  12. [20]

    J Choi , M van Garrel , S Katz , N T akahashi, Local BPS invariants: enumerative aspects and wall­crossing, Int. Math. Res. Not. IMRN (2020) 5450–5475

  13. [21]

    J Choi, M van Garrel, S Katz, N T akahashi, Log BPS numbers of log Calabi­Yau surfaces , Trans. Amer. Math. Soc. 374 (2021) 687–732

  14. [22]

    Algebraic Geom

    B Fantechi , L G ¨ottsche, D van Straten , Euler number of the compactified Jacobian and multiplicity of rational curves , J. Algebraic Geom. 8 (1999) 115–133

  15. [23]

    M van Garrel , T Graber , H Ruddat , Local Gromov­Witten invariants are log invariants , Adv. Math. 350 (2019) 860–876

  16. [24]

    Calabi­Yau varieties: arithmetic, geometry and phy sics

    M van Garrel , D P Overholser, H Ruddat , Enumerative aspects of the Gross­Siebert pro­ gram, from “Calabi­Yau varieties: arithmetic, geometry and phy sics”, Fields Inst. Monogr. 34, Fields Inst. Res. Math. Sci., Toronto, ON (2015) 337–420

  17. [25]

    Number Theory Phys

    M van Garrel , T W H Wong, G Zaimi, Integrality of relative BPS state counts of toric del Pezzo surfaces, Commun. Number Theory Phys. 7 (2013) 671–687

  18. [26]

    T Gr ¨afnitz, Tropical correspondence for smooth del Pezzo log Calabi­Y a u pairs arXiv:2005.14018, 2020

  19. [27]

    M Gross , R Pandharipande , B Siebert , The tropical vertex , Duke Math. J. 153 (2010) 297–362

  20. [28]

    M Gross, B Siebert, Logarithmic Gromov­Witten invariants, J. Amer. Math. Soc. 26 (2013) 451–510

  21. [29]

    D Huybrechts, M Lehn, The Geometry of Moduli Spaces of Sheaves , 2 edition, Cambridge Mathematical Library, Cambridge University Press (2010)

  22. [30]

    E­N Ionel , T H Parker , The Gopakumar­Vafa formula for symplectic manifolds , Ann. of Math. (2) 187 (2018) 1–64 52 J. Choi, M. van Garrel, S. Katz and N. T akahashi

  23. [31]

    F Kato, Log smooth deformation and moduli of log smooth curves, Internat. J. Math. 11 (2000) 215–232

  24. [32]

    Differential Geom

    S Katz, Genus zero Gopakumar­Vafa invariants of contractible curv es, J. Differential Geom. 79 (2008) 185–195

  25. [33]

    B Kim, H Lho, H Ruddat, The degeneration formula for stable log maps arXiv:1803.04210, 2018

  26. [34]

    A Klemm, D Maulik, R Pandharipande, E Scheidegger, Noether­Lefschetz theory and the Yau­Zaslow conjecture, J. Amer. Math. Soc. 23 (2010) 1013–1040

  27. [35]

    The moduli space of curves (Texel Island, 1994)

    M Kontsevich , Enumeration of rational curves via torus actions , from “The moduli space of curves (Texel Island, 1994)”, Progr. Math. 129, Birkh ¨auser Boston, Boston, MA (1995) 335–368

  28. [36]

    Differential Geom

    J Li , Stable morphisms to singular schemes and relative stable mo rphisms, J. Differential Geom. 57 (2001) 509–578

  29. [37]

    Differential Geom

    J Li, A degeneration formula of GW­invariants , J. Differential Geom. 60 (2002) 199–293

  30. [38]

    J Li, B Wu, Good degeneration of Quot­schemes and coherent systems , Comm. Anal. Geom 23 (2015) 841–921

  31. [39]

    Y ­S Lin, Open Gromov­Witten invariants on elliptic K3 surfaces and w all­crossing, Comm. Math. Phys. 349 (2017) 109–164

  32. [40]

    Differential Geom

    Y ­S Lin, Correspondence Theorem between Holomorphic Discs and Trop ical Discs on K3 Surfaces, J. Differential Geom. 117 (2021) 41–92

  33. [41]

    T Mandel , Theta bases and log Gromov–Witten invariants of cluster var ieties arXiv:1903.03042, 2019

  34. [42]

    T Mandel, H Ruddat, Tropical quantum field theory, mirror polyvector fields, and multiplic­ ities of tropical curves arXiv:1902.07183, 2019

  35. [43]

    T Mandel , H Ruddat , Descendant log Gromov–Witten invariants for toric varieti es and tropical curves, Trans. Amer. Math. Soc. 373 (2020) 1109–1152

  36. [44]

    The moduli space of curves (Texel Island, 1994)

    Y I Manin , Generating functions in algebraic geometry and sums over tr ees, from “The moduli space of curves (Texel Island, 1994)”, Progr. Math. 1 29, Birkh ¨auser Boston, Boston, MA (1995) 401–417

  37. [45]

    D Maulik, D Ranganathan, Logarithmic Donaldson­Thomas theory arXiv:2006.06603, 2020

  38. [46]

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

  39. [47]

    S Mukai, Symplectic structure of the moduli space of sheaves on an abe lian or K 3 surface, Invent. Math. 77 (1984) 101–116

  40. [48]

    N Nabijou , D Ranganathan , Gromov­Witten theory with maximal contacts arXiv:1908.04706, 2019

  41. [49]

    T Nishinou, B Siebert, T oric degenerations of toric varieties and tropical curves, Duke Math. J. 135 (2006) 1–51

  42. [50]

    Lectures on geometry

    R Pandharipande, Maps, sheaves and K 3 surfaces, from “Lectures on geometry”, Clay Lect. Notes, Oxford Univ. Press, Oxford (2017) 159–185 Sheaves of maximal intersection and multiplicities of stab le log maps 53

  43. [51]

    D Ranganathan , Logarithmic Gromov­Witten theory with expansions arXiv:1903.09006, 2019

  44. [52]

    V Shende , Hilbert schemes of points on a locally planar curve and the Se veri strata of its versal deformation, Compos. Math. 148 (2012) 531–547

  45. [53]

    N T akahashi, Curves in the complement of a smooth plane cubic whose normal izations are A1 arXiv:alg­geom/9605007, 1996

  46. [54]

    N T akahashi, On the multiplicity of reducible relative stable morphisms arXiv:1711.08173, 2017

  47. [55]

    N T akahashi, Log mirror symmetry and local mirror symmetry , Comm. Math. Phys. 220 (2001) 293–299

  48. [56]

    Y T oda, Limit stable objects on Calabi­Yau 3­folds , Duke Math. J. 149 (2009) 157–208

  49. [57]

    DT/PT corresp ondence, J

    Y T oda, Curve counting theories via stable objects I. DT/PT corresp ondence, J. Amer. Math. Soc. 23 (2010) 1119–1157

  50. [58]

    Y T oda, Stability conditions and curve counting invariants on Cala bi­Yau 3­folds , Kyoto J. Math. 52 (2012) 1–50

  51. [59]

    104 (1996) 135–151

    C V oisin, A mathematical proof of a formula of Aspinwall and Morrison , Compositio Math. 104 (1996) 135–151

  52. [60]

    J Wise, Uniqueness of minimal morphisms of logarithmic schemes , Algebr. Geom. 6 (2019) 50–63

  53. [61]

    S­T Yau, E Zaslow, BPS states, string duality, and nodal curves on K 3, Nuclear Phys. B 471 (1996) 503–512 Department of Mathematics & Research Institute of Natural S ciences, Sookmyung Women’s Univer­ sity, Cheongpa­ro 47­gil 100, Y oungsan­gu, Seoul 04310, Republic of Korea ...

Pith tools

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