pith. sign in

arxiv: 2211.03901 · v3 · submitted 2022-11-07 · 🧮 math.AG

On the cohomology of tautological bundles over Quot schemes of curves

Alina Marian , Dragos Oprea , Steven V Sam This is my paper

Pith reviewed 2026-05-24 10:17 UTC · model grok-4.3

classification 🧮 math.AG
keywords tautological bundlesQuot schemescohomology vanishingprojective lineGrassmannianslocal complete intersectionssymmetric powersexterior powers
0
0 comments X

The pith

Tautological bundles on Quot schemes of the projective line have vanishing higher cohomology, with global sections given by explicit tautological constructions.

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

The paper studies tautological bundles, together with their exterior and symmetric powers, on the Quot scheme that parametrizes quotients of a fixed vector bundle on the projective line. It establishes vanishing of higher cohomology in a range of cases and conjectures it more broadly, while identifying the spaces of global sections through direct tautological maps. The proofs rely on resolutions built from an explicit local complete intersection embedding of the Quot scheme into a product of two Grassmannians. This embedding supplies the acyclic complexes needed to compute the desired cohomology groups.

Core claim

The Strømme embedding realizes the Quot scheme as an explicit local complete intersection inside a product of Grassmannians; the resulting Koszul-type resolutions of the tautological bundles and their exterior and symmetric powers are acyclic in positive degrees, which proves vanishing of higher cohomology and identifies global sections with tautological constructions.

What carries the argument

The Strømme embedding of the Quot scheme as a local complete intersection in the product of two Grassmannians, which produces acyclic resolutions for the tautological bundles.

If this is right

  • Higher cohomology of the tautological bundles vanishes in many degrees.
  • Global sections of these bundles are realized by tautological maps from the ambient Grassmannians.
  • The same vanishing holds for exterior and symmetric powers of the tautological bundles.
  • Additional cohomology groups on the Quot scheme can be computed by the same resolution technique.

Where Pith is reading between the lines

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

  • The method may extend to Quot schemes on curves of higher genus once suitable embeddings are available.
  • Vanishing results could constrain the geometry of moduli spaces that contain these Quot schemes as open sets.
  • The conjectural vanishing statements might be settled by refining the resolutions to handle the remaining cases.

Load-bearing premise

The explicit local complete intersection embedding of the Quot scheme inside a product of two Grassmannians yields resolutions whose higher cohomology vanishes.

What would settle it

An explicit computation of H^i of a tautological bundle or its power on a small Quot scheme that returns a nonzero group where the resolution predicts zero.

Figures

Figures reproduced from arXiv: 2211.03901 by Alina Marian, Dragos Oprea, Steven V Sam.

Figure 1
Figure 1. Figure 1: A partition of 2-index i = 3 [PITH_FULL_IMAGE:figures/full_fig_p013_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Partitions of (1, 3)-index i = 2 [PITH_FULL_IMAGE:figures/full_fig_p013_2.png] view at source ↗
read the original abstract

We consider tautological bundles and their exterior and symmetric powers on the Quot scheme over the projective line. We prove and conjecture several statements regarding the vanishing of their higher cohomology, and we describe their spaces of global sections via tautological constructions. To this end, we make use of the embedding of the Quot scheme as an explicit local complete intersection in the product of two Grassmannians, studied by Str{\o}mme. This allows us to construct resolutions with vanishing cohomology for the tautological bundles and their exterior and symmetric powers. We further illustrate our approach with a few additional cohomological calculations.

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.

Referee Report

2 major / 2 minor

Summary. The manuscript examines tautological bundles and their exterior and symmetric powers on the Quot scheme of the projective line. It proves and conjectures vanishing results for higher cohomology groups and describes the spaces of global sections via tautological constructions. The approach relies on Strømme's explicit local complete intersection embedding of the Quot scheme into a product of two Grassmannians to construct resolutions whose higher cohomology vanishes, with additional illustrative cohomological calculations provided.

Significance. If the results hold, the work supplies explicit computational tools for cohomology on Quot schemes, which are fundamental in the geometry of moduli spaces of sheaves. The technique of building vanishing resolutions from an LCI embedding is standard in algebraic geometry and, when carried through, yields concrete descriptions of global sections that could be useful for further calculations in the field.

major comments (2)
  1. [Section 3 (or the main construction section)] The central claims rest on constructing resolutions from Strømme's embedding, but the manuscript provides no explicit verification that the resulting complexes are indeed acyclic in the required degrees for the exterior and symmetric powers; a concrete check in a low-rank case (e.g., rank-1 or rank-2 bundles) would strengthen the argument.
  2. [Introduction and concluding remarks] Several statements are stated as conjectures rather than theorems; the distinction between proven vanishing results and conjectural ones should be made sharper, with any partial evidence or computational checks for the conjectures clearly separated from the proven parts.
minor comments (2)
  1. [Section 2] Notation for the tautological bundles and their powers should be introduced uniformly at the beginning to avoid ambiguity when exterior and symmetric powers are treated simultaneously.
  2. [Final section] The additional cohomological calculations in the final section would benefit from a table summarizing the computed dimensions or vanishing patterns for quick reference.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive suggestions. We address the major comments point by point below.

read point-by-point responses

  1. Referee: [Section 3 (or the main construction section)] The central claims rest on constructing resolutions from Strømme's embedding, but the manuscript provides no explicit verification that the resulting complexes are indeed acyclic in the required degrees for the exterior and symmetric powers; a concrete check in a low-rank case (e.g., rank-1 or rank-2 bundles) would strengthen the argument.

    Authors: We agree that an explicit low-rank verification would improve the clarity of the argument. Although the acyclicity follows from the vanishing theorems on the ambient product of Grassmannians together with the local complete intersection property of Strømme's embedding, we will add a concrete computation for the rank-1 case (where the relevant Quot scheme reduces to a projective bundle over a Grassmannian) in the revised Section 3 to verify the required vanishing degrees directly. revision: yes

  2. Referee: [Introduction and concluding remarks] Several statements are stated as conjectures rather than theorems; the distinction between proven vanishing results and conjectural ones should be made sharper, with any partial evidence or computational checks for the conjectures clearly separated from the proven parts.

    Authors: We appreciate this observation. In the revised manuscript we will rewrite the relevant paragraphs in the introduction and concluding remarks to separate the proven vanishing theorems from the conjectural statements more explicitly. We will also add a short paragraph (or subsection) that collects any partial computational evidence or checks supporting the conjectures, keeping it clearly distinct from the proven results. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation relies on external embedding result

full rationale

The paper's central construction uses Strømme's external LCI embedding of the Quot scheme into a product of Grassmannians to build explicit resolutions of tautological bundles and their powers, with vanishing higher cohomology following from that embedding. No equations or claims reduce by construction to fitted parameters, self-definitions, or load-bearing self-citations. The cited result is independent (different authors, standard in the field) and the derivations are presented as direct consequences without internal gaps or renamings that collapse to inputs. This is a standard non-circular algebraic geometry argument.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard sheaf cohomology properties and the cited embedding result by Strømme; no free parameters or new entities are introduced in the abstract.

axioms (2)
  • standard math Standard properties of sheaf cohomology on projective varieties hold and can be used to deduce vanishing from resolutions.
    Invoked to translate resolution cohomology to the tautological bundles.
  • domain assumption The Quot scheme embeds as a local complete intersection in the product of two Grassmannians as studied by Strømme.
    Central premise enabling the construction of resolutions with vanishing cohomology.

pith-pipeline@v0.9.0 · 5622 in / 1234 out tokens · 18821 ms · 2026-05-24T10:17:45.190544+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

21 extracted references · 21 canonical work pages · 2 internal anchors

  1. [1]

    Arbesfeld, K -theoretic Donaldson-Thomas theory and the Hilbert scheme of points on a surface , Alg

    N. Arbesfeld, K -theoretic Donaldson-Thomas theory and the Hilbert scheme of points on a surface , Alg. Geom. 8 (2021), 587--625

    work page 2021

  2. [2]

    Bertram, Quantum Schubert calculus , Adv

    A. Bertram, Quantum Schubert calculus , Adv. Math. 128 (1997) 289--305

    work page 1997

  3. [3]

    Bott, Homogeneous vector bundles , Ann

    R. Bott, Homogeneous vector bundles , Ann. of Math. 66 (1957), 203--248

    work page 1957

  4. [4]

    Biswas, C

    I. Biswas, C. Gangopadhyay, R. Sebastian, Infinitesimal deformations of some Quot schemes , preprint, arXiv:2203.13150v1

    work page arXiv

  5. [5]

    Braden, L

    T. Braden, L. Chen, F. Sottile, The equivariant Chow rings of Quot schemes, Pac. J. Math. 238 (2008), 201--232

    work page 2008

  6. [6]

    Chen, Quantum cohomology of flag manifolds, Adv

    L. Chen, Quantum cohomology of flag manifolds, Adv. Math. 174 (2003), 1--34

    work page 2003

  7. [7]

    Ciocan-Fontanine, The quantum cohomology of flag varieties , Trans

    I. Ciocan-Fontanine, The quantum cohomology of flag varieties , Trans. Amer. Math. Soc. 351 (1999), 2695--2729

    work page 1999

  8. [8]

    Ciocan-Fontanine, On quantum cohomology rings of partial flag varieties, Duke Math

    I. Ciocan-Fontanine, On quantum cohomology rings of partial flag varieties, Duke Math. J. 98 (1999), 485--524

    work page 1999

  9. [9]

    Danila, Sections de la puissance tensorielle du fibr\'e tautologique sur le sch\`ema de Hilbert des points d'une surface , Bull

    G. Danila, Sections de la puissance tensorielle du fibr\'e tautologique sur le sch\`ema de Hilbert des points d'une surface , Bull. Lond. Math. Soc. 39 (2007), 311--316

    work page 2007

  10. [10]

    Ellingsrud, L

    G. Ellingsrud, L. G\"ottsche, M. Lehn, On the cobordism class of the Hilbert scheme of a surface , J. Algebraic Geom. 10 (2001), 81--100

    work page 2001

  11. [11]

    Ito, On birational geometry of the space of parametrized rational curves in Grassmannians, Trans

    A. Ito, On birational geometry of the space of parametrized rational curves in Grassmannians, Trans. Amer. Math. Soc. 369 (2017), 6279--6301

    work page 2017

  12. [12]

    Jow, The effective cone of the space of parametrized rational curves in a Grassmannian , Math

    S.Y. Jow, The effective cone of the space of parametrized rational curves in a Grassmannian , Math. Z., 272 (2012), 947--960

    work page 2012

  13. [13]

    Kim, Quot schemes for flags and Gromov invariants for flag varieties , preprint, arXiv:9512003v1

    B. Kim, Quot schemes for flags and Gromov invariants for flag varieties , preprint, arXiv:9512003v1

    work page

  14. [14]

    Krug, Extension groups of tautological sheaves on Hilbert schemes , J

    A. Krug, Extension groups of tautological sheaves on Hilbert schemes , J. Algebraic Geom. 23 (2014), 571--598

    work page 2014

  15. [15]

    Oprea, S

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

    work page 2023

  16. [16]

    Introduction to twisted commutative algebras

    S. V Sam, A. Snowden, Introduction to twisted commutative algebras , preprint, arXiv:1209.5122v1

    work page internal anchor Pith review Pith/arXiv arXiv

  17. [17]

    Scala, Cohomology of the Hilbert scheme of points on a surface with values in representations of tautological bundles , Duke Math

    L. Scala, Cohomology of the Hilbert scheme of points on a surface with values in representations of tautological bundles , Duke Math. J. 2 (2009), 211--267

    work page 2009

  18. [18]

    Higher symmetric powers of tautological bundles on Hilbert schemes of points on a surface

    L. Scala, Higher symmetric powers of tautological bundles on Hilbert schemes of points on a surface , preprint, arXiv:1502.07595v2

    work page internal anchor Pith review Pith/arXiv arXiv

  19. [19]

    Stark, Cosection localisation and the Quot scheme Quot ^ ( E) , Proc

    S. Stark, Cosection localisation and the Quot scheme Quot ^ ( E) , Proc. A. 478 (2022), Article 20220419

    work page 2022

  20. [20]

    Str mme, On parametrized rational curves in Grassmann varieties , Space curves, Rocca di Papa, 1985, Lecture Notes in Math

    S. Str mme, On parametrized rational curves in Grassmann varieties , Space curves, Rocca di Papa, 1985, Lecture Notes in Math. 1266 (1987), 251--272

    work page 1985

  21. [21]

    Weyman, Cohomology of Vector Bundles and Syzygies , Cambridge University Press (2003)

    J. Weyman, Cohomology of Vector Bundles and Syzygies , Cambridge University Press (2003)

    work page 2003