The refined local Donaldson-Thomas theory of curves
Pith reviewed 2026-05-19 09:39 UTC · model grok-4.3
The pith
The K-theoretically refined Donaldson-Thomas theory of local curves reduces to three universal series computed from the 1-leg K-theoretic equivariant vertex.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We solve the K-theoretically refined Donaldson-Thomas theory of local curves. Our results avoid degeneration techniques, but rather exploit direct localisation methods to reduce the refined Donaldson-Thomas partition function to the equivariant intersection theory of skew nested Hilbert schemes on smooth projective curves. We show that the latter is determined, for every Young diagram, by three universal series, which we compute in terms of the 1-leg K-theoretic equivariant vertex. In the refined limit, our results establish a formula for the refined topological string partition function of local curves proposed by Aganagic-Schaeffer. Analogous structural results hold for the refined Pandhar
What carries the argument
The reduction via direct localisation to the equivariant intersection theory of skew nested Hilbert schemes on smooth projective curves, which factors through three universal series independent of the curve and Young diagram.
If this is right
- An explicit formula for the refined topological string partition function of local curves is obtained in the refined limit.
- The K-theoretic DT/PT correspondence holds for local curves in arbitrary genus.
- Analogous structural results, including determination by three universal series, apply to the refined Pandharipande-Thomas theory of local curves.
- The explicit results on local curves are expected to serve as input for the refined GW/PT correspondence on all smooth Calabi-Yau threefolds.
Where Pith is reading between the lines
- If the three-series reduction holds, similar factorisations might appear in refined theories for non-local Calabi-Yau threefolds once localisation techniques are extended.
- The independence from the base curve suggests that the same universal series could organise refined invariants for families of curves or for higher-genus targets.
- Verification on a few low-degree Young diagrams and low-genus curves would give an immediate numerical test of the claimed universality.
Load-bearing premise
Direct localisation on the moduli space of sheaves reduces the refined DT partition function exactly to the equivariant intersection theory of skew nested Hilbert schemes, and this theory factors completely through three universal series that do not depend on the choice of curve or Young diagram.
What would settle it
Compute the refined DT partition function directly for the total space of the canonical bundle over an elliptic curve with a specific Young diagram and check whether the result agrees with the expression built from the three universal series extracted from the 1-leg K-theoretic vertex.
Figures
read the original abstract
We solve the $K$-theoretically refined Donaldson-Thomas theory of local curves. Our results avoid degeneration techniques, but rather exploit direct localisation methods to reduce the refined Donaldson-Thomas partition function to the equivariant intersection theory of skew nested Hilbert schemes on smooth projective curves. We show that the latter is determined, for every Young diagram, by three universal series, which we compute in terms of the 1-leg $K$-theoretic equivariant vertex. In the refined limit, our results establish a formula for the refined topological string partition function of local curves proposed by Aganagic-Schaeffer. In the second part, we show that analogous structural results hold for the refined Pandharipande-Thomas theory of local curves. As an application, we deduce the K-theoretic DT/PT correspondence for local curves in arbitrary genus, as conjectured by Nekrasov-Okounkov. Thanks to the recent machinery developed by Pardon, we expect our explicit results on local curves to play a key role towards the proof of the refined GW/PT conjectural correspondence of Brini-Schuler for all smooth Calabi-Yau threefolds.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims to solve the K-theoretically refined Donaldson-Thomas theory of local curves by applying direct localisation methods to the moduli space of sheaves, thereby reducing the refined DT partition function exactly to the equivariant intersection theory of skew nested Hilbert schemes on smooth projective curves. It asserts that this intersection theory is determined, for every Young diagram, by three universal series that are computed explicitly in terms of the 1-leg K-theoretic equivariant vertex. Analogous structural results are stated for the refined Pandharipande-Thomas theory, yielding as an application the K-theoretic DT/PT correspondence for local curves in arbitrary genus (as conjectured by Nekrasov-Okounkov). In the refined limit the results are said to confirm a formula for the refined topological string partition function of local curves proposed by Aganagic-Schaeffer.
Significance. If the central reduction and universality statements hold, the work supplies explicit, degeneration-free formulas for refined DT and PT invariants of local curves and thereby advances several open conjectures in the field. The explicit computation of the three universal series from the 1-leg K-theoretic vertex, together with the application to the DT/PT correspondence, constitutes a concrete technical contribution that could serve as input for broader programs such as the refined GW/PT correspondence for Calabi-Yau threefolds via Pardon’s machinery.
major comments (2)
- [§3] §3 (Direct localisation step): The central claim that localisation on the moduli space of sheaves yields precisely the equivariant intersection theory of skew nested Hilbert schemes, with no residual curve-dependent or virtual corrections in the K-theoretic setting, is load-bearing for both the universality and the independence from degeneration techniques. The argument relies on the precise form of the virtual structure sheaf and the K-theoretic Euler class of the normal bundle to the fixed loci; any mismatch would introduce additional factors that depend on the curve or the Young diagram and would undermine the reduction to three universal series.
- [§4–5] §4–5 (Extraction of universal series): The assertion that the equivariant intersection theory on skew nested Hilbert schemes is completely determined by three universal series independent of the curve and of the Young diagram is extracted from the 1-leg K-theoretic vertex. While the vertex computation itself is standard, the manuscript must supply an explicit verification that no hidden curve- or diagram-dependent terms survive after the localisation; a low-degree example (e.g., the empty diagram or a single-box diagram on a genus-0 or genus-1 curve) would make this independence manifest.
minor comments (2)
- [Notation and definitions] The notation for the skew nested Hilbert schemes and the precise definition of the three universal series would benefit from a short diagram or a reference to the corresponding objects in the ordinary (non-K-theoretic) nested Hilbert scheme literature.
- [Refined limit discussion] A few typographical inconsistencies appear in the indexing of the Young diagrams when the series are specialised to the refined limit; these do not affect the logic but should be uniformised.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments on our manuscript. The major comments raise important points about the localization argument in §3 and the verification of the universal series in §4–5. We address each below and indicate the revisions we will make.
read point-by-point responses
-
Referee: [§3] §3 (Direct localisation step): The central claim that localisation on the moduli space of sheaves yields precisely the equivariant intersection theory of skew nested Hilbert schemes, with no residual curve-dependent or virtual corrections in the K-theoretic setting, is load-bearing for both the universality and the independence from degeneration techniques. The argument relies on the precise form of the virtual structure sheaf and the K-theoretic Euler class of the normal bundle to the fixed loci; any mismatch would introduce additional factors that depend on the curve or the Young diagram and would undermine the reduction to three universal series.
Authors: We appreciate the referee highlighting the load-bearing nature of this step. The localization formula in §3 is obtained by applying the K-theoretic localization theorem to the moduli space equipped with its virtual structure sheaf, which is defined via the K-theoretic Euler class of the obstruction theory. For the torus-fixed loci, identified with skew nested Hilbert schemes, the K-theoretic Euler class of the normal bundle to the fixed locus cancels exactly against the contributions arising from the virtual structure sheaf. This exact cancellation holds because the local curve is the total space of the canonical bundle over a smooth projective curve, and the obstruction theory is equivariant with respect to the torus action; no residual curve-dependent or Young-diagram-dependent factors appear. We will add a clarifying paragraph in §3 that spells out this cancellation step by step. revision: partial
-
Referee: [§4–5] §4–5 (Extraction of universal series): The assertion that the equivariant intersection theory on skew nested Hilbert schemes is completely determined by three universal series independent of the curve and of the Young diagram is extracted from the 1-leg K-theoretic vertex. While the vertex computation itself is standard, the manuscript must supply an explicit verification that no hidden curve- or diagram-dependent terms survive after the localisation; a low-degree example (e.g., the empty diagram or a single-box diagram on a genus-0 or genus-1 curve) would make this independence manifest.
Authors: We agree that an explicit low-degree verification would make the independence clearer. While the general argument in §4–5 shows that the equivariant intersection theory on the skew nested Hilbert schemes factors uniformly through the 1-leg K-theoretic vertex (whose computation is independent of the base curve and of the specific Young diagram), we will add a new subsection containing explicit computations for the empty diagram and the single-box diagram. These will be performed on both genus-0 and genus-1 curves, confirming that the resulting series coincide with the three universal series and contain no additional curve- or diagram-dependent terms. revision: yes
Circularity Check
No significant circularity; derivation proceeds from localisation to independent vertex extraction
full rationale
The paper reduces the K-theoretic refined DT partition function via direct localisation on the moduli space of sheaves to the equivariant intersection theory of skew nested Hilbert schemes on curves. It then determines this intersection theory, for each Young diagram, by three universal series explicitly computed from the 1-leg K-theoretic equivariant vertex. These steps rely on established equivariant vertex techniques and virtual structure sheaf contributions rather than redefining the target quantities in terms of themselves, fitting parameters to the output, or invoking self-citations as the sole justification for the reduction. The central claims remain independent of the final formulas and do not collapse by construction.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Equivariant intersection theory on Hilbert schemes and nested Hilbert schemes is well-defined and can be computed via localisation.
- domain assumption The 1-leg K-theoretic equivariant vertex generates the universal series that control all higher-leg or higher-genus cases for local curves.
Forward citations
Cited by 1 Pith paper
-
On the combinatorics of the refined 1-leg DT/PT correspondence
New combinatorial proof of Bessenrodt's generating series relation for reversed and skew plane partitions, plus dual to Gansner's theorem, new hook identities, and Fock space interpretation.
Reference graph
Works this paper leans on
-
[1]
M. Aganagic, A. Klemm, M. Mariño, and C. Vafa,The topological vertex, Commun. Math. Phys.254 (2005), no. 2, 425–478
work page 2005
-
[2]
M. Aganagic and K. Schaeffer,Refined black hole ensembles and topological strings, J. High Energy Phys.2013 (2013), no. 1, 63, Id/No 060
work page 2013
-
[3]
Arbesfeld,K-theoretic Donaldson-Thomas theory and the Hilbert scheme of points on a surface, Algebr
N. Arbesfeld,K-theoretic Donaldson-Thomas theory and the Hilbert scheme of points on a surface, Algebr. Geom. 8 (2021), no. 5, 587–625
work page 2021
-
[4]
Behrend,Donaldson-Thomas type invariants via microlocal geometry, Ann
K. Behrend,Donaldson-Thomas type invariants via microlocal geometry, Ann. of Math. (2)170 (2009), no. 3, 1307–1338
work page 2009
-
[5]
K. Behrend and B. Fantechi,The intrinsic normal cone, Invent. Math.128 (1997), no. 1, 45–88
work page 1997
-
[6]
K. Behrend and B. Fantechi,Symmetric obstruction theories and Hilbert schemes of points on threefolds, Algebra Number Theory 2 (2008), no. 3, 313–345
work page 2008
- [7]
-
[8]
Bridgeland,Hall algebras and curve-counting invariants, J
T. Bridgeland,Hall algebras and curve-counting invariants, J. Amer. Math. Soc.24 (2011), no. 4, 969–998
work page 2011
-
[9]
A. Brini and Y. Schuler,Refined Gromov-Witten invariants, ArXiv:2410.00118, 2024
- [10]
-
[11]
J. Bryan and R. Pandharipande,The local Gromov-Witten theory of curves, J. Amer. Math. Soc.21 (2008), no. 1, 101–136
work page 2008
-
[12]
Y. Cao, M. Kool, and S. Monavari,K-theoretic DT/PT correspondence for toric Calabi-Yau 4-folds, Comm. Math. Phys. 396 (2022), no. 1, 225–264
work page 2022
-
[13]
Y. Cao, M. Kool, and S. Monavari,A Donaldson-Thomas crepant resolution conjecture on Calabi-Yau 4-folds, Trans. Amer. Math. Soc.376 (2023), no. 11, 8225–8268
work page 2023
-
[14]
J. Choi, S. Katz, and A. Klemm,The refined BPS index from stable pair invariants, Comm. Math. Phys.328 (2014), no. 3, 903–954
work page 2014
-
[15]
N. Chriss and V. Ginzburg,Representation theory and complex geometry, Modern Birkhäuser Classics, vol. , Birkhäuser Boston, Ltd., Boston, MA, 2010, Reprint of the 1997 edition
work page 2010
-
[16]
W.-y. Chuang, D.-E. Diaconescu, R. Donagi, and T. Pantev,Parabolic refined invariants and Macdonald polynomials, Comm. Math. Phys.335 (2015), no. 3, 1323–1379
work page 2015
-
[17]
Cirafici,On the M2-brane index on noncommutative crepant resolutions, Lett
M. Cirafici,On the M2-brane index on noncommutative crepant resolutions, Lett. Math. Phys.112 (2022), no. 5, Paper No. 88, 43
work page 2022
-
[18]
B. Davison and A. T. Ricolfi,The local motivic DT/PT correspondence, J. Lond. Math. Soc., II. Ser.104 (2021), no. 3, 1384–1432
work page 2021
-
[19]
Descombes,Hyperbolic localization of the Donaldson-Thomas sheaf, ArXiv:2201.12215, 2022
P. Descombes,Hyperbolic localization of the Donaldson-Thomas sheaf, ArXiv:2201.12215, 2022
-
[20]
G. Ellingsrud, L. Göttsche, and M. Lehn,On the cobordism class of the Hilbert scheme of a surface, J. Algebraic Geom. 10 (2001), no. 1, 81–100
work page 2001
-
[21]
B. Fantechi and L. Göttsche,Riemann-Roch theorems and elliptic genus for virtually smooth schemes, Geom. Topol. 14 (2010), no. 1, 83–115. THE REFINED LOCAL DONALDSON-THOMAS THEORY OF CUR VES 49
work page 2010
-
[22]
N. Fasola and S. Monavari,Tetrahedron instantons in Donaldson-Thomas theory, Adv. Math.462 (2025), 110099
work page 2025
- [23]
-
[24]
E. R. Gansner,The Hillman-Grassl correspondence and the enumeration of reverse plane partitions, J. Combin. Theory Ser. A30 (1981), no. 1, 71–89
work page 1981
-
[25]
M-Theory and Topological Strings--I
R. Gopakumar and C. Vafa,M-Theory and Topological Strings–I, ArXiv: hep-th/9809187, 1998
work page internal anchor Pith review Pith/arXiv arXiv 1998
-
[26]
M-Theory and Topological Strings--II
R. Gopakumar and C. Vafa,M-Theory and Topological Strings–II, ArXiv: hep-th/9812127, 1998
work page internal anchor Pith review Pith/arXiv arXiv 1998
-
[27]
T. Graber and R. Pandharipande,Localization of virtual classes, Invent. Math.135 (1999), no. 2, 487–518
work page 1999
-
[28]
M. Graffeo, P. Lella, S. Monavari, A. T. Ricolfi, and A. Sammartano,The geometry of double nested Hilbert schemes of points on curves, ArXiv:2310.09230, to appear in Trans. Amer. Math. Soc., 2023
-
[29]
S. M. Gusein-Zade, I. Luengo, and A. Melle-Hernández,A power structure over the Grothendieck ring of varieties, Math. Res. Lett.11 (2004), no. 1, 49–57
work page 2004
-
[30]
S. M. Gusein-Zade, I. Luengo, and A. Melle-Hernández,On the power structure over the Grothendieck ring of varieties and its applications, Proc. Steklov Inst. Math.258 (2007), no. 1, 53–64
work page 2007
- [31]
-
[32]
D. Huybrechts and R. P. Thomas,Deformation-obstruction theory for complexes via Atiyah and Kodaira-Spencer classes, Math. Ann.346 (2010), no. 3, 545–569
work page 2010
- [33]
-
[34]
Y. Jiang and R. P. Thomas,Virtual signed Euler characteristics, J. Algebr. Geom.26 (2017), no. 2, 379–397
work page 2017
-
[35]
Y. Kononov, A. Okounkov, and A. Osinenko,The 2-leg vertex in K-theoretic DT theory, Comm. Math. Phys. 382 (2021), no. 3, 1579–1599
work page 2021
-
[36]
Kool,Fixed point loci of moduli spaces of sheaves on toric varieties, Adv
M. Kool,Fixed point loci of moduli spaces of sheaves on toric varieties, Adv. Math.227 (2011), no. 4, 1700–1755
work page 2011
- [37]
-
[38]
M. Levine and R. Pandharipande,Algebraic cobordism revisited, Invent. Math.176 (2009), no. 1, 63–130
work page 2009
- [39]
- [40]
-
[41]
A. Mellit,Poincaré polynomials of character varieties, Macdonald polynomials and affine Springer fibers, Ann. Math. (2) 192 (2020), no. 1, 165–228
work page 2020
-
[42]
A. Mellit,Poincaré polynomials of moduli spaces of Higgs bundles and character varieties (no punctures), Invent. Math. 221 (2020), no. 1, 301–327
work page 2020
-
[43]
Monavari,Double nested Hilbert schemes and the local stable pairs theory of curves, Compos
S. Monavari,Double nested Hilbert schemes and the local stable pairs theory of curves, Compos. Math. 158 (2022), no. 9, 1799–1849
work page 2022
-
[44]
Monavari,Equivariant Enumerative Geometry and Donaldson-Thomas Theory, Ph.D
S. Monavari,Equivariant Enumerative Geometry and Donaldson-Thomas Theory, Ph.D. thesis, Universiteit Utrecht, 2022
work page 2022
-
[45]
A. Morrison, S. Mozgovoy, K. Nagao, and B. Szendrői,Motivic Donaldson-Thomas invariants of the conifold and the refined topological vertex, Adv. Math.230 (2012), no. 4-6, 2065–2093
work page 2012
-
[46]
Nekrasov, Z-theory: chasing m/f theory, vol
N. Nekrasov, Z-theory: chasing m/f theory, vol. 6, 2005, Strings 04. Part II, pp. 261–269
work page 2005
-
[47]
Nekrasov,Magnificent four, Adv
N. Nekrasov,Magnificent four, Adv. Theor. Math. Phys.24 (2020), no. 5, 1171–1202
work page 2020
-
[48]
N. Nekrasov and A. Okounkov,Membranes and sheaves, Algebr. Geom.3 (2016), no. 3, 320–369
work page 2016
-
[49]
G. Oberdieck, Towards refined curve counting on the Enriques surface I: K-theoretic refinements , ArXiv:2407.21318, 2024
- [50]
-
[51]
A. Okounkov and R. Pandharipande,The local Donaldson-Thomas theory of curves, Geom. Topol.14 (2010), no. 3, 1503–1567
work page 2010
-
[52]
A. Okounkov,Lectures on K-theoretic computations in enumerative geometry, Geometry of moduli spaces and representation theory, IAS/Park City Math. Ser., vol. 24, Amer. Math. Soc., Providence, RI, 2017, pp. 251–380
work page 2017
-
[53]
Okounkov,Takagi lectures on Donaldson-Thomas theory, Jpn
A. Okounkov,Takagi lectures on Donaldson-Thomas theory, Jpn. J. Math.14 (2019), no. 1, 67–133
work page 2019
-
[54]
R. Pandharipande and R. P. Thomas,Curve counting via stable pairs in the derived category, Invent. Math.178 (2009), no. 2, 407–447
work page 2009
-
[55]
R. Pandharipande and R. P. Thomas,Stable pairs and BPS invariants, J. Amer. Math. Soc.23 (2010), no. 1, 267–297
work page 2010
-
[56]
R. Pandharipande and R. P. Thomas,The 3-fold vertex via stable pairs, Geom. Topol.13 (2009), no. 4, 1835–1876
work page 2009
-
[57]
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
-
[58]
K. Pohl and B. Young,Jack combinatorics of the equivariant edge measure, ArXiv:2410.03912, 2024
-
[59]
Qu,Virtual pullbacks inK-theory, Ann
F. Qu,Virtual pullbacks inK-theory, Ann. Inst. Fourier (Grenoble)68 (2018), no. 4, 1609–1641. THE REFINED LOCAL DONALDSON-THOMAS THEORY OF CUR VES 50
work page 2018
-
[60]
A. T. Ricolfi,The equivariant Atiyah class, C. R., Math., Acad. Sci. Paris359 (2021), no. 3, 257–282
work page 2021
-
[61]
A. T. Ricolfi,An invitation to modern enumerative geometry, SISSA Springer Series, vol. 3, Springer, Cham, (2022)
work page 2022
-
[62]
B. E. Sagan,Combinatorial proofs of hook generating functions for skew plane partitions, Theor. Comput. Sci. 117 (1993), no. 1-2, 273–287
work page 1993
-
[63]
Schimpf,Stable pairs on local curves and Bethe roots, ArXiv:2409.09508, 2024
M. Schimpf,Stable pairs on local curves and Bethe roots, ArXiv:2409.09508, 2024
- [64]
-
[65]
J. Stoppa and R. P. Thomas,Hilbert schemes and stable pairs: GIT and derived category wall crossings, Bull. Soc. Math. Fr.139 (2011), no. 3, 297–339
work page 2011
-
[66]
Thimm,K-Theoretic Donaldson-Thomas Theory of[C2/µr] × C and Factorization, ArXiv:2404.15820, 2024
F. Thimm,K-Theoretic Donaldson-Thomas Theory of[C2/µr] × C and Factorization, ArXiv:2404.15820, 2024
-
[67]
R. P. Thomas, A holomorphic Casson invariant for Calabi-Yau 3-folds, and bundles on K3 fibrations, J. Differential Geom. 54 (2000), no. 2, 367–438
work page 2000
- [68]
-
[69]
Toda,Curve counting theories via stable objects I
Y. Toda,Curve counting theories via stable objects I. DT/PT correspondence, J. Amer. Math. Soc.23 (2010), no. 4, 1119–1157. Ecole Polytechnique Fédérale de Lausanne (EPFL), CH-1015 Lausanne, Switzerland Email address: sergej.monavari@epfl.ch
work page 2010
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.