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

Recognition: 2 theorem links

· Lean Theorem

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

Ivan Karpov , Miguel Moreira

Authors on Pith no claims yet

Pith reviewed 2026-05-10 18:36 UTC · model grok-4.3

classification 🧮 math.AG math.CO

keywords stable pairsFano threefoldsgenerating seriesrationalitywall-crossingdescendent invariantsGopakumar-Vafa correspondenceEhrhart theory

0 comments

The pith

The generating series of descendent invariants for stable pairs on Fano threefolds is rational and symmetric under q to q inverse exchange.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

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.

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.

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.

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.

Where Pith is reading between the lines

These are 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.

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.

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.

read the original 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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

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

This paper proves the rationality and symmetry conjecture for the generating series of descendent stable pair invariants on Fano 3-folds. They follow the same stability conditions path Toda used for Calabi-Yau threefolds, extend Joyce's descendent wall-crossing formula to non-standard hearts via their prior work, and handle the combinatorics with Ehrhart theory. They also specialize to primary insertions and obtain a strong rationality result matching Pandharipande-Thomas and Gopakumar-Vafa predictions. The reduction to a known rationality statement for L-invariants after wall-crossing is clean and direct. The result is new for Fano threefolds, and the non-CY case is treated explicitly rather than glossed over. The argument chains prior theorems with independent combinatorial input, so there is no obvious circularity or self-referential fitting. The stress-test found no internal inconsistencies, and the extension to Fano cases is justified by the cited previous paper. Minor soft spots exist around verifying the precise application of the extended wall-crossing formula in the Fano setting, but these are checkable in the full proofs and do not appear load-bearing. The Ehrhart part looks routine once the formula is in place. This work is for researchers in enumerative algebraic geometry who track stable pairs, wall-crossing in derived categories, or the PT/GV correspondence. A reader already following rationality conjectures for threefolds would extract the adaptation and the primary insertion case without much extra effort. Send it to peer review. The claim is concrete, the method is traceable, and the evidence from prior results plus combinatorics holds up on the outline.

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)

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

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

specific steps

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.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 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.

axioms (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.

pith-pipeline@v0.9.0 · 5437 in / 1299 out tokens · 68291 ms · 2026-05-10T18:36:10.689342+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel; Jcost_unit0; Jcost_pos_of_ne_one echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

Theorem 2.8: Z_{C,ω}(x^{-1}) = Z_{C,ω_}(x); Prop 2.6: ω_ord is self-dual; Cor 2.11: symmetry Z(q^{-1})=(-1)^a Z(q) when f_i even/odd
IndisputableMonolith/Foundation/ArithmeticFromLogic.lean embed_injective; embed_strictMono_of_one_lt refines

?

refines
Relation between the paper passage and the cited Recognition theorem.

Wall-crossing Thm B with δ^* L_{β,m}=L_{-β,-m} and T_H twisting; μ_s-stability path from Toda

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 · 13 canonical work pages · 2 internal anchors

[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

2023
[2]

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

2026
[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

2016
[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

2024
[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

1986
[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

2015
[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

2011
[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

2022
[9]

Bu, Counting sheaves on curves, Adv

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

2023
[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

work page arXiv 2025
[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
[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
[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

work page arXiv 2019
[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

work page arXiv 2022
[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
[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
[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
[18]

Joyce,Enumerative invariants and wall-crossing formulae in abelian categories, arXiv:2111.04694

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

work page arXiv 2021
[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

work page arXiv 2024
[20]

Generalized K-theoretic invariants and wall-crossing via non-abelian localization

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

work page internal anchor Pith review Pith/arXiv arXiv 2025
[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
[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

work page arXiv 2024
[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
[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
[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
[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
[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
[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

work page arXiv 2025
[29]

The GW/PT conjectures for toric pairs

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

work page internal anchor Pith review Pith/arXiv arXiv 2026
[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

work page arXiv 2019
[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
[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
[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
[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

work page arXiv 2025
[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

work page arXiv 2024
[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
[37]

Pandharipande and A

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

2013
[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
[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
[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
[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
[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
[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

work page arXiv 2024
[44]

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

1977
[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
[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
[47]

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

1974
[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
[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
[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
[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
[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
[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