Bounded cohomology of subgroups of mapping class groups

The girth of a finitely generated group G is the supremum of the girth of Cayley graphs for G over all finite generating sets. Let G be a finitely generated subgroup of the mapping class group Mod(S), where S is a compact orientable surface. Then, either G is virtually abelian or it has infinite girth; moreover, if we assume that G is not infinite cyclic, these alternatives are mutually exclusive.

In this paper, we survey recent works on the structure of the mapping class groups of surfaces mainly from the point of view of topology. We then discuss several possible directions for future research. These include the relation between the structure of the mapping class group and invariants of 3-manifolds, the unstable cohomology of the moduli space of curves and Faber's conjecture, cokernel of the Johnson homomorphisms and the Galois as well as other new obstructions, coho...

Let SI(S_g) denote the hyperelliptic Torelli group of a closed surface S_g of genus g. This is the subgroup of the mapping class group of S_g consisting of elements that act trivially on H_1(S_g;Z) and that commute with some fixed hyperelliptic involution of S_g. We prove that the cohomological dimension of SI(S_g) is g-1 when g > 0. We also show that H_g-1(SI(S_g);Z) is infinitely generated when g > 1. In particular, SI(S_3) is not finitely presentable. Finally, we apply our...

Let $S$ be a compact orientable surface, and $\Mod(S)$ its mapping class group. Then there exists a constant $M(S)$, which depends on $S$, with the following property. Suppose $a,b \in \Mod(S)$ are independent (i.e., $[a^n,b^m]\not=1$ for any $n,m \not=0$) pseudo-Anosov elements. Then for any $n,m \ge M$, the subgroup $<a^n,b^m>$ is free of rank two, and convex-cocompact in the sense of Farb-Mosher. In particular all non-trivial elements in $<a^n,b^m>$ are pseudo-Anosov. ...

For any infinite-type surface $S$, a natural question is whether the homology of its mapping class group contains any non-trivial classes that are supported on (i) a compact subsurface or (ii) a finite-type subsurface. Our purpose here is to study this question, in particular giving an almost-complete answer when the genus of $S$ is positive (including infinite) and a partial answer when the genus of $S$ is zero. Our methods involve the notion of shiftable subsurfaces as well...

In this short note we give an elementary proof of the fact that every countable group is a subgroup of the mapping class group of the Loch Ness monster surface.

We classify homomorphisms from mapping class groups by using finite subgroups. First, we give a new proof of a result of Aramayona--Souto that homomorphisms between mapping class groups of closed surfaces are trivial for a range of genera. Second, we show that only finitely many mapping class groups of closed surfaces have non-trivial homomorphisms into $\text{Homeo}(\mathbb{S}^n)$ for any $n$. We also prove that every homomorphism from $\text{Mod}(S_g)$ to $\text{Homeo}(\mat...

We define the notion of a hierarchically cocompact classifying space for a family of subgroups of a group. Our main application is to show that the mapping class group $\mbox{Mod}(S)$ of any connected oriented compact surface $S$, possibly with punctures and boundary components and with negative Euler characteristic has a hierarchically cocompact model for the family of virtually cyclic subgroups of dimension at most $\mbox{vcd} \mbox{Mod}(S)+1$. When the surface is closed, w...

We discuss a number of open problems about mapping class groups of surfaces. In particular, we discuss problems related to linearity, congruence subgroups, cohomology, pseudo-Anosov stretch factors, Torelli subgroups, and normal subgroups.

We study the large scale geometry of mapping class groups MCG(S), using hyperbolicity properties of curve complexes. We show that any self quasi-isometry of MCG(S) (outside a few sporadic cases) is a bounded distance away from a left-multiplication, and as a consequence obtain quasi-isometric rigidity for MCG(S), namely that groups quasi-isometric to MCG(S) are virtually equal to it. (The latter theorem was proved by Hamenstadt using different methods). As part of our approac...