\(\mathcal K_g\) is not finitely generated
type: Item
instance of: scholarly article
title: \(\mathcal K_g\) is not finitely generated
zbMATH Open document ID: 1155.57017
author: Benson Farb
author: Daniel K. Biss
published in: Inventiones Mathematicae
publication date: 2006-01-23T00:00:00Z
full work available at URL: https://arxiv.org/abs/math/0405386
review text: The mapping class group is the group of isotopy classes of orientation preserving diffeomorphisms between closed orientable surfaces of genus \(g\), which is denoted by \(\Sigma_g\). \(K_g\) is the subgroup of the mapping class group generated by the (infinite) collection of Dehn twists about the bounding curves in \(\Sigma_g\). It is well known that \(K_g\) has a free action on the Teichmüller space, hence \(K_g\) has finite cohomological dimension. It is also known that \(H_*(K_g,\mathbb Q)\) is infinite-dimensional as a vector space over \(\mathbb Q\). Other results are that \(K_g\) has infinite index in the Torelli group \(T_g\) and \(T_g\) is finitely generated for all \(g\geq3\). This paper's contribution is to prove that \(K_g\) is not finitely generated for any \(g\geq2\) by extending the McCullough-Miller method and the result that \(K_2\) is not finitely generated. The authors construct an abelian cover \(Y\) of \(\Sigma_g\). They find a representation of \(K_{g,*}\), which is the pointed version of \(K_g\), into \(\Aut_{L_g}(H_1(Y,\mathbb Z))\), where \(L_g\) is the group ring of integral Laurent series in \(2g-2\) variables. By reducing dimension, it induces a quotient representation which maps \(K_{g,*}\) into a group isomorphic to \(\text{GL}_2(L)\), where \(L\) is the Laurent series ring \(\mathbb Z[t,t^{-1}]\). Further, it descends to a representation \(\rho: K_g\to \text{SL}_s(L)\). Denote the image of this homomorphism by \(H\); the authors prove that \(H\) is not finitely generated. Then the main theorem is proved. Editorial remark: According to a fatal error [cf. the erratum, ibid. 178, No. 1, 229 (2009; Zbl 1171.57018)], the problem of the finite generation for \(\mathcal K_g\), \(g>2\), should be considered an open problem.
reviewed by: Qin Lu
Mathematics Subject Classification ID: 57M99
Mathematics Subject Classification ID: 20F29
Mathematics Subject Classification ID: 20F34
Mathematics Subject Classification ID: 20F38
zbMATH DE Number: 5000070
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W2963384512
arXiv ID: math/0405386
cites work: Homological infiniteness of Torelli groups
cites work: IA-automorphisms of the free metabelian group of rank 3
cites work: The μ-Invariant of 3-Manifolds and Certain Structural Properties of the Group of Homeomorphisms of a Closed, Oriented 2-Manifold
cites work: A survey of the Torelli group
cites work: The structure of the Torelli group. I: A finite set of generators for \({\mathcal I}\)
cites work: The genus 2 Torelli group is not finitely generated
cites work: The Torelli groups for genus 2 and 3 surfaces
cites work: Q4011152
cites work: Q4357172
cites work: Q4486726
cites work: Casson's invariant for homology 3-spheres and characteristic classes of surface bundles. I
cites work: Two Theorems on the Mapping Class Group of a Surface
DOI: 10.1007/S00222-005-0472-X
Recommended article: Erratum: \(\mathcal{K}_{g}\) is not finitely generated
Recommended article: The ideal (a) is not G&#948; generated
Recommended article: Genus 2 mapping class groups are not Kähler
Recommended article: A finitely generated group that does not satisfy the generalized Burghelea Conjecture
Recommended article: The finiteness of NK1(ℤ[G])
Recommended article: The Beth-closure of ℒ(Qα) is not finitely generated
Recommended article: Almost *-modules need not be finitely generated
Recommended article: Invariable generation does not pass to finite index subgroups
Recommended article: Q4126528
Recommended article: Genus 3 mapping class groups are not Kähler
description: scientific article