The top homology group of the genus 3 Torelli group

Authors

Publication date 15 September 2023

Abstract: The Torelli group of a genus

g

oriented surface

S i g m a_{g}

is the subgroup

m a t h c a l I_{g}

of the mapping class group

m M o d (S i g m a_{g})

consisting of all mapping classes that act trivially on

{m H}_{1} (S i g m a_{g}, m a t h b b Z)

. The quotient group

m M o d (S i g m a_{g}) / m a t h c a l I_{g}

is isomorphic to the symplectic group

m S p (2 g, m a t h b b Z)

. The cohomological dimension of the group

m a t h c a l I_{g}

equals to

3 g - 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

m S p (6, m a t h b b Z)

-module. We prove an isomorphism

{ m H}_4(mathcal{I}_3, mathbb{Z}) cong { m Ind}^{{ m Sp}(6, mathbb{Z})}_{S_3 ltimes { m SL}(2, mathbb{Z})^{ imes 3}} mathcal{Z},

where

m a t h c a l Z

is the quotient of

m a t h b b Z^{3}

by its diagonal subgroup

m a t h b b Z

with the natural action of the permutation group

S_{3}

(the action of

m S L (2, m a t h b b Z)^{i m e s 3}

is trivial). We also construct an explicit set of generators and relations for the group

{m H}_{4} (m a t h c a l I_{3}, m a t h b b Z)

.

Recommendations

Cites work

Cited in

(3)

This page was built for publication: The top homology group of the genus 3 Torelli group