On a spectral sequence for the action of the Torelli group of genus 3 on the complex of cycles

Abstract: The Torelli group of a genus

g

oriented surface

S_{g}

is the subgroup

m a t h c a l I_{g}

of the mapping class group

m a t h r m M o d (S_{g})

consisting of all mapping classes that act trivially on the homology of

S_{g}

. One of the most intriguing open problems concerning Torelli groups is the question of whether the group

m a t h c a l I_{3}

is finitely presented or not. A possible approach to this problem relies upon the study of the second homology group of

m a t h c a l I_{3}

using the spectral sequence

E_{p, q}^{r}

for the action of

m a t h c a l I_{3}

on the complex of cycles. In this paper we obtain a partial result towards the conjecture that

H_{2} (m a t h c a l I_{3}; m a t h b b Z)

is not finitely generated and hence

m a t h c a l I_{3}

is not finitely presented. Namely, we prove that the term

E_{0, 2}^{3}

of the spectral sequence is infinitely generated, that is, the group

E_{0, 2}^{1}

remains infinitely generated after taking quotients by images of the differentials

d^{1}

and

d^{2}

. If one proceeded with the proof that it also remains infinitely generated after taking quotient by the image of

d^{3}

, he would complete the proof of the fact that

m a t h c a l I_{3}

is not finitely presented.

Recommendations

Cites Work

Cited In (8)

This page was built for publication: On a spectral sequence for the action of the Torelli group of genus 3 on the complex of cycles