Intersections of loci of admissible covers with tautological classes

DOI10.1007/S00029-020-00603-4MaRDI QIDQ2218157zbMATH OpenOpenAlexFDO

Authors Johannes Schmitt, Jason van Zelm

Publication date 14 January 2021

Published in Selecta Mathematica. New Series (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1808.05817

zbMATH Keywords

admissible coversmoduli spaces of curvestautological classes

Mathematics Subject Classification ID

Algebraic cycles (14C25) Families, moduli of curves (algebraic) (14H10) Coverings of curves, fundamental group (14H30)

Abstract: For a finite group $G$, let $H_{g,G,xi}$ be the stack of admissible $G$-covers $CoD$ of stable curves with ramification data $xi$, $g(C)=g$ and $g(D)=g^{\prime }$. There are source and target morphisms $phicolon{H}_{g,G,xi}o{M}_{g,r}$ and $deltacolon{H}_{g,G,xi}o{M}_{g^{\prime },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 $ph{i}_{\ast }[H_{g,G,xi}]$. Examples include the fundamental classes of the loci of hyperelliptic or bielliptic curves $C$ with marked ramification points. The two main results of this paper are as follows: Firstly, for the gluing morphism $x{i}_{A}colon{M}_{A}o{M}_{g,r}$ associated to to a stable graph $A$ we give a combinatorial formula for the pullback $x{i}_A^{\ast }ph{i}_{\ast }[H_{g,G,xi}]$ in terms of spaces of admissible $G$-covers and $psi$ classes. This allows us to describe the intersection of the cycles $ph{i}_{\ast }[H_{g,G,xi}]$ with tautological classes. Secondly, the pull-push $delt{a}_{\ast }ph{i}^{\ast }$ sends tautological classes to tautological classes and we also give a combinatorial description of this map in terms of standard generators of the tautological rings. We show how to use the pullbacks to algorithmically compute tautological expressions for cycles of the form $ph{i}_{\ast }[H_{g,G,xi}]$. In particular, we compute the classes $[Hy{p}_5]$ and $[Hy{p}_6]$ of the hyperelliptic loci in $M_5$ and $M_6$ and the class $[B_4]$ of the bielliptic locus in $M_4$.

Review text

The moduli space of admissible \(G\)-covers admits a source morphism \(\phi\) and a target morphism \(\delta\) to the respective moduli spaces of curves. In this paper the authors study the behavior of tautological classes under pullback and pushforward maps associated to \(\phi\) and \(\delta\). In particular, they obtain a combinatorial formula for the cycle class of the locus of admissible \(G\)-covers restricted to the boundary strata of the source moduli space. Morover, they show that \(\delta_{*}\phi^{*}\) sends tautological classes to tautological classes and give an explicit combinatorial description of this map. As applications, they compute the cycle classes of the hyperelliptic loci in genus five and six as well as the cycle class of the bielliptic locus in genus four.

Recommendations

• The \(\mathcal{H}\)-tautological ring
• Hodge-type integrals on moduli spaces of admissible covers
• Evaluating tautological classes using only Hurwitz numbers
• Polynomial families of tautological classes on \(\mathcal M^{\mathrm{rt}}_{g,n}\)
• Tautological classes on the moduli space of hyperelliptic curves with rational tails

Cites work

• A calculus for the moduli space of curves
• Boundary of the pyramidal equisymmetric locus of \(\mathcal{M}_n\)
• Calculating cohomology groups of moduli spaces of curves via algebraic geometry
• Chow rings of moduli spaces of curves. I: The Chow ring of \(\bar {\mathcal M}_ 3\)
• Classes of Weierstrass points on genus 2 curves
• Cohomologie de Chen-Ruan de \(\mathcal{M}_{1, n}\) et \(\overline{\mathcal{M}}_{1, n}\)
• Cohomology of local systems on the moduli of principally polarized abelian surfaces
• Cohomology of moduli spaces of curves of genus three via point counts
• Constructions of nontautological classes on moduli spaces of curves.
• Double total ramifications for curves of genus 2
• Geometry of algebraic curves. Volume II. With a contribution by Joseph Daniel Harris
• Gromov-Witten classes, quantum cohomology, and enumerative geometry
• Higher genus Gromov-Witten theory of \(\mathsf{Hilb}^n(\mathbb{C}^2)\) and \(\mathsf{CohFTs}\) associated to local curves
• scientific article; zbMATH DE number 3859276 (Why is no real title available?)
• scientific article; zbMATH DE number 1179513 (Why is no real title available?)
• scientific article; zbMATH DE number 1467775 (Why is no real title available?)
• Hurwitz schemes and irreducibility of moduli of algebraic curves
• Hurwitz stacks
• Intersection Theory of Moduli Space of Stable N-Pointed Curves of Genus Zero
• Intersection theory on the moduli space of curves and the matrix Airy function
• Limit points of the branch locus of \(\mathcal{M}_g\)
• Loci of curves with subcanonical points in low genus
• Logarithmic series and Hodge integrals in the tautological ring. With an appendix by Don Zagier.
• Mapping Class Groups and Moduli Spaces of Curves
• Modular operads
• Nontautological bielliptic cycles
• On the Kodaira dimension of the moduli space of curves
• Pointed admissible G-covers and G-equivariant cohomological field theories
• Relative maps and tautological classes
• Riemann surfaces and algebraic curves. A first course in Hurwitz theory
• Tautological rings of spaces of pointed genus two curves of compact type
• The class of the bielliptic locus in genus 3
• The Gorenstein conjecture fails for the tautological ring of \(\overline{\mathcal{M}}_{2,n}\)
• The Kodaira dimension of the moduli space of curves of genus \(\geq 23\)
• The Picard groups of the moduli spaces of curves
• The rational cohomology of \(\overline{\mathcal{M}}_4\)
• The structure of the tautological ring in genus one
• Topological recursion relations in genus \(2\)
• Twisted Bundles and Admissible Covers

Cited in

(27)

• Non-tautological Hurwitz cycles
• admcycles -- a Sage package for calculations in the tautological ring of the moduli space of stable curves
• The \(\mathcal{H}\)-tautological ring
• Tropicalizing the space of admissible covers
• Generalized Tevelev degrees of \(\mathbb{P}^1\)
• Classical algebraic geometry. Abstracts from the workshop held June 20--26, 2021 (hybrid meeting)
• The closure of double ramification loci via strata of exact differentials
• \(\mathbb{Z}/r \mathbb{Z}\)-equivariant covers of \(\mathbb{P}^1\) with moving ramification
• Tevelev degrees and Hurwitz moduli spaces
• The Chern classes and Euler characteristic of the moduli spaces of abelian differentials
• Higher genus Gromov-Witten theory of \(\mathsf{Hilb}^n(\mathbb{C}^2)\) and \(\mathsf{CohFTs}\) associated to local curves
• Infinitesimal structure of the pluricanonical double ramification locus
• Chow rings of stacks of prestable curves I
• The Hodge bundle, the universal 0-section, and the log Chow ring of the moduli space of curves
• Abelian tropical covers
• Hyperelliptic Gorenstein curves and logarithmic differentials
• Chern classes of linear submanifolds with application to spaces of k-differentials and ball quotients
• The tautological ring of \(\overline{\mathcal{M}}_{g, n}\) is rarely Gorenstein
• The Kodaira classification of the moduli of hyperelliptic curves
• Holomorphic forms and non-tautological cycles on moduli spaces of curves
• Logarithmic tautological rings of the moduli spaces of curves
• All the _1's on cyclic admissible covers
• Logarithmic double ramification cycles
• The p-rank stratification of the moduli space of double covers of a fixed elliptic curve
• Boundary of equisymmetric loci of Riemann surfaces with abelian symmetry
• On the Chow and cohomology rings of moduli spaces of stable curves
• Representation stability of moduli spaces of admissible A-covers

Describes a project that uses

Uses Software

• SageMath
• admcycles

This page was built for publication: Intersections of loci of admissible covers with tautological classes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2218157)