Given an affine scheme X with an action of a reductive group G and a G-linearized coherent sheaf M, we construct the ``invariant Quot scheme'' that parametrizes the quotients of M whose space of global sections is a direct sum of simple G-modules with fixed finite multiplicities.
Then we determine the invariant Quot scheme in a simple situation, where X is the cone of primitive vectors of a simple G-module and M is the free sheaf on X generated by another simple G-module. This invariant Quot scheme has only one point, that is reduced in most of the cases. The only cases where it is not reduced occur when X is the cone of primitive vectors of a quadratic vector space V of odd dimension, under the action of Spin(V).
Derived categories of Quot schemes on smooth curves and tautological bundles
The Abdus Salam International Centre for Theoretical Physics（阿卜杜斯·萨拉姆国际理论物理中心）；Department of Mathematics, Northeastern University（东北大学数学系）；École Polytechnique Fédérale de Lausanne (EPFL)（洛桑联邦理工学院）；Simion Stoilow Institute of Mathematics (IMAR)（西奥多·斯托伊洛瓦数学研究所）
For a finite subgroup $Γ\subset {\mathrm{SL}}(2,\mathbb{C})$, we identify fine moduli spaces of certain cornered quiver algebras, defined in earlier work, with orbifold Quot schemes for the Kleinian orbifold $[\mathbb{C}^2/Γ]$. We also describe the reduced schemes underlying these Quot schemes as Nakajima quiver varieties for the framed McKay quiver of $Γ$, taken at specific non-generic stability parameters. These schemes are therefore irreducible, normal and admit symplectic resolutions. Our results generalise our previous work on the Hilbert scheme of points on $\mathbb{C}^2/Γ$; we present a…
The cohomology of the Quot scheme on a smooth curve as a Yangian representation
The Abdus Salam International Centre for Theoretical Physics（阿卜杜斯·萨拉姆国际理论物理中心）；Northeastern University（东北大学）；École Polytechnique Fédérale de Lausanne (EPFL)（洛桑联邦理工学院）；Simion Stoilow Institute of Mathematics (IMAR)（西蒙·斯托伊洛数学研究所）
This paper studies the geometric and algebraic aspects of the moduli spaces of quivers of fence type. We first provide two quotient presentations of the quiver varieties and interpret their equivalence as a generalized Gelfand-MacPherson correspondence. Next, we introduce parabolic quivers and extend the above from the actions of reductive groups to the actions of parabolic subgroups. Interestingly, the above geometry finds its natural counterparts in the representation theory as the branching rules and transfer principle in the context of the reciprocity algebra. The last half of the paper es…
Using the geometric quotient of a real algebraic set by the action of a finite group G, we construct invariants of GAS sets with respect to equivariant homeomorphisms with AS-graph, including additive invariants with values in Z.
We prove Qingyuan Jiang's conjecture on semiorthogonal decompositions of derived categories of Quot schemes of locally free quotients. The author's result on categorified Hall products for Grassmannian flips is applied to prove the conjecture.
We describe the closed strata that defines certain Quot schemes as closed subschemes in Grassmannians. The Quot schemes we consider are those parametrizing finite length $n$ quotient sheaves of the free, rank $p$ sheaf on projective $r$-space.
We compute the Euler characteristics of tautological vector bundles and their exterior powers over the Quot schemes of curves. We give closed-form expressions over punctual Quot schemes in all genera. For higher rank quotients of a trivial vector bundle, we obtain answers in genus zero. We also study the Euler characteristics of the symmetric powers of the tautological bundles, for rank zero quotients.
Given a locally free coherent sheaf on a smooth algebraic surface, we consider the Quot-scheme parametrizing zero-dimensional quotients of the sheaf and find the corresponding motivic class in the Grothendieck ring of algebraic varieties.
We construct a symplectic analog of the Quot scheme that parametrizes the torsion quotients of a trivial vector bundle over a compact Riemann surface. Some of its properties are investigated.
Let $k$ be an algebraically closed field. Let $C$ be an irreducible smooth projective curve over $k$. Let $E$ be a locally free sheaf on $C$ of rank $\geq 2$. Fix an integer $d \geq 2$. Let $\mathcal{Q}$ denote the Quot scheme parameterizing torsion quotients of $E$ of degree $d$. In this article we compute the $S$-fundamental group scheme of $\mathcal{Q}$.
We prove the existence of semiorthogonal decompositions of derived categories of Quot schemes of zero-dimensional quotients on curves in terms of derived categories of symmetric products of curves. The above result is a categorical analogue of a similar formula for the class of Quot schemes in the Grothendieck ring of varieties by Bagnarol-Fantechi-Perroni. It is a special case of a more general Quot formula of relative dimension one, which is regarded as a Bosonic counterpart of the Quot formula conjectured by Jiang and proved by the author. The proof involves categorical wall-crossing formul…
Let $\mathcal{E}$ be a locally free sheaf of rank $r$ on a smooth projective surface $S$. The Quot scheme $\mathrm{Quot}^{l}_{S}(\mathcal{E})$ of length $l$ coherent sheaf quotients of $\mathcal{E}$ is a natural higher rank generalization of the Hilbert scheme of $l$ points of $S$. We study the virtual intersection theory of this scheme. If $C\subset S$ is a smooth canonical curve, we use cosection localization to show that the virtual fundamental class of $\mathrm{Quot}^{l}_{S}(\mathcal{E})$ is $(-1)^{l}$ times the fundamental class of the smooth subscheme $\mathrm{Quot}^{l}_{C}(\mathcal{E}\v…
We construct a virtual fundamental class on the Quot scheme parametrizing quotients of a trivial bundle on a curve. We use the virtual localization formula to calculate virtual intersection numbers on Quot. As a consequence, we reprove the Vafa-Intriligator formula; our answer is valid even when the Quot scheme is badly behaved. More intersections are computed by the same method. Finally, we present an application to the non-vanishing of the Pontrjagin ring of the moduli space of bundles.
We study Quot schemes of vector bundles on algebraic curves. Marian and Oprea gave a description of a topological quantum field theory (TQFT) studied by Witten in terms of intersection numbers on Quot schemes of trivial bundles. Since these Quot schemes can have the wrong dimension, virtual classes are required. But Quot schemes of general vector bundles always have the right dimension. Using the degree of the general vector bundle as an additional parameter, we construct a weighted TQFT containing both Witten's TQFT and the small quantum cohomology TQFT of the Grassmannian. This weighted TQFT…
We study virtual invariants of Quot schemes parametrizing quotients of dimension at most 1 of the trivial sheaf of rank N on nonsingular projective surfaces. We conjecture that the generating series of virtual K-theoretic invariants are given by rational functions. We prove rationality for several geometries including punctual quotients for all smooth projective surfaces and dimension 1 quotients for surfaces X with p_g>0. We also show that the generating series of virtual cobordism classes can be irrational. Given a K-theory class on X of rank r, we associate natural series of virtual Segre a…
Isotropic Quot schemes parameterize rank $r$ isotropic subsheaves of a vector bundle equipped with symplectic or symmetric quadratic form. We define a virtual fundamental class for isotropic Quot schemes over smooth projective curves. Using torus localization, we prescribe a way to calculate top intersection numbers of tautological classes, and obtain explicit formulas when $r=2$. These include and generalize the Vafa-Intriligator formula. In this setting, we compare the Quot scheme invariants with the invariants obtained via the stable map compactification.
We prove a formula for Chow groups of $Quot$-schemes which resolve degeneracy loci of a map between vector bundles, under expected dimension conditions. This result provides a unified way to understand known formulae for various geometric situations such as blowups, Cayley's trick, projectivizations, Grassmannian bundles, flops from Springer type resolutions, as well as provide new phenomena such as formulae for Grassmannain type flips/flops and virtual flips. We also give applications to blowups of determinantal ideals, moduli spaces of linear series on curves, and Hilbert schemes of points o…
Using Quot schemes and a localization theorem we study Gromov-Witten invariants for partial flag varieties. The strategy is to extend A. Bertram's result of Gromov-Witten invariants for special Schubert varieties of Grassmannians to the case of partial flag varieties. To do so a Grothendieck's Quot scheme is generalized for flags and proven to be an irreducible, rational, smooth, projective variety following Strømme \cite{St}.
Quot schemes of quotients of a trivial bundle of arbitrary rank on a nonsingular projective surface X carry perfect obstruction theories and virtual fundamental classes whenever the quotient sheaf has at most 1-dimensional support. The associated generating series of virtual Euler characteristics was conjectured to be a rational function when X is simply connected. We conjecture here the rationality of more general descendent series with insertions obtained from the Chern characters of the tautological sheaf. We prove the rationality of descendent series in Hilbert scheme cases for all curve c…
We compute tautological integrals over Quot schemes on curves and surfaces. After obtaining several explicit formulas over Quot schemes of dimension 0 quotients on curves (and finding a new symmetry), we apply the results to tautological integrals against the virtual fundamental classes of Quot schemes of dimension 0 and 1 quotients on surfaces (using also universality, torus localization, and cosection localization). The virtual Euler characteristics of Quot schemes of surfaces, a new theory parallel to the Vafa-Witten Euler characteristics of the moduli of bundles, is defined and studied. Co…
For any locally free coherent sheaf on a fixed smooth projective curve, we study the class, in the Grothendieck ring of varieties, of the Quot scheme that parametrizes zero-dimensional quotients of the sheaf. We prove that this class depends only on the rank of the sheaf and on the length of the quotients. As an application, we obtain an explicit formula that expresses it in terms of the symmetric products of the curve.
Let $X$ be a smooth variety, $E$ a locally free sheaf on $X$. We express the generating function of the motives $[\textrm{Quot}_X(E,n)]$ in terms of the power structure on the Grothendieck ring of varieties. This extends a recent result of Bagnarol, Fantechi and Perroni for curves, and a result of Gusein-Zade, Luengo and Melle-Hernández for Hilbert schemes. We compute this generating function for curves and we express the relative motive $[\textrm{Quot}_{\mathbb A^d}(\mathscr{O}^{\oplus r}) \to \textrm{Sym}\, \mathbb A^d]$ as a plethystic exponential.
We construct good degenerations of Quot-schemes and coherent systems using the stack of expanded degenerations. We show that these good degenerations are separated and proper DM stacks of finite type. Applying to the projective threefolds, we derive degeneration formulas for DT-invariants of ideal sheaves and PT stable pair invariants.
Let $E$ be a vector bundle of rank $n$ on $\mathbb{P}^1$. Fix a positive integer $d$. Let $\mathcal{Q}(E,d)$ denote the Quot scheme of torsion quotients of $E$ of degree $d$ and let $Gr(E,d)$ denote the Grassmann bundle that parametrizes the $d$-dimensional quotients of the fibers of $E$. We compute Seshadri constants of ample line bundles on $\mathcal{Q}(E,d)$ and $Gr(E,d)$.
Fix a scheme $X$ over a field of characteristic zero that is equipped with an action of a reductive algebraic group $G$. We give necessary and sufficient conditions for a $G$-equivariant coherent sheaf on $X$ or a bounded-above complex of $G$-equivariant coherent sheaves on $X$ to descend to a good quotient $X//G$. This gives a description of the coherent derived category of $X//G$ as an admissible subcategory of the equivariant derived category of $X$.
We prove that, given integers $m\geq 3$, $r\geq 1$ and $n\geq 0$, the moduli space of torsion free sheaves on $\mathbb P^m$ with Chern character $(r,0,\ldots,0,-n)$ that are trivial along a hyperplane $D \subset \mathbb P^m$ is isomorphic to the Quot scheme $\mathrm{Quot}_{\mathbb A^m}(\mathscr O^{\oplus r},n)$ of $0$-dimensional length $n$ quotients of the free sheaf $\mathscr O^{\oplus r}$ on $\mathbb A^m$.
We prove that the Quot-scheme of finite quotients of a vector bundle which are of a given length and supported in one point, is irreducible and of the expected dimension.
This paper studies schemes X defined over a field of characteristic p>0 which admit a nontrivial $α_p$ or $μ_p$ action. In particular, the structure of the quotient map $X \rightarrow Y$ is investigated. Information on local properties of the quotient Y, as singularities and local Picard groups, structure theorems for the quotient map and adjunction formulas for the quotient map are obtained.
The punctual Quot scheme parametrizes all length d quotients of a (locally) trivial rank r sheaf which are supported at a fixed point. The author shows that this scheme is irreducible and (rd-1)-dimensional. The same result was proved independently by Ellingsrud and Lehn.
We study Le Potier's strange duality on del Pezzo surfaces using quot schemes to construct independent sections of theta line bundles on moduli spaces of sheaves, one of which is the Hilbert scheme of n points. For n at most 7, we use multiple point formulas to count the length of the quot scheme, which agrees with the dimension of the space of sections on the Hilbert scheme. When the surface is the projective plane and n is arbitrary, we use nice resolutions of general stable sheaves to show that the quot schemes that arise are finite and reduced. Combining our results, we obtain a lower boun…
We give an ADHM description of the Quot scheme of points ${\rm Quot}_{\mathbb{C}^{n}}(c,r),$ of length $c$ and rank $r$ on affine spaces $\mathbb{C}^{n}$ which naturally extends both Baranovsky's representation of the punctual Quot scheme on a smooth surface and the Hilbert scheme of points on affine spaces $\mathbb{C}^{n},$ described by the first author and M. Jardim. Using results on the variety of commuting matrices, and combining them with our construction, we prove new properties concerning irreducibility and reducedness of ${\rm Quot}_{\mathbb{C}^{n}}(c,r)$ and its punctual version ${\rm…
This is an expository account of Grothendieck's construction of Hilbert and Quot Schemes, following his talk `Techniques de construction et theoremes d'existence en geometrie algebriques IV : les schemas de Hilbert', Seminaire Bourbaki 221 (1960/61), together with further developments by Mumford and by Altman and Kleiman. Hilbert and Quot schemes are fundamental to modern Algebraic Geometry, in particular, for deformation theory and moduli constructions. These notes are based on a series of six lectures in the summer school `Advanced Basic Algebraic Geometry', held at the Abdus Salam Internati…
For a simple, rigid vector bundle $F$ on a Calabi-Yau $3$-fold $Y$, we construct a symmetric obstruction theory on the Quot scheme $\textrm{Quot}_Y(F,n)$, and we solve the associated enumerative theory. We discuss the case of other $3$-folds. Exploiting the critical structure on $\textrm{Quot}_{\mathbb A^3}(\mathscr O^r,n)$, we construct a virtual motive (in the sense of Behrend-Bryan-Szendrői) for $\textrm{Quot}_Y(F,n)$ for an arbitrary vector bundle $F$ on a smooth $3$-fold $Y$. We compute the associated motivic partition function. We obtain new examples of higher rank (motivic) Donaldson-Th…
We consider a class of tautological top intersection products on the moduli space of stable pairs consisting of semistable vector bundles together with N sections on a smooth complex projective curve C. We show that when N is large, these intersection numbers can equally be computed on the Grothendieck Quot scheme of coherent sheaf quotients of the rank N trivial sheaf on C. The result has applications to the calculation of the intersection theory of the moduli space of semistable bundles on C.
We prove a non abelian Torelli type result for smooth projective curves by working in the derived category of some associated polarized Quot schemes and defining Brill-Noether loci and Abel-Jacobi maps on them.
We define a derived enhancement of the classical quot functor of quotients associated to a coherent sheaf on a nonsingular quasiprojective variety. We prove its representability and show that it has the expected tangent complex. The derived quot scheme of points can be covered by affine charts obtained as spectra of commutative graded differential algebras (cdgas) and we compute an example. As a demonstration of the usefulness of this presentation, we write down an explicit shifted form on this example and conjecture that it agrees with the shifted symplectic structure on the derived stack of …
We prove the algebraicity of the Hilbert functor, the Hilbert stack, the Quot functor and the stack of coherent sheaves on an algebraic stack X with (quasi-)finite diagonal without any finiteness assumptions on X. We also give similar results for Hom stacks and Weil restrictions.
We consider the quot scheme $\mathrm{Quot}^d_{\mathcal F^r/ \mathbb P^1/ k}$ of locally free quotients of $\mathcal F^r:= \bigoplus ^{ r} \mathcal O_{\mathbb P^1 }$ with Hilbert polynomial $p(t)=d$. We prove that it is a smooth variety of dimension $dr$, locally isomorphic to $\mathbb A^{dr}$. We introduce a new notion of support for modules in $\mathrm{Quot}^d_{\mathcal F^r/ \mathbb P^1/ k}$, called Hilb-support that allows us to define a natural surjective morphism of schemes $ξ:\mathrm{Quot}^d_{\mathcal F^r/ \mathbb P^1/ k} \to \mathrm{Hilb}^d_{\mathcal O_{\mathbb P^1}} $ associating to eac…
Let $C$ be a complex projective smooth curve and $W$ a symplectic vector bundle of rank $2n$ over $C$. The Lagrangian Quot scheme $LQ_{-e}(W)$ parameterizes subsheaves of rank $n$ and degree $-e$ which are isotropic with respect to the symplectic form. We prove that $LQ_{-e}(W)$ is irreducible and generically smooth of the expected dimension for all large $e$, and that a generic element is saturated and stable.
Realizing a part of the Derived Deformation Theory program, we construct a "derived" analog of the Grothendieck's Quot scheme parametrizing subsheaves in a given coherent sheaf F on a smooth projective variety X. This analog is a differential graded manifold RQuot_h(F) (so it is always smooth in an appropriate sense) whose tangent space at a point represented by a subsheaf K in F, is a cochain complex quasiisomorphic to RHom(K, F/K).
Let $X$ be a smooth projective surface over an algebraically closed field $k$ such that $char(k) \neq 2$. Let $X^{[d]}$ denote the punctual Hilbert scheme of zero dimensional quotients of degree $d$ and $X^{(d)}$ denote the symmetric product of $X$. For $\ell \neq 2$, we give a formula for the $\ell$-primary part of the Brauer group of $X^{[2]}$. We show that the Hilbert to Chow morphism induces an isomorphism of cohomological Brauer groups for $d=2$ and a similar result for $d \geq 3$. Let $Q(r,d)$ denote the punctual Quot-scheme parametrising zero dimensional quotients of $\mathcal{O}_X^{ \o…
Let $E$ be a vector bundle over a smooth curve $C$, and $S = \mathbb{P} E$ the associated projective bundle. We describe the inflectional loci of certain projective models $ψ\colon S \dashrightarrow \mathbb{P}^n$ in terms of Quot schemes of $E$. This gives a geometric characterisation of the Segre invariant $s_1 (E)$, which leads to new geometric criteria for semistability and cohomological stability of bundles over $C$. We also use these ideas to show that for general enough $S$ and $ψ$, the inflectional loci are all of the expected dimension. An auxiliary result, valid for a general subvarie…
We investigate the variety of commuting matrices. We classify its components for any number of matrices of size at most 7. We prove that starting from quadruples of size 8 matrices, this scheme has generically nonreduced components, while up to degree 7 it is generically reduced. Our approach is to recast the problem as deformations of modules and generalize an array of methods: apolarity, duality and Białynicki-Birula decompositions to this setup. We include a thorough review of our methods to make the paper self-contained and accessible to both algebraic and linear-algebraic communities. Our…
Let $k$ be an algebraically closed field of characteristic zero. Let $S$ be a smooth projective variety over $k$ and let $p_S:X\rightarrow S$ be a family of smooth projective curves over $S$. Let $E$ be a vector bundle over $X$. For $s\in S$ let $X_s$ be the fibre of $p_S$ over $s$ and let $E_s$ be the restriction of $E$ to $X_s$. Fix $d\geq 1$. Let $\mathcal Q(E,d)\to S$ be the relative Quot scheme parameterizing torsion quotients of $E_s$ over $X_s$ of degree $d$ for all $s\in S$. In this article we compute the identity component of relative automorphism group scheme which parameterizes auto…
