In this paper we study the relationship between two different compactifications of the space of vector bundle quotients of an arbitrary vector bundle on a curve. One is Grothendieck's Quot scheme, while the other is a moduli space of stable maps to the relative Grassmannian.
We establish an essentially optimal upper bound on the dimension of the two compactifications. Based on that, we prove that for an arbitrary vector bundle, the Quot schemes of quotients of large degree are irreducible and generically smooth. We precisely describe all the vector bundles for which the same thing holds in the case of the moduli spaces of stable maps. We show that there are in general no natural morphisms between the two compactifications. Finally, as an application, we obtain new cases of a conjecture on effective base point freeness for pluritheta linear series on moduli spaces of vector bundles.
We analyze the relationship between two compactifications of the moduli space of maps from curves to a Grassmannian: the Kontsevich moduli space of stable maps and the Marian--Oprea--Pandharipande moduli space of stable quotients. We construct a moduli space which dominates both the moduli space of stable maps to a Grassmannian and the moduli space of stable quotients, and equip our moduli space with a virtual fundamental class. We relate the virtual fundamental classes of all three moduli spaces using the virtual push-forward formula. This gives a new proof of a theorem of Marian-Oprea-Pandha…
Let $\mathcal{X}$ be a tame proper Deligne-Mumford stack of the form $[M/G]$ where $M$ is a scheme and $G$ is an algebraic group. We prove that the stack $\mathcal{K}_{g,n}(\mathcal{X},d)$ of twisted stable maps is a quotient stack and can be embedded into a smooth Deligne-Mumford stack. When $G$ is finite, we give a more precise construction of $\mathcal{K}_{g,n}(\mathcal{X},d)$ using Hilbert schemes and admissible $G$-covers.
Let $X$ be a projective normal toric variety and $T_0$ a rank one subtorus of the defining torus of $X$. We show that the normalization of the Chow quotient $X//T_0$, in the sense of Kapranov-Sturmfels-Zelevinsky, coarsely represents the moduli space of stable log maps to $X$ with discrete data given by $T_0\subset X$.
The moduli space of holomorphic maps from Riemann surfaces to the Grassmannian is known to have two kinds of compactifications: Kontsevich's stable map compactification and Marian-Oprea-Pandharipande's stable quotient compactification. Over a non-singular curve, the latter moduli space is Grothendieck's Quot scheme. In this paper, we give the notion of `$ε$-stable quotients' for a positive real number $ε$, and show that stable maps and stable quotients are related by the wall-crossing phenomena. We will also discuss Gromov-Witten type invariants associated to $ε$-stable quotients, and investig…
A moduli space of stable quotients of the rank n trivial sheaf on stable curves is introduced. Over nonsingular curves, the moduli space is Grothendieck's Quot scheme. Over nodal curves, a relative construction is made to keep the torsion of the quotient away from the singularities. New compactifications of classical spaces arise naturally: a nonsingular and irreducible compactification of the moduli of maps from genus 1 curves to projective space is obtained. Localization on the moduli of stable quotients leads to new relations in the tautological ring generalizing Brill-Noether constructions…
We show the existence of a full exceptional collection in the graded stable derived category of a Gorenstein isolated quotient singularity using a result of Orlov (arXiv:math/0503632). We also show that the equivariant graded stable derived category of a Gorenstein Veronese subring of a polynomial ring with respect to an action of a finite group has a full strong exceptional collection, even if the corresponding quotient singularity is neither isolated nor Gorenstein.
The set of volumes of stable surfaces does have accumulation points. In this paper, we study this phenomenon for surfaces with one cyclic quotient singularity, towards answering the question under which conditions we can still have boundedness. Effective bounds allow listing singularities that might appear on a stable surface after fixing its invariants. We find optimal inequalities for stable surfaces with one cyclic quotient singularity, which can be used to prove boundedness under certain conditions. We also introduce the notion of generalized T-singularity, which is a natural generalizatio…
Stable quotient spaces provide an alternative to stable maps for compactifying spaces of maps. When the target is projective space and the domain curve has genus 1, these are smooth proper Deligne-Mumford stacks. In this paper we study the associated coarse moduli schemes. We show these schemes are projective, rationally connected and have Picard number 2. Then we give generators for the Picard group, compute the canonical divisor, and the cones of ample and effective divisors. In certain cases, we also give a closed formula for the Poincaré polynomial.
The moduli space of stable quotients introduced by Marian-Oprea-Pandharipande provides a natural compactification of the space of morphisms from nonsingular curves to a nonsingular projective variety and carries a natural virtual class. We show that the analogue of Givental's J-function for the resulting twisted projective invariants is described by the same mirror hypergeometric series as the corresponding Gromov-Witten invariants (which arise from the moduli space of stable maps), but without the mirror transform (in the Calabi-Yau case). This implies that the stable quotients and Gromov-Wit…
On a smooth projective threefold, we construct an essentially surjective functor $\mathcal{F}$ from a category of two-term complexes to a category of quotients of coherent sheaves, and describe the fibers of this functor. Under a coprime assumption on rank and degree, the domain of $\mathcal{F}$ coincides with the category of higher-rank PT stable objects, which appear on one side of Toda's higher-rank DT/PT correspondence formula. The codomain of $\mathcal{F}$ is the category of objects that appear on one side of another correspondence formula by Gholampour-Kool, between the generating series…
For a smooth projective variety $X$, we study analogs of Quot functors in hearts of non-standard $t$-structures of $D^b(\mathrm{Coh}(X))$. The technical framework is that of families of $t$-structures, as studied in arXiv:1902.08184. We provide several examples and suggest possible directions of further investigation, as we reinterpret moduli spaces of stable pairs, in the sense of Thaddeus (arXiv:alg-geom/9210007) and Huybrechts-Lehn (arXiv:alg-geom/9211001), as instances of Quot schemes.
Let K be a compact Lie group and fix an invariant inner product on its Lie algebra. Given a Hamiltonian action of K on a compact symplectic manifold X, the normsquare of the moment map defines a Morse stratification of X by locally closed symplectic submanifolds such that the stratum to which any x in X belongs is determined by the limiting behaviour of its downwards trajectory under the gradient flow with respect to a suitably compatible Riemannian metric on X. The open stratum indexed by 0 retracts K-equivariantly via this gradient flow to the minimum which is the zero-locus of the moment ma…
We extend the methods of geometric invariant theory to actions of non--reductive groups in the case of homomorphisms between decomposable sheaves whose automorphism groups are non--reductive. Given a linearization of the natural action of the group $\Aut(E)\times\Aut(F)$ on Hom(E,F), a homomorphism is called stable if its orbit with respect to the unipotent radical is contained in the stable locus with respect to the natural reductive subgroup of the automorphism group. We encounter effective numerical conditions for a linearization such that the corresponding open set of semi-stable homomorph…
Let X_n := \bar M_{0,n}, the moduli space of n-pointed stable genus zero curves, and let X_{n,m} be the quotient of X_n by the action of the symmetric group S_{n-m} on the last n-m marked points. The cones of effective divisors of X_{n,m}, m = 0,1,2, are calculated. Using this, upper bounds for the cones Mov(X_{n,m}) generated by divisors with moving linear systems are calculated, m = 0,1, along with the induced bounds on the cones of ample divisors of \bar M_g and \bar M_{g,1}. As an application, the cone of effective divisors of \bar M_{2,1} is analyzed in detail.
We construct new compactifications with good properties of moduli spaces of maps from nonsingular marked curves to a large class of GIT quotients. This generalizes from a unified perspective many particular examples considered earlier in the literature.
In this paper, we establish two results concerning algebraic $(\mathbb{C},+)$-actions on $\mathbb{C}^n$. First let $ϕ$ be an algebraic $(\mathbb{C},+)$-action on $\mathbb{C}^3$. By a result of Miyanishi, its ring of invariants is isomorphic to $\mathbb{C}[t_1,t_2]$. If $f_1,f_2$ generate this ring, the quotient map of $ϕ$ is the map $F:\mathbb{C}^3\to \mathbb{C}^2$, $x\mapsto (f_1(x),f_2(x))$. By using some topological arguments, we prove that $F$ is always surjective. Second, we are interested in dominant polynomial maps $F:\mathbb{C}^n\to \mathbb{C}^{n-1}$ whose connected components of their…
We introduce complete quotients over the projective line and prove that they form smooth projective varieties. The resulting parameter spaces coincide with the varieties constructed in [HLS11] and [Shao11]. Hence they provide modular smooth compactifications with normal crossing boundaries of the spaces of algebraic maps from the projective line to Grassmannian varieties.
Several natural complex configuration spaces admit surprising uniformizations as arithmetic ball quotients, by identifying each parametrized object with the periods of some auxiliary object. In each case, the theory of canonical models of Shimura varieties gives the ball quotient the structure of a variety over the ring of integers of a cyclotomic field. We show that the (transcendentally-defined) period map actually respects these algebraic structures, and thus that occult period maps are arithmetic. As an intermediate tool, we develop an arithmetic theory of lattice-polarized K3 surfaces.
We prove that if $m \ge n-3$ then every $S_m$-invariant F-nef divisor on the moduli space of stable $n$-pointed curves of genus zero is linearly equivalent to an effective combination of boundary divisors. As an application, we determine the Mori cone of the moduli spaces of stable curves of small genus with few marked points.
We use mirror formulas for the stable quotients analogue of Givental's J-function for twisted projective invariants obtained in a previous paper to obtain mirror formulas for the analogues of the double and triple Givental's J-functions (with descendants at all marked points) in this setting. We then observe that the genus 0 stable quotients invariants need not satisfy the divisor, string, or dilaton relations of the Gromov-Witten theory, but they do possess the integrality properties of the genus 0 three-point Gromov-Witten invariants of Calabi-Yau manifolds. We also relate the stable quotien…
Let $E$ be a rank 2, degree $d$ vector bundle over a genus $g$ curve $C$. The loci of stable pairs on $E$ in class $2[C]$ fixed by the scaling action are expressed as products of $\Quot$ schemes. Using virtual localization, the stable pairs invariants of $E$ are related to the virtual intersection theory of $\Quot E$. The latter theory is extensively discussed for an $E$ of arbitrary rank; the tautological ring of $\Quot E$ is defined and is computed on the locus parameterizing rank one subsheaves. In case $E$ has rank 2, $d$ and $g$ have opposite parity, and $E$ is sufficiently generic, it is…
We study the Fulton-Macpherson operational Chow rings of good moduli spaces of properly stable, smooth, Artin stacks. Such spaces are étale locally isomorphic to geometric invariant theory quotients of affine schemes, and are therefore natural extensions of GIT quotients. Our main result is that, with rational coefficients, every operational class can be represented by a so-called topologically strong cycle on the corresponding stack. Moreover, this cycle is unique modulo rational equivalence on the stack. Using out methods, we prove that if $X$ is the good moduli space of a properly stable, s…
The moduli space $\bar{M}_{0,n}$ of Deligne-Mumford stable n-pointed rational curves admits morphisms to spaces recently constructed by Giansiracusa, Jensen, and Moon that we call Veronese quotients. We study divisors on $\bar{M}_{0,n}$ associated to these maps and show that these divisors arise as first Chern classes of vector bundles of conformal blocks.
Given a variety defined over a field of characteristic zero and an algebraically integrable foliation of corank less than or equal to two, we show the existence of a categorical quotient, defined on the non-empty open set of stable points, through which every invariant morphism factors uniquely.
Some ball-quotient orbifolds are related by covering maps. We exploit these coverings to find infinite towers of orbifolds uniformized by the complex 2-ball and some orbifolds over K3 surfaces uniformized by the 2-ball. Corresponding lattices are all arithmetic and commensurable. We also give, along with infinitely many reducible examples, an infinite series of irreducible curves along which the projective plane is uniformized by the product of two 1-balls.
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.
The Chow quotient of a toric variety by a subtorus, as defined by Kapranov-Sturmfels-Zelevinsky, coarsely represents the main component of the moduli space of stable toric varieties with a map to a fixed projective toric variety, as constructed by Alexeev and Brion. We show that, after endowing both spaces with the structure of a logarithmic stack, the resulting spaces are isomorphic. Along the way, we construct the Chow quotient stack and demonstrate several properties that it satisfies.
In the case of two-dimensional cyclic quotient singularities, we classify all one-parameter toric deformations in terms of certain Minkowski decompositions. In particular, we describe to which components each such deformation maps, show how to induce each deformation from a versal family, give explicit equations for each deformation, describe the singularities in the general fibers, and construct the corresponding partial simultaneous resolutions.
This paper provides a GIT construction of the Moduli Space of Stable Maps as a GIT quotient of the Graph Space by SL(2,C). As a corollary, we get a birational map from the 0-pointed Moduli Space to a projective variety.
There is a well-known stratification of the moduli space $M_g$ of Deligne-Mumford stable curves of genus $g$ by the loci of stable curves with a fixed number $i$ of nodes, where $i \le 3g-3$. The associated moduli stack ${\cal M}_g$ admits an analogous stratification. Our main objects of study are those one-dimensional substacks of the moduli stack, which are the irreducible components of the stratum corresponding to stable curves with exactly $3g-4$ nodes. We describe these substacks explicitely as quotient stacks, and relate them to other, and simpler, moduli stacks of (permutation classes o…
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 describe a new approach to the definition of the moduli functor of stable varieties. While there is wide agreement as to what classes of varieties should appear, the notion of a family of stable surfaces is quite subtle, as key numerical invariants may fail to be constant in flat families. Our approach is to add natural stack structure to stable varieties. For example, given a canonical model we take the global-quotient stack structure arising from its realization as Proj of the canonical ring. Deformations of the stack structure preserve key numerical invariants of the stable variety, incl…
The evaluation stack for minimal logarithmic stable maps is constructed, parameterizing families of standard log points in the target log scheme. This construction provides the ingredients necessary to define appropriate evaluation maps for minimal log stable maps and establish the logarithmic Gromov-Witten theory of a log-smooth Deligne- Faltings log scheme.
We find locally free resolutions of length one for all semi-stable sheaves supported on curves of multiplicity five in the complex projective plane. In some cases we also find geometric descriptions of these sheaves by means of extensions. We give natural stratifications for their moduli spaces and we describe the strata as certain quotients modulo linear algebraic groups. In most cases we give concrete descriptions of these quotients as fibre bundles.
We describe the GIT compactification for the moduli space of smooth quintic surfaces in projective space. In particular, we show that a normal quintic surface with at worst an isolated double point or a minimal elliptic singularity is stable. We also describe the boundary of the GIT quotient, and we discuss the stability of the non-normal surfaces.
In this note we give a definition of stable maps into the classifying stack $\BGL_r$ of the general linear group. To support our belief that the definition is the correct one, we show that there are natural boundary morphisms between the moduli groupoids parameterizing stable maps to $\BGL_r$.
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 prove a virtual localization formula for Bumsig Kim's space of logarithmic stable maps. The formula is closely related and can in fact recover the relative virtual localization formula of Graber and Vakil.
Let $ \Bbbk$ be a field of arbitrary characteristic, $A$ a Noetherian $ \Bbbk$-algebra and consider the polynomial ring $A[\mathbf x]=A[x_0,\dots,x_n]$. We consider homogeneous submodules of $A[\mathbf x]^m$ having a special set of generators: a marked basis over a quasi-stable module. Such a marked basis inherits several good properties of a Gröbner basis, including a Noetherian reduction relation. The set of submodules of $A[\mathbf x]^m$ having a marked basis over a given quasi-stable module has an affine scheme structure that we are able to exhibit. Furthermore, the syzygies of a module ge…
We give an explicit description of the Godeaux surfaces that admit an involution such that the quotient surface is birational to an Enriques surface; these surfaces give a 6-dimensional unirational irreducible subset of the moduli space of surfaces of general type. In addition, we describe the Enriques surfaces that are birational to the quotient of a Godeaux surface by an involution and we show that they give a 5-dimensional unirational irreducible subset of the moduli space of Enriques surfaces. Finally, by degenerating our description we obtain some examples of non-normal stable Godeaux sur…
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.
It is known that the main component of the Kontsevich's moduli space of elliptic stable maps is singular. There are two different desingularizations. One is Vakil-Zinger's desingularization and the other is the moduli space of logarithmic stable maps. When the degree is less then or equal to 3 and the target is $\mathbb{P}^{n}$, we show that the moduli space of logarithmic stable maps can be obtained by blowing up Vakil-Zinger's desingularization.
By using Oprea's Bialynicki-Birula decomposition for the stack of genus zero stable maps to flag manifolds. We calculate the Poincaré polynomial of the moduli space in degree one and degree two.
In this paper we provide some stability criteria for systems of linear subspaces of $V \otimes W$ and for systems of quotient coherent sheaves, using, respectively, the Hilbert-Mumford numerical criterion and moment map. Along the way, we generalize the Gelfand-MacPherson correspondence [11] from point sets to sets of linear subspaces (of various dimensions). And, as an application, we provide some examples of $G$-ample cones without any top chambers. The results of this paper are based upon and/or generalize some earlier works of Klyachko [18], Totaro [28], Gelfand-MacPherson [11], Kapranov […
We prove that the orbifold desingularization of the moduli space of stable maps of genus g = 1 recently constructed by Vakil and Zinger has vanishing rational cohomology groups in odd degree k < 10.
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.
Using the equivariant virtual cycle of the moduli space of stable maps to [C/Z_r], or equivalently, the vanishing of high-degree Chern classes of a certain vector bundle over the moduli space of stable maps to BZ_r, we derive relations in the Chow ring of Mbar_{g,n}(BZ_r,0). These push forward to yield tautological relations on Mbar_{g,n}.
Let C be a smooth projective curve over the field of the complex numbers. We consider Brill-Noether loci over the moduli of maps from C to the Grassmannian G(m,n) and the corresponding Quot schemes of quotients of a trivial vector bundle on C compactifying the spaces of morphisms. We study in detail the case in which m=2, n=4. We prove results on the irreducibility and dimension of these Brill-Noether loci and we address explicit formulas for their cohomology classes. We study the existence problem of these spaces which is closely related with the problem of classification of vector bundles ov…
In this paper, we prove the moduli spaces of genus zero stable log maps to a large class of wonderful compactifications are irreducible and unirational.
We shall show that the stable categories of graded Cohen-Macaulay modules over quotient singularities have tilting objects. In particular, these categories are triangle equivalent to derived categories of finite dimensional algebras. Our method is based on higher dimensional Auslander-Reiten theory, which gives cluster tilting objects in the stable categories of (ungraded) Cohen-Macaulay modules.
In this paper, for any simple, simply connected algebraic group $G$ of type $B_n,C_n$ or $D_n$ and for any maximal parabolic subgroup $P$ of $G$, we describe all minimal dimensional Schubert varieties in $G/P$ admitting semistable points for the action of a maximal torus $T$ with respect to an ample line bundle on $G/P$. In this paper, we also describe, for any semi-simple simply connected algebraic group $G$ and for any Borel subgroup $B$ of $G$, all Coxeter elements $τ$ for which the Schubert variety $X(τ)$ admits a semistable point for the action of the torus $T$ with respect to a non-trivi…
