Abstract
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 ; ℤ) and that commute with some fixed hyperelliptic involution of S g . We prove that the cohomological dimension of SI(S g ) is g − 1 when g ≥ 1. We also show that H g−1(SI(S g ); ℤ) is infinitely generated when g ≥ 2. In particular, SI(S 3) is not finitely presentable. Finally, we apply our main results to show that the kernel of the Burau representation of the braid group B n at t = −1 has cohomological dimension equal to the integer part of n/2, and it has infinitely generated homology in this top dimension.
Similar content being viewed by others
References
V. I. Arnol’d, A remark on the branching of hyperelliptic integrals as functions of the parameters, Akademija Nauk SSSR. Funkcional’nyi Analiz i ego Priloženija 2 (1968), 1–3.
M. Bestvina, K.-U. Bux and D. Margalit, The dimension of the Torelli group, Journal of the American Mathematical Society 23 (2010), 61–105.
J. S. Birman, Mapping class groups and their relationship to braid groups, Communications on Pure and Applied Mathematics 22 (1969), 213–238.
J. S. Birman and H. M. Hilden, On the mapping class groups of closed surfaces as covering spaces, in Advances in the Theory of Riemann surfaces (Proc. Conf., Stony Brook, NY, 1969), Annals of Mathematics Studies, Vol. 66. Princeton University Press, Princeton, NJ, 1971, pp. 81–115.
J. S. Birman and H. M. Hilden, On isotopies of homeomorphisms of Riemann surfaces, Annals of Mathematics 97 (1973), 424–439.
T. Brendle and D. Margalit, Point pushing, homology, and the hyperelliptic involution, Preprint.
K. S. Brown, Cohomology of Groups, Graduate Texts in Mathematics, Vol. 87, Springer-Verlag, New York, 1982.
M. Culler and K. Vogtmann, Moduli of graphs and automorphisms of free groups, Inventiones Mathematicae 84 (1986), 91–119.
J. S. Ellenberg, On the Euler characteristic of Torelli groups, http://quomodocumque.files.wordpress.com/2011/09/virtual-dimension-eulercharacteristic-torelli.pdf.
B. Farb, Some problems on mapping class groups and moduli space, in Problems on Mapping Class Groups and Related Topics, Proceedings of Symposia in Pure Mathematics, Vol. 74, American Mathematical Society, Providence, RI, 2006, pp. 11–55.
B. Farb and D. Margalit, A Primer on Mapping Class Groups, Princeton University Press, Princeton, NJ, 2011.
R. Hain, Finiteness and Torelli spaces, in Problems on Mapping Class Groups and Related Topics, Proceedings of Symposia in Pure Mathematics, Vol. 74, American Mathematical Society, Providence, RI, 2006, pp. 57–70.
J. L. Harer, The virtual cohomological dimension of the mapping class group of an orientable surface, Inventiones Mathematicae 84 (1986), 157–176.
A. Hatcher and D. Margalit, Generating the Torelli group, in preparation.
G. Hochschild and J.-P. Serre, Cohomology of group extensions, Transactions of the American Mathematical Society 74 (1953), 110–134.
N. V. Ivanov, Complexes of curves and Teichmüller modular groups, Uspekhi Matematicheskih Nauk 42 (1987), 49–91.
N. V. Ivanov, Subgroups of Teichmüller modular groups, Translations of Mathematical Monographs, Vol. 115, American Mathematical Society, Providence, RI, 1992, Translated from the Russian by E. J. F. Primrose and revised by the author.
D. Johnson, An abelian quotient of the mapping class group Ig, Mathematische Annalen 249 (1980), 225–242.
D. Johnson, The structure of the Torelli group. II. A characterization of the group generated by twists on bounding curves, Topology 24 (1985), 113–126.
W. Magnus and A. Peluso, On a theorem of V. I. Arnol’d, Communications on Pure and Applied Mathematics 22 (1969), 683–692.
G. Mess, Unit tangent bundle subgroups of the mapping class groups, Preprint IHES/M/90/30 (1990).
G. Mess, The Torelli groups for genus 2 and 3 surfaces, Topology 31 (1992), 775–790.
S. Morita, Casson’s invariant for homology 3-spheres and characteristic classes of surface bundles. I, Topology 28 (1989), 305–323.
J. Powell, Two theorems on the mapping class group of a surface, Proceedings of the American Mathematical Society 68 (1978), 347–350.
J.-P. Serre, Cohomologie des groupes discrets, in Prospects in Mathematics (Proc. Sympos., Princeton Univ., Princeton, NJ, 1970), Annals of Mathematics Studies, Vol. 70, Princeton University Press, Princeton, NJ, 1971, pp. 77–169.
Author information
Authors and Affiliations
Corresponding author
Additional information
The third author gratefully acknowledges support from the National Science Foundation and the Sloan Foundation.
Rights and permissions
About this article
Cite this article
Brendle, T., Childers, L. & Margalit, D. Cohomology of the hyperelliptic Torelli group. Isr. J. Math. 195, 613–630 (2013). https://doi.org/10.1007/s11856-012-0075-3
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11856-012-0075-3