Birman-Lubotzky-McCarthy proved that any abelian subgroup of the mapping class groups for orientable surfaces is finitely generated. We apply Birman-Lubotzky-McCarthy's arguments to the mapping class groups for non-orientable surfaces. We especially find a finitely generated group isomorphic to a given torsion-free subgroup of the mapping class groups.
Let $N_{g}$ denote the closed non-orientable surface of genus $g$ and let ${\mathcal M} _g$ denote the mapping class group of $N_{g}$. Let ${\mathcal T} _g$ denote the twist subgroup of ${\mathcal M} _g$ which is the subgroup of ${\mathcal M} _g$ is generated by all Dehn twists. In this thesis, we proved that ${\mathcal T} _g$ is generated by six involutions for $g \geq 16$ or $g = 14$.
Let $N_g$ be the non-orientable surface with genus $g$, $\text{MCG}(N_g)$ be the mapping class group of $N_g$, $\mathcal{T}(N_g)$ be the index 2 subgroup generated by all Dehn twists of $\text{MCG}(N_g)$. We prove that for odd genus, $\mathcal{T}(N_g)$ can be generated by three elements of finite orders.
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.
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].
In this paper we compute the automorphism groups $\operatorname{Aut}(\mathbf{P}_n(Σ))$ and $\operatorname{Aut}(\mathbf{B}_n(Σ))$ of braid groups $\mathbf{P}_n(Σ)$ and $\mathbf{B}_n(Σ)$ on every orientable surface $Σ$, which are isomorphic to group extensions of the extended mapping class group $\mathcal{M}^*_n(Σ)$ by the transvection subgroup except for a few cases. We also prove that $\mathbf{P}_n(Σ)$ is always a characteristic subgroup of $\mathbf{B}_n(Σ)$ unless $Σ$ is a twice-punctured sphere and $n=2$.
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 classify the 3-dimensional hyperbolic polyhedral orbifolds that contain no embedded essential 2-suborbifolds, up to decomposition along embedded hyperbolic triangle orbifolds (turnovers). We give a necessary condition for a 3-dimensional hyperbolic polyhedral orbifold to contain an immersed (singular) hyperbolic turnover, we classify the triangle subgroups of the fundamental groups of orientable 3-dimensional hyperbolic tetrahedral orbifolds in the case when all of the vertices of the tetrahedra are non-finite, and we provide a conjectural classification of all the triangle subgroups of the…
For a group $G$, let $\mathcal{F}_{n}$ be the family of all the subgroups of $G$ containing a subgroup isomorphic to $\mathbb{Z}^{r}$ for some $r=0,1,2,\dots ,n$ of finite index. Joecken, Lafont and Sánchez Saldaña computed the $\mathcal{F}_1$-dimension of 3-manifold groups. The goal of this article is to compute the $\mathcal{F}_n$-geometric dimension of 3-manifold groups for all $n\geq 2$.
We prove that the handlebody subgroup of the Torelli group of an orientable surface is generated by genus one BP-maps. As an application, we give a normal generating set for the handlebody subgroup of the level $d$ mapping class group of an orientable surface.
For a closed surface $S$, its Torelli group $\mathcal{I}(S)$ is the subgroup of the mapping class group of $S$ consisting of elements acting trivially on $H_1(S;\mathbb{Z})$. When $S$ is orientable, a generating set for $\mathcal{I}(S)$ is known. In this paper, we give a normal generating set of $\mathcal{I}(N_g)$ for $g\geq4$, where $N_g$ is a genus-$g$ non-orientable closed surface.
Let $N_k$ denote the closed non-orientable surface of genus $k$. In this paper we study the behaviour of the `square map' from the group of isometries of hyperbolic 3-space to the subgroup of orientation preserving isometries. We show that there are $2^{k+1}$ connected components of representations of $π_1(N_k)$ in Isom$(\mathbb{H}^3)$, which are distinguished by the Stiefel-Whitney classes of the associated flat bundle.
A companion result of the the Tits alternative for $Out(F_n)$ is proved: Every solvable subgroup of $Out(F_n)$ is finitely generated and virtually abelian.
There are only 10 Euclidean forms, that is flat closed three dimensional manifolds: six are orientable $\mathcal{G}_1,\dots,\mathcal{G}_6$ and four are non-orientable $\mathcal{B}_1,\dots,\mathcal{B}_4$. The aim of this paper is to describe all types of $n$-fold coverings over the non-orientable Euclidean manifolds $\mathcal{B}_{3}$ and $\mathcal{B}_{4}$, and calculate the numbers of non-equivalent coverings of each type. The manifolds $\mathcal{B}_{3}$ and $\mathcal{B}_{4}$ are uniquely determined among non-orientable forms by their homology groups $H_1(\mathcal{B}_{3})=\ZZ_2\times \ZZ_2 \tim…
We describe the topology of the space of all geometric limits of closed abelian subgroups of PSL2C. Main tools and ideas come from the previous paper [BC12].
We survey the problem of separation under conjugacy and malnormality of the abelian peripheral subgroups of an orientable, irreducible $3$-manifold $X$. We shall focus on the relation between this problem and the existence of acylindrical splittings of $π_1(X)$ as an amalgamated product or HNN-extension along the abelian subgroups corresponding to the JSJ-tori.
We compute the $p$-primary components of the linking pairings of orientable 3-manifolds admitting a fixed-point free $S^1$-action. Using this, we show that any non-singular linking pairing on a finite abelian group with homogeneous 2-primary summand is realized by such a manifold. However, some pairings on inhomogeneous 2-groups are not realizable by any Seifert fibred 3-manifold.
Let R be a compact, connected, orientable surface of genus g with p boundary components. Let C(R) be the complex of curves on R and Mod_R^* be the extended mapping class group of R. Suppose that either g = 2 and p > 1 or g > 2 and p >= 0. We prove that a simplicial map lambda from C(R) to C(R) is superinjective if and only if it is induced by a homeomorphism of R. As a corollary, we prove that if K is a finite index subgroup of Mod_R^* and f is an injective homomorphism from K to Mod_R^*, then f is induced by a homeomorphism of R and f has a unique extension to an automorphism of Mod_R^*. This…
The Hausmann-Weinberger invariant of a group G is the minimal Euler characteristic of a closed orientable 4-manifold M with fundamental group G. We compute this invariant for finitely generated free abelian groups and estimate the invariant for all finitely generated abelian groups.
Let a and b be two simple closed curves on an orientable surface S such that their geometric intersection number is greater than 1. It is known that the group generated by corresponding Dehn twists t_a and t_b is isomorphic to the free group of rank 2. In this paper we extend this result to the case of a nonorientable surface.
The level $2$ mapping class group of an orientable closed surface can be generated by squares of Dehn twists about non-separating curves. On the other hand, the level $2$ mapping class group $\mathcal{M}_2(N_g)$ of a non-orientable closed surface $N_g$ can not be generated by only Dehn twists, and so it can not be generated by squares of Dehn twists about non-separating curves. In this paper, we prove that the Dehn twist subgroup of $\mathcal{M}_2(N_g)$ can not be generated by squares of Dehn twists about non-separating curves either. As an application, we give a finite generating set for the …
We construct a minimal generating set of the level 2 mapping class group of a nonorientable surface of genus $g$, and determine its abelianization for $g\ge4$.
It is well-known that self-linking is the only Z valued Vassiliev invariant of framed knots in S^3. However for most 3-manifolds, in particular for the total spaces of S^1-bundles over an orientable surface F not S^2, the space of Z-valued order one invariants is infinite dimensional. We give an explicit formula for the order one invariant I of framed knots in orientable total spaces of S^1-bundles over an orientable not necessarily compact surface F not S^2. We show that if F is not S^2 or S^1 X S^1, then I is the universal order one invariant, i.e. it distinguishes every two framed knots tha…
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 show that the pure mapping class group $\mathcal{N}_{g}^{k}$ of a non-orientable closed surface of genus $g\geqslant 2$ with $k\geqslant 1$ marked points has $p$-periodic cohomology for each odd prime $p$ for which $\mathcal{N}_{g}^{k}$ has $p$-torsion. Using the Yagita invariant and the cohomology classes obtained by the representation of subgroups of order $p$, we obtain that the $p$-period is less than or equal to $4$ when $g\geqslant 3$ and $k\geqslant 1$. Moreover, combining the Nielsen realization theorem and a characterization of the $p$-period given in terms of normalizers and centr…
Quandles with involutions that satisfy certain conditions, called good involutions, can be used to color non-orientable surface-knots. We use subgroups of signed permutation matrices to construct non-trivial good involutions on extensions of odd order dihedral quandles. For the smallest example of order 6 that is an extension of the three-element dihedral quandle, various symmetric quandle homology groups are computed, and applications to the minimal triple point number of surface-knots are given.
We show that any isomorphism between mapping class groups of orientable infinite-type surfaces is induced by a homeomorphism between the surfaces. Our argument additionally applies to automorphisms between finite-index subgroups of these `big' mapping class groups and shows that each finite-index subgroup has finite outer automorphism group. As a key ingredient, we prove that all simplicial automorphisms between curve complexes of infinite-type orientable surfaces are induced by homeomorphisms.
Let $N$ be a compact, connected, non-orientable surface of genus $ρ$ with $n$ boundary components, with $ρ\ge 5$ and $n \ge 0$, and let $\mathcal{M} (N)$ be the mapping class group of $N$. We show that, if $\mathcal{G}$ is a finite index subgroup of $\mathcal{M} (N)$ and $φ: \mathcal{G} \to \mathcal{M} (N)$ is an injective homomorphism, then there exists $f_0 \in \mathcal{M} (N)$ such that $φ(g) = f_0 g f_0^{-1}$ for all $g \in \mathcal{G}$. We deduce that the abstract commensurator of $\mathcal{M} (N)$ coincides with $\mathcal{M} (N)$.
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…
A square complex is a 2-complex formed by gluing squares together. This article is concerned with the fundamental group $Γ$ of certain square complexes of nonpositive curvature, related to quaternion algebras. The abelian subgroup structure of $Γ$ is studied in some detail.
In this paper, we show that for every abelian subgroup $H$ of a Garside group, some conjugate $g^{-1}Hg$ consists of ultra summit elements and the centralizer of $H$ is a finite index subgroup of the normalizer of $H$. Combining with the results on translation numbers in Garside groups, we obtain an easy proof of the algebraic flat torus theorem for Garside groups and solve several algorithmic problems concerning abelian subgroups of Garside groups.
Suppose that $(W,S)$ is a Coxeter system with associated Artin group $A$ and with a simplicial complex $L$ as its nerve. We define the notion of a "standard abelian subgroup" in $A$. The poset of such subgroups in $A$ is parameterized by the poset of simplices in a certain subdivision $L_\oslash$ of $L$. This complex of standard abelian subgroups is used to generalize an earlier result from the case of right-angled Artin groups to case of general Artin groups, by calculating, in many instances, the smallest dimension of a manifold model for $BA$. (This is the "action dimension" of $A$ denoted …
Let S be a closed oriented surface of genus g > 1, and let T denote its Torelli group. First, given a set E of homotopically nontrivial, pairwise disjoint, pairwise nonisotopic simple closed curves on S, we determine precisely when a multitwist on E is an element of T by defining an equivalence relation on E and then applying graph theory. Second, we prove that an arbitrary Abelian subgroup of T has rank < 2g-4.
Let $M$ be a compact connected orientable Seifert manifold with hyperbolic orbifold $B_M$, and $f_π: π_1(M)\rightarrowπ_1(M)$ be an automorphism induced by an orientation-reversing homeomorphism $f$ of $M$. We give a bound on the rank of the fixed subgroup of $f_π$, namely, $\rank\fix(f_π)<2\rank π_1(M)$, which is similar to the inequalities on surface groups and hyperbolic 3-manifold groups.
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}$.
Abelian covers of hyperbolic $3$-manifolds are ubiquitous. We prove the local mixing theorem of the frame flow for abelian covers of closed hyperbolic $3$-manifolds. We obtain a classification theorem for measures invariant under the horospherical subgroup. We also describe applications to the prime geodesic theorem as well as to other counting and equidistribution problems. Our results are proved for any abelian cover of a homogeneous space $Γ_0\backslash G$ where $G$ is a rank one simple Lie group and $Γ_0<G$ is a convex cocompact Zariski dense subgroup.
In this article, we prove that the commensurability class of a closed, orientable, hyperbolic 3-manifold is determined by the surface subgroups of its fundamental group. Moreover, we prove that there can be only finitely many closed, orientable, hyperbolic 3-manifolds that have the same set of surfaces.
Given a probability measure on a finitely generated group, its Martin boundary is a way to compactify the group using the Green's function of the corresponding random walk. We give a complete topological characterization of the Martin boundary of finitely supported random walks on relatively hyperbolic groups with virtually abelian parabolic subgroups. In particular, in the case of nonuniform lattices in the real hyperbolic space H n , we show that the Martin boundary coincides with the CAT (0) boundary of the truncated space, and thus when n = 3, is homeomorphic to the Sierpinski carpet.