Mapping class groups of surfaces of genus $\geq 3$ do not virtually surject to $\mathbb{Z}$
Asaf Hadari
备注：
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
We prove a well known conjecture of Nikolai Ivanov which states that if $X$ is a surface of genus $\geq 3$ (with any number of punctures and boundary components), $\rm{Mod}(X)$ is the mapping class group of $X$, and $K < \rm{Mod}(X)$ is a finite-index subgroup, then $K$ does not virtually surject to $\mathbb{Z}$. As a corollary of this we get that $H_1(Z; \mathbb{Q}) = 0$ whenever $Z$ is a finite cover of $\mathcal{M}_{g,n}$, the moduli space of complex algebraic curves of genus $g\geq 3$ with $n$ marked points.
In this paper, we give infinitely many non-Haken hyperbolic genus three 3-manifolds each of which has a finite cover whose induced Heegaard surface from some genus three Heegaard surface of the base manifold is reducible but can be compressed into an incompressible surface. This result supplements [CG] and extends [MMZ].
We show, using Wise's equitable sets criterion, that every tubular free by cyclic group acts freely on a CAT(0) cube complex. We also show that these groups have a finite index subgroup satisfying the strongest Tits alternative, which means that every subgroup either surjects a non abelian free group or is torsion free abelian. In particular the Gersten group is the first known group virtually having this property but which is not virtually special nor virtually residually free.
We calculate the virtually-cyclic dimension of the mapping class group of a sphere with at most six punctures. As an immediate consequence, we obtain the virtually-cyclic dimension of the mapping class group of the twice-holed torus and of the closed genus-two surface.
Let $PB_n(S_{g,p})$ be the pure braid group of a genus $g>1$ surface with $p$ punctures. In this paper we prove that any surjective homomorphism $PB_n(S_{g,p})\to PB_m(S_{g,p})$ factors through one of the forgetful homomorphisms. We then compute the automorphism group of $PB_n(S_{g,p})$, extending Irmak, Ivanov and McCarthy's result to the punctured case. Surprisingly, in contrast to the $n=1$ case, any automorphism of $PB_n(S_{g,p})$, $n>1$ is geometric.
We examine three key conjectures in 3-manifold theory: the virtually Haken conjecture, the positive virtual b_1 conjecture and the virtually fibred conjecture. We explore the interaction of these conjectures with the following seemingly unrelated areas: eigenvalues of the Laplacian, and Heegaard splittings. We first give a necessary and sufficient condition, in terms of spectral geometry, for a finitely presented group to have a finite index subgroup with infinite abelianisation. For negatively curved 3-manifolds, we show that this is equivalent to a statement about generalised Heegaard splitt…
We use assembly maps to study $\mathbf{TC}(\mathbb{A}[G];p)$, the topological cyclic homology at a prime $p$ of the group algebra of a discrete group $G$ with coefficients in a connective ring spectrum $\mathbb{A}$. For any finite group, we prove that the assembly map for the family of cyclic subgroups is an isomorphism on homotopy groups. For infinite groups, we establish pro-isomorphism, (split) injectivity, and rational injectivity results, as well as counterexamples to injectivity and surjectivity. In particular, for hyperbolic groups and for virtually finitely generated abelian groups, we…
We show that any Kahler extension of a finitely generated abelian group by a surface group of genus g at least 2 is virtually a product. Conversely, we prove that any homomorphism of an even rank, finitely generated abelian group into the genus g mapping class group with finite image gives rise to a Kahler extension. The main tools come from surface topology and known restrictions on Kahler groups.
We define an integer-valued invariant of special cube complexes called the genus, and prove that having genus one characterizes special cube complexes with abelian fundamental group. Using the genus, we obtain a new proof that the fundamental group of a special cube complex is either free abelian or surjects onto a non-cyclic free group. We also investigate automorphisms of special cube complexes, and give a new geometric proof that the Torelli subgroup for a right-angled Artin group is torsion-free.
Let $G$ be a finitely presented group that can be written as an extension \[ 1 \longrightarrow K \longrightarrow G \longrightarrow F_2 \longrightarrow 1 \] where $K$ is either the finitely generated free group $F_n$, $n > 2$ or the fundamental group of a closed surface of genus $g > 1$. We prove that if the image of the monodromy map $ρ\colon F_2 \to \operatorname{Out(K)}$ contains an element $φ\in \operatorname{Out(K)}$ such that the mapping torus $K \rtimes_φ \Bbb{Z}$ is virtually residually finite rationally solvable (for instance whenever the mapping torus is hyperbolic), then $G$ is not c…
We show that a finitely generated residually finite rationally solvable (or RFRS) group $G$ is virtually fibred, in the sense that it admits a virtual surjection to $\mathbb{Z}$ with a finitely generated kernel, if and only if the first $L^2$-Betti number of $G$ vanishes. This generalises (and gives a new proof of) the analogous result of Ian Agol for fundamental groups of $3$-manifolds.
Let M be a closed orientable 3-manifold with a negatively curved Riemannian metric. Let {M_i} be a collection of finite regular covers with degree d_i. (1) If the Heegaard genus of M_i grows more slowly than the square root of d_i, then M_i has positive first Betti number for all sufficiently large i. (2) The strong Heegaard genus of M_i cannot grow more slowly than the square root of d_i. (3) If the Heegaard genus of M_i grows more slowly than the fourth root of d_i, then M_i fibres over the circle for all sufficiently large i. These results provide supporting evidence for the Heegaard gradie…
We prove that the Waldhausen Nil-group associated to a virtually cyclic groups that surjects onto the infinite dihedral group vanishes if and only if the corresponding Farrell Nil-group associated to the canonical index two subgroup is trivial. The proof uses the transfer map to establish one direction, and uses controlled pseudo-isotopy techniques of Farrell-Jones to establish the reverse implication.
We consider linear groups which do not contain unipotent elements of infinite order, which includes all linear groups in positive characteristic, and show that this class of groups has good properties which resemble those held by groups of non positive curvature and which do not hold for arbitrary characteristic zero linear groups. In particular if such a linear group is finitely generated then centralisers virtually split and all finitely generated abelian subgroups are undistorted. If further the group is virtually torsion free (which always holds in characteristic zero) then we have a stron…
Our main result is that the image of the quantum representation of a central extension of the mapping class group of the genus $g\geq 3$ closed orientable surface at a prime $p\geq 5$ is a Zariski dense discrete subgroup of some higher rank algebraic semi-simple Lie group $\mathbb G_p$ defined over $\Q$. As an application we find that, for any prime $p\geq 5$ a central extension of the genus $g$ mapping class group surjects onto the finite groups $\mathbb G_p(\Z/q\Z)$, for all but finitely many primes $q$. This method provides infinitely many finite quotients of a given mapping class group out…
Given a reducible $3$-manifold $M$ with an aspherical summand in its prime decomposition and a homeomorphism $f\colon M\to M$, we construct a map of degree one from a finite cover of $M\rtimes_f S^1$ to a mapping torus of a certain aspherical $3$-manifold. We deduce that $M\rtimes_f S^1$ has virtually infinite first Betti number, except when all aspherical summands of $M$ are virtual $T^2$-bundles. This verifies all cases of a conjecture of T.-J. Li and Y. Ni, that any mapping torus of a reducible $3$-manifold $M$ not covered by $S^2\times S^1$ has virtually infinite first Betti number, except…
Johnson has defined a surjective homomorphism from the Torelli subgroup of the mapping class group of the surface of genus $g$ with one boundary component to $\wedge^3 H$, the third exterior product of the homology of the surface. Morita then extended Johnson's homomorphism to a homomorphism from the entire mapping class group to ${1/2} \wedge^3 H \semi \sp(H)$. This Johnson-Morita homomorphism is not surjective, but its image is finite index in ${1/2} \wedge^3 H \semi \sp(H)$. Here we give a description of the exact image of Morita's homomorphism. Further, we compute the image of the handlebo…
A well-known conjecture asserts that the mapping class group of a surface (possibly with punctures/boundary) does not virtually surject onto $\Z$ if the genus of the surface is large. We prove that if this conjecture holds for some genus, then it also holds for all larger genera. We also prove that if there is a counterexample to this conjecture, then there must be a counterexample of a particularly simple form. We prove these results by relating the conjecture to a family of linear representations of the mapping class group that we call the higher Prym representations. They generalize the cla…
Recall that a group is called large if it has a finite index subgroup which surjects onto a non-abelian free group. By work of Agol and Cooper-Long-Reid, most 3-manifold groups are large; in particular, the fundamental groups of hyperbolic 3-manifolds are large. In previous work, the first author gave examples of closed, hyperbolic 3-manifolds with arbitrarily large first homology rank but whose fundamental groups do not surject onto a non-abelian free group. We call a group very large if it surjects onto a non-abelian free group. In this paper, we consider the question of whether the groups o…
We study several geometric and group theoretical problems related to Kodaira fibrations, to more general families of Riemann surfaces, and to surface-by-surface groups. First we provide constraints on Kodaira fibrations that fiber in more than two distinct ways, addressing a question by Catanese and Salter about their existence. Then we show that if the fundamental group of a surface bundle over a surface is a ${\rm CAT}(0)$ group, the bundle must have injective monodromy (unless the monodromy has finite image). Finally, given a family of closed Riemann surfaces (of genus $\ge 2$) with injecti…
A graph product kernel means the kernel of the natural surjection from a graph product to the corresponding direct product. We prove that a graph product kernel of countable groups is special, and a graph product of finite or cyclic groups is virtually cocompact special in the sense of Haglund and Wise. The proof of this yields conditions for a graph over which the graph product of arbitrary nontrivial groups (or some cyclic groups, or some finite groups) contains a hyperbolic surface group. In particular, the graph product of arbitrary nontrivial groups over a cycle of length at least five, o…
Instituto de Ciencias Matemáticas, CSIC-UAM-UC3M-UCM（西班牙高等科学研究理事会-马德里自治大学-马德里理工大学-马德里康普顿斯大学联合数学科学研究所）；Emmanuel College, University of Cambridge（剑桥大学伊曼纽尔学院）
Let $S$ be a closed connected oriented surface of genus $g>0$. We study a Poisson subalgebra $W_1(g)$ of $C^{\infty}(\mathrm{Hom}(π_1(S), \mathrm{GL}(1, \mathbb{R}))/\mathrm{GL}(1, \mathbb{R}))$, the smooth functions on the moduli space of flat $\mathrm{GL}(1, \mathbb{R})$-bundles over $S$. There is a surjective Lie algebra homomorphism from the Goldman Lie algebra onto $W_1(g)$. We classify all cobrackets on $W_1(g)$ up to coboundary, that is, we compute $H^1(W_1(g), W_1(g)\wedge W_1(g))\cong \mathrm{Hom}(\mathbb{Z}^{2g}, \mathbb{R})$. As a result, there is no cohomology class corresponding t…
Let $G$ be the semidirect product $Γ\rtimes F_2$ where $Γ$ is either the free group $F_n$, $n > 1$ or the fundamental group $S_g$ of a closed surface of genus $g > 1$. We prove that $G$ is incoherent, solving two problems posed by D. Wise. This implies an affirmative answer to a question of J. Hillman on the fundamental group of a surface bundle over a surface. Although many groups have been shown to be incoherent using virtual algebraic fibering, we also show that not every free-by-free group virtually algebraically fibers.
Let $ 1 \rightarrow N \rightarrow G \rightarrow Q \rightarrow 1$ be an exact sequence of finitely presented groups where Q is infinite and not virtually cyclic, and is the fundamental group of some closed 3-manifold. If G is Kaehler, we show that Q is either the 3-dimensional Heisenberg group or the fundamental group of the Cartesian product of a closed oriented surface of positive genus and the circle. As a corollary, we obtain a new proof of a theorem of Dimca and Suciu by taking N to be the trivial group, If G is the fundamental group of a compact complex surface, we show that Q must be the…
We consider the relationship between hyperbolic cone-manifold structures on surfaces, and algebraic representations of the fundamental group into a group of isometries. A hyperbolic cone-manifold structure on a surface, with all interior cone angles being integer multiples of $2π$, determines a holonomy representation of the fundamental group. We ask, conversely, when a representation of the fundamental group is the holonomy of a hyperbolic cone-manifold structure. In this paper we prove results for the punctured torus; in the sequel, for higher genus surfaces. We show that a representation of…
We show that the Fibered Isomorphism Conjecture (FIC) of Farrell and Jones corresponding to the stable topological pseudoisotopy functor is true for the fundamental groups of a large class of 3-manifolds. We also prove that if the FIC is true for irreducible 3-manifold groups then it is true for all 3-manifold groups. In fact, this follows from a more general result we prove here, namely we show that if the FIC is true for each vertex group of a graph of groups with trivial edge groups then the FIC is true for the fundamental group of the graph of groups. This result is part of a program to pr…
