Recognition: 2 theorem links
· Lean TheoremThe GW/PT conjectures for toric pairs
Pith reviewed 2026-05-15 14:34 UTC · model grok-4.3
The pith
Logarithmic Gromov-Witten and Pandharipande-Thomas theories agree for toric threefold pairs with any invariant divisor.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove the conjectural correspondence between logarithmic Gromov-Witten theory and logarithmic Donaldson/Pandharipande-Thomas theory for pairs (Y|∂Y) consisting of a toric threefold Y and any torus invariant divisor ∂Y, with primary insertions. The results are the first verifications when ∂Y is singular and the first proof of the equivariant toric correspondence for pairs when ∂Y is nonempty. When ∂Y is empty the methods recover the known toric correspondence while also showing that the PT series is a Laurent polynomial under sufficient positivity and proving the 2008 conjecture that the capped vertex is a Laurent polynomial. The logarithmic DT/PT conjecture is verified for toric threefold
What carries the argument
The reduction of all logarithmic invariants of toric pairs to the degree-one series of projective space, achieved by combining the constraints of the logarithmic virtual class with toric equivariance and positivity.
If this is right
- The Pandharipande-Thomas series is a Laurent polynomial whenever sufficient positivity holds.
- The capped vertex is a Laurent polynomial, confirming the 2008 conjecture.
- The logarithmic DT/PT correspondence holds for all toric threefold pairs.
- Every invariant for such pairs is determined by one explicit calculation on projective space.
Where Pith is reading between the lines
- The same reduction strategy may apply to non-toric threefolds if comparable logarithmic constraints can be established.
- Positivity conditions appear to control the algebraic form of the generating functions across these theories.
- The unification supplies a route to recursive computation of higher-genus or descendant logarithmic invariants.
Load-bearing premise
The constraints of the logarithmic theory suffice to determine the complete evaluation of toric pairs from the single degree 1 series of P^3, relying on toric equivariance and positivity.
What would settle it
Direct computation of the logarithmic GW and PT series for a toric pair with singular boundary divisor in degree two or higher, which would disagree if the claimed equality fails.
read the original abstract
We prove the conjectural correspondence between logarithmic Gromov-Witten theory and logarithmic Donaldson/Pandharipande-Thomas theory for pairs $(Y|\partial Y)$ consisting of a toric threefold $Y$ and any torus invariant divisor $\partial Y$, with primary insertions. The results are the first verifications of this conjecture when $\partial Y$ is singular, i.e., the ``fully logarithmic'' setting, and the first proof of the equivariant toric correspondence for pairs when $\partial Y$ is nonempty. When $\partial Y$ is empty, we get a new proof of the known toric correspondence, but our methods also lead to stronger conclusions. In particular, we show the PT series is a Laurent polynomial in the presence of sufficient positivity and prove a 2008 conjecture of Oblomkov, Okounkov, Pandharipande, and the first author stating the capped vertex is a Laurent polynomial. The methods also verify the logarithmic DT/PT conjecture for toric threefold pairs. Using the constraints of the logarithmic theory, the complete evaluation of toric pairs is determined by a single calculation -- the degree $1$ series of $\mathbb{P}^3$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves the conjectural correspondence between logarithmic Gromov-Witten theory and logarithmic Donaldson/Pandharipande-Thomas theory for pairs (Y|∂Y) consisting of a toric threefold Y and any torus-invariant divisor ∂Y, with primary insertions. It establishes this for singular ∂Y (the fully logarithmic setting) and provides the first equivariant toric proof when ∂Y is nonempty. All toric pair invariants are reduced to the single degree-1 series of P^3 via logarithmic constraints, toric equivariance, and positivity. Additional results include that the PT series is a Laurent polynomial under sufficient positivity, a proof of the 2008 Oblomkov-Okounkov-Pandharipande conjecture on the capped vertex being a Laurent polynomial, and verification of the logarithmic DT/PT conjecture.
Significance. If the central reduction holds, this constitutes a substantial advance: the first complete verification of the GW/PT conjecture in the fully logarithmic setting with singular divisors, together with stronger structural results such as the Laurent polynomial property of the PT series. The reduction to a single explicit calculation (the degree-1 P^3 series) is a notable strength that makes the result falsifiable and computationally useful.
major comments (2)
- [the reduction argument following the statement of the main theorem (as summarized in the abstract)] The load-bearing reduction asserting that logarithmic GW/PT constraints plus toric equivariance and positivity determine every primary invariant for arbitrary (including singular) ∂Y from the single degree-1 series of P^3 requires explicit verification. For singular ∂Y the logarithmic moduli spaces acquire additional strata and obstruction theories; the manuscript must show that no new independent classes appear and that the relations inherited from the smooth/P^3 case continue to hold without modification.
- [the section establishing the Laurent polynomial property] The proof that the PT series is a Laurent polynomial under sufficient positivity (and the related 2008 capped-vertex conjecture) is stated as a stronger conclusion, but the precise positivity hypotheses and their compatibility with the singular fully-logarithmic obstruction theory need to be spelled out to confirm they do not introduce new denominators or poles.
minor comments (1)
- [Introduction and notation] Clarify the precise definition of 'primary insertions' in the logarithmic setting when ∂Y is singular, to avoid ambiguity in the statement of the main theorems.
Simulated Author's Rebuttal
We thank the referee for the careful reading of the manuscript and the detailed comments. We address each major point below and indicate the revisions we plan to incorporate.
read point-by-point responses
-
Referee: The load-bearing reduction asserting that logarithmic GW/PT constraints plus toric equivariance and positivity determine every primary invariant for arbitrary (including singular) ∂Y from the single degree-1 series of P^3 requires explicit verification. For singular ∂Y the logarithmic moduli spaces acquire additional strata and obstruction theories; the manuscript must show that no new independent classes appear and that the relations inherited from the smooth/P^3 case continue to hold without modification.
Authors: The reduction proceeds from the uniform construction of the logarithmic moduli spaces and their obstruction theories via the logarithmic structure on the pair (Y|∂Y). This construction applies identically whether ∂Y is smooth or singular, with the additional strata in the singular case already incorporated into the logarithmic virtual class. The toric equivariance and positivity constraints then generate the same system of relations in all cases, as these relations arise from the action on the ambient toric variety and the positivity of the curve class with respect to the divisor components; they do not depend on smoothness of ∂Y. Consequently, no new independent classes appear. To address the request for explicit verification, we will insert a dedicated subsection that compares the obstruction theories in the smooth and singular settings and confirms that the inherited relations remain unmodified. revision: yes
-
Referee: The proof that the PT series is a Laurent polynomial under sufficient positivity (and the related 2008 capped-vertex conjecture) is stated as a stronger conclusion, but the precise positivity hypotheses and their compatibility with the singular fully-logarithmic obstruction theory need to be spelled out to confirm they do not introduce new denominators or poles.
Authors: The positivity hypotheses are the requirement that the curve class intersects every component of ∂Y positively; under this condition the equivariant localization formula for the PT series produces only non-negative powers in the relevant variables, yielding a Laurent polynomial. The same formula applies verbatim in the fully logarithmic setting because the virtual dimension and the weights in the obstruction theory are unchanged by the singularities of ∂Y. We will expand the relevant section to state the hypotheses explicitly, add a short compatibility remark with the singular obstruction theory, and confirm that no new denominators arise. revision: yes
Circularity Check
No circularity: toric pair invariants reduced to independent P^3 series via logarithmic constraints
full rationale
The paper's central claim is that logarithmic GW/PT constraints together with toric equivariance and positivity determine all primary invariants for any toric pair (Y|∂Y) from the single degree-1 series of P^3. This reduction is derived from the structure of the logarithmic theory rather than by fitting parameters to the target data or by self-definition. The degree-1 P^3 series is treated as an external, independently computable input, and the proof for singular ∂Y extends the same constraint framework without introducing new fitted elements or renaming known results. Self-citations, such as to the 2008 OOPP conjecture proved as a byproduct, are not load-bearing for the main correspondence. The derivation chain therefore remains self-contained against external benchmarks and does not reduce to its own inputs by construction.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Standard properties of toric varieties, logarithmic structures, and equivariant cohomology
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking echoes?
echoesECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.
Using the constraints of the logarithmic theory, the complete evaluation of toric pairs is determined by a single calculation — the degree 1 series of P^3.
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Forward citations
Cited by 2 Pith papers
-
Rationality and symmetry of stable pairs generating series of Fano 3-folds
Generating series of stable pairs descendent invariants on Fano 3-folds are rational and q ↔ q^{-1} symmetric.
-
Coherent sheaves in logarithmic geometry
The authors introduce logarithmic coherent sheaves in the logarithmic étale topology and tools to reduce homological algebra computations to alterations, unifying logarithmic Quot spaces, Picard groups, and parabolic sheaves.
Reference graph
Works this paper leans on
-
[1]
D. ABRAMOVICH ANDQ. CHEN,Stable logarithmic maps to Deligne-Faltings pairs II, Asian J. Math., 18 (2014), pp. 465–
work page 2014
-
[2]
D. ABRAMOVICH ANDJ. WISE,Birational invariance in logarithmic Gromov–Witten theory, Comp. Math., 154 (2018), pp. 595–620. 8, 18
work page 2018
-
[3]
M. AGANAGIC, A. KLEMM, M. MARI ˜NO,ANDC. VAFA,The topological vertex, Comm. Math. Phys., 254 (2005), pp. 425–
work page 2005
- [4]
-
[5]
H. ARG ¨UZ ANDP. BOUSSEAU,BPS polynomials and Welschinger invariants, arXiv:2506.02770, (2025). 5
-
[6]
F. BLOCK ANDL. G ¨OTTSCHE,Refined curve counting with tropical geometry, Comp. Math., 152 (2016), pp. 115–151. 4
work page 2016
-
[7]
BOUSSEAU,Tropical refined curve counting from higher genera and lambda classes, Invent
P. BOUSSEAU,Tropical refined curve counting from higher genera and lambda classes, Invent. Math., 215 (2019), pp. 1–79. 3, 5, 36 7Note that this statement is only being used on the locally closed stratum, so the flattening and logarithmic fiber product procedures that play a key role in [37] are irrelevant. 8Transversality is equivalent to flatness over t...
work page 2019
-
[8]
J. BRYAN ANDR. PANDHARIPANDE,The local Gromov-Witten theory of curves, J. Amer. Math. Soc., 21 (2008), pp. 101–136. 2, 36, 39, 43, 45
work page 2008
-
[9]
A. BURYAK ANDP. ROSSI,Quadratic double ramification integrals and the noncommutative KdV hierarchy, Bull. Lond. Math. Soc., 53 (2021), pp. 843–854. 4
work page 2021
-
[10]
F. CAROCCI ANDN. NABIJOU,Rubber tori in the boundary of expanded stable maps, J. Lond. Math. Soc. (2), 109 (2024), pp. Paper No. e12874, 36. 19
work page 2024
-
[11]
R. CAVALIERI, M. CHAN, M. ULIRSCH,ANDJ. WISE,A moduli stack of tropical curves, Forum Math. Sigma, 8 (2020), pp. 1–93. 11
work page 2020
-
[12]
CHEN,Stable logarithmic maps to Deligne-Faltings pairs I, Ann
Q. CHEN,Stable logarithmic maps to Deligne-Faltings pairs I, Ann. of Math., 180 (2014), pp. 341–392. 2
work page 2014
-
[13]
D. EISENBUD ANDB. STURMFELS,Binomial ideals, Duke Math. J., 84 (1996), pp. 1–45. 47
work page 1996
-
[14]
C. FABER ANDR. PANDHARIPANDE,Hodge integrals and Gromov-Witten theory, Invent. Math., 139 (2000), pp. 173–199. 36
work page 2000
-
[15]
FULTON,Introduction to Toric Varieties, Princeton University Press, 1993
W. FULTON,Introduction to Toric Varieties, Princeton University Press, 1993. 18
work page 1993
-
[16]
L. G ¨OTTSCHE ANDV. SHENDE,Refined curve counting on complex surfaces, Geom. Topol., 18 (2014), pp. 2245–2307. 4, 5
work page 2014
-
[17]
T. GRABER ANDR. PANDHARIPANDE,Localization of virtual classes, Invent. Math., 135 (1999), pp. 487–518. 4, 9
work page 1999
-
[18]
GROJNOWSKI,Instantons and affine algebras
I. GROJNOWSKI,Instantons and affine algebras. I. The Hilbert scheme and vertex operators, Math. Res. Lett., 3 (1996), pp. 275–
work page 1996
-
[19]
M. GROSS ANDB. SIEBERT,Logarithmic Gromov-Witten invariants, J. Amer. Math. Soc., 26 (2013), pp. 451–510. 2, 6
work page 2013
-
[20]
GUZMAN,Logarithmic cobordism and Donaldson-Thomas invariants, arXiv:2510.15085, (2025)
J. GUZMAN,Logarithmic cobordism and Donaldson-Thomas invariants, arXiv:2510.15085, (2025). 2, 3
- [21]
-
[22]
D. HOLMES ANDR. SCHWARZ,Logarithmic intersections of double ramification cycles, Algebr. Geom., 9 (2022), pp. 574–
work page 2022
- [23]
-
[24]
P. KENNEDY-HUNT,Logarithmic Pandharipande-Thomas spaces and the secondary polytope, arXiv:2112.00809, (2021). 46
-
[25]
P. KENNEDY-HUNT, Q. SHAFI,ANDA. U. KUMARAN,Tropical refined curve counting with descendants, Comm. Math. Phys., 405 (2024), pp. Paper No. 240, 41. 4, 36
work page 2024
-
[26]
LI,Stable morphisms to singular schemes and relative stable morphisms, J
J. LI,Stable morphisms to singular schemes and relative stable morphisms, J. Diff. Geom., 57 (2001), pp. 509–578. 7
work page 2001
-
[27]
,A degeneration formula of GW-invariants, J. Diff. Geom., 60 (2002), pp. 199–293. 2, 13
work page 2002
-
[28]
J. LI ANDB. WU,Good degeneration of Quot-schemes and coherent systems, Comm. Anal. Geom., 23 (2015), pp. 841–921. 2, 7, 13
work page 2015
-
[29]
D. MAULIK ANDA. NEGUT , ,Lehn’s formula in Chow and conjectures of Beauville and Voisin, J. Inst. Math. Jussieu, 21 (2022), pp. 933–971. 14
work page 2022
- [30]
-
[31]
,Gromov–Witten theory and Donaldson–Thomas theory, II, Compos. Math., 142 (2006), pp. 1286–1304. 1, 3, 4
work page 2006
- [32]
-
[33]
D. MAULIK ANDR. PANDHARIPANDE,A topological view of Gromov–Witten theory, Topology, 45 (2006), pp. 887–918. 25
work page 2006
- [34]
-
[35]
D. MAULIK ANDD. RANGANATHAN,Logarithmic Donaldson–Thomas theory, Forum Math. Pi, 12 (2024), p. Paper No. e9. 2, 3, 5, 6, 7, 9, 10, 21, 32
work page 2024
-
[36]
,Gromov-Witten theory, degenerations, and the tautological ring, arXiv:2510.04779, (2025). 2, 3, 22, 23, 24, 25, 27
-
[37]
,Logarithmic enumerative geometry for curves and sheaves, Camb. J. Math., 13 (2025), pp. 51–172. 1, 2, 3, 5, 6, 9, 10, 12, 13, 22, 25, 47
work page 2025
-
[38]
MIKHALKIN,Quantum indices and refined enumeration of real plane curves, Acta Math., 219 (2017), pp
G. MIKHALKIN,Quantum indices and refined enumeration of real plane curves, Acta Math., 219 (2017), pp. 135–180. 4, 33
work page 2017
-
[39]
S. MOLCHO ANDD. RANGANATHAN,A case study of intersections on blowups of the moduli of curves, Algebra Number Theory, 18 (2024), pp. 1767–1816. 2, 4, 29
work page 2024
-
[40]
NAKAJIMA,Heisenberg algebra and Hilbert schemes of points on projective surfaces, Ann
H. NAKAJIMA,Heisenberg algebra and Hilbert schemes of points on projective surfaces, Ann. of Math. (2), 145 (1997), pp. 379–388. 9, 14 THE GW/PT CONJECTURES FOR TORIC PAIRS 49
work page 1997
-
[41]
NEGUT , ,Hecke correspondences for smooth moduli spaces of sheaves, Publ
A. NEGUT , ,Hecke correspondences for smooth moduli spaces of sheaves, Publ. Math. Inst. Hautes ´Etudes Sci., 135 (2022), pp. 337–418. 4, 13, 14
work page 2022
-
[42]
,W-algebras associated to surfaces, Proc. Lond. Math. Soc. (3), 124 (2022), pp. 601–679. 13, 14
work page 2022
-
[43]
N. NEKRASOV ANDA. OKOUNKOV,Membranes and sheaves, Algebr. Geom., 3 (2016), pp. 320–369. 5
work page 2016
-
[44]
J. NICAISE, S. PAYNE,ANDF. SCHROETER,Tropical refined curve counting via motivic integration, Geom. Topol., 22 (2018), pp. 3175–3234. 4
work page 2018
-
[45]
OBERDIECK,Marked relative invariants and GW/PT correspondences, Adv
G. OBERDIECK,Marked relative invariants and GW/PT correspondences, Adv. Math., 439 (2024), pp. Paper No. 109472, 98. 13, 15, 16
work page 2024
-
[46]
A. OKOUNKOV ANDR. PANDHARIPANDE,Virasoro constraints for target curves, Invent. Math., 163 (2006), pp. 47–108. 3, 43
work page 2006
-
[47]
,The local Donaldson-Thomas theory of curves, Geom. Topol., 14 (2010), pp. 1503–1567. 2, 25, 36, 39, 43, 45
work page 2010
-
[48]
R. PANDHARIPANDE ANDA. PIXTON,Descendents on local curves: rationality, Comp. Math., 149 (2013), pp. 81–124. 4
work page 2013
-
[49]
,Gromov–Witten/pairs descendent correspondence for toric 3-folds, Geom. Top., 18 (2014), pp. 2747–2821. 2, 4
work page 2014
-
[50]
,Gromov-Witten/pairs correspondence for the quintic 3-fold, J. Amer. Math. Soc., 30 (2017), pp. 389–449. 2, 4
work page 2017
-
[51]
R. PANDHARIPANDE ANDR. P. THOMAS,Curve counting via stable pairs in the derived category, Invent. Math., 178 (2009), pp. 407–447. 1, 3, 36
work page 2009
-
[52]
PARDON,Universally counting curves in Calabi-Yau threefolds, arXiv:2308.02948, (2023)
J. PARDON,Universally counting curves in Calabi-Yau threefolds, arXiv:2308.02948, (2023). 4
-
[53]
PARKER,Three dimensional tropical correspondence formula, Commun
B. PARKER,Three dimensional tropical correspondence formula, Commun. Math. Phys., 353 (2017), pp. 791–819. 3, 33, 36
work page 2017
-
[54]
RANGANATHAN,Logarithmic Gromov-Witten theory with expansions, Algebr
D. RANGANATHAN,Logarithmic Gromov-Witten theory with expansions, Algebr. Geom., 9 (2022), pp. 714–761. 2, 6, 7
work page 2022
- [55]
-
[56]
D. RANGANATHAN ANDA. URUNDOLILKUMARAN,Logarithmic Gromov-Witten theory and double ramification cycles, J. Reine Angew. Math., 809 (2024), pp. 1–40. 4
work page 2024
-
[57]
TEVELEV,Compactifications of subvarieties of tori, Amer
J. TEVELEV,Compactifications of subvarieties of tori, Amer. J. Math., 129 (2007), pp. 1087–1104. 33 DAVESHMAULIK, MASSACHUSETTSINSTITUTE OFTECHNOLOGY, CAMBRIDGE, USA Email address:maulik@mit.edu DHRUVRANGANATHAN, UNIVERSITY OFCAMBRIDGE, CAMBRIDGE, UK Email address:dr508@cam.ac.uk
work page 2007
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.