English

Mapping class groups of surfaces of genus $\geq 3$ do not virtually surject to $\mathbb{Z}$

Geometric Topology 2020-12-03 v2 Algebraic Geometry Dynamical Systems Group Theory

Abstract

We prove a well known conjecture of Nikolai Ivanov which states that if XX is a surface of genus 3\geq 3 (with any number of punctures and boundary components), Mod(X)\rm{Mod}(X) is the mapping class group of XX, and K<Mod(X)K < \rm{Mod}(X) is a finite-index subgroup, then KK does not virtually surject to Z\mathbb{Z}. As a corollary of this we get that H1(Z;Q)=0H_1(Z; \mathbb{Q}) = 0 whenever ZZ is a finite cover of Mg,n\mathcal{M}_{g,n}, the moduli space of complex algebraic curves of genus g3g\geq 3 with nn marked points.

Keywords

Cite

@article{arxiv.2008.10643,
  title  = {Mapping class groups of surfaces of genus $\geq 3$ do not virtually surject to $\mathbb{Z}$},
  author = {Asaf Hadari},
  journal= {arXiv preprint arXiv:2008.10643},
  year   = {2020}
}

Comments

The central problem is that Lemmas 5.3 and 5.4 in the paper (the folding trick and the folding trick for covers) are incorrect. As these lemmas are the heart of the rest of the proof, I am withdrawing the claim. I would like to extend special thanks to Julien Marche, Bram Petri, and Maxime Wolff for their careful reading and comments that lead to the discovery of the problems in the proof