A normal subgroup of the (extended) mapping class group of a surface is said to be geometric if its automorphism group is the mapping class group. We prove that in the case of the Cantor tree surface, every normal subgroup is geometric. We note that there is no non-trivial finite-type mapping class group for which this statement is true. We study a generalisation of the curve graph, proving that its automorphism group is again the mapping class group. This strategy is adapted from that of Brendle-Margalit and the author for certain normal subgroups in the finite-type setting.
We study the Cantor--Bendixson rank of the space of subgroups for members of a general class of finitely generated self-replicating branch groups. In particular, we show for $G$ either the Grigorchuk group or the Gupta--Sidki $3$ group, the Cantor--Bendixson rank of $\mathrm{Sub}(G)$ is $ω$. For each natural number $n$, we additionally characterize the subgroups of rank $n$ and give a description of subgroups in the perfect kernel.
We will show that if a proper complete CAT(0) space X has a visual boundary homeomorphic to the join of two Cantor sets, and X admits a geometric group action by a group containing a subgroup isomorphic to Z^2, then its Tits boundary is the spherical join of two uncountable discrete sets. If X is geodesically complete, then X is a product, and the group has a finite index subgroup isomorphic to a lattice in the product of two isometry groups of bounded valence bushy trees.
Let S be a surface and let Mod(S,K) be the mapping class group of S permuting a Cantor subset K of S. We prove two structure theorems for normal subgroups of Mod(S,K). (Purity:) if S has finite type, every normal subgroup of Mod(S,K) either contains the kernel of the forgetful map to the mapping class group of S, or it is `pure', i.e. it fixes the Cantor set pointwise. (Inertia:) for any n element subset Q of the Cantor set, there is a forgetful map from the pure subgroup PMod(S,K) of Mod(S,K) to the mapping class group of (S,Q) fixing Q pointwise. If N is a normal subgroup of Mod(S,K) contain…
In this article, we study the smooth mapping class group of a surface S relative to a given Cantor set, that is the group of isotopy classes of orientation-preserving smooth diffeomorphisms of S which preserve this Cantor set. When the Cantor set is the standard ternary Cantor set, we prove that the subgroup consisting of diffeomorphisms which are isotopic to the identity on S does not contain any distorted elements. Moreover, we prove a weak Tits alternative for these groups.
We describe subgroups and overgroups of the generalised Thompson groups $V_n$ which arise via conjugation by rational homeomorphisms of Cantor space. We specifically consider conjugating $V_n$ by homeomorphisms induced by synchronizing transducers and their inverses. Our descriptions of the subgroups and overgroups use properties of the conjugating transducer to either restrict or augment the action of $V_n$ on Cantor space.
In this note, we prove that the compactly supported mapping class group of a surface containing a genus $3$ subsurface has no realization as a subgroup of the homeomorphism group. We also prove that for certain surfaces with order $6$ symmetries, their mapping class groups have no realization as a subgroup of the homeomorphism group. Examples of such surfaces include the plane minus a Cantor set and the sphere minus a Cantor set.
Let K be a Cantor set embedded in the real line R. Following Funar and Neretin, we define the diffeomorphism group of K as the group of homeomorphisms of K which locally look like a diffeomorphism between two intervals of R. Higman-Thompson's groups Vn appear as subgroups of such groups. In this article, we prove some properties of this group. First, we study the Burnside problem in this group and we prove that any finitely generated subgroup consisting of finite order elements is finite. This property was already proved by Rover in the case of the groups Vn. We also prove that any finitely ge…
We prove that commutator subgroups of topological full groups arising from minimal subshifts have exponential growth. We also prove that the measurable full group associated to the countable, measure-preserving, ergodic and hyperfinite equivalence relation is topologically generated by two elements.
Equationally compact subgroups of countable groups were introduced by Banaschewski. For all known cases the orbit closure of such a subgroup is a countable subset in the space of subgroups and has finite Cantor-Bendixson rank. We show that there exists a finitely generated group $Γ$ such that for any countable ordinal $α$ we have an equationally compact subgroup $H\subset Γ$ for which the Cantor-Bendixson rank of the orbit closure of $H$ equals to $α+2$. Then we give an explicite construction of continuum many equationally compact subgroups of $Γ$ such that the associated ergodic Bernoulli shi…
We carry out the Cantor-Bendixson analysis of the space of all subgroups of any countable abelian group and we deduce a complete classification of such spaces up to homeomorphism.
The group of $\mathcal C^1$-diffeomorphisms of any sparse Cantor subset of a manifold is countable and discrete (possibly trivial). Thompson's groups come out of this construction when we consider central ternary Cantor subsets of an interval. Brin's higher dimensional generalizations $nV$ of Thompson's group $V$ arise when we consider products of central ternary Cantor sets. We derive that the $\mathcal C^2$-smooth mapping class group of a sparse Cantor sphere pair is a discrete countable group and produce this way versions of the braided Thompson groups.
In this note we show that many subgroups of mapping class groups of infinite-type surfaces without boundary have trivial centers, including all normal subgroups. Using similar techniques, we show that every nontrivial normal subgroup of a big mapping class group contains a nonabelian free group. In contrast, we show that no big mapping class group satisfies the strong Tits alternative enjoyed by finite-type mapping class groups. We also give examples of big mapping class groups that fail to satisfy even the classical Tits alternative and give a proof that every countable group appears as a sub…
Suppose subgroups $A,B < MCG(S)$ in the mapping class group of a closed orientable surface $S$ are given and let $\langle A, B \rangle$ be the subgroup they generate. We discuss a question by Minsky asking when $\langle A, B \rangle \simeq A*_{A \cap B} B$ for handlebody subgroups $A,B$.
We construct hyperbolic groups with the following properties: The boundary of the group has big dimension, it is separated by a Cantor set and the group does not split. This shows that Bowditch's theorem that characterizes splittings of hyperbolic groups over 2-ended groups in terms of the boundary can not be extended to splittings over more complicated subgroups.
In this paper we prove a combination theorem for Veech subgroups of the mapping class group analogous to the first Klein-Maskit combination theorem for Kleinian groups in which two Fuchsian subgroups are amalgamated along a parabolic subgroup. As a corollary, we construct subgroups of the mapping class group (for all genus at least 2), which are isomorphic to non-abelian closed surface groups in which all but one conjugacy class (up to powers) is pseudo-Anosov.
For a finitely generated group, there are two recent generalizations of the notion of a quasiconvex subgroup of a word-hyperbolic group, namely a stable subgroup and a Morse or strongly quasiconvex subgroup. Durham and Taylor defined stability and proved stability is equivalent to convex cocompactness in mapping class groups. Another natural generalization of quasiconvexity is given by the notion of a Morse or strongly quasiconvex subgroup of a finitely generated group, studied recently by Tran and Genevois. In general, a subgroup is stable if and only if the subgroup is Morse and hyperbolic. …
Let M be a surface (possibly nonorientable) with punctures and/or boundary components. The paper is a study of ``geometric subgroups'' of the mapping class group of M, that is subgroups corresponding to inclusions of subsurfaces (possibly disconnected). We characterise the subsurfaces which lead to virtually abelian geometric subgroups. We provide algebraic and geometric conditions under which two geometric subgroups are commensurable. We also describe the commensurator of a geometric subgroup in terms of the stabiliser of the underlying subsurface. Finally, we show some applications of our an…
This paper is a study of the subgroups of the mapping class groups of Riemann surfaces, called "geometric" subgroups, corresponding to the inclusion of subsurfaces. Our analysis includes surfaces with boundary and with punctures. The centres of all the mapping class groups are calculated. We determine the kernel of inclusion-induced maps of the mapping class group of a subsurface, and give necessary and sufficient conditions for injectivity. In the injective case, we show that the commensurability class of a geometric subgroup completely determines up to isotopy the defining subsurface, and we…
A generalization of the double commutator lemma for normal subgroups is shown for invariant random subgroups of a countable group acting faithfully on a Hausdorff space. As an application, we classify ergodic invariant random subgroups of topological full groups of Cantor minimal $\mathbb{Z}^{d}$-systems. Another corollary is that for an ergodic invariant random subgroup of a branch group, a.e. subgroup $H$ must contain derived subgroups of certain rigid stabilizers. Such results can be applied towards classification of invariant random subgroups of Grigorchuk groups.
In the paper, we consider the full group $[ϕ]$ and topological full group $[[ϕ]]$ of a Cantor minimal system $(X,\f)$. We prove that the commutator subgroups $D([\f])$ and $D([[\f]])$ are simple and show that the groups $D([\f])$ and $D([[\f]])$ completely determine the class of orbit equivalence and flip conjugacy of $\f$, respectively. These results improve the classification found in \cite{gps:1999}. As a corollary of the technique used, we establish the fact that $\f$ can be written as a product of three involutions from $[\f]$.
We prove that various subgroups of the mapping class group $Mod(Σ)$ of a surface $Σ$ are at least exponentially distorted. Examples include the Torelli group (answering a question of Hamenstadt), the "point-pushing" and surface braid subgroups, and the Lagrangian subgroup. Our techniques include a method to compute lower bounds on distortion via representation theory and an extension of Johnson theory to arbitrary subgroups of $H_1(Σ;\mathbb{Z})$.
A finite presentation for the subgroup of the mapping class group of a compact non-orientable surface generated by all Dehn twists was given by Stukow. In this paper, we give an infinite presentation for this group, mainly using the presentation given by Stukow and Birman exact sequences on mapping class groups of non-orientable surfaces.
We give a small generating set for the twist subgroup of the mapping class group of a non-orientable surface by Dehn twists. The difference between the number of the generators and a lower bound of numbers of generators for the twist subgroup by Dehn twists is one. The lower bounds is obtained from an argument of Hirose [5].
The theme of this survey is that subgroups of the mapping class group of a finite type surface S can be studied via the geometric/dynamical properties of their action on the Thurston compactification of the Teichmuller space of S, just as discrete subgroups of the isometries of hyperbolic space can be studied via their action on compactified hyperbolic space.
We show that every subgroup of the mapping class group MCG(S) of a compact surface S is either virtually abelian or it has infinite dimensional second bounded cohomology. As an application, we give another proof of the Farb-Kaimanovich-Masur rigidity theorem that states that MCG(S) does not contain a higher rank lattice as a subgroup.
Let $g\geq3$ and $n\geq0$, and let ${\mathcal{M}}_{g,n}$ be the mapping class group of a surface of genus $g$ with $n$ boundary components. We prove that ${\mathcal{M}}_{g,n}$ contains a unique subgroup of index $2^{g-1}(2^{g}-1)$ up to conjugation, a unique subgroup of index $2^{g-1}(2^{g}+1)$ up to conjugation, and the other proper subgroups of ${\mathcal{M}}_{g,n}$ are of index greater than $2^{g-1}(2^{g}+1)$. In particular, the minimum index for a proper subgroup of ${\mathcal{M}}_{g,n}$ is $2^{g-1}(2^{g}-1)$.
Let $Γ_{g,b}$ denote the orientation-preserving Mapping Class Group of a closed orientable surface of genus $g$ with $b$ punctures. For a group $G$ let $Φ_f(G)$ denote the intersection of all maximal subgroups of finite index in $G$. Motivated by a question of Ivanov as to whether $Φ_f(G)$ is nilpotent when $G$ is a finitely generated subgroup of $Γ_{g,b}$, in this paper we compute $Φ_f(G)$ for certain subgroups of $Γ_{g,b}$. In particular, we answer Ivanov's question in the affirmative for these subgroups of $Γ_{g,b}$.
We develop a theory of convex cocompact subgroups of the mapping class group MCG of a closed, oriented surface S of genus at least 2, in terms of the action on Teichmuller space. Given a subgroup G of MCG defining an extension L_G: 1--> pi_1(S) --> L_G --> G -->1 we prove that if L_G is a word hyperbolic group then G is a convex cocompact subgroup of MCG. When G is free and convex cocompact, called a "Schottky subgroup" of MCG, the converse is true as well; a semidirect product of pi_1(S) by a free group G is therefore word hyperbolic if and only if G is a Schottky subgroup of MCG. The special…
We study the bounded cohomology of certain groups acting on the Cantor set. More specifically, we consider the full group of homeomorphisms of the Cantor set as well as Thompson's group $V$. We prove that both of these groups are boundedly acyclic, that is the bounded cohomology with trivial real coefficients vanishes in positive degrees. Combining this result with the already established $\mathbb{Z}$-acyclicity of Thompson's group $V$, will make $V$ the first example of a finitely generated group, in fact the first example of a group of type $F_\infty$, which is universally boundedly acyclic.…
We obtain a finite generating set for the level 2 twist subgroup of the mapping class group of a closed non-orientable surface. The generating set consists of crosscap pushing maps along non-separating two-sided simple loops and squares of Dehn twists along non-separating two-sided simple closed curves. We also prove that the level 2 twist subgroup is normally generated in the mapping class group by a crosscap pushing map along a non-separating two-sided simple loop for genus $g\geq 5$ and $g=3$. As an application, we calculate the first homology group of the level 2 twist subgroup for genus $…
We study subgroups of the mapping class group of the torus generated by powers generated by powers of Dehn twists. We give a criterion to show when a collection of powers Dehn twists generates a free group using the ping pong lemma. We show that the subgroup generated by three uniform powers of Dehn twists can be either the whole mapping class group, a direct product of a free group of rank two with the cyclic group of order two, or a free group of rank at most three. We characterize subgroups generated by a collection of (respectively squares of) Dehn twists, if there is a pair among so that …
Let $Γ$ be either the mapping class group of a closed surface of genus $\geq 2$, or the automorphism group of a free group of rank $\geq 3$. Given any homological representation $ρ$ of $Γ$ corresponding to a finite cover, and any term $\mathcal{I}_k$ of the Johnson filtration, we show that $ρ(\mathcal{I}_k)$ has finite index in $ρ(\mathcal{I})$, the Torelli subgroup of $Γ$. Since $[\mathcal{I}: \mathcal{I}_k] = \infty$ for $k > 1$, this implies for instance that no such representation is faithful.
Let Mod(S) be the extended mapping class group of a surface S. For S the twice-punctured torus, we show that there exists an isomorphism of finite index subgroups of Mod(S) which is not the restriction of an inner automorphism. For S a torus with at least three punctures, we show that every injection of a finite index subgroup of Mod(S) into Mod(S) is the restriction of an inner automorphism; this completes a program begun by Irmak. For all of the above surfaces, we establish the co-Hopf property for finite index subgroups of Mod(S).
Let $\mathrm{Mod}(S)$ be the mapping class group of a compact connected orientable surface $S$, possibly with punctures and boundary components, with negative Euler characteristic. We prove that for any infinite virtually abelian subgroup $H$ of $\mathrm{Mod}(S)$, there is a subgroup $H'$ commensurable with $H$ such that the commensurator of $H$ equals the normalizer of $H'$. As a consequence we give, for each $n \geq 2$, an upper bound for the geometric dimension of $\mathrm{Mod}(S)$ for the family of abelian subgroups of rank bounded by $n$. These results generalize work by Juan-Pineda--Truj…
For any positive integer $n$, we exhibit a cofinite subgroup $Γ_n$ of the mapping class group of a surface of genus at most two such that $Γ_n$ admits an epimorphism onto a free group of rank $n$. We conclude that $H^1(Γ_n;\Z)$ has rank at least $n$ and the dimension of the second bounded cohomology of each of these mapping class groups is the cardinality of the continuum. In the case of genus two, the groups $Γ_n$ can be chosen not to contain the Torelli group. Similarly for hyperelliptic mapping class groups. We also exhibit an automorphism of a subgroup of finite index in the mapping class …
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 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.
Consider the mapping class group $\Mod_{g,p}$ of a surface $Σ_{g,p}$ of genus $g$ with $p$ punctures, and a finite collection $\{f_1,...,f_k\}$ 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,...,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 $\{f_1,...,f_k\}$ are a…
We describe sufficient conditions which guarantee that a finite set of mapping classes generate a right-angled Artin group quasi-isometrically embedded in the mapping class group. Moreover, under these conditions, the orbit map to Teichmuller space is a quasi-isometric embedding for both of the standard metrics. As a consequence, we produce infinitely many genus h surfaces (for any h at least 2) in the moduli space of genus g surfaces (for any g at least 3) for which the universal covers are quasi-isometrically embedded in the Teichmuller space.
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.
Let $Σ$ be a compact orientable surface of finite type with at least one boundary component. Let $Γ\leq \textup{Mod}(Σ)$ be a non virtually solvable subgroup. We answer a question of Lubotzky by showing that there exists a finite dimensional homological representation $ρ$ of $\textup{Mod}(Σ)$ such that $ρ(Γ)$ is not virtually solvable. We then apply results of Lubotzky and Meiri to show that for any random walk on such a group the probability of landing on a power, or on an element with topological entropy $0$ both decrease exponentially in the length of the walk.
For some $g \geq 3$, let $Γ$ be a finite index subgroup of the mapping class group of a genus $g$ surface (possibly with boundary components and punctures). An old conjecture of Ivanov says that the abelianization of $Γ$ should be finite. In this note, we prove two theorems supporting this conjecture. For the first, let $T_x$ denote the Dehn twist about a simple closed curve $x$. For some $n \geq 1$, we have $T_x^n \in Γ$. We prove that $T_x^n$ is torsion in the abelianization of $Γ$. Our second result shows that the abelianization of $Γ$ is finite if $Γ$ contains a "large chunk" (in a certain…
We prove that the mapping torus group $\FN \rtimes_α \Z$ of any automorphism $α$ of a free group $\FN$ of finite rank $n \geq 2$ is weakly hyperbolic relative to the canonical (up to conjugation) family $\mathcal H(α)$ of subgroups of $\FN$ which consists of (and contains representatives of all) conjugacy classes that grow polynomially under iteration of $α$. Furthermore, we show that $\FN \rtimes_α \Z$ is strongly hyperbolic relative to the mapping torus of the family $\mathcal H(α)$. As an application, we use a result of Drutu-Sapir to deduce that $\FN \rtimes_α \Z$ has Rapic Decay.
