On the linearity problem for mapping class groups

We prove that, aside from the obvious exceptions, the mapping class group of a compact orientable surface is not abstractly commensurable with any right-angled Artin group. Our argument applies to various sub- groups of the mapping class group—the subgroups generated by powers of Dehn twists and the terms of the Johnson filtration—and additionally to the outer automorphism group of a free group and to certain linear groups. There are many analogies and interconnections between the theories of right- angled Artin groups on one hand and mapping class groups on the other hand. For instance, by the work of Crisp and Wiest (13), the work of Koberda (27), and the work of the first two authors with Mangahas (12), there is an abundance of injective homomorphisms from right-angled Artin groups to mapping class groups. Also, the last two authors proved (30) that any two elements of the pure braid group either generate a free group or a free abelian group—a property shared by all right-angled Artin groups (4, Theorem 1.2). We are thus led to ask to what extent mapping class groups are the same as right-angled Artin groups. It is straightforward to see that most mapping class groups are not isomorphic to right-angled Artin groups, for instance because right-angled Artin groups are torsion free. On the other hand, mapping class groups have finite-index sub- groups that are torsion free, and so this leaves open the possibility that mapping class groups are abstractly commensurable to right-angled Artin groups, that is, that they have isomorphic finite-index subgroups. We prove that, aside from a small number of exceptions, this is not the case. We also extend this result to several classes of groups related to mapping class groups. We start by recalling some definitions. To a finite graph , we can associate a right-angled Artin grou p: this is the group with one generator for each vertex of , and one defin ing relator for each edge, namely, the commutator of the two generators corresponding to the endpoints. Let Sg,n denote a closed, connected, orientable surface of genus g with n marked points. The mapping class group Mod(Sg,n) is the group of homotopy classes of orientation-preserving homeomorphisms of Sg,n preserving the set of marked points. As discussed in Koberda's paper (27, Theorem 1.5), no finite-index subgroup of Mod(Sg,n) injects into a right-angled Artin group if g ≥ 2 and (g,n) 6 (2,0); see

Chapter 12 - Mapping Class Groups

We prove that the Torelli group of an oriented surface with any number of boundary components is at least exponentially distorted in the mapping class group by using Broaddus–Farb–Putman’s techniques. Further we show that the distortion of the Torelli group in the level [Formula: see text] mapping class group is the same as that in the mapping class group.

We refine the construction of quasi-homomorphisms on mapping class groups. It is useful to know that there are unbounded quasi-homomorphisms which are bounded when restricted to particular subgroups since then one deduces that the mapping class group is not boundedly generated by these subgroups. In this note we enlarge the class of such subgroups. The generalization is motivated by considerations in first order theory of free groups.

We rene the construction of quasi-homomorphisms on mapping class groups. It is useful to know that there are unbounded quasi-homomorphisms which are bounded when restricted to particular subgroups since then one deduces that the mapping class group is not boundedly generated by these subgroups. In this note we enlarge the class of such subgroups. The generalization is motivated by considerations in rst order theory of free groups.

We focus on two kinds of infinite index subgroups of the mapping class group of a surface associated with a Lagrangian submodule of the first homology of a surface. These subgroups, called Lagrangian mapping class groups, are known to play important roles in the interaction between the mapping class group and finite-type invariants of 3-manifolds. In this paper, we discuss these groups from a group (co)homological point of view. The results include the determination of their abelianizations, lower bounds of the second homology and remarks on the (co)homology of higher degrees. As a by-product of this investigation, we determine the second homology of the mapping class group of a surface of genus 3.

We study stable commutator length on mapping class groups of certain infinite-type surfaces. In particular, we show that stable commutator length defines a continuous function on the commutator subgroups of such infinite-type mapping class groups. We furthermore show that the commutator subgroups are open and closed subgroups and that the abelianizations are finitely generated in many cases. Our results apply to many popular infinite-type surfaces with locally coarsely bounded mapping class groups.

We consider finite-sheeted, regular, possibly branched covering spaces of compact surfaces with boundary and the associated liftable and symmetric mapping class groups. In particular, we classify when either of these subgroups coincides with the entire mapping class group of the surface. As a consequence, we construct infinite families of non-geometric embeddings of the braid group into mapping class groups in the sense of Wajnryb. Indeed, our embeddings map standard braid generators to products of Dehn twists about curves forming chains of arbitrary length. As key tools, we use the Birman-Hilden theorem and the action of the mapping class group on a particular fundamental groupoid of the surface.

We show that any pivotal Hopf monoid H in a symmetric monoidal category \mathcal{C} gives rise to actions of mapping class groups of oriented surfaces of genus g\geq 1 with n\geq 1 boundary components. These mapping class group actions are given by group homomorphisms into the group of automorphisms of certain Yetter–Drinfeld modules over H . They are associated with edge slides in embedded ribbon graphs that generalise chord slides in chord diagrams. We give a concrete description of these mapping class group actions in terms of generating Dehn twists and defining relations. For the case where \mathcal{C} is finitely complete and cocomplete, we also obtain actions of mapping class groups of closed surfaces by imposing invariance and coinvariance under the Yetter–Drinfeld module structure.

The study of the mapping class group Mod( S ) is a classical topic that is experiencing a renaissance. It lies at the juncture of geometry, topology, and group theory. This book explains as many important theorems, examples, and techniques as possible, quickly and directly, while at the same time giving full details and keeping the text nearly self-contained. The book is suitable for graduate students. A Primer on Mapping Class Groups begins by explaining the main group-theoretical properties of Mod( S ), from finite generation by Dehn twists and low-dimensional homology to the Dehn-Nielsen-Baer theorem. Along the way, central objects and tools are introduced, such as the Birman exact sequence, the complex of curves, the braid group, the symplectic representation, and the Torelli group. The book then introduces Teichmüller space and its geometry, and uses the action of Mod( S ) on it to prove the Nielsen-Thurston classification of surface homeomorphisms. Topics include the topology of the moduli space of Riemann surfaces, the connection with surface bundles, pseudo-Anosov theory, and Thurston's approach to the classification.

In the 1970s, Joan Birman and Hugh Hilden wrote several papers on the problem of relating the mapping class group of a surface to that of a covering space. Their results provide a bridge between the theories of mapping class groups and braid groups. We survey the work of Birman and Hilden, give an overview of the subsequent developments, and discuss open questions and new directions.

We continue our studies of the low-energy spectrum of N=4 super-Yang-Mills theory on a spatial three-torus. In two previous papers, we computed the spectrum of normalizable zero-energy states for all choices of gauge group and all values of the electric and magnetic 't Hooft fluxes, and checked its invariance under the SL_2(Z) S-duality group. In this paper, we refine the analysis by also decomposing the space of bound states into irreducible unitary representations of the SL_3(Z) mapping class group of the three-torus. We perform a detailed study of the S-dual pairs of theories with gauge groups Spin(2n+1) and Sp(2n). The predictions of S-duality (which commutes with the mapping class group) are fulfilled as expected, but the proof requires some surprisingly intricate combinatorial infinite product identities.

For a simply-connected closed manifold X of $\dim X \neq 4$ , the mapping class group $\pi _0(\mathrm {Diff}(X))$ is known to be finitely generated. We prove that analogous finite generation fails in dimension 4. Namely, we show that there exist simply-connected closed smooth 4-manifolds whose mapping class groups are not finitely generated. More generally, for each $k>0$ , we prove that there are simply-connected closed smooth 4-manifolds X for which $H_k(B\mathrm {Diff}(X);\mathbb {Z})$ are not finitely generated. The infinitely generated subgroup of $H_k(B\mathrm {Diff}(X);\mathbb {Z})$ which we detect are topologically trivial, and unstable under the connected sum of $S^2 \times S^2$ . These results are proven by constructing and computing an infinite family of characteristic classes using Seiberg–Witten theory.

We study decorated mapping class groups, i.e., mapping class groups of surfaces with marked points and boundary components, and their behaviour under stabilization maps with respect to the genus, the number of punctures and boundary components. Decorated mapping class groups are non-trivial extensions of the undecorated mapping class group, and the first result states that the extension is homologically trivial when one stabilizes with respect to the genus. The second result implies that one also gets splittings of homology groups when stabilizing with respect to the number of punctures and boundary components.

Finite presentations of the mapping class groups of once-stabilized Heegaard splittings DAIKI IGUCHILet g 2 and assume that we are given a genus g Heegaard splitting of a closed orientable 3-manifold with distance greater than 2g C 2. We prove that the mapping class group of the once-stabilization of such a Heegaard splitting is finitely presented.57K30, 57M60 1 Introduction Let .M; / be a Heegaard splitting of a compact orientable 3-manifold M .The mapping class group MCG.M; / of the Heegaard splitting .M; / is defined to be the group 0 .Diff.M; // of path-connected components of the group Diff.M; /, where we denote by Diff.M; / the group of diffeomorphisms of M that preserve setwise.There is a natural homomorphism from MCG.M; / to the mapping class group MCG.M / of M .Following Johnson [2011], we call the kernel of this natural homomorphism the isotopy subgroup of MCG.M; /, and denote it by Isot.M; /.In this paper, we are interested in the isotopy subgroup of the mapping class group of a once-stabilized Heegaard splitting.Let .M; 0 / be a genus g. 0 / 2 Heegaard splitting of a closed orientable 3manifold M .We say that a Heegaard splitting .M; / is a (once-)stabilization of .M; 0 / if it is obtained from .M; 0 / by adding a 1-handle whose core is parallel into 0 .Corresponding to two handlebodies V 0 and V C 0 in M with @V 0 D @V C 0 D 0 , there are two obvious subgroups of Isot.M; /: one is Isot.V 0 ; / and the other is Isot.V C 0 ; C /, where (resp. C ) is the Heegaard surface obtained by pushing into V 0 (resp.V C 0 ) slightly.It is natural to ask when these subgroups generate Isot.M; /.Johnson [2011] proved that if the distance d. 0 / of the Heegaard splitting .M; 0 / is greater than 2g. 0 / C 2, then the two subgroups defined above generate Isot.M; /.As a consequence of this fact, together with a result of Scharlemann [2013] that says Isot.V 0 ; / are finitely generated, it follows that Isot.M; / and MCG.M; / are finitely generated.In that paper, Johnson conjectured that Isot.M; / is an amalgamation of the two groups Isot.V 0 ; / and Isot.V C 0 ; C /.This is the main result of the paper:Theorem 1.1 Suppose that .M; 0 / is Heegaard splitting of a closed orientable 3-manifold M with d. 0 / > 2g. 0 / C 2, and that .M; / is a once-stabilization of .M; 0 /.Suppose that .V 0 ; / (resp.