Related papers: Small generating sets for the Torelli group

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…

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 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…

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…

We give a new proof of the theorem of Birman-Powell that the Torelli subgroup of the mapping class group of a closed orientable surface of genus at least 3 is generated by simple homeomorphisms known as bounding pair maps. The key…

Infinite presentations are given for all of the higher Torelli groups of once-punctured surfaces. In the case of the classical Torelli group, a finite presentation of the corresponding groupoid is also given, and finite presentations of the…

Big mapping class groups are the mapping class groups of infinite-type surfaces, that is, surfaces whose fundamental groups are not finitely generated. While mapping class groups of finite-type surfaces have been extensively studied, the…

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…

For all but finitely many compact orientable surfaces, we show that any superinjective map from the complex of separating curves into itself is induced by an element of the extended mapping class group. We apply this result to proving that…

We introduce machinery to allow ``cut-and-paste''-style inductive arguments in the Torelli subgroup of the mapping class group. In the past these arguments have been problematic because restricting the Torelli group to subsurfaces gives…

The hyperelliptic Torelli group is the subgroup of the mapping class group consisting of elements that act trivially on the homology of the surface and that also commute with some fixed hyperelliptic involution. The authors and Putman…

We give a new proof of a celebrated theorem of Dennis Johnson that asserts that the kernel of the Johnson homomorphism on the Torelli subgroup of the mapping class group is generated by separating twists. In fact, we prove a more general…

In this paper we prove that the Torelli group of a surface of genus at least 3 with 2 boundary components is finitely generated. As a consequence, we answer Putman's question on the finite generation of the stabilizer subgroup of the…

We prove that the cohomological dimension of the Torelli group for a closed connected orientable surface of genus g at least 2 is equal to 3g-5. This answers a question of Mess, who proved the lower bound and settled the case of g=2. We…

Let S = S(n) denote the infinite surface with n ends, n \in N, accumulated by genus. For n \geq 6, we show that the mapping class group of S is topologically generated by five involutions. When n \geq 3, it is topologically generated by six…

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 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…

Let $S(n)$ be the infinite-type surface with infinite genus and $n \in \mathbb{N}$ ends, all of which are accumulated by genus. The mapping class group of this surface, $\mod(S(n))$, is a Polish group that is not countably generated, but it…

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…

Let $S(n)$, for $n \in \mathbb{N}$, be the infinite-type surface of infinite genus with $n$ ends, each accumulated by genus. Although the mapping class groups of these surfaces are not countably generated,they are Polish groups and hence…