We show that the mapping class group of any closed connected orientable surface of genus at least five is generated by only two commutators, and if the genus is three or four, by three commutators.
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 give new upper bounds on the stable commutator lengths of Dehn twists in mapping class groups and new lower bounds on the stable commutator lengths of Dehn twists in hyperelliptic mapping class groups. In particular, we show that the stable commutator lengths of Dehn twists about a nonseparating and a separating curve on an oriented closed surface of genus 2 are not equal to each other.
We give a new upper bound on the stable commutator length of Dehn twists in hyperelliptic mapping class groups, and determine the stable commutator length of some elements. We also calculate values and the defects of homogeneous quasimorphisms derived from ω-signatures, and show that they are linearly independent in the mapping class groups of pointed 2-spheres when the number of points is small.
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…
For $n$ at least 7 and $n$ equal to 5, we give generating sets of size 2 for the commutator subgroup of the braid group on $n$ strands. These generating sets are of the smallest possible cardinality. For $n$ equal to 4 or 6, we give generating sets of size three. We also prove that the commutator subgroup of the braid group on 4 strands cannot be generated by fewer than three elements.
It is proved that the stable commutator length of a Dehn twist in the mapping class group is positive and the tenth power of a Dehn twist about a nonseparating simple closed curve is a product of two commutators. As an application a new proof of the fact that the growth rate of a Dehn twist is linear is given.
We show that stable commutator length is rational on free products of free Abelian groups amalgamated over $\mathbb{Z}^k$, a class of groups containing the fundamental groups of all torus knot complements. We consider a geometric model for these groups and parameterize all surfaces with specified boundary mapping to this space. Using this work we provide a topological algorithm to compute stable commutator length in these groups. Further, we use the methods developed to show that in free products of cyclic groups the stable commutator length of a fixed varies quasirationally in the orders of t…
We show that on a nonorientable surface of genus at least 7 any power of a Dehn twist is equal to a single commutator in the mapping class group and the same is true, under additional assumptions, for the twist subgroup, and also for the extended mapping class group of an orientable surface of genus at least 3.
We give a new proof of a theorem of D. Calegari that says that the Cayley graph of a surface group with respect to any generating set lying in finitely many mapping class group orbits has infinite diameter. This applies, for instance, to the generating set consisting of all simple closed curves.
Let $VB_n$, resp. $WB_n$ denote the virtual, resp. welded, braid group on $n$ strands. We study their commutator subgroups $VB_n' = [VB_n, VB_n]$ and, $WB_n' = [WB_n, WB_n]$ respectively. We obtain a set of generators and defining relations for these commutator subgroups. In particular, we prove that $VB_n'$ is finitely generated if and only if $n \geq 4$, and $WB_n'$ is finitely generated for $n \geq 3$. Also we prove that $VB_3'/VB_3'' =\mathbb{Z}_3 \oplus \mathbb{Z}_3 \oplus\mathbb{Z}_3 \oplus \mathbb{Z}^{\infty}$, $VB_4' / VB_4'' = \mathbb{Z}_3 \oplus \mathbb{Z}_3 \oplus \mathbb{Z}_3$, $WB…
We give examples of foliations that answer two questions posed by Mitsumatsu and Vogt about the genus minimising properties of closed leaves of 2-dimensional foliations on 4-manifolds. By studying stable commutator lengths in certain stable mapping class groups, we also answer an asymptotic version of another question of theirs concerning bounds on self-intersection numbers of multisections in surface bundles.
Let $WB_n$ be the welded (or loop) braid group on n strands, $n \geq 3$. We investigate commutator subgroup of $WB_n$. We prove that the commutator subgroup $WB_n'$ is finitely generated and Hopfian. We show that $WB_n'$ is perfect if and only if $n \geq 5$. We also compute finite presentation for $FWB_n'$, the commutator subgroup of the flat welded braid group $FWB_n$. Along the way, we investigate adorability of these groups.
The first aim of this paper is to give four types of examples of surface bundles over surfaces with non-zero signature. The first example is with base genus 2, a prescribed signature, a 0-section and the fiber genus greater than a certain number which depends on the signature. This provides a new upper bound on the minimal base genus for fixed signature and fiber genus. The second one gives a new asymptotic upper bound for this number in the case that fiber genus is odd. The third one has a small Euler characteristic. The last is a non-holomorphic example. The second aim is to improve upper bo…
The singular braids with $n$ strands, $n \geq 3$, were introduced independently by Baez and Birman. It is known that the monoid formed by the singular braids is embedded in a group that is known as singular braid group, denoted by $SG_n$. There has been another generalization of braid groups, denoted by $GVB_n$, $n \geq 3$, which was introduced by Fang as a group of symmetries behind quantum quasi-shuffle structures. The group $GVB_n$ simultaneously generalizes the classical braid group, as well as the virtual braid group on $n$ strands. We investigate the commutator subgroups $SG_n'$ and $GVB…
We construct two infinite families of ball quotient compactifications birational to bielliptic surfaces. For each family, the volume spectrum of the associated noncompact finite volume ball quotient surfaces is the set of all positive integral multiples of $\frac{8}{3}π^{2}$, i.e., they attain all possible volumes of complex hyperbolic $2$-manifolds. The surfaces in one of the two families have all $2$-cusps, so that we can saturate the entire volume spectrum with $2$-cusped manifolds. Finally, we show that the associated neat lattices have infinite abelianization and finitely generated commut…
We show that the twist subgroup $\mathcal{T}_g$ of a nonorientable surface of genus $g$ can be generated by two elements for every odd $g\geq27$ and even $g\geq42$. Using these generators, we can also show that $\mathcal{T}_g$ can be generated by two or three commutators depending on $g$ modulo $4$. Moreover, we show that $\mathcal{T}_g$ can be generated by three elements if $g\geq 8$. For this general case, the number of commutator generators is either three or four depending on $g$ modulo $4$ again.
We construct invariant quasimorphisms for groups acting on the circle. Furthermore, we provide a criterion for the non-extendablity of the resulting quasimorphisms and an explicit formula which relates the values of our quasimorphisms to those of the Poincaré translation number. By using them, we show that the stable commutator length $\mathrm{scl}_G$ and the stable mixed commutator length $\mathrm{scl}_{G,N}$ are not bi-Lipschitzly equivalent for the surface group $G=π_1(Σ_{\ell})$ of genus at least $2$ and its commutator subgroup $N = [π_1(Σ_{\ell}), π_1(Σ_{\ell})]$. We also show the non-equ…
The main theme of this paper is higher virtual algebraic fibering properties of right-angled Coxeter groups (RACGs), with a special focus on those whose defining flag complex is a finite building. We prove for particular classes of finite buildings that their random induced subcomplexes have a number of strong properties, most prominently that they are highly connected. From this we are able to deduce that the commutator subgroup of a RACG, with defining flag complex a finite building of a certain type, admits an epimorphism to $\mathbb{Z}$ whose kernel has strong topological finiteness proper…
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.
The purpose of this article is two-fold: We first give a more elementary proof of a recent theorem of Korkmaz, Monden, and the author, which states that the commutator length of the n-th power of a Dehn twist along a boundary parallel curve on a surface with boundary S of genus g at least two is the floor of (|n|+3)/2 in the mapping class group of S. The alternative proof we provide goes through push maps and Morita's use of Milnor-Wood inequalities, in particular it does not appeal to gauge theory. In turn, we produce infinite families of pairwise non-homotopic 4-manifolds admitting genus g s…
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 $Σ_{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.
According to the Tits conjecture proved by Crisp and Paris, [CP], the subgroups of the braid group generated by proper powers of the Artin elements are presented by the commutators of generators which are powers of commuting elements. Hence they are naturally presented as right-angled Artin groups. The case of subgroups generated by powers of the band generators is more involved. We show that the groups are right-angled Artin groups again, if all generators are proper powers with exponent at least 3. We also give a presentation in cases at the other extreme, when all generators occur with expo…
These notes are the English version of the paper "Hyperbolicité du graphe des rayons et quasi-morphismes sur un gros groupe modulaire". The mapping class group Gamma of the complement of a Cantor set in the plane arises naturally in dynamics. We show that the ray graph, which is the analog of the complex of curves for this surface of infinite type, has infinite diameter and is hyperbolic. We use the action of Gamma on this graph to find an explicit non trivial quasimorphism on Gamma and to show that this group has infinite dimensional second bounded cohomology. Finally we give an example of a …
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.
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.
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.
In this paper, we give some relations in the mapping class groups of oriented closed surfaces in the form that a product of a small number of right hand Dehn twists is equal to a single commutator. Consequently, we find upper bounds for the minimal number of singular fibers in a Lefschetz fibration over the torus.
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.