arxiv: 2604.02258 · v2 · submitted 2026-04-02 · 🧮 math.AG

Recognition: 2 theorem links

· Lean Theorem

Pl\"ucker degrees of Quot schemes

Samuel Stark

Authors on Pith no claims yet

Pith reviewed 2026-05-13 20:54 UTC · model grok-4.3

classification 🧮 math.AG

keywords Quot schemePlücker degreeChow ringsymmetric producttautological sheafmoduli spaceenumerative geometryleading term

0 comments

The pith

The Plücker degree of the main component of a Quot scheme equals the integral of pushforwards of powers of c1(O^[l]) in the Chow ring of the symmetric product S^(l).

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

The paper establishes that the Plücker degree of the main component of the Quot scheme parametrizing length-l quotients of a locally free sheaf on a smooth projective scheme S is determined by classes in the Chow ring of the symmetric product S^(l). These classes arise as the images of powers of c1(O^[l]) under the pushforward along the natural map from the Quot scheme to S^(l). A decomposition of the classes produces an explicit expression for the leading term of the degree. The same decomposition supplies a higher-dimensional version of a classical result of Schubert on such degrees. A reader would care because the reduction turns a geometric degree computation into an algebraic operation inside a well-studied Chow ring.

Core claim

The Plücker degree is determined by classes in the Chow ring of S^(l) given by the pushforward of powers of c1(O^[l]) with respect to the canonical morphism from the Quot scheme to S^(l). A decomposition of these classes yields the leading term of the Plücker degree.

What carries the argument

The canonical morphism from the Quot scheme to the symmetric product S^(l), which pushes forward powers of c1(O^[l]) to produce Chow classes whose integrals recover the degree.

If this is right

The leading term of the Plücker degree admits an explicit formula in terms of the decomposed classes for arbitrary dimension d and length l.
The construction produces a higher-dimensional analogue of Schubert's classical formula for the degree.
The Plücker degree of the main component is completely determined by these Chow classes with no further geometric corrections required.
All numerical computations reduce to standard operations in the Chow ring of the symmetric product.
The same pushforward technique applies uniformly to any smooth projective base S of dimension at least one.

Where Pith is reading between the lines

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

The decomposition may extend to compute other intersection numbers or Chern numbers on the Quot scheme itself.
Similar pushforwards could be used to study the geometry of related moduli spaces such as Hilbert schemes of points in higher dimensions.
For low-dimensional bases or small l the leading term may yield closed-form expressions that can be checked against known tables.
The method suggests a general pattern for extracting degrees from tautological classes on symmetric products in other moduli problems.
The result may inform stability or positivity questions for the Plücker embedding in these spaces.

Load-bearing premise

The main component of the Quot scheme is sufficiently well-behaved that the pushforward map to the symmetric product is defined and that the resulting Chow classes capture the Plücker degree without extra correction terms.

What would settle it

Direct computation of the Plücker degree for a concrete Quot scheme, such as the space of length-2 quotients of a rank-2 bundle on a curve, compared to the number obtained by integrating the decomposed Chow class.

read the original abstract

We study the Pl\"{u}cker degree of the main component of the Quot scheme of length $l$ quotients of a locally free sheaf on a smooth projective scheme $\mathrm{S}$ of dimension $d\geqslant 1$. This degree is determined by classes in the Chow ring of the symmetric product $\mathrm{S}^{(l)}$, which are given by the pushforward of the powers of $c_{1}(\mathcal{O}^{[l]})$ with respect to the canonical morphism from the Quot scheme to $\mathrm{S}^{(l)}$. We describe a decomposition of these classes, allowing us to compute the (in a certain sense) leading term of the Pl\"{u}cker degree. We also obtain a higher-dimensional analogue of a classical result of Schubert.

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

Stark isolates the leading Plücker degree term on Quot schemes by decomposing pushforward classes in the Chow ring of the symmetric product.

read the letter

Stark's paper isolates the leading term of the Plücker degree for the main component of the Quot scheme by decomposing certain pushforward classes in the Chow ring of the symmetric product S^(l). This also gives a higher-dimensional version of Schubert's classical result. The approach works because the canonical morphism from the Quot scheme to S^(l) is proper when S is smooth and projective, so the pushforwards of powers of c1(O^[l]) are well-defined in the Chow ring. The decomposition then separates the top-degree contribution cleanly. This is useful for anyone who needs to compute these degrees without working directly in the more complicated Chow ring of the Quot scheme itself. What the paper does well is to reduce the problem to standard operations on the symmetric product. The leading term comes out directly from this, and the argument avoids circular definitions or fitted parameters. The higher-dimensional Schubert analogue follows from the same setup and appears to be new in the literature the paper cites. The soft spots are minor. The abstract states the decomposition exists and yields the leading term, but the full paper needs to show explicitly that lower terms do not affect the leading contribution. If it includes a check for small values of l and d, that would strengthen the claim. No load-bearing flaws show up in the reduction or the extraction of the term. This paper is for specialists in algebraic geometry who work with Quot schemes and intersection theory on moduli spaces. A reader familiar with Chow rings and symmetric products will get immediate value from the leading-term formula. It deserves a serious referee because the setup is formally grounded and the result is a concrete computational tool. I would recommend sending it to peer review.

Referee Report

0 major / 2 minor

Summary. The manuscript studies the Plücker degree of the main component of the Quot scheme parametrizing length-l quotients of a locally free sheaf on a smooth projective scheme S of dimension d ≥ 1. It asserts that this degree is determined by classes in the Chow ring of the symmetric product S^{(l)}, obtained as the pushforwards of powers of c_1(O^{[l]}) under the canonical morphism from the Quot scheme to S^{(l)}. The authors describe a decomposition of these classes that isolates the leading term of the Plücker degree and derive a higher-dimensional analogue of a classical result of Schubert.

Significance. If the decomposition is valid, the work supplies a systematic reduction of Plücker degrees to operations in the Chow ring of symmetric products, relying on the standard properness of the morphism from the Quot scheme. This yields a higher-dimensional extension of Schubert calculus and may aid enumerative computations for moduli spaces of quotients and sheaves. The approach uses well-defined Chow-ring pushforwards without introducing new ad-hoc parameters.

minor comments (2)

The phrase 'in a certain sense' qualifying the leading term in the abstract should be replaced by a precise definition (e.g., the coefficient of the highest-degree monomial in the decomposition) already in the introduction.
The canonical morphism Quot → S^{(l)} is invoked without an explicit reference or diagram; a short reminder of its construction (or citation to a standard source such as the Hilbert-Chow morphism literature) would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, the recognition of the reduction to Chow-ring operations on symmetric products, and the recommendation of minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper derives the Plücker degree of the main component of the Quot scheme via pushforwards of powers of c1(O^[l]) into the Chow ring of the symmetric product S^(l), followed by a decomposition isolating the leading term. These steps rely on standard proper morphisms and Chow-ring operations for smooth projective S, which are externally defined and do not reduce the target degree to a fitted parameter, self-referential definition, or load-bearing self-citation. No equations equate the claimed degree to its own inputs by construction, and the higher-dimensional Schubert analogue follows from the same operations without renaming or smuggling ansatzes. The derivation is therefore self-contained against external algebraic geometry benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the existence and basic functoriality of the Quot scheme, the definition of the Plücker line bundle, and the standard properties of the Chow ring of symmetric products; no free parameters or invented entities are introduced in the abstract.

axioms (2)

domain assumption The Quot scheme of length-l quotients admits a canonical morphism to the symmetric product S^(l) whose pushforward preserves the relevant Chow classes.
Invoked implicitly when the Plücker degree is said to be determined by those pushforward classes.
standard math The Chow ring of S^(l) is well-defined and admits the usual intersection product and pushforward operations.
Standard background in algebraic geometry used to state the decomposition.

pith-pipeline@v0.9.0 · 5411 in / 1403 out tokens · 24677 ms · 2026-05-13T20:54:00.202812+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 Jcost uniqueness via Aczél unclear

?

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

deg ϖ^l_m = ∫_{S^(l)} μ^l_{ld}(E⊗L) with μ^l_k(E) = μ_* c1(O^[l])^{l(r-1)+k} and decomposition μ^l_k(E) = ν^l_k(E) + δ^l_k(E) where δ supported on Δ
IndisputableMonolith/Foundation/RealityFromDistinction reality_from_one_distinction unclear

?

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

leading term (-1)^{ld} (lp)! / (l! p!^l) (∫_S sd(E⊗L))^l recovered from ν-classes

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

32 extracted references · 32 canonical work pages · 1 internal anchor

[1]

Beauville, Variétés Kähleriennes dont la première classe de Chern est nulle, J

A. Beauville, Variétés Kähleriennes dont la première classe de Chern est nulle, J. Diff. Geom. 18 (1983), 755-782

work page 1983
[2]

Beauville, C

A. Beauville, C. V oisin, On the Chow ring of a K3 surface, J. Alg. Geom. 13 (2004), 417-426

work page 2004
[3]

Bérczi, Tautological integrals on Hilbert scheme of points I, arXiv:2303.14807 (2023)

G. Bérczi, Tautological integrals on Hilbert scheme of points I, arXiv:2303.14807 (2023)

work page arXiv 2023
[4]

Bojko, W

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

work page 2024
[5]

Cavey, Verlinde series for Hirzebruch surfaces, arXiv:2405.00206 (2024)

I. Cavey, Verlinde series for Hirzebruch surfaces, arXiv:2405.00206 (2024)

work page arXiv 2024
[6]

Deligne, Le déterminant de la cohomologie, Contemp

P. Deligne, Le déterminant de la cohomologie, Contemp. Math. 67 (1987), 93-177

work page 1987
[7]

Edidin, W

D. Edidin, W. Graham, Localization in Equivariant Intersection Theory and the Bott Residue For- mula, Am. J. Math. 120 (1998), 619-636

work page 1998
[8]

Ekedahl, R

T. Ekedahl, R. Skjelnes, Recovering the good component of the Hilbert scheme, Ann. Math. 179 (2014), 805-841

work page 2014
[9]

Ellingsrud, L

G. Ellingsrud, L. Göttsche, M. Lehn, On the Cobordism Class of the Hilbert Scheme of a Surface, J. Alg. Geom. 10 (2001), 81-100

work page 2001
[10]

Fantechi, L

B. Fantechi, L. Göttsche, The cohomology ring of the Hilbert scheme of 3 points on a smooth projective variety, J. Reine Angew. Math. 439 (1993), 147-158

work page 1993
[11]

Fogarty, Algebraic Families on an Algebraic Surface II, Am

J. Fogarty, Algebraic Families on an Algebraic Surface II, Am. J. Math. 95 (1973), 660-687

work page 1973
[12]

Fulton, Intersection Theory, 2nd ed., Springer, New York 1994

W. Fulton, Intersection Theory, 2nd ed., Springer, New York 1994

work page 1994
[13]

Fulton, R

W. Fulton, R. MacPherson, A Compactification of Configuration Spaces, Ann. Math. 139 (1994), 183-225

work page 1994
[14]

Göttsche, A

L. Göttsche, A. Mellit, Refined Verlinde and Segre formula for Hilbert schemes, arXiv:2210.01059 (2022)

work page arXiv 2022
[15]

Grothendieck, Techniques de construction et théorèmes d’existence en géométrie algébrique IV , Sém

A. Grothendieck, Techniques de construction et théorèmes d’existence en géométrie algébrique IV , Sém. Bourbaki 221 (1961), 249-276

work page 1961
[16]

Haiman,t, q-Catalan numbers and the Hilbert scheme, Discrete Math

M. Haiman,t, q-Catalan numbers and the Hilbert scheme, Discrete Math. 193 (1998), 201-224

work page 1998
[17]

Iarrobino, Reducibility of the families of0-dimensional schemes on a variety, Invent

A. Iarrobino, Reducibility of the families of0-dimensional schemes on a variety, Invent. Math. 15 (1972), 72-77

work page 1972
[18]

C. G. J. Jacobi, Untersuchungen über die Differentialgleichung der hypergeometrischen Reihe, J. Reine Angew. Math. 56 (1859), 149-165

work page
[19]

Jelisiejew, K

J. Jelisiejew, K. Sivic, Components and singularities of Quot schemes and varieties of commuting matrices, J. Reine Angew. Math. 788 (2022), 129-187. 15

work page 2022
[20]

Lehn, Chern classes of tautological sheaves on Hilbert schemes of points on surfaces, Invent

M. Lehn, Chern classes of tautological sheaves on Hilbert schemes of points on surfaces, Invent. Math. 136 (1999), 157-207

work page 1999
[21]

Marian, A

A. Marian, A. Negu¸ t, The cohomology of the Quot scheme on a smooth curve as a Yangian repre- sentation, arXiv:2307.13671 (2024)

work page arXiv 2024
[22]

Marian, D

A. Marian, D. Oprea, R. Pandharipande, Segre classes and Hilbert schemes of points, Ann. Sci. Éc. Norm. Supér. 50 (2017), 239-267

work page 2017
[23]

Maulik, A

D. Maulik, A. Negut, Lehn’s formula in Chow and conjectures of Beauville and V oisin, J. Inst. Math. Jussieu 21 (2022), 933-971

work page 2022
[24]

Oprea, R

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

work page 2021
[25]

Oprea, S

D. Oprea, S. Sinha, Euler characteristics of tautological bundles over Quot schemes of curves, Adv. Math. 418 (2023), 108943

work page 2023
[26]

Pielasa, Cohomology of the Quot scheme of an infinite affine space, arXiv:2511.10742 (2025)

P. Pielasa, Cohomology of the Quot scheme of an infinite affine space, arXiv:2511.10742 (2025)

work page arXiv 2025
[27]

C. J. Rego, Compactification of the space of vector bundles on a singular curve, Comment. Math. Helv. 57 (1982), 226-236

work page 1982
[28]

J. V . Rennemo, Universal polynomials for tautological integrals, Geom. Topol. 21 (2017), 253-314

work page 2017
[29]

Schubert, Dien-dimensionalen Verallgemeinerungen der fundamentalen Anzahlen unseres Raums, Math

H. Schubert, Dien-dimensionalen Verallgemeinerungen der fundamentalen Anzahlen unseres Raums, Math. Ann. 26 (1886), 26-51

work page
[30]

Schubert, Anzahl-Bestimmungen für Lineare Räume beliebiger Dimension, Acta Math

H. Schubert, Anzahl-Bestimmungen für Lineare Räume beliebiger Dimension, Acta Math. 8 (1886), 97-118

work page
[31]

On the Quot scheme $\mathrm{Quot}^{l}_{S}(\mathcal{E})$

S. Stark, On the Quot schemeQuot l S(E), arXiv:2107.03991 (2024)

work page internal anchor Pith review Pith/arXiv arXiv 2024
[32]

V oisin, On the Chow ring of certain algebraic hyper-Kähler manifolds, Pure Appl

C. V oisin, On the Chow ring of certain algebraic hyper-Kähler manifolds, Pure Appl. Math. Q. 4 (2008), 613-649. 16

work page 2008