Finiteness properties of the Johnson subgroups

DOI10.1016/J.JALGEBRA.2016.09.024MaRDI QIDQ517063zbMATH OpenOpenAlexFDO

Authors Kevin Kordek

Publication date 16 March 2017

Published in Journal of Algebra (Search for Journal in Brave)

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

zbMATH Keywords

Alexander invariantsgroup cohomologyJohnson filtrationmapping class groups

Mathematics Subject Classification ID

Derived series, central series, and generalizations for groups (20F14) Automorphism groups of groups (20F28) Fundamental groups and their automorphisms (group-theoretic aspects) (20F34) Other groups related to topology or analysis (20F38) Homological methods in group theory (20J05) Cohomology of groups (20J06) Topological methods in group theory (57M07) General geometric structures on low-dimensional manifolds (57M50)

Abstract: The main goal of this note is to provide evidence that the first rational homology of the Johnson subgroup $K_{g,1}$ of the mapping class group of a genus g surface with one marked point is finite-dimensional. Building on work of Dimca-Papadima, we use symplectic representation theory to show that, for all $g>3$, the completion of $H_1(K_{g,1},mathbbQ)$ with respect to the augmentation ideal in the rational group algebra of $mathbb{Z}^{2g}$ is finite-dimensional. We also show that the terms of the Johnson filtration of the mapping class group have infinite-dimensional rational homology in some degrees in almost all genera, generalizing a result of Akita.

Review text

Let \(S_{g,n}\) be the closed orientable surface of genus \(g\) with fundamental group \(\pi\) and \(n\) marked points (\(n=0,1\)) and let \(\Gamma_{g,n}\) be its mapping class group. The \(k\)-th Johnson subgroup \(K_{g,1}(k)\) of \(\Gamma_{g,1}\) and the \(k\)-th outer Johnson subgroup \(K_{g,0}(k)\) of \(\Gamma_{g,0}\) are defined to be the kernels of the natural maps \(\Gamma_{g,1}\to \Aut(\pi /\pi^{(k+1)})\) and \(\Gamma_{g,0}\to \mathrm{Out}(\pi /\pi^{(k+1)})\), respectively, where \(\pi^{(m)}\) denotes the \(m\)-th term of the lower central series of \(\pi\). The Johnson subgroups \(K_{g,1}\) and \(K_{g,0}\) are recovered by taking \(k=2\). Denote by \(H\) the abelianization of \(\pi\). Then, \(H_1(K_{g,1},{\mathbb Q})\) is a \({\mathbb Q}H\) module. Denote by \(J\) the augmentation ideal of \({\mathbb Q}H\). The author shows: Theorem 1.1. For each \(g\geq 4\) the \(J\)-adic completion \(H_1(K_{g,1},{\mathbb Q})\) is finite dimensional. This gives evidence that \(H_1(K_{g,1},{\mathbb Q})\) is finite dimensional.

Recommendations

• On finiteness properties of the Johnson filtrations
• Homological finiteness in the Johnson filtration of the automorphism group of a free group.
• The abelianization of the Johnson kernel
• Generating the Johnson filtration
• On the quotients of mapping class groups of surfaces by the Johnson subgroups

Cites work

• A primer on mapping class groups
• Arithmetic group symmetry and finiteness properties of Torelli groups
• Fundamental groups, Alexander invariants, and cohomology jumping loci
• Homological finiteness in the Johnson filtration of the automorphism group of a free group.
• scientific article; zbMATH DE number 4073281 (Why is no real title available?)
• scientific article; zbMATH DE number 704831 (Why is no real title available?)
• scientific article; zbMATH DE number 1467268 (Why is no real title available?)
• Infinitesimal presentations of the Torelli groups
• On generalised free products
• On the descending central series of groups with a single defining relation
• On the homology of Torelli groups and Torelli spaces
• The extension of Johnson's homomorphism from the Torelli group to the mapping class group
• The structure of the Torelli group. I: A finite set of generators for \({\mathcal I}\)
• The structure of the Torelli group. II: A characterization of the group generated by twists on bounding curves
• The Torelli groups for genus 2 and 3 surfaces

Cited in

(3)

• On finiteness properties of the Johnson filtrations
• Arithmetic group symmetry and finiteness properties of Torelli groups
• The abelianization of the Johnson kernel

This page was built for publication: Finiteness properties of the Johnson subgroups

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