arxiv: 2604.09738 · v1 · submitted 2026-04-09 · 🧮 math.AG

Recognition: unknown

Rationality of cohomological descendent series for Quot schemes on surfaces with p_g=0

Reginald Anderson

Authors on Pith no claims yet

Pith reviewed 2026-05-10 16:43 UTC · model grok-4.3

classification 🧮 math.AG

keywords Quot schemescohomological descendent seriesrationalitywall-crossing recursionK-theoretic vanishingsurfacesmoduli spacesenumerative invariants

0 comments

The pith

Cohomological descendent series for Quot schemes on surfaces with vanishing geometric genus are rational.

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

This paper shows that the generating series collecting cohomological data from Quot schemes of rank-zero quotients on a smooth projective surface are rational functions. The result covers the remaining open case where the surface has geometric genus zero, the curve class is nonzero, and the rank parameter exceeds one. A sympathetic reader would care because rationality turns these series into explicit ratios of polynomials, enabling closed-form computations of intersection numbers and related enumerative invariants. The argument reduces the surface series to previously known rational factors on curves and points by means of a wall-crossing recursion and two local corrections.

Core claim

For a smooth projective surface S, the cohomological descendent generating series for the Quot schemes of rank-0 quotients of O_S to the N are rational when p_g(S)=0, β≠0, and N>1. This is established by applying a fixed-source one-parameter wall-crossing recursion, factoring through pure Quot schemes with two explicit zero-dimensional correction operators, reducing the first correction via support-flat methods to relative Quot theory on curves where the smooth and singular local factors are rational, and using a local K-theoretic vanishing that collapses the second correction to the universal punctual smooth-surface factor.

What carries the argument

A fixed-source one-parameter wall-crossing recursion combined with two explicit zero-dimensional correction operators and a local K-theoretic vanishing that reduces the series to universal curve and point factors.

If this is right

The series admit closed rational expressions built from the known rational factors on curves and points.
Coefficients of the series, which encode intersection numbers on the Quot schemes, become algorithmically computable.
The rationality statement for these descendent series is now complete for all surfaces under the given conditions on the curve class and rank parameter.
The same reduction steps organize similar generating series for Quot schemes in related geometric settings.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The wall-crossing and vanishing techniques may adapt to rationality questions for descendent series in higher-rank or non-surface Quot problems.
Rationality supplies recurrence relations among the invariants that could be checked directly on explicit surfaces.
The factorization into universal local factors suggests a template for organizing other enumerative series on surfaces with vanishing geometric genus.

Load-bearing premise

The one-parameter wall-crossing recursion factors exactly through the two stated zero-dimensional corrections and the local K-theoretic vanishing applies without residual terms.

What would settle it

Explicitly compute the first several coefficients of the series for a concrete surface with p_g=0 such as the projective plane and a simple nonzero curve class, then verify whether those coefficients satisfy a linear recurrence coming from a rational generating function.

read the original abstract

For a smooth projective surface $S$, Johnson, Oprea, and Pandharipande defined cohomological descendent generating series for the Quot schemes of rank-$0$ quotients of $\mathcal{O}_S^{\oplus N}$. We prove that these series are rational in the remaining surface case $p_g(S)=0$, $\beta\neq 0$, and $N>1$. The proof uses a fixed-source one-parameter wall-crossing recursion of Pandharipande-Thomas type, a factorization through pure Quot by two explicit zero-dimensional correction operators, a support-flat reduction of the first correction to relative Quot theory on curves, rationality of the resulting smooth and singular local curve factors, and a local $K$-theoretic vanishing that collapses the second correction to the universal punctual smooth-surface factor.

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

This paper finishes the rationality proof for the pg=0 case of those Quot descendent series by chaining PT wall-crossing to curve reductions and a K-theoretic vanishing.

read the letter

This paper finishes the rationality proof for the pg=0 case of those Quot descendent series by chaining PT wall-crossing to curve reductions and a K-theoretic vanishing. It handles the remaining surfaces where pg(S)=0, beta nonzero, and N>1, using a fixed-source one-parameter recursion to split the series into the main pure Quot term plus two zero-dimensional corrections. The first correction flattens to relative Quot schemes on curves, where the local smooth and singular factors are shown rational. The second collapses via local K-theory to the known universal punctual factor on smooth surfaces. The combination is new for this exact setting and stays non-circular by leaning on prior Pandharipande-Thomas and Quot results without fitting parameters to the answer. The outline is clean and each step either recycles standard tools or builds them explicitly. The soft spots are limited to the details: one wants to see the explicit rationality calculations for the curve factors and the precise vanishing statement, but the sketch gives no sign of gaps or hidden assumptions that would break the conclusion. If those pieces check out, the argument holds. This is for specialists already tracking generating functions for Quot schemes on surfaces and the Johnson-Oprea-Pandharipande program. A reader who knows the positive-pg cases will pick up the value right away. I would send it to a referee. The claim is sharp, the strategy transparent, and it closes a specific open case without overreaching.

Referee Report

0 major / 2 minor

Summary. The paper proves rationality of the cohomological descendent generating series for Quot schemes of rank-0 quotients of O_S^N on smooth projective surfaces S with p_g(S)=0, β≠0 and N>1. The argument proceeds by a fixed-source one-parameter Pandharipande-Thomas wall-crossing recursion, an explicit factorization of the series into a pure Quot contribution plus two zero-dimensional correction operators, a support-flat reduction of the first correction to relative Quot schemes on curves, verification that the resulting smooth and singular local curve factors are rational, and a local K-theoretic vanishing that reduces the second correction to the known universal punctual smooth-surface factor.

Significance. If correct, the result completes the rationality statement for these series in the remaining surface case p_g=0. The reductions to curve and point cases are explicit and rely on standard wall-crossing and vanishing techniques already present in the literature, which strengthens the overall approach and may allow similar methods to be applied to related generating functions on higher-dimensional varieties.

minor comments (2)

[Introduction] The notation for the descendent series and the two correction operators is introduced gradually; an early consolidated definition or table would improve readability.
[Section 4] A few citations to the precise statements of the Pandharipande-Thomas recursion and the universal punctual factor used in the final reduction are missing or only referenced by author names.

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 techniques of the paper. The recommendation to accept is appreciated, and we have no major comments to address.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper proves rationality of the cohomological descendent series via an explicit chain: PT-type one-parameter wall-crossing recursion (external literature), factorization into pure Quot plus two zero-dimensional corrections (explicitly constructed), support-flat reduction of the first correction to relative curve Quot schemes (standard technique), explicit rationality proofs for the resulting smooth/singular local curve factors, and a local K-theoretic vanishing that reduces the second correction to a known universal punctual factor. None of these steps define the target series in terms of itself, fit parameters to the final rationality statement, or rely on load-bearing self-citations whose content is unverified. The argument remains independent of the conclusion it reaches.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The central claim rests on domain assumptions about the surface and technical results from wall-crossing theory and K-theory, which are standard but not derived in this paper.

axioms (3)

domain assumption S is a smooth projective surface with pg(S)=0
Explicitly stated as the remaining case under consideration.
domain assumption The fixed-source one-parameter wall-crossing recursion of Pandharipande-Thomas type holds
Invoked as the starting point of the proof.
domain assumption The local K-theoretic vanishing collapses the second correction
Used to reduce the second correction operator to the universal punctual factor.

pith-pipeline@v0.9.0 · 5431 in / 1430 out tokens · 78781 ms · 2026-05-10T16:43:57.871351+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

18 extracted references · 4 canonical work pages

[1]

Arbesfeld, D

N. Arbesfeld, D. Johnson, W. Lim, D. Oprea, and R. Pandharipande,The virtualK-theory of Quot schemes of surfaces, J. Geom. Phys.164(2021), Paper No. 104154

2021
[2]

Bojko,Wall-crossing for punctual Quot-schemes, arXiv:2111.11102

A. Bojko,Wall-crossing for punctual Quot-schemes, arXiv:2111.11102

work page arXiv
[3]

Bojko, W

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

2024
[4]

Behrend and B

K. Behrend and B. Fantechi,The intrinsic normal cone, Invent. Math.128(1997), no. 1, 45–88

1997
[5]

Gholampour and M

A. Gholampour and M. Kool,Higher rank sheaves on threefolds and functional equations, Épijournal Géom. Algébrique3(2019), Art. 17

2019
[6]

Huang and R

Y. Huang and R. Jiang,Motivic Coh and Quot zeta functions of singular curves, arXiv:2312.12528

work page arXiv
[7]

Johnson, D

D. Johnson, D. Oprea, and R. Pandharipande,Rationality of descendent series for Hilbert and Quot schemes of surfaces, Selecta Math. (N.S.)27(2021), Paper No. 23, 52 pp

2021
[8]

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

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

work page arXiv
[9]

Joyce,Vertex algebras, moduli spaces, and enumerative invariants

D. Joyce,Vertex algebras, moduli spaces, and enumerative invariants. III. Coherent sheaves on projective surfaces, preliminary manuscript. Forthcoming
[10]

Kool and R

M. Kool and R. P. Thomas,Reduced classes and curve counting on surfaces. I. Theory, Algebraic Geometry1(2014), no. 3, 334–383

2014
[11]

Kool and R

M. Kool and R. P. Thomas,Reduced classes and curve counting on surfaces. II. Calculations, Algebraic Geometry1(2014), no. 3, 384–399

2014
[12]

Lim,Virtualχ −y-genera of Quot schemes on surfaces, arXiv:2003.04429

W. Lim,Virtualχ −y-genera of Quot schemes on surfaces, arXiv:2003.04429

work page arXiv 2003
[13]

Lin,Moduli spaces of stable pairs, Pacific J

Y. Lin,Moduli spaces of stable pairs, Pacific J. Math.294(2018), no. 1, 123–158

2018
[14]

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
[15]

Oprea and R

D. Oprea and R. Pandharipande,Quot schemes of curves and surfaces: virtual classes, integrals, Euler characteristics, Geom. Topol.25(2021), no. 7, 3425–3505

2021
[16]

Anderson and D

R. Anderson and D. Joyce,On Pandharipande–Thomas invariants and one-dimensional Donaldson–Thomas invariants. I, forthcoming
[17]

Toën and M

B. Toën and M. Vaquié,Moduli of objects in dg-categories, Ann. Sci. Éc. Norm. Supér. (4) 40(2007), no. 3, 387–444

2007
[18]

Graber and R

T. Graber and R. Pandharipande,Localization of virtual classes, Invent. Math.135(1999), no. 2, 487–518. 16

1999