Related papers: A normal generating set for the Torelli group of a…
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…
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…
This chapter provides a comprehensive survey of foundational results and recent advances concerning minimal generating sets for the mapping class group of a nonorientable surface, $\mathrm{Mod}(N_{g})$, and its index-two twist subgroup,…
For any surface $\Sigma$ of infinite topological type, we study the Torelli subgroup ${\mathcal I}(\Sigma)$ of the mapping class group ${\rm MCG}(\Sigma)$, whose elements are those mapping classes that act trivially on the homology of…
A topological group $G$ is topologically normally generated if there exists $g \in G$ such that the normal closure of $g$ is dense in $G$. Let $S$ be a tame, infinite type surface whose mapping class group $\mathrm{Map}(S)$ is generated by…
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…
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,…
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)$…
We obtain simple generating sets for various mapping class groups of a nonorientable surface with punctures and/or boundary. We also compute the abelianizations of these mapping class groups.
Let $N_{g,n}$ be a genus $g$ compact non-orientable surface with $n$ boundaries. We explain about relations on the level $d$ mapping class group $\mathcal{M}_d(N_{g,0})$ of $N_{g,0}$ and the level $d$ principal congruence subgroup…
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$.
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…
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…
In this paper, we construct an infinite presentation of the Torelli subgroup of the mapping class group of a surface whose generators consist of the set of all "separating twists", all "bounding pair maps", and all "commutators of simply…
We obtain a finite set of generators for the level 2 mapping class group of a closed nonorientable surface of genus $g\ge 3$. This set consists of isotopy classes of Lickorish's Y-homeomorphisms also called crosscap slides.
Let T(N) be the subgroup of the mapping class group of a nonorientable surface N (possibly with punctures and/or boundary components) generated by twists about two-sided circles. We obtain a simple generating set for T(N). As an application…
Let $\mathrm{Mod}(S_g)$ be the mapping class group of the closed orientable surface of genus $g \geq 1$, and let $\mathrm{LMod}_{p}(X)$ be the liftable mapping class group associated with a finite-sheeted branched cover $p:S \to X$, where…
The Torelli group of a compact non-orientable Klein surface is the subgroup of the modular group consisting of the mapping classes that act trivially on the first homology group of the surface. We prove that if a surface has genus at least…
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 give an infinite presentation for the mapping class group of a non-orientable surface. The generating set consists of all Dehn twists and all crosscap pushing maps along simple loops.