Related papers: Finiteness properties of the Torelli group of surf…
Let $\Sigma_g^b$ be a compact oriented surface of genus $g$ with $b$ boundary components, where $b\in\{0,1\}$. The Johnson kernel $\mathcal{K}_g^b$ is the subgroup of the mapping class group $\mathrm{Mod}(\Sigma_g^b)$ generated by Dehn…
Let A denote either the automorphism group of the free group of rank n>=4 or the mapping class group of an orientable surface of genus n>=12 with at most 1 boundary component, and let G be either the subgroup of IA-automorphisms or the…
We prove that second rational homology of the Torelli group of an orientable closed surface of genus g is finite dimensional for g at least 51. This rules out the simplest obstruction to the Torelli group being finitely presented and…
The article proves the Infinitesimal Torelli theorem for surfaces subject to the following conditions: 1) the canonical bundle of a surface is ample and generated by its global sections, 2)the geometric genus $p_g \geq 4$, 3) the…
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 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…
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…
Proving a conjecture of Dennis Johnson, we show that the Torelli subgroup of the mapping class group has a finite generating set whose size grows cubically with respect to the genus of the surface. Our main tool is a new space called the…
We examine groups whose resonance varieties, characteristic varieties and Sigma-invariants have a natural arithmetic group symmetry, and we explore implications on various finiteness properties of subgroups. We compute resonance varieties,…
We prove the congruence subgroup property for the centralizer of a finite subgroup $G$ in the mapping class group of a hyperbolic oriented and connected surface of finite topological type $S$ such that the genus of the quotient surface…
We prove that every term of the lower central series and Johnson filtrations of the Torelli subgroups of the mapping class group and the automorphism group of a free group are finitely generated in a stable range. This was originally proved…
In this paper, we prove that each automorphism of the Torelli group of a surface is induced by a diffeomorphism of the surface, provided that the surface is a closed, connected, orientable surface of genus at least 3. This result was…
This paper has two main goals. First, we give a complete, explicit, and computable solution to the problem of when two simple closed curves on a surface are equivalent under the Johnson kernel. Second, we show that the Johnson filtration…
In this paper it is proved that the group $F\left(\frac32\right)$, a Thompson-style group with breaks in $\mathbb{Z}\left[\frac16\right]$ but whose slopes are restricted only to powers of $\frac32$, is finitely generated, with a generating…
Let $IA_n$ denote the group of $IA$-automorphisms of a free group of rank $n$, and let $\mathcal I_n^b$ denote the Torelli subgroup of the mapping class group of an orientable surface of genus $n$ with $b$ boundary components, $b=0,1$. In…
We prove that every term of the lower central series and Johnson filtrations of the Torelli subgroups of the mapping class group and the automorphism group of a free group is finitely generated in a linear stable range. This was originally…
It is proved that every finitely generated profinite group with fewer than $2^{\aleph_0}$ conjugacy classes of elements of infinite order is finite
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…
We prove that the non-separating curve complex of every surface of finite type and genus at least three admits an exhaustion by finite rigid sets.
The Torelli group of a genus $g$ oriented surface $S_g$ is the subgroup $\mathcal{I}_g$ of the mapping class group $\mathrm{Mod}(S_g)$ consisting of all mapping classes that act trivially on the homology of $S_g$. One of the most intriguing…