Abstract:Let $C$ be a smooth projective curve, $E$ a locally free sheaf. Hyperquot schemes on $C$ parametrise flags of coherent quotients of $E$ with fixed Hilbert polynomial, and offer alternative compactifications to the spaces of maps from $C$ to partial flag varieties. Motivated by enumerative geometry, in this paper we construct a perfect obstruction theory (and hence a virtual class and a virtual structure sheaf) on these moduli spaces, which we use to provide criteria for smoothness and unobstructedness. Under these assumptions, we determine their motivic partition function in the Grothendieck ring of varieties, in terms of the motivic zeta function of $C$.

What problem does this paper attempt to address?

The paper mainly investigates the construction of hyperquot schemes on curves, particularly their perfect obstruction theory and motivic invariants. Hyperquot schemes are a generalization of Grothendieck's Quot schemes, which parametrize sequences of flag-type quotients with fixed Hilbert polynomials over curves. In algebraic geometry, these spaces naturally arise as closures of spaces of maps from curves to partial flag varieties. The main achievements of the paper include: 1. Construction of the perfect obstruction theory for hyperquot schemes on curves, leading to the existence of virtual fundamental classes and virtual structure sheaves. These theories enable the study of virtual intersection theory on hyperquot schemes. 2. Computation of the motivic classes of hyperquot schemes in the Grothendieck ring when E is a splittable locally free sheaf and the space is smooth and obstruction-free. The results extend Chen's results on the Poincaré polynomials of hyperquot schemes over (P^1, O⊕r) and discover new smooth instances of hyperquot schemes. 3. Description of the combinations of fixed points of hyperquot schemes and their motivic generating functions when E decomposes as a sum of line bundles, which are related to the motivic ζ functions of curves. 4. Discussion of the applications of these results in enumerative geometry, particularly in virtual invariants, higher-dimensional variations, and connections with Hodge theory and quantum conjugacy theory. The main objective of this paper is to study the geometric properties of hyperquot schemes by introducing the perfect obstruction theory, providing tools for their applications in enumerative geometry, especially in computing various invariants related to curves. Moreover, it explores the connection between rank r theories and rank 1 theories, which is a pattern observed in previous research in other fields.

Hyperquot schemes on curves: virtual class and motivic invariants

Derived hyperquot schemes

Quotients of unstable subvarieties and moduli spaces of sheaves of fixed Harder-Narasimhan type

Hypertoric varieties, $W$-Hilbert schemes, and Coulomb branches

Motivic cohomology of equicharacteristic schemes

Noncommutative Motives I: A Universal Characterization of the Motivic Stable Homotopy Theory of Schemes

Derived categories of Quot schemes of locally free quotients

Motivic classes of curvilinear Hilbert schemes and Igusa zeta functions

Cohomological and motivic inclusion–exclusion

The virtual intersection theory of isotropic Quot Schemes

The geometry of double nested Hilbert schemes of points on curves

Quantum $K$-invariants via Quot schemes I

On the Voevodsky motive of the moduli stack of vector bundles on a curve

Punctual Quot schemes and Cohen--Lenstra series of the cusp singularity

Motivic classes of irregular Higgs bundles and irregular connections on a curve

Cohomologies of Unipotent Harmonic Bundles over Quasi-Projective Varieties I: the Case of Noncompact Curves

Holomorphic Curves in Moduli Spaces Are Quasi-Isometrically Immersed

Scanning the moduli of smooth hypersurfaces

On motives of parabolic Higgs bundles and parabolic connections

Non-equivalences of motivic codimension filtration quotients

Unexpected but recurrent phenomena for Quot and Hilbert schemes of points