The moduli space of stable relative maps to the projective line combines features of stable maps and admissible covers. We prove all standard Gromov-Witten classes on these moduli spaces of stable relative maps have tautological push-forwards to the moduli space of curves. In particular, the fundamental classes of all moduli spaces of admissible covers push-forward to tautological classes. Consequences for the tautological rings of the moduli spaces of curves include methods for generating new relations, uniform derivations of the socle and vanishing statements of the Gorenstein conjectures for the complete, compact type, and rational tail cases, tautological boundary terms for Ionel's, Looijenga's, and Getzler's vanishings, and applications to Gromov-Witten theory.
We define tautological relations for the moduli space of stable maps to a target variety. Using the double ramification cycle formula for target varieties of Janda-Pandharipande-Pixton-Zvonkine, we construct nontrivial tautological relations parallel to Pixton's double ramification cycle relations for the moduli of curves. Examples and applications are discussed.
We present a localization proof of the fact that the cohomology of the moduli spaces of genus zero stable maps to projective spaces is entirely tautological. In addition, we obtain a description of a Bialynicki-Birula stratification in the context of Gathmann's moduli spaces of maps with prescribed contact order to a fixed hyperplane.
After a short exposition of the basic properties of the tautological ring of the moduli space of genus g Deligne-Mumford stable curves with n markings, we explain three methods of detecting non-tautological classes in cohomology. The first is via curve counting over finite fields. The second is by obtaining length bounds on the action of the symmetric group S_n on tautological classes. The third is via classical boundary geometry. Several new non-tautological classes are found.
This is the second in a series of three papers in which we investigate the rational Chow ring of the stack consisting of nodal curves of genus. Here we define the basic classes: the classes of strata and the Mumford classes.
In this paper, we discuss the cycle theory on moduli spaces $\cF_h$ of $h$-polarized hyperkähler manifolds. Firstly, we construct the tautological ring on $\cF_h$ following the work of Marian, Oprea and Pandharipande on the tautological conjecture on moduli spaces of K3 surfaces. We study the tautological classes in cohomology groups and prove that most of them are linear combinations of Noether-Lefschetz cycle classes. In particular, we prove the cohomological version of the tautological conjecture on moduli space of K3$^{[n]}$-type hyperkähler manifolds with $n\leq 2$. Secondly, we prove the…
We study tautological classes on the moduli space of stable $n$-pointed hyperelliptic curves of genus $g$ with rational tails. Our result gives a complete description of tautological relations. The method is based on the approach of Yin in comparing tautological classes on the moduli of curves and the universal Jacobian. It is proven that all relations come from the Jacobian side. The intersection pairings are shown to be perfect in all degrees. We show that the tautological algebra coincides with its image in cohomology via the cycle class map. The latter is identified with monodromy invarian…
Looijenga's vanishing theorem on the moduli space of curves $M_g$ says that the tautological ring vanishes above degree $g-2$. We prove an analogous result for the tautological cohomology ring of the moduli space of K3 surfaces.
We give an algorithmic description of the action of the Chern classes of tautological bundles on the cohomology of Hilbert schemes of points on surfaces within the framework of Nakajima's oscillator algebra. This leads to an identification of the cohomology ring of Hilbert schemes of the affine plane with a ring of differential operators on a Fock space. We end with the computation of the top Segre classes of tautological bundles associated to line bundles on Hilb^n up to n=7, and give a conjecture for the generating series.
We define tautological Chow classes on the moduli space of curves with linear series. In the case where the forgetful morphism to the moduli space of curves has relative dimension zero, we describe the images of these classes in the Chow group of Mgbar. As an application, we compute the (virtual) slopes of several different classes of divisors on Mgbar.
A method of constructing Cohomological Field Theories (CohFTs) with unit using minimal classes on the moduli spaces of curves is developed. As a simple consequence, CohFTs with unit are found which take values outside of the tautological cohomology of the moduli spaces of curves. A study of minimal classes in low genus is presented in the Appendix by D. Petersen.
This note is an erratum to the paper "Tautological classes on moduli spaces of hyper-Kähler manifolds." Thorsten Beckman and Mirko Mauri have pointed to us a gap in the proof of \cite[Theorem 8.2.1]{Duke}. We do not know how to correct the proof. We can only recover a partial statement. This gap affects the proof of one of the two main results of \cite{Duke}, we explain how to correct it.
Hurwitz numbers count ramified covers of a Riemann surface with prescribed monodromy. As such, they are purely combinatorial objects. Tautological classes, on the other hand, are distinguished classes in the intersection ring of the moduli spaces of Riemann surfaces of a given genus, and are thus ``geometric.'' Localization computations in Gromov-Witten theory provide non-obvious relations between the two. This paper makes one such computation, and shows how it leads to a ``master'' relation (Theorem 0.1) that reduces the ratios of certain interesting tautological classes to the pure combinato…
Let $\mathcal{H}_{k,g}$ be the Hurwitz stack parametrizing degree $k$, genus $g$ covers of $\mathbb{P}^1$. We define the tautological ring of $\mathcal{H}_{k,g}$ and we show that all Chow classes, except possibly those supported on the locus of "factoring covers," are tautological up to codimension roughly $g/k$ when $k \leq 5$. The set-up developed here is also used in our subsequent work, wherein we prove new results about the structure of the Chow ring for $k \leq 5$.
Let $M_g$ be the moduli space of smooth genus $g$ curves. We define a notion of Chow groups of $M_g$ with coefficients in a representation of $Sp(2g)$, and we define a subgroup of tautological classes in these Chow groups with twisted coefficients. Studying the tautological groups of $M_g$ with twisted coefficients is equivalent to studying the tautological rings of all fibered powers $C_g^n$ of the universal curve $C_g \to M_g$ simultaneously. By taking the direct sum over all irreducible representations of the symplectic group in fixed genus, one obtains the structure of a twisted commutativ…
In this paper, we consider the tautological ring containing the extended Brill-Noether algebraic classes on the normalization of the compactified Jacobian of a complex nodal projective curve (with one node). This smallest $\Q$-subalgebra of algebraic classes under algebraic equivalence, stable under extensions of the maps induced by multiplication maps, Pontrayagin product and Fourier transform, is shown to be generated by pullback of the Brill-Noether classes of the Jacobian of the normalized curve and some natural classes.
We first give an alternative proof, based on a simple geometric argument, of a result of Marian, Oprea and Pandharipande on top Segre classes of the tautological bundles on Hilbert schemes of $K3$ surfaces equipped with a line bundle. We then turn to the blow-up of $K3$ surface at one point and establish vanishing results for the corresponding top Segre classes in a certain range. This determines, at least theoretically, all top Segre classes of tautological bundles for any pair $(Σ,H),\,H\in {\rm Pic}\,Σ$.
We extend the theory of tautological classes on moduli spaces of stable curves to the more general setting of moduli spaces of admissible Galois covers of curves, introducing the so-called H-tautological ring. The main new feature is the existence of restriction-corestriction morphisms remembering intermediate quotients of Galois covers, which are a rich source of new classes. In particular, our new framework includes classes of Harris-Mumford admissible covers on moduli spaces of curves, which are known in some (and speculatively many more) examples to lie outside the usual tautological ring.…
We study classes $P_{g,T}(α;β)$ on the moduli space of stable, genus g curves with rational tails defined by pushing forward the virtual fundamental classes of spaces of relative stable maps to an unparameterized projective line. A comparison with classes $Q_{g,T}$ arising from sections of the universal Jacobian shows the classes $P_{g,T}(α;β)$ are polynomial in the parts of the partitions indexing the special ramification data. Virtual localization on moduli spaces of relative stable maps gives sufficient relations to compute the coefficients of these polynomials in various cases.
For a finite group $G$, let $\H_{g,G,ξ}$ be the stack of admissible $G$-covers $C\to D$ of stable curves with ramification data $ξ$, $g(C)=g$ and $g(D)=g'$. There are source and target morphisms $ϕ\colon \H_{g,G,ξ}\to \M_{g,r}$ and $δ\colon \H_{g,G,ξ}\to \M_{g',b}$, remembering the curves $C$ and $D$ together with the ramification or branch points of the cover respectively. In this paper we study admissible cover cycles, i.e. cycles of the form $ϕ_* [\H_{g,G,ξ}]$. Examples include the fundamental classes of the loci of hyperelliptic or bielliptic curves $C$ with marked ramification points. The…
We give a simple generalisation of a theorem of Morita, which leads to a great number of relations among tautological classes on moduli spaces of curves.
We prove a localization formula for the moduli space of stable relative maps. As an application, we prove that all codimension i tautological classes on the moduli space of stable pointed curves vanish away from strata corresponding to curves with at least i-g+1 genus 0 components. (The proof of this result is quite short and naive.) As consequences, we prove and generalize various conjectures and theorems about various moduli spaces of curves (due to Getzler, Ionel, Faber, Looijenga, Pandharipande, Diaz, and others). This theorem appears to be the geometric content behind these results; the r…
We prove that all monomials of $κ$-classes and $ψ$-classes are independent in $R^k(\ocM_{g,n})/R^k(\partial\ocM_{g,n})$ for all $k \leq [g/3]$. We also give a simple argument for $κ_l \neq 0$ in $R^l(\mathcal{M}_g)$ for $l \leq g-2$.
We study tautological cycle classes on the Jacobian of a curve. We prove a new result about the ring of tautological classes on a general curve that allows, among other things, easy dimension calculations and leads to some general results about the structure of this ring. Next we obtain a vanishing result for some of the generating classes p_i; this gives an improvement of an earlier result of Herbaut. Finally we lift a result of Herbaut and van der Geer-Kouvidakis to the Chow ring (as opposed to its quotient modulo algebraic equivalence) and we give a method to obtain further explicit cycle r…
The Chow ring of $\mathcal{M}_g$ is known to be generated by tautological classes for $g \leq 9$. Meanwhile, the first example of a non-tautological class on $\mathcal{M}_{g}$ is the fundamental class of the bielliptic locus in $\mathcal{M}_{12}$, due to van Zelm. It remains open if the Chow rings of $\mathcal{M}_{10}$ and $\mathcal{M}_{11}$ are generated by tautological classes. In these cases, a natural first place to look is at the bielliptic locus. In genus $10$, it is already known that classes supported on the bielliptic locus are tautological. Here, we prove that all classes supported o…
The tautological ring of the moduli space of stable curves has been studied extensively in the last decades. We present a SageMath implementation of many core features of this ring. This includes lists of generators and their products, intersection numbers and verification of tautological relations. Maps between tautological rings induced by functoriality, that is pushforwards and pullbacks under gluing and forgetful maps, are implemented. Furthermore, many interesting cycle classes, such as the double ramification cycles, strata of k-differentials and hyperelliptic or bielliptic cycles are av…
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.
The combinatorial description via ribbon graphs of the moduli space of Riemann surfaces makes it possible to define combinatorial cycles in a natural way. Witten and Kontsevich first conjectured that these classes are polynomials in the tautological classes. We answer affirmatively to this conjecture and find recursively all the polynomials.
We employ the $1/2$-spin tautological relations to provide a particular combinatorial identity. We show that this identity is a statement equivalent to Faber's formula for proportionalities of kappa-classes on $\mathcal{M}_g$, $g\geq 2$. We then prove several cases of the combinatorial identity, providing a new proof of Faber's formula for those cases.
Given a parabolic vector bundle, we construct for it a projectivization and tautological line bundle. These are analogs of the projectivization and tautological line bundle for an usual vector bundle. Using these we give a construction of the parabolic Chern classes.
We find a set of generators and relations for the system of extended tautological rings associated to the moduli spaces of stable maps in genus zero, admitting a simple geometrical interpretation. In particular, when the target is $\PP^n$, these give a complete presentation for the cohomology and Chow rings in the cases with/without marked points.
In this paper, our aim is to find the relations amongst the cohomology classes of Brill-Noether subvarieties of the moduli space of semistable bundles over an elliptic curve. We obtain results similar to the Poincaré relations on a Jacobian variety.
We calculate the Euler characteristic of associated vector bundles over the moduli spaces of stable parabolic bundles on smooth curves. Our method is based on a wall-crossing technique from Geometric Invariant Theory, certain iterated residue calculus and the tautological Hecke correspondence. Our work was motivated by the results of Teleman and Woodward on the index of K-theory classes on moduli stacks.
These notes cover our series of three lectures at Humboldt University in Berlin for the October 2010 conference "Intersection theory on moduli space" (organized by G. Farkas). The topic concerns relations among the kappa classes in the tautological ring of the moduli space of genus g curves. After a discussion of classical constructions in Wick form, we derive an explicit set of relations obtained from the virtual geometry of the moduli space of stable quotients. In a series of steps, the stable quotient relations are transformed to simpler and simpler forms. Our final result establishes a pre…
We study the interplay of the moduli of curves and the moduli of K3 surfaces via the virtual class of the moduli spaces of stable maps. Using Getzler's relation in genus 1, we construct a universal decomposition of the diagonal in Chow in the third fiber product of the universal K3 surface. The decomposition has terms supported on Noether-Lefschetz loci which are not visible in the Beauville-Voisin decomposition for a fixed K3 surface. As a result of our universal decomposition, we prove the conjecture of Marian-Oprea-Pandharipande: the full tautological ring of the moduli space of K3 surfaces…
We give quantum Pieri rules for quantum cohomology of Grassmannians of classical types, expressing the quantum product of Chern classes of the tautological subbundles with general cohomology classes. We derive them by showing the relevant genus zero, three-pointed Gromov-Witten invariants coincide with certain classical intersection numbers.
Let M_{g,n}^rt be the moduli space of stable n-pointed curves of genus g>1 with rational tails. We also consider the space C_g^n classifying smooth curves of genus g with not necessarily distinct n ordered points. There is a natural proper map from M_{g,n}^rt to C_g^n which contracts all rational components. Tautological classes on these spaces are natural algebraic cycles reflecting the geometry of curves. In this short note we study the connection between tautological classes on M_{g,n}^rt and C_g^n. We show that there is a natural filtration on the tautological ring of M_{g,n}^rt consisting…
We construct explicit examples of algebraic cycles in \bar M_g (for large g congruent to 2 mod 4) and in M_2,20 (no bar) which are not in the tautological ring. In an appendix we give a general method for computing intersections in the tautological ring.
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).
A result of A. King and C. Walter asserts that the Chow ring of a fine quiver moduli space is generated by the Chern classes of universal bundles if the quiver is acyclic. We will show that defining relations between these Chern classes arise geometrically as degeneracy loci associated to the universal representation.
In this paper we describe explicit generating functions for a large class of Hurwitz-Hodge integrals. These are integrals of tautological classes on moduli spaces of admissible covers, a (stackily) smooth compactification of the Hurwitz schemes. Admissible covers and their tautological classes are interesting mathematical objects on their own, but recently they have proved to be a useful tool for the study of the tautological ring of the moduli space of curves, and the orbifold Gromov-Witten theory of DM stacks. Our main tool is Atiyah-Bott localization: its underlying philosophy is to transla…
We introduce a new family of tautological relations of the moduli space of stable curves of genus $g$. These relations are obtained by computing the Poincaré-dual class of empty loci in the Hodge bundle. We use these relations to obtain a new expression for the Chern classes of the Hodge bundle. We prove that the $(g-i)$th class can be expressed as a linear combination of tautological classes involving only stable graphs with at most $i$ loops. In particular the top Chern class may be expressed with trees. This property was expected as a consequence of the DR/DZ equivalence conjecture by Burya…
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…
