The H-tautological ring

DOI10.1007/S00029-021-00711-9MaRDI QIDQ2238229zbMATH OpenOpenAlexFDO

Authors Carl Lian

Publication date 1 November 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/2011.11565

zbMATH Keywords

admissible coversintersection theorymoduli of curvestautological classes

Mathematics Subject Classification ID

Intersection theory, characteristic classes, intersection multiplicities in algebraic geometry (14C17) Families, moduli of curves (algebraic) (14H10) Coverings of curves, fundamental group (14H30) Enumerative problems (combinatorial problems) in algebraic geometry (14N10)

Abstract: 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 give additive generators for the H-tautological ring and show that their intersections may be algorithmically computed, building on work of Schmitt-van Zelm. As an application, we give a method for computing integrals of Harris-Mumford loci against tautological classes of complementary dimension, recovering and giving a mild generalization of a recent quasi-modularity result of the author for covers of elliptic curves.

Review text

The tautological ring of the moduli space of stable curves contains natural characteristic classes and is closed under forgetful morphisms and boundary morphisms. This paper extends the theory to the Hurwitz space of branched covers via the admissible G-cover compactification, which is called the \(\mathcal H\)-tautological ring. The author gives additive generators for the \(\mathcal H\)-tautological ring and shows that their intersections can be algorithmically computed. As an application, the author computes intersections of the Hurwitz space of admissible covers against tautological classes of complementary dimension.

Recommendations

• Intersections of loci of admissible covers with tautological classes
• Generating functions for Hurwitz-Hodge integrals
• Logarithmic series and Hodge integrals in the tautological ring. With an appendix by Don Zagier.
• On the tautological ring of \(\mathcal{M}_ g\)
• Tautological classes on the moduli space of hyperelliptic curves with rational tails

Cites work

• \(d\)-elliptic loci in genus 2 and 3
• An orbifold partition of ${\overline{M}_g^n}$
• Chern classes of the moduli stack of curves
• Combinatorial and algebro-geometric cohomology classes on the moduli spaces of curves
• Constructions of nontautological classes on moduli spaces of curves.
• Extremal effective divisors of Brill-Noether and Gieseker-Petri type in \(\overline{\mathcal{M}}_{1,n}\)
• Extremal effective divisors on \(\overline{\mathcal M}_{1,n}\)
• Extremal higher codimension cycles on moduli spaces of curves
• Extremality of loci of hyperelliptic curves with marked Weierstrass points
• scientific article; zbMATH DE number 3882570 (Why is no real title available?)
• scientific article; zbMATH DE number 1027930 (Why is no real title available?)
• scientific article; zbMATH DE number 1445245 (Why is no real title available?)
• Hurwitz stacks
• Hyperelliptic classes are rigid and extremal in genus two
• Intersection theory on the moduli space of curves and the matrix Airy function
• Intersections of loci of admissible covers with tautological classes
• Nontautological bielliptic cycles
• On the Kodaira dimension of the moduli space of curves
• On the Kodaira dimension of the moduli space of curves. II: The even-genus case
• On the tautological ring of \(\mathcal{M}_ g\)
• On the tautological ring of \(\overline{\mathcal M}_{g,n}\).
• Pointed admissible G-covers and G-equivariant cohomological field theories
• Relations on \(\overline{\mathcal{M}}_{g,n}\) via orbifold stable maps
• Relations on \overline{ℳ}_{ℊ,𝓃} via 3-spin structures
• Segre classes of monomial schemes
• The geometry of the compactification of the Hurwitz scheme
• The Kodaira dimension of the moduli space of curves of genus \(\geq 23\)
• The Picard groups of the moduli spaces of curves
• Twisted Bundles and Admissible Covers
• Zero cycles on the moduli space of curves

Cited in

(15)

• On the Kodaira dimension of Hurwitz spaces
• Non-tautological Hurwitz cycles
• admcycles -- a Sage package for calculations in the tautological ring of the moduli space of stable curves
• Intersections of loci of admissible covers with tautological classes
• Relations in the tautological ring of \({\mathcal M}_g\)
• On orbifold Gromov-Witten classes
• The closure of double ramification loci via strata of exact differentials
• On the tautological ring of \(\overline{\mathcal M}_{g,n}\).
• Evaluating tautological classes using only Hurwitz numbers
• scientific article; zbMATH DE number 18285 (Why is no real title available?)
• Tautological classes on low-degree Hurwitz spaces
• The tautological ring of \(\overline{\mathcal{M}}_{g, n}\) is rarely Gorenstein
• All the _1's on cyclic admissible covers
• Relative virtual localization and vanishing of tautological classes of moduli spaces of curves
• Generating functions for Hurwitz-Hodge integrals

Describes a project that uses

Uses Software

• admcycles

This page was built for publication: The \(\mathcal{H}\)-tautological ring

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