Related papers: The Dimension of the Torelli group
We prove that rational homology of the Torelli group of genus g is infinite dimensional, provided g>6. This means that rational homology of the Torelli space of genus g>6 is infinite dimensional. The Torelli groups with marked points are…
Let SI(S_g) denote the hyperelliptic Torelli group of a closed surface S_g of genus g. This is the subgroup of the mapping class group of S_g consisting of elements that act trivially on H_1(S_g;Z) and that commute with some fixed…
The action of the mapping class group $\mathrm{Mod}_g$ of an oriented surface $\Sigma_g$ on the lower central series of $\pi_1(\Sigma_g)$ defines the descending filtration in $\mathrm{Mod}_g$ called the Johnson filtration. The first two…
Let $S_g$ be a closed, oriented surface of genus $g$, and let $\operatorname{Mod}(S_g)$ denote its mapping class group. The Torelli group $\mathcal{I}_g$ is the subgroup of $\operatorname{Mod}(S_g)$ consisting of mapping classes that act…
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…
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…
Recently, Korkmaz established the lower bound of $3g - 2$ for the dimension of a faithful representation of the mapping class group of an orientable surface of genus $g \ge 3$. We raise this bound to $4g - 3$ in the setting of surfaces of…
Let $s$ be a fixed hyperelliptic involution of the closed, oriented genus $g$ surface $\Sigma_g$. The hyperelliptic Torelli group $\mathcal{SI}_g$ is the subgroup of the mapping class group $\mathrm{Mod}(\Sigma_g)$ consisting of elements…
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…
We prove that the $k$th term of the Johnson filtration of a closed, orientable surface of genus $g \geq 2$ has cohomological dimension $2g - 3$ for all $k \geq 3$ and $g \geq 2$. This answers a question of Farb and Bestvina--Bux--Margalit.
The Johnson kernel is the subgroup $\mathcal{K}_g$ of the mapping class group ${\rm Mod}(\Sigma_{g})$ of a genus $g$ oriented closed surface $\Sigma_{g}$ generated by all Dehn twists about separating curves. In this paper we study the…
The Torelli group of a genus $g$ oriented surface $\Sigma_g$ is the subgroup $\mathcal{I}_g$ of the mapping class group ${\rm Mod}(\Sigma_g)$ consisting of all mapping classes that act trivially on ${\rm H}_1(\Sigma_g, \mathbb{Z})$. The…
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…
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…
The moduli space of Riemann surfaces of genus $g\geq 2$ is (up to a finite \'etale cover) a complex manifold and so it makes sense to speak of its Dolbeault cohomological dimension. The conjecturally optimal bound is $g-2$. This expectation…
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…
By Torelli topology the author understands aspects of the topology of surfaces (potentially) relevant to the study of Torelli groups. The present paper is devoted to a new approach to the results of W. Vautaw about Dehn multi-twists in…
Genus $g$ Torelli space is the moduli space of genus $g$ curves of compact type equipped with a homology framing. The hyperelliptic locus is a closed analytic subvariety consisting of finitely many mutually isomorphic components. We use…
We completely describe the algebraic part of the rational cohomology of the Torelli groups of the manifolds $\#^g S^n \times S^n$ relative to a disc in a stable range, for $2n \geq 6$. Our calculation is also valid for $2n=2$ assuming that…
The Torelli group of $W_g = \#^g S^n \times S^n$ is the subgroup of the diffeomorphisms of $W_g$ fixing a disc which act trivially on $H_n(W_g;Z)$. The rational cohomology groups of the Torelli group are representations of an arithmetic…