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 construct small desingularizations of moduli spaces of semistable quiver representations for indivisible dimension vectors using deformations of stabilites and a dimension estimate for nullcones. We apply this construction to several classes of GIT quotients.
We study moduli spaces of certain sextic curves with a singularity of multiplicity 3 from both perspectives of Deligne-Mostow theory and periods of K3 surfaces. In both ways we can describe the moduli spaces via arithmetic quotients of complex hyperbolic balls. We show in Theorem 7.4 that the two ball-quotient constructions can be unified in a geometric way.
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…
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 provide a general method for computing rational Chow rings of moduli of smooth complete intersections. We specialize this result in different ways: to compute the integral Picard group of the associated stack ; to obtain an explicit presentation of rational Chow rings of moduli of smooth complete intersections of codimension two; to prove old and new results on moduli of smooth curves of genus $\leq 5$ and polarized K3 surfaces of degree $\leq 8$.
This is a note on calculating intersection numbers on moduli spaces of curves. A codimension 3 relation among tautological classes on the moduli space of genus 4 curves is given.
Motivated by constructing moduli spaces of unstable objects, we use new ideas in non-reductive GIT to construct quotients by parabolic group actions. For moduli problems with semistable moduli spaces constructed by reductive GIT, we consider associated instability (or HKKN) stratifications, which are often closed related to Harder-Narasimhan stratifications, and construct quotients of the unstable strata under various stabiliser assumptions by further developing ideas of non-reductive GIT. Our approach is to construct parabolic quotients in stages, in order for the required stabiliser assumpti…
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.
Recent results in geometric invariant theory (GIT) for non-reductive linear algebraic group actions allow us to stratify quotient stacks of the form [X/H], where X is a projective scheme and H is a linear algebraic group with internally graded unipotent radical acting linearly on X, in such a way that each stratum [S/H] has a geometric quotient S/H. This leads to stratifications of moduli stacks (for example, sheaves over a projective scheme) such that each stratum has a coarse moduli space.
We establish the Airy curve case of a conjecture of Gukov and Sułkowski by reducing to Dijkgraaf-Verlinde-Verlinde Virasoro constraints satisfied by the intersection numbers on moduli spaces of algebraic curves.
We give an algebro-geometric derivation of the known intersection theory on the moduli space of stable rank 2 bundles of odd degree over a smooth curve of genus g. We lift the computation from the moduli space to a Quot scheme, where we obtain the intersections by equivariant localization with respect to a natural torus action.
We compute Betti numbers of both the components of the moduli space of rank 2 semi-stable torsion-free sheaves with fixed determinant over a reducible nodal curve with two smooth components intersecting at a node. We also compute the intersection Betti numbers of the moduli space.
This paper applies the decomposition theorem in intersection cohomology to geometric invariant theory quotients, relating the intersection cohomology of the quotient to that of the semistable points for the action. Suppose a connected reductive complex algebraic group $G$ acts linearly on a complex projective variety $X$. We prove that if $1 \to N \to G \to H \to 1$ is a short exact sequence of connected reductive groups, and $X^{ss}$ the set of semistable points for the action of $N$ on $X$, then the $H$-equivariant intersection cohomology of the geometric invariant theory quotient $X^{ss}//N…
We explain how to compute top-dimensional intersections of psi-classes on moduli spaces of m-stable curves. On the moduli spaces of Deligne-Mumford stable pointed curves of genus one, these intersection numbers are determined by two recursions, namely the string equation and the dilaton equation. We establish, for each integer m>0, an analogous pair of recursions which determine these intersection numbers on the moduli spaces of m-stable pointed curves of genus one.
We study the moduli space of smooth complete intersections of two quadrics in $\mathbb{P}^n$ by relating it to the geometry of the singular members of the corresponding pencils. Giving an alternative presentation for the moduli space of complete intersections, we compute the Picard group for all $n\geq 3$.
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.
Let $C$ be a hyperelliptic curve of genus $g \geq 3$. We give a new description of the theta map for moduli spaces of rank 2 semistable vector bundles with trivial determinant. In orther to do this, we describe a fibration of (a birational model of) the moduli space, whose fibers are GIT quotients $(\mathbb{P}^1)^{2g}//\operatorname{PGL(2)}$. Then, we use recent results of Kumar to identify the restriction of the theta map to these GIT quotients with some explicit osculating projection. As a corollary of this construction, we obtain a birational equivalence between the ramification locus of th…
We introduce conjectures relating the Chow ring of a smooth Artin stack $\mathcal{X}$ to the Chow groups of its possibly singular good moduli space $X$. In particular, we conjecture the existence of an intersection product on a subgroup of the full Chow group $A^*(X)$ coming from strong cycles on $\mathcal{X}$.
Hausel and Rodriguez-Villegas conjectured that the intersection form on the moduli space of stable PGL_n-Higgs bundles on a curve vanishes if the degree is coprime to n. In this note we prove this conjecture. Along the way we show that moduli spaces of stable chains are irreducible for stability parameters larger than the stability condition induced form stability of Higgs bundles.
When a reductive group $G$ acts linearly on a complex projective scheme $X$ there is a stratification of $X$ into $G$-invariant locally closed subschemes, with an open stratum $X^{ss}$ formed by the semistable points in the sense of Mumford's geometric invariant theory which has a categorical quotient $X^{ss} \to X//G$. In this article we describe a method for constructing quotients of the unstable strata. As an application, we construct moduli spaces of sheaves of fixed Harder-Narasimhan type with some extra data (an '$n$-rigidification') on a projective base.
We describe hypergeometric functions of Deligne-Mostow type for open subsets of the configuration space of six points on P^2, induced from those for seven points on P^1. The seven point ball quotient example DM(2^5,1^2) does not appear on Mostow's original list, but does appear on Thurston's corrected version. We show that DM(2^5,1^2) is a finite cover of the moduli space of cubic surfaces M_C endowed with the ball quotient structure G_C\B^4 of Allcock, Carlson, and Toledo. This answers a question of Allcock about the commensurability of G_C with the monodromy groups of Deligne-Mostow hypergeo…
We define hypergeometric functions using intersection homology valued in a local system. Topology is emphasized; analysis enters only once, via the Hodge decomposition. By a pull-back procedure we construct special subsets S_{pi}, derived from Hurwitz spaces, of Deligne-Mostow moduli spaces DM(n,mu). Certain DM(n,mu) are known to be ball quotients, uniformized by hypergeometric functions valued in a complex ball (i.e., complex hyperbolic space). We give sufficient conditions for S_{pi} to be a subball quotient. Analyzing the simplest examples in detail, we describe ball quotient structures att…
We show that intersection numbers on the moduli space of stable bundles of coprime rank and degree over a smooth complex curve can be recovered as highest-degree asymptotics in formulas of Vafa-Intriligator type. In particular, we explicitly evaluate all intersection numbers appearing in the Verlinde formula. Our results are in agreement with previous computations of Witten, Jeffrey-Kirwan and Liu. Moreover, we prove the vanishing of certain intersections on a suitable Quot scheme which can be interpreted as giving equations between counts of maps to the Grassmannian.
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.
S. Kondo has constructed a ball quotient compactification for the moduli space of non-hyperelliptic genus four curves. In this paper, we show that this space essentially coincides with a GIT quotient of the Chow variety of canonically embedded genus four curves. More specifically, we give an explicit description of this GIT quotient, and show that the birational map from this space to Kondo's space is resolved by the blow-up of a single point. This provides a modular interpretation of the points in the boundary of Kondo's space. Connections with the slope nine space in the Hassett-Keel program…
Using the celebrated Witten-Kontsevich theorem, we prove a recursive formula of the $n$-point functions for intersection numbers on moduli spaces of curves. It has been used to prove the Faber intersection number conjecture and motivated us to find some conjectural vanishing identities for Gromov-Witten invariants. The latter has been proved recently by X. Liu and R. Pandharipande. We also give a combinatorial interpretation of $n$-point functions in terms of summation over binary trees.
This article is an extended version of preprint math.AG/9902104. We find an explicit formula for the number of topologically different ramified coverings of a sphere by a genus g surface with only one complicated branching point in terms of Hodge integrals over the moduli space of genus g curves with marked points.
Stabilization of intersection Betti numbers for moduli spaces of one-dimensional sheaves on surfaces
The School of Mathematics and Statistics, Xi’an Jiaotong University（西安交通大学数学与统计学院）；Shanghai Center for Mathematical Sciences, Fudan University（复旦大学上海数学中心）
We announce the construction of toroidal partial compactifications of the moduli spaces of mixed Hodge structures with polarized graded quotients. They are moduli spaces of log mixed Hodge structures with polarized graded quotients. We include an application to the analyticity of zero loci of some functions.
We construct a two-level weighted TQFT whose structure coefficents are equivariant intersection numbers on moduli spaces of admissible covers. Such a structure is parallel (and strictly related) to the local Gromov-Witten theory of curves of Bryan-Pandharipande. We compute explicitly the theory using techniques of localization on moduli spaces of admissible covers of a parametrized projective line. The Frobenius Algebras we obtain are one parameter deformations of the class algebra of the symmetric group S_d. In certain special cases we are able to produce explicit closed formulas for such def…
We explicitly compute the diverging factor in the large genus asymptotics of the Weil-Petersson volumes of the moduli spaces of $n$-pointed complex algebraic curves. Modulo a universal multiplicative constant we prove the existence of a complete asymptotic expansion of the Weil-Petersson volumes in the inverse powers of the genus with coefficients that are polynomials in $n$. This is done by analyzing various recursions for the more general intersection numbers of tautological classes, whose large genus asymptotic behavior is also extensively studied.
This paper is to give some concrete examples of the general fibers of the evaluation map of some Kontsevich mapping spaces parametrize low degree rational curves on low degree complete intersection varieties. We prove these examples are Fano or Calabi-Yau vareities of low dimension, e.g, surface and threefold. In usual, the "moduli" fibers are constructed in an abstract way, but here we give a down-to-earth interpretation to some of these fibers from the perspective of projective geometry.
We present certain new properties about the intersection numbers on moduli spaces of curves $\bar{\sM}_{g,n}$, including a simple explicit formula of $n$-point functions and several new identities of intersection numbers. In particular we prove a new identity, which together with a conjectural identity implies the famous Faber's conjecture about relations in $\mathcal R^{g-2}(\sM_g)$. These new identities clarify the mysterious constant in Faber's conjecture and uncover novel combinatorial structures of intersection numbers. We also discuss some numerical properties of Hodge integrals which ha…
In this paper, we define $Λ$-quot-functors on Deligne-Mumford stacks. We prove that the $Λ$-quot-functor is representable by an algebraic space. Then, we construct the moduli space of $Λ$-modules on a projective Deligne-Mumford stack. We prove that this moduli space is a quasi-projective scheme.
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.
Let $V$ be a smooth, projective, convex variety. We define tautological $ψ$ and $κ$ classes on the moduli space of stable maps $\M_{0,n}(V)$, give a (graphical) presentation for these classes in terms of boundary strata, derive differential equations for the generating functions of the Gromov-Witten invariants of $V$ twisted by these tautological classes, and prove that these intersection numbers are completely determined by the Gromov-Witten invariants of $V$. This results in families of Frobenius manifold structures on the cohomology ring of $V$ which includes the quantum cohomology as a spe…
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…
A curve on a projective variety is called movable if it belongs to an algebraic family of curves covering the variety. We consider when the cone of movable curves can be characterized without existence statements of covering families by studying the complete intersection cone on a family of blow-ups of complex projective space, including the moduli space of stable six-pointed rational curves, $\bar{M}_{0,6}$, and the permutohedral or Losev-Manin moduli space of four-pointed rational curves. Our main result is that the movable and complete intersection cones coincide for the toric members of th…
The moduli space of cubic threefolds in CP4, with some minor birational modifications, is the Baily-Borel compactification of the quotient of the complex 10-ball by a discrete group. We describe both the birational modifications and the discrete group explicitly.
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…
We view the moduli space of semistable sheaves on a K3 surface as a global quotient stack, and compute its cotangent complex in terms of the universal sheaf on the Quot scheme. Relevant facts on the classical and reduced Atiyah classes are reviewed. We also define the notion of a symplectic stack, and show that it includes all moduli stacks of semistable sheaves on K3 surfaces.
We define a natural compactification of an arrangement complement in a ball quotient. We show that when this complement has a moduli space interpretation, then this compactification is often one that appears naturally by means of geometric invariant theory. We illustrate this with the moduli spaces of smooth quartic curves and rational elliptic surfaces.
We establish a method for calculating the Poincaré series of moduli spaces constructed as quotients of smooth varieties by suitable non-reductive group actions; examples of such moduli spaces include moduli spaces of unstable vector or Higgs bundles on a smooth projective curve, with a Harder-Narasimhan type of length two. To do so, we first prove a result concerning the smoothness of fixed point sets for suitable non-reductive group actions on smooth varieties. This enables us to prove that quotients of smooth varieties by such non-reductive group actions, which can be constructed using Non-R…
In [GH], Griffiths and Harris asked whether a projective complex submanifold of codimension two is determined by the moduli of its second fundamental forms. More precisely, given a nonsingular subvariety $X^n \subset {\mathbb P}^{n+2}$, the second fundamental form $II_{X,x}$ at a point $x \in X$ is a pencil of quadrics on $T_x(X)$, defining a rational map $μ^X$ from $X$ to a suitable moduli space of pencils of quadrics on a complex vector space of dimension $n$. The question raised by Griffiths and Harris was whether the image of $μ^X$ determines $X$. We study this question when $X^n \subset {…
This paper proves the existence of homeomorphic (diffeomorphic) complex 6-dimensional (7-dim) complete intersections that belong to components of the moduli space of different dimensions. These results are given as a supplement to earlier result on 5-dimensional complete intersections.
We study intersection cohomology of moduli spaces of semistable vector bundles on a complex algebraic surface. Our main result relates intersection Poincare polynomials of the moduli spaces to Donaldson-Thomas invariants of the surface. In support of this result, we compute explicitly intersection Poincare polynomials for sheaves with rank two and three on ruled surfaces.
The virtual geometry of the moduli space of stable quotients is used to obtain Chow relations among the kappa classes on the moduli space of nonsingular genus g curves. In a series of steps, the stable quotient relations are rewritten in successively simpler forms. The final result is the proof of the Faber-Zagier relations (conjectured in 2000).
In this paper we consider the Brauer groups of algebraic stacks and GIT quotients: the only algebraic stacks we consider in this paper are quotient stacks [X/G], where X is a smooth scheme of finite type over a field k, and G is a linear algebraic group over k and acting on X, as well as various moduli stacks of principal G-bundles on a smooth projective curve X, associated to a reductive group G. We also consider the Brauer groups of the corresponding coarse moduli spaces, which most often identify with the corresponding GIT-quotients. One conclusion that we seem to draw then is that the Brau…
