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 have provided numerous inspirations for this work.
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.
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.
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$.
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 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.
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.
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 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.
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…
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…
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.
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 {…
In this paper we study relations between intersection numbers on moduli spaces of curves and Hurwitz numbers. First, we prove two formulas expressing Hurwitz numbers of (generalized) polynomials via intersections on moduli spaces of curves. Then we show, how intersection numbers can be expressed via Hurwitz numbers. And then we obtain an algorithm expressing intersection numbers $<τ_{n,m}\prod_{i=0}^{r-1}τ_{0,i}^{k_i}>_g$ via correlation functions of primaries.
Given a collection of boundary divisors in the moduli space of stable genus-zero n-pointed curves, Giansiracusa proved that their intersection is nonempty if and only if all pairwise intersections are nonempty. We give a complete classification of the pairs (g,n) for which the analogous statement holds in the moduli space of n-pointed curves of genus g.
This article explores to which extent the algebro-geometric theory of rational descendant Gromov-Witten invariants can be carried over to the tropical world. Despite the fact that the tropical moduli-spaces we work with are non-compact, the answer is surprisingly positive. We discuss the string, divisor and dilaton equations, we prove a splitting lemma describing the intersection with a "boundary" divisor and we prove general tropical versions of the WDVV resp. topological recursion equations (under some assumptions). As a direct application, we prove that the toric varieties $\mathbb{P}^1$, $…
We give two recursions for computing top intersections of tautological classes on blowups of moduli spaces of genus-one curves. One of these recursions is analogous to the well-known string equation. As shown in previous papers, these numbers are useful for computing genus-one enumerative invariants of projective spaces and Gromov-Witten invariants of complete intersections.
We characterize transversality, non-transversality properties on the moduli space of genus 0 stable maps to a semipositive symplectic manifold of dimension 4, when GW([point],...,[point]) is enumerative. In particular, we show that the intersection theoretic property depends on the existence of a critical point on a stable map.
We determine the integral Chow and cohomology rings of the moduli stack $\mathcal{B}_{r,d}$ of rank $r$, degree $d$ vector bundles on $\mathbb{P}^1$ bundles. We first show that the rational Chow ring $A_{\mathbb{Q}}^*(\mathcal{B}_{r,d})$ is a free $\mathbb{Q}$-algebra on $2r+1$ generators. The isomorphism class of this ring happens to be independent of $d$. Then, we prove that the integral Chow ring $A^*(\mathcal{B}_{r,d})$ is torsion-free and provide multiplicative generators for $A^*(\mathcal{B}_{r,d})$ as a subring of $A_{\mathbb{Q}}^*(\mathcal{B}_{r,d})$. From this description, we see that…
We compute the Picard group of the moduli stack of smooth curves of genus $g$ for $3\leq g\leq 5$, using methods of equivariant intersection theory. We base our proof on the computation of some relations in the integral Chow ring of certain moduli stacks of smooth complete intersections. As a byproduct, we compute the cycle classes of some divisors on $\mathcal{M}_g$.
We present a series of new results we obtained recently about the intersection numbers of tautological classes on moduli spaces of curves, including a simple formula of the n-point functions for Witten's $τ$ classes, an effective recursion formula to compute higher Weil-Petersson volumes, several new recursion formulae of intersection numbers and our proof of a conjecture of Itzykson and Zuber concerning denominators of intersection numbers. We also present Virasoro and KdV properties of generating functions of general mixed $κ$ and $ψ$ intersections.
We compute all the top intersection numbers of divisors on the total space of the Poincare bundle restricted to the product of a curve and the abelian variety. We use these computations to find the class of the universal theta divisor and $m$-theta divisor inside the universal corank 1 semiabelian variety -- the boundary of the partial toroidal compactification of the moduli space of abelian varieties. We give two computational examples: we compute the boundary coefficient of the Andreotti-Mayer divisor (computed by Mumford but in a much harder and ad hoc way), and the analog of this for the u…
We study the arithmetic of complete intersections in projective space over number fields. Our main results include arithmetic Torelli theorems and versions of the Shafarevich conjecture, as proved for curves and abelian varieties by Faltings. For example, we prove an analogue of the Shafarevich conjecture for cubic and quartic threefolds and intersections of two quadrics.
Witten's top Chern class is a particular cohomology class on the moduli space of Riemann surfaces endowed with r-spin structures. It plays a key role in Witten's conjecture relating to the intersection theory on these moduli spaces. Our first goal is to compute the integral of Witten's class over the so-called double ramification cycles in genus 1. We obtain a simple closed formula for these integrals. This allows us, using the methods of [15], to find an algorithm for computing the intersection numbers of the Witten class with powers of the ψ-classes (or tautological classes) over any moduli …
We describe sequences of blowups of $\overline{M}_{0,5} \times \overline{M}_{0,5}$ and $\mathbf{P}^2 \times \mathbf{P}^2$ yielding a small resolution of the stable pair compactification $\overline{M}(3,6)$ of the moduli space $M(3,6)$ of six lines in $\mathbf{P}^2$. These blowup sequences can be viewed, respectively, as generalizations of Keel's and Kapranov's constructions of $\overline{M}_{0,n}$. We use these blowup sequences to describe the intersection theory of $\overline{M}(3,6)$. In particular, we show that the Chow ring of any small resolution of $\overline{M}(3,6)$ has a presentation …
We describe algorithms for computing the intersection numbers of divisors and of Chern classes of the Hodge bundle on the moduli spaces of stable pointed curves. We also discuss the implementations and the results obtained. There are several applications. We discuss one in particular: the calculation of the projection in the tautological ring of the moduli space of abelian varieties of the class of the locus of Jacobians.
Recent work on the log minimal model program for the moduli space of curves, as well as past results of Caporaso, Pandharipande, and Simpson motivate an investigation of compactifications of the universal moduli space of slope semi-stable vector bundles over moduli spaces of curves arising in the Hassett-Keel program. Our main result is the construction of a universal moduli space of slope semi-stable sheaves which compactifies the moduli space of vector bundles over the moduli space of pseudo-stable curves.
We define a new family of open Gromov-Witten type invariants based on intersection theory on the moduli space of pseudoholomorphic curves of arbitrary genus with boundary in a Lagrangian submanifold. We assume the Lagrangian submanifold arises as the fixed points of an anti-symplectic involution and has dimension 2 or 3. In the strongly semi-positive genus 0 case, the new invariants coincide with Welschinger's invariant counts of real pseudoholomorphic curves. Furthermore, we calculate the new invariant for the real quintic threefold in genus 0 and degree 1 to be 30.
The main result of this paper is the statement that the Hodge theoretic Donaldson-Thomas invariant for a quiver with zero potential and a generic stability condition agrees with the compactly supported intersection cohomology of the closure of the stable locus inside the associated coarse moduli space of semistable quiver representations. In fact, we prove an even stronger result relating the Donaldson-Thomas "function" to the intersection complex. The proof of our main result relies on a relative version of the integrality conjecture in Donaldson-Thomas theory. This will be the topic of the s…
This paper studies the moduli space of stable surfaces of general type. The moduli space component containing the moduli point of a product of smooth curves of general type is proved to be the product of the moduli spaces of the curves, unless the curves have the same genus, in which case it is the symmetric product of the moduli space of curves. This result follows from a study of deformation theory of products and the singularities of products of nodal curves (namely that the product of nodal curves has semilogcanonical singularities).
We prove a new effective recursion formula for computing all intersection indices (integrals of $ψ$ classes) on the moduli space of curves, inducting only on the genus.
We contribute to the foundations of tropical geometry with a view towards formulating tropical moduli problems, and with the moduli space of curves as our main example. We propose a moduli functor for the moduli space of curves and show that it is representable by a geometric stack over the category of rational polyhedral cones. In this framework the natural forgetful morphisms between moduli spaces of curves with marked points function as universal curves. Our approach to tropical geometry permits tropical moduli problems---moduli of curves or otherwise---to be extended to logarithmic schemes…
We construct the generic component of the moduli space of the germs of Legendrian curves with generic plane projection topologicaly equivalent to a curve y^n = x^m, (n,m)=1.
This paper studies intersection theory on the compactified moduli space M(n,d) of holomorphic bundles of rank n and degree d over a fixed compact Riemann surface of genus g > 1 where n and d may have common factors. Because of the presence of singularities we work with the intersection cohomology groups defined by Goresky and MacPherson and the ordinary cohomology groups of a certain partial resolution of singularities of M(n,d). Based on our earlier work, we give a precise formula for the intersection cohomology pairing and provide a method to calculate pairings on the partial resolution of s…
We discuss the GIT moduli of semistable pairs consisting of a cubic curve and a line on the projective plane. We study in some detail this moduli and compare it with another moduli suggested by Alexeev. It is the moduli of pairs (with no specified semi-abelian action) consisting of a cubic curve with at worst nodal singularities and a line which does not pass through singular points of the cubic curve. Meanwhile, we make a comparison between Nakamura's compactification of the moduli of level three elliptic curves and these two moduli spaces.
We study the existence of components with the expected number of moduli of the Hilbert scheme of integral nodal curves $C \subset \mathbb {P}^r$ with prescribed degree, arithmetic genus and number of singular points.
