Cohomology of the hyperelliptic Torelli group

DOI10.1007/S11856-012-0075-3zbMATH Open1278.57027arXiv1110.0448OpenAlexW2964142797MaRDI QIDQ375682FDOQ375682

Authors: Dan Margalit, Tara E. Brendle, Leah R. Childers 

Publication date: 31 October 2013

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

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;Z) 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 > 0. We also show that H_g-1(SI(S_g);Z) is infinitely generated when g > 1. 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.

Full work available at URL: https://arxiv.org/abs/1110.0448

Recommendations

• Point pushing, homology, and the hyperelliptic involution
• Factoring in the hyperelliptic Torelli group
• Generators for the hyperelliptic Torelli group and the kernel of the Burau representation at \(t=-1\)
• On a spectral sequence for the action of the Torelli group of genus 3 on the complex of cycles
• On the cohomology of the hyperelliptic mapping class group
• The genus 2 Torelli group is not finitely generated
• An infinite presentation of the Torelli group
• A finite presentation for the hyperelliptic mapping class group of a nonorientable surface
• The automorphism group of the hyperelliptic Torelli group
• The structure of the Torelli group. III: The abelianization of \({\mathcal S}\)

zbMATH Keywords

cohomological dimensionhyperelliptic Torelli groupmapping class group of a surface

Mathematics Subject Classification ID

Fundamental groups and their automorphisms (group-theoretic aspects) (20F34) General low-dimensional topology (57M99)

Cites Work

• Moduli of graphs and automorphisms of free groups
• A primer on mapping class groups
• Title not available (Why is that?)
• The virtual cohomological dimension of the mapping class group of an orientable surface
• Cohomology of Group Extensions
• Two Theorems on the Mapping Class Group of a Surface
• The Torelli groups for genus 2 and 3 surfaces
• Title not available (Why is that?)
• The dimension of the Torelli group
• Generating the Torelli group
• Mapping class groups and their relationship to braid groups
• The structure of the Torelli group. II: A characterization of the group generated by twists on bounding curves
• Casson's invariant for homology 3-spheres and characteristic classes of surface bundles. I
• Finiteness and Torelli spaces
• Examples of Poincare Duality Groups
• Point pushing, homology, and the hyperelliptic involution
• Title not available (Why is that?)
• On a theorem of V. I. arnol'd

Cited In (8)

• Generators for the hyperelliptic Torelli group and the kernel of the Burau representation at \(t=-1\)
• The top homology group of the genus 3 Torelli group
• Representation stability in the level 4 braid group
• Dimension of the Torelli group for \(\text{Out}(F_n)\).
• The Coherence of One-Relator Groups with Torsion and the Hanna Neumann Conjecture
• The infinite topology of the hyperelliptic locus in Torelli space
• Point pushing, homology, and the hyperelliptic involution
• A finite presentation for the hyperelliptic mapping class group of a nonorientable surface

This page was built for publication: Cohomology of the hyperelliptic Torelli group

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q375682)