The Dimension of the Torelli group
read the original abstract
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 also find the cohomological dimension of the Johnson kernel (the subgroup of the Torelli group generated by Dehn twists about separating curves) to be 2g-3. For g at least 2, we prove that the top dimensional homology of the Torelli group is infinitely generated. Finally, we give a new proof of the theorem of Mess that gives a precise description of the Torelli group in genus 2. The main tool is a new contractible complex, called the "complex of cycles", on which the Torelli group acts.
This paper has not been read by Pith yet.
Forward citations
Cited by 2 Pith papers
-
Finite generation, algebraicity, and representation stability for homology of Torelli groups
Proves finite generation of H_k(I_g; Z) for k ≤ g-2 and that rational homology is an algebraic Sp(2g,Z)-representation, turning conditional cohomology computations into theorems and proving Morita's conjecture.
-
Lengths of simple closed geodesics on hyperbolic surfaces in prescribed homology classes
Proves h_S(L, x) ≥ C1 L^{6(g-1) + 2(n + b -1)} for the count of simple closed geodesics ≤L in fixed homology class x, with a sharper numerical exponent for the torus with two punctures.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.