Pith. sign in

REVIEW 3 minor 53 references

Rationality and symmetry of stable pairs generating series of Fano 3-folds

T0 review · 0 major / 3 minor · reviewed 2026-05-10 · grok-4.3

Challenge this review Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The generating series of descendent invariants for stable pairs on Fano threefolds is rational and symmetric under q to q inverse exchange.

desk verdict Karpov and Moreira prove the rationality and q to q^{-1} symmetry conjecture for descendent stable pair invariants on Fano 3-folds by extending Toda's stability path and Joyce wall-crossing to non-standard hearts, then applying Ehrhart theory. read the letter →

arxiv 2604.06023 v1 submitted 2026-04-07 math.AG math.CO

Ivan Karpov , Miguel Moreira This is my paper · ORCID
classification math.AGmath.CO
keywords stablepairsFanothreefoldsgeneratingseriesrationalitywall-crossingdescendentinvariantsGopakumar-VafacorrespondenceEhrharttheory
checked against Cost.FunctionalEquationembed_injectiveembed_strictMono_of_one_lt
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 proves a conjecture stating that these generating series are rational functions and obey a q to q inverse symmetry when the underlying threefold is Fano. The proof adapts a path of stability conditions previously used for Calabi-Yau threefolds, relates stable pairs to L invariants, and applies an extended version of Joyce's descendent wall-crossing formula to non-standard hearts in the derived category. Combinatorial output from the wall-crossing is handled with Ehrhart theory, and the same machinery yields a stronger rationality statement for primary insertions that matches predictions from the Pandharipande-Thomas and Gopakumar-Vafa correspondence.

What carries the argument

The extended Joyce descendent wall-crossing formula applied along Toda's path of stability conditions on the derived category of a Fano 3-fold, with Ehrhart theory controlling the resulting lattice-point counts.

What would settle it

An explicit computation of the descendent generating series for any specific Fano 3-fold, such as P^3 or a toric hypersurface, that produces a non-rational function or breaks the q to q inverse symmetry.

Watch

Extended reading notes

Core claim

We prove that the generating series of descendent invariants of stable pairs on Fano 3-folds is rational and satisfies the q ↔ q^{-1} symmetry. We utilize the same path of stability conditions that Toda used in his proof of the Calabi-Yau version of the conjecture, relating stable pairs and L invariants, and work that allows an extension of Joyce's descendent wall-crossing formula to non-standard hearts of D^b(X). We use Ehrhart theory to deal with the combinatorics coming out of the wall-crossing formula. Furthermore, we specialize the wall-crossing formula to primary insertions and prove a strong rationality result predicted by the Pandharipande-Thomas/Gopakumar-Vafa correspondence.

Load-bearing premise

The path of stability conditions from the Calabi-Yau case extends to Fano 3-folds and Joyce's descendent wall-crossing formula applies to the non-standard hearts of the derived category.

Editorial extensions

If this is right

  • The rationality conjecture holds for the stable pairs generating series on every Fano 3-fold.
  • The q to q inverse symmetry holds for these series on Fano 3-folds.
  • A strong form of rationality for series with primary insertions follows directly from the Pandharipande-Thomas/Gopakumar-Vafa correspondence.
  • The same wall-crossing and Ehrhart techniques relate stable pairs to L invariants for all Fano 3-folds.

Reading between the lines

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

  • If the stability path generalizes beyond Fano cases, the rationality and symmetry results could extend to other classes of 3-folds.
  • The appearance of Ehrhart theory suggests that counting problems in stable pairs may connect to broader questions in combinatorial geometry and lattice polytopes.
  • Success in this setting indicates that wall-crossing formulas with descendent insertions can be made effective once the heart is sufficiently well understood.
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, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 3 minor

Summary. The manuscript proves the conjecture on the rationality and q↔q^{-1} symmetry of the generating series of descendent invariants of stable pairs on 3-folds, specifically for Fano 3-folds. The argument adapts Toda's path of stability conditions relating stable pairs to L-invariants, invokes the authors' prior extension of Joyce's descendent wall-crossing formula to non-standard hearts of D^b(X), and resolves the resulting combinatorics via Ehrhart theory. It further specializes the wall-crossing formula to primary insertions and establishes a strong rationality result predicted by the Pandharipande--Thomas/Gopakumar--Vafa correspondence.

Significance. If the central claims hold, the work extends the known rationality and symmetry results from Calabi--Yau 3-folds to the Fano case, furnishing concrete evidence for the PT/GV correspondence in a broader setting. The reduction of the conjecture to a known rationality statement for L-invariants, combined with the combinatorial control provided by Ehrhart theory, offers a clean and potentially reusable method for handling wall-crossing formulas in enumerative geometry.

minor comments (3)
  1. The introduction would benefit from a short paragraph explicitly contrasting the Fano case with Toda's Calabi--Yau argument, particularly regarding the non-standard hearts and the absence of additional correction terms in the wall-crossing formula.
  2. A brief self-contained recall of the Ehrhart-theoretic statement used to evaluate the combinatorial sums arising from the wall-crossing formula (currently referenced only by citation) would improve accessibility for readers outside combinatorial algebraic geometry.
  3. Notation for the descendent generating series and the L-invariants should be unified between the abstract, introduction, and the statement of the main theorem to avoid minor confusion.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive and supportive report, which accurately summarizes the main results and methods of the paper. We appreciate the recommendation for minor revision.

Circularity Check

1 steps flagged · score 2.0 of 10

Minor self-citation for wall-crossing extension; otherwise independent derivation

  1. self citation load bearing [Abstract]
    "We utilize the same path of stability conditions that Toda used in his proof of the Calabi--Yau version of the conjecture, relating stable pairs and L invariants, and work of the two authors that allows an extension of Joyce's descendent wall-crossing formula to non-standard hearts of D^b(X)."

    The proof for Fano 3-folds depends on this extension from the authors' own prior work to justify applying the wall-crossing formula outside the Calabi-Yau setting; while the prior result may be independently established, the load-bearing step for the non-standard hearts reduces the applicability to a self-citation rather than a fully external theorem.

full rationale

The derivation applies Toda's external stability path for relating stable pairs to L-invariants, then uses Ehrhart theory for the resulting combinatorics, and specializes to primary insertions. The only self-citation is the authors' prior extension of Joyce's descendent wall-crossing formula to non-standard hearts, which is invoked to handle the Fano (non-CY) case. This citation is load-bearing but does not render the central rationality/symmetry claim tautological or reduce it to a fit, as the extension is a separate result and the combinatorial step is independent. No self-definitional equations, fitted inputs renamed as predictions, or ansatz smuggling appear in the provided chain.

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

The central claim rests on the applicability of Toda's stability path to Fano 3-folds and the validity of the extended wall-crossing formula; no free parameters are introduced, and no new entities are postulated.

assumptions (2)
  • domain assumption The stability conditions path from Toda's Calabi-Yau proof applies without modification to Fano 3-folds.
    Invoked to relate stable pairs and L invariants via the same sequence of walls.
  • domain assumption Joyce's descendent wall-crossing formula extends to non-standard hearts of D^b(X).
    This extension, from the authors' prior work, is used to handle the combinatorics.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Rationality and symmetry of stable pairs generating series of Fano 3-folds." pith.science (2026). https://pith.science/paper/2604.06023

@misc{pith2026260406023,
  author       = {Pith},
  title        = {Pith review of: Rationality and symmetry of stable pairs generating series of Fano 3-folds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2604.06023}},
  note         = {Machine review of arXiv:2604.06023}
}
abstract

The generating series of descendent invariants of stable pairs on 3-folds is conjectured to be rational and to satisfy a $q\leftrightarrow q^{-1}$ symmetry. We prove this conjecture for Fano 3-folds. We utilize the same path of stability conditions that Toda used in his proof of the Calabi--Yau version of the conjecture, relating stable pairs and $L$ invariants, and work of the two authors that allows an extension of Joyce's descendent wall-crossing formula to non-standard hearts of $D^b(X)$. We use Ehrhart theory to deal with the combinatorics coming out of the wall-crossing formula. Furthermore, we specialize the wall-crossing formula to primary insertions and prove a strong rationality result predicted by the Pandharipande--Thomas/Gopakumar--Vafa correspondence.

Discussion (0). Continue with ORCID to comment.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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.

Reference graph

Works this paper leans on

53 extracted references · 53 canonical work pages

  1. [1]

    Alper, D

    J. Alper, D. Halpern-Leistner, and J. Heinloth, Existence of moduli spaces for algebraic stacks, Invent. Math. 234 (2023), no. 3, 949--1038

    work page 2023

  2. [2]

    949-1038, The Pandharipande-Thomas rationality conjecture for superpositive curve classes on projective complex 3-manifolds, 2026, preprint

    work page 2026

  3. [3]

    Blanc, Topological K -theory of complex noncommutative spaces , Compos

    A. Blanc, Topological K -theory of complex noncommutative spaces , Compos. Math. 152 (2016), no. 3, 489--555

    work page 2016

  4. [4]

    Bojko, W

    A. Bojko, W. Lim, and M. Moreira, Virasoro constraints for moduli of sheaves and vertex algebras, Invent. Math. 236 (2024), no. 1, 387--476

    work page 2024

  5. [5]

    R. E. Borcherds, Vertex algebras, Kac-Moody algebras, and the Monster, Proceedings of the National Academy of Sciences 83 (1986), no. 10, 3068--3071

    work page 1986

  6. [6]

    Beck and S

    M. Beck and S. Robins, Computing the continuous discretely, second ed., Undergraduate Texts in Mathematics, Springer, New York, 2015, Integer-point enumeration in polyhedra, With illustrations by David Austin

    work page 2015

  7. [7]

    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

  8. [8]

    Br\"ustle, D

    T. Br\"ustle, D. Smith, and H. Treffinger, Stability conditions and maximal G reen sequences in A belian categories , Rev. Un. Mat. Argentina 63 (2022), no. 1, 203--221

    work page 2022

Show all 53 references
  1. [9]

    Bu, Counting sheaves on curves, Adv

    C. Bu, Counting sheaves on curves, Adv. Math. 434 (2023), Paper No. 109334, 87

    2023

  2. [10]

    Doan, E.-N

    A. Doan, E.-N. Ionel, and T. Walpuski, The Gopakumar-Vafa finiteness conjecture, 2025, To appear in Annals of Mathematics, https://arxiv.org/abs/2103.08221

    2025

  3. [11]

    Doan and T

    A. Doan and T. Walpuski, Counting embedded curves in symplectic 6-manifolds, Comment. Math. Helv. 98 (2023), no. 4, 693--769

    2023

  4. [12]

    Ehrhart, Sur les poly\`edres rationnels homoth\'etiques \`a n \ dimensions , C

    E. Ehrhart, Sur les poly\`edres rationnels homoth\'etiques \`a n \ dimensions , C. R. Acad. Sci. Paris 254 (1962), 616--618

    1962

  5. [13]

    Gross, The homology of moduli stacks of complexes, 2019, preprint, https://arxiv.org/abs/1907.03269

    J. Gross, The homology of moduli stacks of complexes, 2019, preprint, https://arxiv.org/abs/1907.03269

    2019

  6. [14]

    Halpern-Leistner, On the structure of instability in moduli theory, 2022, preprint, https://arxiv.org/abs/1411.0627

    D. Halpern-Leistner, On the structure of instability in moduli theory, 2022, preprint, https://arxiv.org/abs/1411.0627

    2022

  7. [15]

    Ionel and T

    E.-N. Ionel and T. H. Parker, The G opakumar- V afa formula for symplectic manifolds , Ann. of Math. (2) 187 (2018), no. 1, 1--64

    2018

  8. [16]

    Joyce, Ringel–Hall style Lie algebra structures on the homology of moduli spaces, 2019, preprint available in the author's webpage, https://people.maths.ox.ac.uk/joyce/hall.pdf

    D. Joyce, Ringel–Hall style Lie algebra structures on the homology of moduli spaces, 2019, preprint available in the author's webpage, https://people.maths.ox.ac.uk/joyce/hall.pdf

    2019

  9. [17]

    Joyce, Configurations in abelian categories

    D. Joyce, Configurations in abelian categories. III . S tability conditions and identities , Adv. Math. 215 (2007), no. 1, 153--219

    2007

  10. [18]

    Joyce, Enumerative invariants and wall-crossing formulae in abelian categories, 2021, preprint, https://arxiv.org/abs/2111.04694

    D. Joyce, Enumerative invariants and wall-crossing formulae in abelian categories, 2021, preprint, https://arxiv.org/abs/2111.04694

    2021

  11. [19]

    Kononov, W

    Y. Kononov, W. Lim, M. Moreira, and W. Pi, Cohomology rings of the moduli of one-dimensional sheaves on the projective plane, 2024, preprint, https://arxiv.org/abs/2403.06277

    2024

  12. [20]

    Karpov and M

    I. Karpov and M. Moreira, Generalized K-theoretic invariants and wall-crossing via non-abelian localization, 2025, preprint, https://arxiv.org/abs/2512.22360

    2025 arXiv

  13. [21]

    Lieblich, Moduli of complexes on a proper morphism, J

    M. Lieblich, Moduli of complexes on a proper morphism, J. Algebraic Geom. 15 (2006), no. 1, 175--206

    2006

  14. [22]

    W. Lim, M. Moreira, and W. Pi, On the Chern filtration for the moduli of bundles on curves, 2024, preprint, https://arxiv.org/abs/2410.24008

    2024

  15. [23]

    Maulik, N

    D. Maulik, N. Nekrasov, A. Okounkov, and R. Pandharipande, Gromov- W itten theory and D onaldson- T homas theory. I , Compos. Math. 142 (2006), no. 5, 1263--1285

    2006

  16. [24]

    Maulik, N

    D. Maulik, N. Nekrasov, A. Okounkov, and R. Pandharipande, Gromov- W itten theory and D onaldson- T homas theory. II , Compos. Math. 142 (2006), no. 5, 1286--1304

    2006

  17. [25]

    Mochizuki, Donaldson type invariants for algebraic surfaces, Lecture Notes in Mathematics, vol

    T. Mochizuki, Donaldson type invariants for algebraic surfaces, Lecture Notes in Mathematics, vol. 1972, Springer-Verlag, Berlin, 2009

    1972

  18. [26]

    Moreira, A

    M. Moreira, A. Oblomkov, A. Okounkov, and R. Pandharipande, Virasoro constraints for stable pairs on toric threefolds, Forum Math. Pi 10 (2022), Paper No. e20

    2022

  19. [27]

    Moreira, Virasoro conjecture for the stable pairs descendent theory of simply connected 3-folds (with applications to the H ilbert scheme of points of a surface) , J

    M. Moreira, Virasoro conjecture for the stable pairs descendent theory of simply connected 3-folds (with applications to the H ilbert scheme of points of a surface) , J. Lond. Math. Soc. (2) 106 (2022), no. 1, 154--191

    2022

  20. [28]

    Moreira, On the intersection theory of moduli spaces of parabolic bundles, 2025, preprint, https://arxiv.org/abs/2503.08898

    M. Moreira, On the intersection theory of moduli spaces of parabolic bundles, 2025, preprint, https://arxiv.org/abs/2503.08898

    2025

  21. [29]

    Maulik and D

    D. Maulik and D. Ranganathan, The GW/PT conjectures for toric pairs, 2026, preprint, https://arxiv.org/abs/2603.07772

    2026 arXiv

  22. [30]

    Oblomkov, EGL formula for DT/PT theory of local curves, 2019, preprint, https://arxiv.org/abs/1901.03014

    A. Oblomkov, EGL formula for DT/PT theory of local curves, 2019, preprint, https://arxiv.org/abs/1901.03014

    2019

  23. [31]

    Oblomkov, A

    A. Oblomkov, A. Okounkov, and R. Pandharipande, G W / PT descendent correspondence via vertex operators , Comm. Math. Phys. 374 (2020), no. 3, 1321--1359

    2020

  24. [32]

    Pandharipande, Three questions in G romov- W itten theory , Proceedings of the I nternational C ongress of M athematicians, V ol

    R. Pandharipande, Three questions in G romov- W itten theory , Proceedings of the I nternational C ongress of M athematicians, V ol. II ( B eijing, 2002), Higher Ed. Press, Beijing, 2002, pp. 503--512

    2002

  25. [33]

    Pandharipande, Descendents for stable pairs on 3-folds, Modern geometry: a celebration of the work of S imon D onaldson, Proc

    R. Pandharipande, Descendents for stable pairs on 3-folds, Modern geometry: a celebration of the work of S imon D onaldson, Proc. Sympos. Pure Math., vol. 99, Amer. Math. Soc., Providence, RI, 2018, pp. 251--287

    2018

  26. [34]

    Pandharipande, Moduli of curves and moduli of sheaves, 2025, https://arxiv.org/abs/2501.15607

    R. Pandharipande, Moduli of curves and moduli of sheaves, 2025, https://arxiv.org/abs/2501.15607

    2025

  27. [35]

    Pardon, Universally counting curves in Calabi--Yau threefolds, 2024, preprint, https://arxiv.org/abs/2308.02948

    J. Pardon, Universally counting curves in Calabi--Yau threefolds, 2024, preprint, https://arxiv.org/abs/2308.02948

    2024

  28. [36]

    Pavlaković, On the Virtual Euler Characteristic of the Moduli Space of Stable Pairs on Surfaces, 2025

    A. Pavlaković, On the Virtual Euler Characteristic of the Moduli Space of Stable Pairs on Surfaces, 2025

    2025

  29. [37]

    Pandharipande and A

    R. Pandharipande and A. Pixton, Descendents on local curves: rationality, Compos. Math. 149 (2013), no. 1, 81--124

    2013

  30. [38]

    Pandharipande and A

    R. Pandharipande and A. Pixton, Gromov- W itten/ P airs correspondence for the quintic 3-fold , J. Amer. Math. Soc. 30 (2017), no. 2, 389--449

    2017

  31. [39]

    Pandharipande and A

    R. Pandharipande and A. Pixton, Gromov- W itten/pairs descendent correspondence for toric 3-folds , Geom. Topol. 18 (2014), no. 5, 2747--2821

    2014

  32. [40]

    Pandharipande and R

    R. Pandharipande and R. P. Thomas, Curve counting via stable pairs in the derived category, Invent. Math. 178 (2009), no. 2, 407--447

    2009

  33. [41]

    Reid, Decomposition of toric morphisms, Arithmetic and geometry, V ol

    M. Reid, Decomposition of toric morphisms, Arithmetic and geometry, V ol. II , Progr. Math., vol. 36, Birkh\"auser Boston, Boston, MA, 1983, pp. 395--418

    1983

  34. [42]

    Saor\'in, On locally coherent hearts, Pacific J

    M. Saor\'in, On locally coherent hearts, Pacific J. Math. 287 (2017), no. 1, 199--221

    2017

  35. [43]

    Schimpf, Stable pairs on local curves and Bethe roots, 2024, preprint, https://arxiv.org/abs/2409.09508

    M. Schimpf, Stable pairs on local curves and Bethe roots, 2024, preprint, https://arxiv.org/abs/2409.09508

    2024

  36. [44]

    S. S. Shatz, The decomposition and specialization of algebraic families of vector bundles, Compositio Math. 35 (1977), no. 2, 163--187

    1977

  37. [45]

    Shen, Cobordism invariants of the moduli space of stable pairs, J

    J. Shen, Cobordism invariants of the moduli space of stable pairs, J. Lond. Math. Soc. (2) 94 (2016), no. 2, 427--446

    2016

  38. [46]

    Stacks Project Authors , Stacks Project , https://stacks.math.columbia.edu, 2018

    T. Stacks Project Authors , Stacks Project , https://stacks.math.columbia.edu, 2018

    2018

  39. [47]

    R. P. Stanley, Combinatorial reciprocity theorems, Advances in Math. 14 (1974), 194--253

    1974

  40. [48]

    Thaddeus, Conformal field theory and the cohomology of the moduli space of stable bundles, J

    M. Thaddeus, Conformal field theory and the cohomology of the moduli space of stable bundles, J. Differential Geom. 35 (1992), no. 1, 131--149

    1992

  41. [49]

    Toda, Limit stable objects on C alabi- Y au 3-folds , Duke Math

    Y. Toda, Limit stable objects on C alabi- Y au 3-folds , Duke Math. J. 149 (2009), no. 1, 157--208

    2009

  42. [50]

    Y. Toda, Generating functions of stable pair invariants via wall-crossings in derived categories, New developments in algebraic geometry, integrable systems and mirror symmetry ( RIMS , K yoto, 2008), Adv. Stud. Pure Math., vol. 59, Math. Soc. Japan, Tokyo, 2010, pp. 389--434

    2008

  43. [51]

    Toda, Stability conditions and curve counting invariants on C alabi- Y au 3-folds , Kyoto J

    Y. Toda, Stability conditions and curve counting invariants on C alabi- Y au 3-folds , Kyoto J. Math. 52 (2012), no. 1, 1--50

    2012

  44. [52]

    To\" e n and M

    B. To\" e n and M. Vaqui\' e , Moduli of objects in dg-categories, Ann. Sci. \' E cole Norm. Sup. (4) 40 (2007), no. 3, 387--444

    2007

  45. [53]

    Zinger, A comparison theorem for G romov- W itten invariants in the symplectic category , Adv

    A. Zinger, A comparison theorem for G romov- W itten invariants in the symplectic category , Adv. Math. 228 (2011), no. 1, 535--574

    2011

Pith tools

Reviewed May 10, 2026 · model on record in the stance chip above.