We present a complete classification of elements in the mapping class group of the torus which have a representative that can be written as a product of two orientation reversing involutions. Our interest in such decompositions is motivated by features of the monodromy maps of real fibrations. We employ the property that the mapping class group of the torus is identifiable with $SL(2,\Z)$ as well as that the quotient group $PSL(2,\Z)$ is the symmetry group of the {\em Farey tessellation} of the Poincaré disk.
Positive Dehn twist products for some elements of finite order in the mapping class group of a 2-dimensional closed, compact, oriented surface $Σ_g$, which are rotations of $Σ_g$ through $2π/p$, are presented. The homeomorphism invariants of the resulting simply connected symplectic 4- manifolds are computed.
We prove that the mapping class group of a closed connected orientable surface of genus $g$ is generated by two elements of order $g$ for $g\geq 6$. Moreover, for $g\geq 7$ we found a generating set of two elements, of order $g$ and $g'$ which is the least divisor of $g$ such that $g'>2$. Furthermore, we proved that it is generated by two elements of order $g/\gcd (g,k)$ for $g\geq 3k^2+4k+1$ and any positive integer $k$.
We compute the growth series and the growth functions of reducible and pseudo-Anosov elements of the pure mapping class group of the sphere with four holes with respect to a certain generating set. We prove that the ratio of the number of pseudo-Anosov elements to that of all elements in a ball with center at the identity tends to one as the radius of the ball tends to infinity.
We prove that, for $g\geq19$ the mapping class group of a nonorientable surface of genus $g$, $\textrm{Mod}(N_g)$, can be generated by two elements, one of which is of order $g$. We also prove that for $g\geq26$, $\textrm{Mod}(N_g)$ can be generated by three involutions if $g\geq26$.
We consider an oriented surface S and a cellular complex X of curves on S, defined by Hatcher and Thurston in 1980. We prove by elementary means, without Cerf theory, that the complex X is connected and simply connected. From this we derive an explicit simple presentation of the mapping class group of S, following the ideas of Hatcher-Thurston and Harer.
Let $S_g$ be the closed oriented surface of genus g and let $\text{Mod}(S_g)$ be the mapping class group. When the genus is at least 3, $\text{Mod}(S_g)$ can be generated by torsion elements. We prove the follow results. For $g \geq 4$, $\text{Mod}(S_g)$ can be generated by 4 torsion elements. Three generators are involutions and the forth one is an order 3 element. $\text{Mod}(S_3)$ can be generated by 5 torsion elements. Four generators are involutions and the fifth one is an order 3 element.
We prove that if a normal subgroup of the extended mapping class group of a closed surface has an element of sufficiently small support then its automorphism group and abstract commensurator group are both isomorphic to the extended mapping class group. The proof relies on another theorem we prove, which states that many simplicial complexes associated to a closed surface have automorphism group isomorphic to the extended mapping class group. These results resolve the metaconjecture of N.V. Ivanov, which asserts that any "sufficiently rich" object associated to a surface has automorphism group…
We show that the mapping class group of a closed oriented surface of genus at least three is generated by 3 elements of order 3 and by 4 elements of order 4. Note that the mapping class group cannot be generated by finitely many torsion elements of same order if genus is equal to one or two.
Wajnryb proved that the mapping class group of an orientable surface is generated by two elements. We prove that one of these generators can be taken as a Dehn twist. We also prove that the extended mapping class group is generated by two elements, again one of which is a Dehn twist. Another result we prove is that the mapping class groups are also generated by two elements of finite order.
We prove that for genus $g=3,4$, the extended mapping class group $\text{Mod}^{\pm}(S_g)$ can be generated by two elements of finite orders. But for $g=1$, $\text{Mod}^{\pm}(S_1)$ cannot be generated by two elements of finite orders.
Given a finite set of $r$ points in a closed surface of genus $g$, we consider the torsion elements in the mapping class group of the surface leaving the finite set invariant. We show that the torsion elements generate the mapping class group if and only if $(g, r) \neq (2, 5k+4)$ for some integer $k$.
This document is a practical guide to computations using an automatic structure for the mapping class group of a once-punctured, oriented surface $S$. We describe a quadratic time algorithm for the word problem in this group, which can be implemented efficiently with pencil and paper. The input of the algorithm is a word, consisting of ``chord diagrams'' of ideal triangulations and elementary moves, which represents an element of the mapping class group. The output is a word called a ``normal form'' that uniquely represents the same group element.
We study monodromies of plane curve singularities and pseudo-periodic homeomorphisms of oriented surfaces with boundary, following an original idea of the first author: tête-à-tête graphs and twists. We completely characterize mapping classes that can be represented by tête-à-tête twists, and generalize the notion to be able to represent any class of the mapping class group relative to the boundary which is boundary-free periodic. This improves previous work on the subject by C. Graf. Furthermore, we introduce the class of mixed tête-à-tête graphs and twists, and prove that mixed tête-à-tête t…
We show that for any $k$ at least $6$ and $g$ sufficiently large, the mapping class group of a surface of genus $g$ can be generated by three elements of order $k$. We also show that this can be done with four elements of order $5$. We additionally prove similar results for some permutation groups, linear groups, and automorphism groups of free groups.
We show that the normal closure of any periodic element of the mapping class group of a non-orientable surface whose order is greater than 2 contains the commutator subgroup, which for $g\geq 7$ is equal to the twist subgroup, and provide necessary and sufficient conditions for the normal closures of involutions to contain the twist subgroup. Finally, we provide a criterion for a periodic element to normally generate $\mathcal{M}(N_g)$ and give examples.
In the Cayley graph of the mapping class group of a closed surface, with respect to any generating set, we look at a ball of large radius centered on the identity vertex, and at the proportion among the vertices in this ball representing pseudo-Anosov elements. A well-known conjecture states that this proportion should tend to one as the radius tends to infinity. We prove that it stays bounded away from zero. We also prove similar results for a large class of subgroups of the mapping class group.
Let $Σ_{g,p}$ be a closed oriented surface of genus $g\geq 1$ with $p$ punctures. Let $\rm Mod(Σ_{\textit{g,p}})$ be the mapping class group of $Σ_{g,p}$. Wajnryb proved in [Wa] that for $p=0, 1$ $\rm Mod({Σ_{\textit{g,p}}})$ is generated by two elements. Korkmaz proved in [Ko] that one of these generators can be taken as a Dehn twist. For $p\geq 2$, We proved that $\rm Mod(Σ_{\textit{g,p}})$ is generated by three elements.
The balanced superelliptic mapping class group is the normalizer of the transformation group of the balanced superelliptic covering in the mapping class group of the total surface. We prove that the balanced superelliptic mapping class groups with either one marked point, one boundary component, or no marked points and boundary are generated by three elements. To prove this, we also show that its liftable mapping class groups are also generated by three elements. These generating sets are minimal except for several no marked points and boundary cases.
An algorithm is proposed that solves two decision problems for pseudo-Anosov elements in the mapping class group of a surface with at least one marked fixed point. The first problem is the root problem: decide if the element is a power and in this case compute the roots. The second problem is the symmetry problem: decide if the element commutes with a finite order element and in this case compute this element. The structure theorem on which this algorithm is based provides also a new solution to the conjugacy problem.
We study mapping class groups of infinite type surfaces with isolated punctures and their actions on the loop graphs introduced by Bavard-Walker. We classify all of the mapping classes in these actions which are loxodromic with a WWPD action on the corresponding loop graph. The WWPD property is a weakening of Bestvina-Fujiwara's weak proper discontinuity and is useful for constructing non-trivial quasimorphisms. We use this classification to give a sufficient criterion for subgroups of big mapping class groups to have infinite-dimensional second bounded cohomology and use this criterion to giv…
We prove that the mapping class group $\mathcal{M}(N_g)$ of a closed nonorientable surface of genus $g$ different than 4 is generated by three torsion elements. Moreover, for every even integer $k\ge 12$ and $g$ of the form $g=pk+2q(k-1)$ or $g=pk+2q(k-1)+1$, where $p,q$ are non-negative integers and $p$ is odd, $\mathcal{M}(N_g)$ is generated by three conjugate elements of order $k$. Analogous results are proved for the subgroup of $\mathcal{M}(N_g)$ generated by Dehn twists.
We give elementary applications of quasi-homomorphisms to growth problems in groups. A particular case concerns the number of torsion elements required to factorise a given element in the mapping class group of a surface.
We use the geometry of the Farey graph to give an alternative proof of the fact that if $A \in GL_2\mathbb Z$ and $G_A=\mathbb Z^2 \rtimes_A \mathbb Z$ is generated by two elements, there is a single Nielsen equivalence class of $2$-element generating sets for $G_A$ unless $A$ is conjugate to $\pm \left(\begin {smallmatrix} 2 & 1 \\ 1 & 1 \end {smallmatrix}\right )$, in which case there are two.
We show that mapping class groups of surfaces of genus at least two contain elements of infinite order that are not conjugate to their inverses, but whose powers have bounded torsion lengths. In particular every homogeneous quasi-homomorphism vanishes on such an element, showing that elements of infinite order not conjugate to their inverses cannot be separated by quasi-homomorphisms.
We study the action of the elements of the mapping class group of a surface of finite type on the Teichmüller space of that surface equipped with Thurston's asymmetric metric. We classify such actions as elliptic, parabolic, hyperbolic and pseudo-hyperbolic, depending on whether the translation distance of such an element is zero or positive and whether the value of this translation distance is attained or not, and we relate these four types to Thurston's classification of mapping classes. The study is parallel to the one made by Bers in the setting of Teichmüller space equipped with Teichmüll…
Let $S$ be an infinite-type surface and $p\in S$. We show that the Thurston-Veech construction for pseudo-Anosov elements, adapted for infinite-type surfaces, produces infinitely many loxodromic elements for the action of $Mod(S;p)$ on the loop graph $L(S;p)$ that do not leave any finite-type subsurface $S'\subset S$ invariant. Moreover, in the language of Bavard-Walker, Thurston-Veech's construction produces loxodromic elements of any weight. As a consequence of Bavard and Walker's work, any subgroup of $Mod(S;p)$ containing two "Thurston-Veech loxodromics" of different weight has an infinite…
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. We also show that there exists a constant $N$, which depends on $a,b$, such that $<a^n,b^m>$ is free of rank two and convex-…
For every integer l bigger than one, we find elements x and y in the mapping class group of an appropriate orientable surface S, satisfying the Artin relation of length l. That is, xyx... = yxy..., where each side of the equality contains l terms. By direct computations, we first find elements x and y in Mod(S) satisfying Artin relations of every even length bigger than 6, and every odd length bigger than 1. Then using the theory of Artin groups, we give two more alternative ways for finding Artin relations in Mod(S). The first provides Artin relations of every length greater than 3, while the…
We prove that both the hyperelliptic mapping class group and the extended hyperelliptic mapping class group are generated by two torsion elements. We also compute the index of the subgroup of the hyperelliptic mapping class group which is generated by involutions and we prove that the extended hyperelliptic mapping class group is generated by three orientation reversing involutions.
Let $\textrm{Mod}(N_{g, p})$ denote the mapping class group of a nonorientable surface of genus $g$ with $p$ punctures. For $g\geq14$, we show that $\textrm{Mod}(N_{g, p})$ can be generated by five elements or by six involutions.
We develop an algebraic representation for (1,1)-knots using the mapping class group of the twice punctured torus MCG(T,2). We prove that every (1,1)-knot in a lens space L(p,q) can be represented by the composition of an element of a certain rank two free subgroup of MCG(T,2) with a standard element only depending on the ambient space. As a notable examples, we obtain a representation of this type for all torus knots and for all two-bridge knots. Moreover, we give explicit cyclic presentations for the fundamental groups of the cyclic branched coverings of torus knots of type (k,ck+2).
We find a constructive bound for the word length of a generating set for the centralizer of an element of the Mapping Class Group. As a consequence, we show that it is algorithmically decidable whether two postcritically finite branched coverings of the sphere are Thurston equivalent.
Let $S_g$ be the closed oriented surface of genus g and let $\text{Mod}^{\pm}(S_g)$ be the extended mapping class group of $S_g$. When the genus is at least 5, we prove that $\text{Mod}^{\pm}(S_g)$ can be generated by two torsion elements. One of these generators is an order 2 element, and the other one is an order 4g+2 element.
Let $N_{g,n}$ denote the closed non-orientable surface of genus $g$ with $n$ punctures and let ${\mathcal N}_{g,n}$ denote the mapping class group of $N_{g,n}$. Szepietowski showed that ${\mathcal N}_{g,n}$ is generated by finitely many involutions. The number of elements in his generating set depends linearly on $g$ and $n$. In the case of $n=0$, Szepietowski found an involution generating set in such a way that the number of its elements does not depend on $g$, showing that ${\mathcal N}_{g,0}$ is generated by four involutions. In this thesis, for $n \geq 0$, we prove that ${\mathcal N}_{g,n…
We prove that a Kleinian group $G$ acting upon $\mathbb{H}^{n}$ admits a non-constant $G$-automorphic function, even if it has torsion elements, provided that the orders of the elliptic (torsion) elements are uniformly bounded. This is accomplished by developing a technique for mashing distinct fat triangulations while preserving fatness.
We construct new monomorphisms between mapping class groups of surfaces. The first family of examples injects the mapping class group of a closed surface into that of a different closed surface. The second family of examples are defined on mapping class groups of once-punctured surfaces and have quite curious behaviour. For instance, some pseudo-Anosov elements are mapped to multi-twists. Neither of these two types of phenomena were previously known to be possible although the constructions are elementary.
Let $Σ_{g,p}$ be a oriented connected surface of genus $g$ with $p$ punctures. We denote by $\mathcal{M}_{g,p}$ and $\mathcal{M}_{g,p}^\pm$ the mapping class group and the extended mapping class group of $Σ_{g,p}$, respectively. In this paper, we show that $\mathcal{M}_{g,p}$ and $\mathcal{M}_{g,p}^\pm$ are generated by two element for $g\geq 3$ and $p\geq 0$.
A crosscap transposition is an element of the mapping class group of a nonorientable surface represented by a homeomorphism supported on a one-holed Klein bottle and swapping two crosscaps. We prove that the mapping class group of a compact nonorientable surface of genus $g\ge 7$ is generated by conjugates of one crosscap transposition. In the case when the surface is either closed or has one boundary component, we give an explicit set of $g+2$ crosscap transpositions generating the mapping class group.
The well-known fact that any genus $g$ symplectic Lefschetz fibration $ X^{4}\to S^{2}$ is given by a word that is equal to the identity element in the mapping class group and each of whose elements is given by a positive Dehn twist, provides an intimate relationship between words in the mapping class group and 4-manifolds that are realized as symplectic Lefschetz fibrations. In this article we provide new words in the mapping class group, hence new symplectic Lefschetz fibrations. We also compute the signatures of those symplectic Lefschetz fibrations.
When a 3-manifold admits an openbook decomposition, we get a Heegaard splitting by thickening a page. This splitting surface has a special multi curves coming from the binding. In this paper, we consider the subgroup of the Goeritz group of this Heegaard splitting, which is the mapping class group of the 3-manifold preserving the given Heegaard splitting, consisting of elements preserving the binding. This subgroup turned out to be the quotient of the subgroup of the orientation preserving mapping class group consisting of elements commuting with the monodromy by the subgroup generated by the …
Let Mod_{g,b} denote the mapping class group of a surface of genus g with b punctures. Feng Luo asked in a recent preprint if there is a universal upper bound, independent of genus, for the number of torsion elements needed to generate Mod_{g,b}. We answer Luo's question by proving that 3 torsion elements suffice to generate Mod_{g,0}. We also prove the more delicate result that there is an upper bound, independent of genus, not only for the number of torsion elements needed to generate Mod_{g,b} but also for the order of those elements. In particular, our main result is that 6 involutions (i.…
We show that the probability that a finitely supported random walk on a non-elementary subgroup of the the mapping class group gives a non-pseudo-Anosov element decays exponentially in the length of the random walk. More generally, we show that if R is a set of mapping class group elements with an upper bound on their translation lengths on the complex of curves, then the probability that a random walk lies in R decays exponentially in the length of the random walk.
The Torelli group, I(S_g), is the subgroup of the mapping class group consisting of elements that act trivially on the homology of the surface. There are three types of elements that naturally arise in studying I(S_g): bounding pair maps, separating twists, and simply intersecting pair maps (SIP-maps). Historically the first two types of elements have been the focus of the literature on I(S_g), while SIP-maps have received relatively little attention until recently, due to an infinite presentation of I(S_g) introduced by Andrew Putman that uses all three types of elements. We will give a topol…
Crosscap slide is a homeomorphism of a nonorientable surface of genus at least 2, which was introduced under the name Y-homeomorphism by Lickorish as an example of an element of the mapping class group which cannot be expressed as a product of Dehn twists. We prove that the subgroup of the mapping class group of a closed nonorientable surface N generated by all crosscap slides is equal to the level 2 subgroup consisting of those mapping classes which act trivially on H_1(N;Z_2). We also prove that this subgroup is generated by involutions.
Let $Γ$ be a finite index subgroup of the mapping class group $MCG(Σ)$ of a closed orientable surface $Σ$, possibly with punctures. We give a precise condition (in terms of the Nielsen-Thurston decomposition) when an element $g\inΓ$ has positive stable commutator length. In addition, we show that in these situations the stable commutator length, if nonzero, is uniformly bounded away from 0. The method works for certain subgroups of infinite index as well and we show $scl$ is uniformly positive on the nontrivial elements of the Torelli group. The proofs use our earlier construction in the paper…
In this paper we find a unique normal form for the symplectic matrix representation of the conjugacy class of a prime order element of the mapping-class group. We find a set of generators for the fundamental group of a surface with a conformal automorphism of prime order which reflects the action the automorphism in an optimal way. This is called an {\sl adapted} homotopy basis and there is a corresponding {\sl adapted presentation}. We also give a necessary and sufficient condition for a prime order symplectic matrix to be the image of a prime order element in the mapping-class group.
We consider symplectic Floer homology in the lowest nontrivial dimension, that is to say, for area-preserving diffeomorphisms of surfaces. Particular attention is paid to the quantum cap product; we show that it distinguishes the trivial element of the mapping class group from any nontrivial one.
In the first part of this paper we prove that the mapping class subgroups generated by the $D$-th powers of Dehn twists (with $D\geq 2$) along a sparse collection of simple closed curves on an orientable surface are right angled Artin groups. The second part is devoted to power quotients, i.e. quotients by the normal subgroup generated by the $D$-th powers of all elements of the mapping class groups. We show first that for infinitely many $D$ the power quotient groups are non-trivial. On the other hand, if $4g+2$ does not divide $D$ then the associated power quotient of the mapping class group…
We give a short and elementary proof of the non-realizability of the mapping class group via homeomorphisms. This was originally established by Markovic, resolving a conjecture of Thurston. With the tools established in this paper, we also obtain some rigidity results for actions of the mapping class group on Euclidean spaces.
A Teichmuller lattice is the orbit of a point in Teichmuller space under the action of the mapping class group. We show that the proportion of lattice points in a ball of radius r which are not pseudo-Anosov tends to zero as r tends to infinity. In fact, we show that if R is a subset of the mapping class group, whose elements have an upper bound on their translation length on the complex of curves, then proportion of lattice points in the ball of radius r which lie in R tends to zero as r tends to infinity.
Given two conjugate mapping classes f and g, we produce a conjugating element w such that |w| < K(|f|+|g|), where |.| denotes the word metric with respect to a fixed generating set, and K is a constant depending only on the generating set. As a consequence, the conjugacy problem for mapping class groups is exponentially bounded.
