Pith. sign in

REVIEW 3 major objections 6 minor 2 cited by

Gromov-Witten theory with maximal contacts

T0 review · 3 major / 6 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read Maximal-contact Gromov–Witten invariants do not agree with the naive or local theories in the plane with two lines, and the paper computes the difference via weighted blowups.

desk verdict A serious paper with two genuine new ideas — counterexamples to the local/logarithmic conjectures and an explicit blowup correction — but the counterexample proof has real gaps and the abstract oversells the explicitness. read the letter →

arxiv 1908.04706 v3 pith:7UJCCT4W submitted 2019-08-13 math.AG

Navid Nabijou , Dhruv Ranganathan This is my paper · ORCID
classification math.AG MSC 14N3514N1014T05
keywords logarithmicGromov-Wittentheorymaximalcontactlocalinvariantsrelativetropicalmoduliofmapsweightedblowupssimplenormalcrossingsdivisorenumerativegeometry
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 compares three ways of counting genus-zero rational curves that meet a simple normal crossings divisor with maximal order at the marked points: the logarithmic theory, built from logarithmic structures; the naive theory, whose classes are the products of the relative Gromov–Witten classes of the individual divisor components; and the local theory, which counts curves in the total space of the sum of the normal line bundles. Its central claim is that the logarithmic and naive/local theories need not coincide, and it demonstrates this with explicit counterexamples in the projective plane with two lines as divisor: the strong form of the correspondence fails in degree 2 and the original form, obtained by forgetting the marked points, fails in degree 4. The failure comes from extra components in the intersection of the two relative loci, namely curves whose domain has a contracted component at the intersection point of the two lines. The paper replaces the conjectured identity with a correction formula in which the difference is captured by an explicit sequence of weighted blowups along combinatorial 'floral' strata, and it proves that for product geometries the correspondence holds with primary factorwise insertions.

What carries the argument

The central object is the moduli space $K^{\max}_{0,2}(X|D,\beta)$ of logarithmic stable maps with maximal contact at two marked points, together with its tropical cone complex $T_{0,2}(X,\beta)$, the polyhedral parametrization of tropical curves by edge lengths and degrees. The load-bearing construction is the radial-alignment subdivision of $T_{0,2}(X,\beta)$, which records a total order of the distances from the vertex carrying the first marking; combinatorially this subdivision is an iterated weighted stellar subdivision along floral cones, a floral cone being a cone indexed by a tropical curve type in which a contracted vertex carries the first marked point and is attached to several rational tails. Geometrically, the corresponding strata of the moduli space $K_{0,2}(X,\beta)$ of stable maps are blown up in that order, so that the strict transforms of $K^{\max}_{0,2}(X|D_1,\beta)$ and $K^{\max}_{0,2}(X|D_2,\beta)$ meet transversely in the modified space. The classical blowup formula then expresses the discrepancy between this transverse intersection and the naive product as a sum of tautological correction terms, built from Chern classes of normal bundles, Segre classes of boundary strata, and descendent integrals.

What would settle it

Check the dimension of the boundary locus in $K_{0,0}(\mathbb{P}^2,4)$ consisting of maps whose domain is a contracted component at $H_1\cap H_2$ glued to four rational tails mapping isomorphically onto lines. Proposition 1.2 requires this locus to have dimension 5; an explicit parametrization (for instance by gluing parameters or equivariant localization) that produced dimension 6 would make the intersection improper and break the claimed inequality, while a clean dimension-5 computation would confirm the counterexample.

Watch

Extended reading notes

Core claim

The paper's main negative result, Theorem X, states that the naive and logarithmic maximal-contact theories differ for $\mathbb{P}^2$ with $D=H_1+H_2$ two lines: in degree $2$ the strong form of the local/logarithmic correspondence fails, and in degree $4$ the original form fails. The proof exhibits, in $K_{0,0}(\mathbb{P}^2,4)$, that the image of the logarithmic moduli space is only one component of the intersection of the two images coming from the relative theories of $(\mathbb{P}^2,H_1)$ and $(\mathbb{P}^2,H_2)$; the intersection contains a second 5-dimensional component, consisting of maps with a contracted component mapping to $H_1\cap H_2$ and four rational tails mapped isomorphically onto lines, and this component contributes with positive multiplicity. The conjectured class identity therefore cannot hold. In place of it, Theorem 3.6 gives a corrected product formula: after an explicit sequence of weighted blowups of $K_{0,2}(X,\beta)$ along strict transforms of floral strata, the strict transforms of the two relative loci intersect transversely, and the difference between that transverse product and the original naive product is recorded by tautological correction terms. Theorem W establishes the numerical correspondence for pairs $(\prod_i X_i,\sum_i D_i)$ with primary factorwise insertions, giving the first non-toric instances in dimension greater than two.

Load-bearing premise

The counterexamples rest on the assertion that no degenerate curve configuration contributes an overlap of dimension greater than 5 in the relevant intersection; the bound is argued by a case analysis and 'elementary geometry' rather than a systematic proof, and a single 6-dimensional boundary contribution would ruin the inequality.

Editorial extensions

If this is right

  • The two local/logarithmic correspondence conjectures are false in stated generality; multiplying the relative classes of individual divisor components does not in general produce the logarithmic maximal-contact class.
  • The strong form of the correspondence can fail earlier than the original form: in degree 2 for $\mathbb{P}^2$ with two lines the strong form fails while the original form still holds there, and only degree 4 refutes the original form.
  • For section pairs, the difference between the logarithmic and naive/local maximal-contact invariants is algorithmically computable: it is a sum of tautological correction terms attached to floral strata, expressible through Chern and Segre classes and descendent integrals.
  • For products of smooth projective pairs $(\prod_i X_i,\sum_i D_i)$ with hyperplane sections, the numerical local/logarithmic correspondence holds with primary factorwise insertions, giving the first non-toric examples in dimension greater than two.
  • The method reduces genus-zero maximal-contact logarithmic questions for section pairs to Gromov–Witten theory of smooth pairs, providing an alternative to degeneration-based approaches.

Reading between the lines

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

  • The mechanism behind the counterexamples, the contracted component carrying a marking, suggests a threshold phenomenon: the naive and logarithmic classes should agree for any curve class where such floral configurations cannot occur. This is a testable extension, not a claim of the paper.
  • Because the counterexamples live in $\mathbb{P}^2$ with toric boundary, a torus-localization computation of the degree-2 or degree-4 intersection would independently verify the dimension counts that the paper leaves to 'elementary geometry'; such a check is not performed in the paper.
  • The paper's observation that the product structure 'crushes' the corrections hints that the correspondence may hold for targets more general than literal products, namely those admitting a birational morphism that contracts the floral configurations; exploring this would be a natural continuation.
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

3 major / 6 minor

Summary. The paper studies genus-zero logarithmic Gromov-Witten invariants with maximal contact orders along simple normal crossings divisors. It introduces a "naive" theory obtained by intersecting the relative maximal-contact loci for the individual divisor components and observes that this naive theory agrees with the local theory up to signs and pushforwards. The central claim is that the logarithmic and naive/local theories do not coincide in general: Theorem X asserts that for P^2 with the divisor H1+H2 of two lines, the strong form of the local/logarithmic correspondence fails in degree 2 and the original form fails in degree 4. The paper then proposes a correction mechanism via an explicit sequence of weighted blowups of the Kontsevich space (Theorems Y, Z and 3.6), expressing the difference between the logarithmic and naive classes as a sum of tautological correction terms, and proves a positive result (Theorem W) for product geometries with factorwise primary insertions.

Significance. If the counterexamples in Theorem X are correct, they would settle negatively the van Garrel-Graber-Ruddat and Tseng-You local/logarithmic conjectures, which had substantial numerical support. The paper also contains a novel and potentially very useful algorithmic description of the relevant birational modifications in terms of tropical image-orderings and floral strata, and the corrected product formula is a concrete quantitative replacement for the failed correspondence. These positive contributions are substantial regardless of the fate of the counterexamples. However, the counterexamples are the paper's headline result, and their proof as written has load-bearing gaps.

major comments (3)
  1. [§1.1, proof of Proposition 1.2] The proof of Proposition 1.2 depends on the assertion that the four-line locus described in Lemma 1.3 is an irreducible component of the intersection (2) that is not present on the right-hand side. The paper never proves this. The numerical balancing criterion [12, Remark 1.7(ii)] is used to show that the four-line locus lies in each of π1(Kmax_0,1(P2|H1,4)) and π2(Kmax_0,1(P2|H2,4)); the same computation appears to certify the same locus for π(Kmax_0,2(P2|H1+H2,4)), since each non-contracted line meets H1+H2 with degree 2 and carries one node with contact orders (1,1), while C0 maps into D. If this is so, the four-line locus is contained in the main component on the right-hand side rather than being an excess component, and the final sentence of the proof of Proposition 1.2 — that the component [π(Kmax...)] appears on both sides, so the two sides cannot be equal — is invalid. The paper must either prove, using the contact-order conditions at the marked points or another mechanism, that the four-line locus is not in the image of Kmax_0,2(P2|H1+H2,4), or compute the multiplicities with which it appears on each side.
  2. [§1.2, pointed counterexample] The claim that every irreducible component of the intersection (2) has dimension exactly 5 is not established. The boundary-stratum analysis is asserted: a boundary stratum of Kmax_0,1(P2|Hi,4) has dimension at most 7, forgetting the marking reduces the dimension to 6 unless the marking lies on a contracted tail, and the remaining conic-plus-two-lines case is bounded by "elementary geometry". No proof or reference for these bounds is supplied, and the phrase "cuts the dimension to at least 5" is at best ambiguous and at worst contradicts the intended "at most 5". This is load-bearing because [11, Proposition 7.1] is invoked to decompose the left-hand side as a positive sum of component classes, which requires a proper intersection; a boundary contribution of dimension 6 would invalidate the inequality in Proposition 1.2.
  3. [§1.2, proof of (3)] The proof of the inequality (3) for the degree-2 pointed counterexample is incomplete. The text says "We leave some verifications to the reader" and "Direct analysis shows that there are no further irreducible components", but this analysis is the core of a central counterexample. In particular, the argument does not show that the second 3-dimensional component is not contained in Kmax_0,2(P2|H1+H2,2), and no multiplicities are computed for either component. The same concern as in the degree-4 case applies: if the two-line-plus-contracted-component locus is also certified by the numerical criterion for the two-divisor moduli space, then it is not an excess component and the inequality does not follow.
minor comments (6)
  1. [§0.3] The sentence "which cuts the dimension to at least 5" should presumably read "at most 5"; as written it undermines the dimension bound it is meant to establish.
  2. [§2.6] The sentence "We do not not extract a closed form solution" contains a typo: "do not not" should be "do not".
  3. [§1.1, Lemma 1.1] In the proof of Theorem 2.13, the transition from the target edge lengths to the flower subcone (9) is terse; a short explanation of why the degree of the root changes from β0 to β0+β1 would improve readability.
  4. [§5.2, Theorem 5.2] The factor 42 in Lemma 1.1 is introduced without comment; a one-sentence derivation (for instance, from the product of the two evaluation degrees) would help the reader check the normalization.
  5. [References] The proof of Theorem 5.2 says the result follows by a diagram chase; the compatibility of the local classes with the birational morphism θ is plausible but should be stated more explicitly, since it is the key input.
  6. [References] Reference [18] contains a typographical artifact "Pr"; it should be "P^r".

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found: the counterexamples are computed from external criteria and intersection-theoretic identities, and the load-bearing assumptions are unproved-dimension claims, not self-referential reductions.

full rationale

The central counterexamples (Theorem X, Proposition 1.2, inequality (3)) are computed directly from moduli-space component and dimension analyses plus Gathmann's numerical balancing criterion [12], with the smooth-pair local/logarithmic correspondence [25] used only to identify the naive/local class in Lemma 1.1. No step defines the logarithmic quantity in terms of the naive quantity or vice versa; the inequality is the conclusion, not an input. The blowup correction machinery (Theorems Y, Z, 3.6, 4.3) is derived from semistable reduction [3], Molcho [16], Fulton's blowup formula [11], and Aluffi's Segre formula [5]; self-citations [6,17,19,20] supply background constructions and are not load-bearing for the disproofs. The appended 'Comparison with v1' note honestly acknowledges an earlier incorrect positive answer, which further cuts against any suggestion that the conjectures are being assumed. The skeptical concern about Lemma 1.3's four-line locus possibly also lying in the two-divisor moduli image, together with the 'elementary geometry' dimension bounds and the 'verifications left to the reader' in Sections 1.1-1.2, is a correctness or rigor objection rather than circularity: no equation of the paper reduces to its own input by construction.

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

No free parameters are fitted anywhere; the paper is pure mathematics. The load-bearing inputs are external theorems (Gathmann's balancing criterion [12]; the vGR smooth-pair correspondence [25]; Abramovich-Karu weak semistable reduction [3] with Molcho's canonical version [16]; Fulton's blowup formula [11]; Aluffi's Segre formula [5]) plus in-paper combinatorial arguments about tropical moduli. The genus-zero hypothesis is what makes the tropical expansion factors canonically determined (Remark 2.4). No invented entities appear; the new objects (floral cones, comb cones, alignments) are definitions within proofs.

assumptions (6)
  • domain assumption The maximal contact moduli spaces Kmax 0,1(P2|Hi, d) are logarithmically smooth, irreducible, of the stated expected dimension, with dimensionally transverse maps as a dense open.
    Invoked throughout Section 1 to identify pushed-forward classes with fundamental classes of images and to compute dimensions; follows in principle from the logarithmic Euler sequence and the balancing criterion, but irreducibility of the full space is asserted from the dense open locus.
  • domain assumption Gathmann's numerical balancing criterion ([12, Remark 1.7(ii)]) characterizes the closure of the image of the maximal contact space in the Kontsevich space.
    External cited result; used in Lemma 1.3 to show the four-lines locus lies in both images πi(Kmax 0,1(P2|Hi,4)), which is essential to the counterexample.
  • domain assumption The van Garrel-Graber-Ruddat local/logarithmic correspondence for a smooth divisor ([25]) holds in the strong cycle form used in Lemmas 1.1 and 3.1.
    External published theorem; also the site of the v1 error disclosed in the paper ('misapplication of the vanishing results in [25]'), so it is a delicate input.
  • domain assumption The moduli diagram for (X,D) is cartesian in fine and saturated logarithmic stacks, and weak semistable reduction with the canonical minimal subdivision applies to the tropical morphisms.
    Basis for the rank-reduction machinery in Sections 2-3; the canonical subdivision is identified with the image-ordered subdivision T0,2(X,β)† in Proposition 2.6, citing [1, Theorem 2.6], [3], and [16].
  • domain assumption The genus zero hypothesis ensures formal expansion factors on tropical curves are uniquely determined by balancing, making the subdivision and comb cone analysis valid.
    The paper flags this explicitly in Remark 2.4 and Section 2.4; it underpins Proposition 2.6 and Theorem 2.13 and is the stated reason the construction fails outside genus zero and positivity.
  • standard math Fulton's blowup formula, the weighted-blowup variant, and Aluffi's Segre class formula apply to the strict transforms and excess loci that appear.
    Standard intersection-theoretic tools cited as [11, §6.7] and [5, Theorem 1.1]; used to derive Theorem 3.6.
invented entities (1)
  • None
    purpose: No new physical or ontological entities are introduced.
    The paper defines new combinatorial objects (floral cones, comb cones, radial alignments, image-ordered tropical curves), but these are working definitions inside proofs, not postulates requiring independent evidence; they carry no falsifiable handle outside the paper.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Gromov-Witten theory with maximal contacts." pith.science (2026). https://pith.science/paper/7UJCCT4W

@misc{pith2026190804706,
  author       = {Pith},
  title        = {Pith review of: Gromov-Witten theory with maximal contacts},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/7UJCCT4W}},
  note         = {Machine review of arXiv:1908.04706}
}
read the original abstract

We propose an intersection-theoretic method to reduce questions in genus zero logarithmic Gromov-Witten theory to questions in the Gromov-Witten theory of smooth pairs, in the presence of positivity. The method is applied to the enumerative geometry of rational curves with maximal contact orders along a simple normal crossings divisor and to recent questions about its relationship to local curve counting. Three results are established. We produce counterexamples to the local/logarithmic conjectures of van Garrel-Graber-Ruddat and Tseng-You. We prove that a weak form of the conjecture holds for product geometries. Finally, we explicitly determine the difference between local and logarithmic theories, in terms of relative invariants for which efficient algorithms are known. The polyhedral geometry of the tropical moduli of maps plays an essential and intricate role in the analysis.

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

  1. Sheaves of maximal intersection and multiplicities of stable log maps

    math.AG 2019-08 accept novelty 8.0 of 10

    The paper proves explicit multiplicity formulas for non-rigid A1-curves and for unions of two rigid A1-curves in maximal-tangency genus 0 log Gromov-Witten invariants on surfaces.

  2. 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

25 extracted references · 18 canonical work pages · cited by 2 Pith papers

  1. [1]

    A BRAMOVICH AND Q

    D. A BRAMOVICH AND Q. C HEN, Stable logarithmic maps to Deligne-Faltings pairs II , Asian J. Math., 18 (2014), pp. 465–488. 4, 8

    work page 2014

  2. [2]

    A BRAMOVICH , Q

    D. A BRAMOVICH , Q. C HEN , M. G ROSS , AND B. S IEBERT , Punctured logarithmic maps, arXiv:2009.07720, (2020). 3

    arXiv 2020

  3. [3]

    A BRAMOVICH AND K

    D. A BRAMOVICH AND K. K ARU, Weak semistable reduction in characteristic 0, Invent. Math., 139 (2000), pp. 241–273. 8

    work page 2000

  4. [4]

    A BRAMOVICH AND J

    D. A BRAMOVICH AND J. W ISE, Birational invariance in logarithmic Gromov–Witten theory, Comp. Math., 154 (2018), pp. 595–620. 23

    work page 2018

  5. [5]

    A LUFFI, Segre classes as integrals over polytopes, J

    P. A LUFFI, Segre classes as integrals over polytopes, J. Eur. Math. Soc., 18 (2016), pp. 2849–2863. 23

    work page 2016

  6. [6]

    Curve counting in genus one: elliptic singularities & relative geometry

    L. B ATTISTELLA , N. N ABIJOU , AND D. R ANGANATHAN , Curve counting in genus one: elliptic singularities & relative geometry, arXiv:1907.00024, (2019). 9, 10

    work page Pith review arXiv 2019

  7. [7]

    B EHREND , The product formula for Gromov-Witten invariants, J

    K. B EHREND , The product formula for Gromov-Witten invariants, J. Algebr. Geom., 3 (1999), pp. 529–541. 25

    work page 1999

  8. [8]

    B OUSSEAU , A

    P. B OUSSEAU , A. B RINI , AND M. VAN GARREL , On the local-log principle for the toric boundary , arXiv: 1908.04371, (2019). 2

    arXiv 2019

Show all 25 references
  1. [9]

    , Stable maps to Looijenga pairs, arXiv:2011.08830, (2020). 2

    2020 arXiv

  2. [10]

    C AVALIERI , H

    R. C AVALIERI , H. M ARKWIG , AND D. R ANGANATHAN , Tropical compactification and the Gromov–Witten theory of P1, Selecta Math., 23 (2017), pp. 1027–1060. 9

    2017

  3. [11]

    F ULTON , Intersection theory, vol

    W. F ULTON , Intersection theory, vol. 2 of Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], Springer-Verlag, Berlin, second ...

    1998

  4. [12]

    G ATHMANN , Absolute and relative Gromov-Witten invariants of very ample hypersurfaces, Duke Math

    A. G ATHMANN , Absolute and relative Gromov-Witten invariants of very ample hypersurfaces, Duke Math. J., 115 (2002), pp. 171–203. 2, 3, 4, 6

    2002

  5. [13]

    Ann., 325 (2003), pp

    , Relative Gromov-Witten invariants and the mirror formula, Math. Ann., 325 (2003), pp. 393–412. 3

    2003

  6. [14]

    K LEMM AND R

    A. K LEMM AND R. P ANDHARIPANDE , Enumerative geometry of Calabi-Yau 4-folds, Comm. Math. Phys., 281 (2008), pp. 621–653. 3

    2008

  7. [15]

    M ANOLACHE , Virtual pull-backs, J

    C. M ANOLACHE , Virtual pull-backs, J. Algebr. Geom., 21 (2012), pp. 201–245. 23

    2012

  8. [16]

    M OLCHO , Universal Weak Semistable Reduction, arXiv:1601.00302, (2016)

    S. M OLCHO , Universal Weak Semistable Reduction, arXiv:1601.00302, (2016). 8, 9, 11

    2016 arXiv

  9. [17]

    N ABIJOU , Recursion formulae in logarithmic Gromov–Witten theory and quasimap theory , 2018

    N. N ABIJOU , Recursion formulae in logarithmic Gromov–Witten theory and quasimap theory , 2018. PhD thesis, Impe- rial College London. https://www.dpmms.cam.ac.uk/~nn333/NabijouThesis.pdf. 4, 17

    2018

  10. [18]

    O PREA , Tautological classes on the moduli spaces of stable maps to Pr via torus actions , Adv

    D. O PREA , Tautological classes on the moduli spaces of stable maps to Pr via torus actions , Adv. Math., 207 (2006), pp. 661–690. 6

    2006

  11. [19]

    R ANGANATHAN , A note on cycles of curves in a product of pairs, arXiv:1910.00239, (2019)

    D. R ANGANATHAN , A note on cycles of curves in a product of pairs, arXiv:1910.00239, (2019). 3, 25

    2019 arXiv

  12. [20]

    , Logarithmic Gromov-Witten theory with expansions, arXiv:1903.09006, (2019). 3, 24

    2019 arXiv

  13. [21]

    R ANGANATHAN , K

    D. R ANGANATHAN , K. S ANTOS -PARKER , AND J. W ISE, Moduli of stable maps in genus one and logarithmic geometry I, Geom. Top. (to appear), arXiv:1708.02359, (2017). 11

    2017 arXiv

  14. [22]

    T AKAHASHI , Log mirror symmetry and local mirror symmetry, Comm

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

    2001

  15. [23]

    T SENG AND F

    H.-H. T SENG AND F. YOU, A mirror theorem for multi-root stacks and applications, arXiv:2006.08991, (2020). 2

    2020 arXiv

  16. [24]

    V AKIL AND A

    R. V AKIL AND A. Z INGER , A desingularization of the main component of the moduli space of genus-one stable maps into Pn, Geom. Top., 12 (2008), pp. 1–95. 11

    2008

  17. [25]

    VAN GARREL , T

    M. VAN GARREL , T. G RABER , AND H. R UDDAT , Local Gromov-Witten invariants are log invariants, Adv. Math., 350 (2019), pp. 860–876. 2, 4, 5, 18 DEPARTMENT OF PURE MATHEMATICS & MATHEMATICAL STATISTICS , UNIVERSITY OF CAMBRIDGE Email address: N.N. nn333@cam.ac.uk Email addres...

    2019

Pith tools

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