English

Intersections of loci of admissible covers with tautological classes

Algebraic Geometry 2018-08-20 v1

Abstract

For a finite group GG, let \H_{g,G,\xi} be the stack of admissible GG-covers CDC\to D of stable curves with ramification data ξ\xi, g(C)=gg(C)=g and g(D)=gg(D)=g'. There are source and target morphisms \phi\colon \H_{g,G,\xi}\to \M_{g,r} and \delta\colon \H_{g,G,\xi}\to \M_{g',b}, remembering the curves CC and DD 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 \phi_* [\H_{g,G,\xi}]. Examples include the fundamental classes of the loci of hyperelliptic or bielliptic curves CC with marked ramification points. The two main results of this paper are as follows: Firstly, for the gluing morphism ξA ⁣:\MA\Mg,r\xi_A\colon \M_A\to \M_{g,r} associated to to a stable graph AA we give a combinatorial formula for the pullback \xi^*_A \phi_*[\H_{g,G,\xi}] in terms of spaces of admissible GG-covers and ψ\psi classes. This allows us to describe the intersection of the cycles \phi_*[\H_{g,G,\xi}] with tautological classes. Secondly, the pull-push δϕ\delta_*\phi^* 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 \phi_* [\H_{g,G,\xi}]. In particular, we compute the classes [\Hyp5][\Hyp_5] and [\Hyp6][\Hyp_6] of the hyperelliptic loci in \M5\M_5 and \M6\M_6 and the class [\B4][\B_4] of the bielliptic locus in \M4\M_4.

Keywords

Cite

@article{arxiv.1808.05817,
  title  = {Intersections of loci of admissible covers with tautological classes},
  author = {Johannes Schmitt and Jason van Zelm},
  journal= {arXiv preprint arXiv:1808.05817},
  year   = {2018}
}

Comments

69 pages, comments very welcome