Bounded cohomology of subgroups of mapping class groups

In this paper, we briefly review some of the known results concerning the cohomological structures of the mapping class group of surfaces, the outer automorphism group of free groups, the diffeomorphism group of surfaces as well as various subgroups of them such as the Torelli group, the IA outer automorphism group of free groups, the symplectomorphism group of surfaces. Based on these, we present several conjectures and problems concerning the cohomology of these groups. W...

In this paper, we make use of the relations between the braid and mapping class groups of a compact, connected, non-orientable surface N without boundary and those of its orientable double covering S to study embeddings of these groups and their (virtual) cohomological dimensions. We first generalise results of Birman and Chillingworth and of Gon\c{c}alves and Guaschi to show that the mapping class group MCG(N ; k) of N relative to a k-point subset embeds in the mapping class...

We study the large-scale geometry of mapping class groups of surfaces of infinite type, using the framework of Rosendal for coarse geometry of non locally compact groups. We give a complete classification of those surfaces whose mapping class groups have local coarse boundedness (the analog of local compactness). When the end space of the surface is countable or tame, we also give a classification of those surface where there exists a coarsely bounded generating set (the anal...

In these lecture notes, we combine recent homological methods of Kevin Whyte with older dynamical methods developed by Benson Farb and myself, to obtain a new quasi-isometric rigidity theorem for the mapping class group MCG(S) of a once punctured surface S of genus at least 2: if K is a finitely generated group quasi-isometric to MCG(S) then there is a homomorphism K -> MCG(S) with finite kernel and finite index image. This theorem is joint with Kevin Whyte.

We study the action of the mapping class group on the subspace of de Rham classes in the degree-two bounded cohomology of a hyperbolic surface. In particular, we show that the only fixed nontrivial finite-dimensional subspace is the one generated by the Euler class. As a consequence, we get that the action of the mapping class group on the space of de Rham quasimorphisms has no fixed points.

In this work we compute the first integral cohomology of the pure mapping class group of a non-orientable surface of infinite topological type and genus at least 3. To this purpose, we also prove several other results already known for orientable surfaces such as the existence of an Alexander method, the fact that the mapping class group is isomorphic to the automorphism group of the curve graph along with the topological rigidity of the curve graph, and the structure of the ...

In this article, we give a necessary and sufficient condition for embedding a finite index subgroup of Artin's braid group into the mapping class group of a connected orientable surface.

We study the large scale geometry of the mapping class group, MCG. Our main result is that for any asymptotic cone of MCG, the maximal dimension of locally compact subsets coincides with the maximal rank of free abelian subgroups of MCG. An application is an affirmative solution to Brock-Farb's Rank Conjecture which asserts that MCG has quasi-flats of dimension N if and only if it has a rank N free abelian subgroup. We also compute the maximum dimension of quasi-flats in Teic...

Using the existence of certain symplectic submanifolds in symplectic 4-manifolds, we prove an estimate from above for the number of singular fibers with separating vanishing cycles in minimal Lefschetz fibrations over surfaces of positive genus. This estimate is then used to deduce that mapping class groups are not uniformly perfect, and that the map from their second bounded cohomology to ordinary cohomology is not injective.

In this paper, we study homological representations of mapping class groups. Given a finite group $G$ acting on a surface $S$, we consider the question of whether the representation of $\textrm{Mod}(S)^G$ given by the action on $H_1(S;\mathbb{Q})$ has arithmetic image. This question has been answered both positively and negatively in different cases by the work of several authors. Our main result is a complete answer to this question when $S$ has genus at most 3.