Dehn Twists

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

Let Mod(Sg) be the mapping class group of an orientable surface of genus g, Sg. The action of Mod(Sg) on the homology of Sg induces the well-known symplectic representation: Mod(Sg) ---> Sp(2g, Z). The kernel of this representation is called the Torelli group, I(Sg). We will study two subgroups of I(Sg). First we will look at the subgroup generated by all SIP-maps, SIP(Sg). We will show SIP(Sg) is not I(Sg) and is in fact an infinite index subgroup of I(Sg). We will also classify which SIP-maps are in the kernel of the Johnson homomorphism and Birman-Craggs-Johnson homomorphism. Then we will look at the symmetric Torelli group, SI(Sg). More specifically, we will investigate the group generated by Dehn twists about symmetric separating curves denoted H(Sg). We will show the well-known Birman-Craggs-Johnson homomorphism is not able to distinguish among SI(Sg), H(Sg), or K(Sg), where K(Sg) is the subgroup generated by Dehn twists about separating curves. Elements of H(Sg) act naturally on the symmetric separating curve complex, CH(S). We will show that when g > 4 Aut(CH(Sg)) = SMod^{+/-}(Sg) / < i > where SMod(Sg) is the symmetric mapping class group and i is a fixed hyperelliptic involution. Lastly we will give an algebraic characterization of Dehn twists about symmetric separating curves.

Let $S$ be an orientable, connected surface with infinitely-generated fundamental group. The main theorem states that if the genus of $S$ is finite and at least 4, then the isomorphism type of the pure mapping class group associated to $S$, denoted $\mathrm{PMap}(S)$, detects the homeomorphism type of $S$. As a corollary, every automorphism of $\mathrm{PMap}(S)$ is induced by a homeomorphism, which extends a theorem of Ivanov from the finite-type setting. In the process of proving these results, we show that $\mathrm{PMap}(S)$ is residually finite if and only if $S$ has finite genus, demonstrating that the algebraic structure of $\mathrm{PMap}(S)$ can distinguish finite- and infinite-genus surfaces. As an independent result, we also show that $\mathrm{Map}(S)$ fails to be residually finite for any infinite-type surface $S$. In addition, we give a topological generating set for $\mathrm{PMap}(S)$ equipped with the compact-open topology. In particular, if $S$ has at most one end accumulated by genus, then $\mathrm{PMap}(S)$ is topologically generated by Dehn twists, otherwise the Dehn twists along with handle shifts topologically generate.

We calculate the Dehn twist action on the spaces of conformal blocks of a not necessarily semisimple modular category. In particular, we give the order of the Dehn twists under the mapping class group representations of closed surfaces. For Dehn twists about non‐separating simple closed curves, we prove that this order is the order of the ribbon twist, thereby generalizing a result that De Renzi–Gainutdinov–Geer–Patureau–Mirand–Runkel obtained for the small quantum group. In the separating case, we express the order using the order of the ribbon twist on monoidal powers of the canonical end. As an application, we prove that the Johnson kernels of the mapping class groups act trivially if and only if for the canonical end the ribbon twist and double braiding with itself are trivial. We give a similar result for the visibility of the Torelli groups.

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.

Consider the mapping class group Mod g,p of a surface Σ g,p of genus g with p punctures, and a finite collection {f1, . . . , fk} of mapping classes, each of which is either a Dehn twist about a simple closed curve or a pseudo-Anosov homeomorphism supported on a connected subsurface. In this paper we prove that for all sufficiently large N, the mapping classes $${\{f_1^N,\ldots,f_k^N\}}$$ generate a right-angled Artin group. The right-angled Artin group which they generate can be determined from the combinatorial topology of the mapping classes themselves. When {f1, . . . , fk} are arbitrary mapping classes, we show that sufficiently large powers of these mapping classes generate a group which embeds in a right-angled Artin group in a controlled way. We establish some analogous results for real and complex hyperbolic manifolds. We also discuss the unsolvability of the isomorphism problem for finitely generated subgroups of Mod g,p , and recover the fact that the isomorphism problem for right-angled Artin groups is solvable. We thus characterize the isomorphism type of many naturally occurring subgroups of Mod g,p .

Let N_{g} denote a closed nonorientable surface of genus g. For g ge 2 the mapping class group mathcal {M}(N_{g}) is generated by Dehn twists and one crosscap slide (Y-homeomorphism) or by Dehn twists and a crosscap transposition. Margalit and Schleimer observed that Dehn twists on orientable surfaces have nontrivial roots. We give necessary and sufficient conditions for the existence of roots of crosscap slides and crosscap transpositions.

Given two Lagrangian spheres in an exact symplectic manifold, we find conditions under which the Dehn twists about them generate a free non-abelian subgroup of the symplectic mapping class group. This extends a result of Ishida for Riemann surfaces. The proof generalises the categorical version of Seidel's long exact sequence to arbitrary powers of a fixed Dehn twist. We also show that the Milnor fibre of any isolated degenerate hypersurface singularity contains such pairs of spheres.

In this paper, we study the quotient and “blow-up” of graph-of-groups [Formula: see text] and of their automorphisms [Formula: see text]. We show that the existence of such a blow-up of any [Formula: see text], relative to a given family of “local” graph-of-groups isomorphisms [Formula: see text] depends crucially on the [Formula: see text]-conjugacy class of the correction term [Formula: see text] for any edge [Formula: see text] of [Formula: see text], where [Formula: see text]-conjugacy is a new but natural concept introduced here. As an application, we obtain a criterion as to whether a partial Dehn twist can be blown up relative to local Dehn twists, to give an actual Dehn twist. The results of this paper are also used crucially in the follow-up papers [Lustig and Ye, Normal form and parabolic dynamics for quadratically growing automorphisms of free groups, arXiv:1705.04110v2; Ye, Partial Dehn twists of free groups relative to local Dehn twists — A dichotomy, arXiv:1605.04479 ; When is a polynomially growing automorphism of [Formula: see text] geometric, arXiv:1605.07390 ].

The Johnson kernel is the subgroup of the mapping class group of a surface generated by Dehn twists along bounding simple closed curves, and has the second Johnson homomorphism as a free abelian quotient. In terms of the representation theory of the symplectic group, we give a complete description of cup products of two classes in the first rational cohomology of the Johnson kernel obtained by the rational dual of the second Johnson homomorphism.

This note has two related but independent parts. Firstly, we prove a generalisation of a recent result of Gay on the smooth mapping class group of . Secondly, we give an alternative proof of a consequence of work of Saeki, namely that the Dehn twist along the boundary sphere of a simply connected closed smooth 4‐manifold with is trivial after taking connected sums with enough copies of .

In this thesis we discuss the group Out(Gal_K) of outer automorphism of the absolute Galois group Gal_K of a p-adic number field K. Using results about the mapping class group of a surface S, as well as a result by Jannsen--Wingberg on the structure of the absolute Galois group Gal_K, we construct a large subgroup of Out(Gal_K) arising as images of certain Dehn twists on S.

'lg,n is defined by the set of all orientation-

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.

Chapter 12 - Mapping Class Groups