The top homology group of the genus 3 Torelli group

Abstract

The Torelli group of a genus $g$ oriented surface ${\Sigma }_g$ is the subgroup ${\mathcal{I}}_g$ of the mapping class group $\mathrm{Mod}({\Sigma }_g)$ consisting of all mapping classes that act trivially on ${\mathrm{H}}_1({\Sigma }_g,\mathbb{Z})$. The quotient group $\mathrm{Mod}({\Sigma }_g)/{\mathcal{I}}_g$ is isomorphic to the symplectic group $\mathrm{Sp}(2g,\mathbb{Z})$. The cohomological dimension of the group ${\mathcal{I}}_g$ equals to $3g-5$. The main goal of the present paper is to compute the top homology group of the Torelli group in the case $g=3$ as $\mathrm{Sp}(6,\mathbb{Z})$-module. We prove an isomorphism $${\mathrm{H}}_4({\mathcal{I}}_3,\mathbb{Z})\cong {\mathrm{Ind}}_{S_3⋉\mathrm{SL}(2,\mathbb{Z}{)}^{\times 3}}^{\mathrm{Sp}(6,\mathbb{Z})}\mathcal{Z},$$ where $\mathcal{Z}$ is the quotient of ${\mathbb{Z}}^3$ by its diagonal subgroup $\mathbb{Z}$ with the natural action of the permutation group $S_3$ (the action of $\mathrm{SL}(2,\mathbb{Z}{)}^{\times 3}$ is trivial). We also construct an explicit set of generators and relations for the group ${\mathrm{H}}_4({\mathcal{I}}_3,\mathbb{Z})$.

38 pages, minor corrections, accepted for publication by the Journal of Topology

References in corpus (2)

• On spectral sequence for the action of genus 3 Torelli group on the complex of cycles
• On the structure of the top homology group of the Johnson kernel