Finiteness properties of the Johnson subgroups (Q517063)

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.