On the augmentation quotients of the IA-automorphism group of a free group. (Q441069)

Let \(F_n\) be the free group of rank \(n\geq 2\). Many papers are devoted to the study of the automorphism group \(\Aut F_n\) of \(F_n\), especially to the \(IA_n\) automorphisms, the kernel of the natural homomorphism \(\Aut F_n\to\Aut F^{ab}_n\), where \(F^{ab}_n\) denotes the Abelianization of \(F_n\). The author in a series of papers [J. Lond. Math. Soc., II. Ser. 74, No. 2, 341-360 (2006; Zbl 1118.20037); Trans. Am. Math. Soc. 361, No. 4, 2085-2107 (2009; Zbl 1171.20024); J. Pure Appl. Algebra 216, No. 3, 709-717 (2012; Zbl 1252.20034)] studies the group \(IA_n\) considering the Johnson filtration \(IA_n=\mathcal A_n(1)\supset\mathcal A_n(2)\supset\cdots\) where each \(\mathcal A_n(k)\) is the kernel of the natural homomorphism \(\Aut F_n\to\Aut(F_n/\Gamma _{F_n}(k+1))\), where here \(\Gamma_{F_n}(k+1)\) denotes the \(k+1\)-st term of the lower cental series of \(F_n\). If \(\Gamma_{IA_n}(1)=IA_n\supset\Gamma _{IA_n}(2)\supset\cdots\supset\Gamma_{IA_n}(k)=[\Gamma_{IA_n}(k-1),IA_n]\supset\cdots\) is the lower central series of \(IA_n\), then \(\Gamma_{IA_n}(k)\subset\mathcal A_n(k)\) and the question is if \(\Gamma_{IA_n}(k)=\mathcal A_n(k)\) (Andreadakis conjecture [\textit{S. Andreadakis}, Proc. Lond. Math. Soc., III. Ser. 15, 239-268 (1965; Zbl 0135.04502)]). In his previous work the author studies and uses the graded quotients \(gr^k(\mathcal A_n)=\mathcal A_n(k)/\mathcal A_n(k+1)\) and the graded quotients \(\mathcal L_{IA_n}(k)=\Gamma_{IA_n}(k)/\Gamma_{IA_n}(k+1)\). In this paper, for a group \(G\) the author considers the group ring \(\mathbb Z[G]\) over \(\mathbb Z\) and the augmentation quotients \(Q^k(G)=\Delta^k(G)/\Delta^{k+1}(G)\), where \(\Delta^k(G)=(\Delta(G))^k\) is the \(k\)-times product of the augmentation ideal \(\Delta(G)\), and studies the \(GL(n,\mathbb Z)\)-module structure of the kernel of the natural surjective homomorphism \(\pi_k\colon Q^k(IA_n)\to Q^k(IA_n^{ab})\). To carry out this problem the author, for the homomorphism \(\alpha_k\colon\mathcal L_{IA_n}(k)\to Q^k(IA_n)\) defined by \(\sigma\mapsto\sigma-1\) constructs a \(GL(n,\mathbb Z)\)-equivariant homomorphism \[ \mu_k\colon Q^k(IA_n)\to\Hom_{\mathbb Z}(F^{ab}_n,\alpha_{k+1}(\mathcal L_{F_n}(k+1))). \] Since \(\alpha_k\) is a \(GL(n,\mathbb Z)\)-equivariant injective homomorphism for each \(k\geq 1\), identify \(\mathcal L_{F_n}(k)\) with the image \(\alpha_k(\mathcal L_{F_n}(k))\) and it is obtained \(\mu_k\circ\alpha_k=\tau_k'\), where \(\tau_k'\colon\mathcal L_{IA_n}(k)\to\Hom_{\mathbb Z}(F^{ab}_n,\mathcal L_{F_n}(k+1))\) is the \(k\)-th Johnson homomorphism. The main theorem of the paper is: Theorem. For \(3\leq k\leq n-2\), the \(GL(n,\mathbb Z)\)-equivariant homomorphism \[ \mu_k\oplus\pi_k\colon Q^k(IA_n)\to(H^*\otimes_{\mathbb Z}\alpha_{k+1}(\mathcal L_{F_n}(k+1)))\oplus Q^k(IA_n^{ab}) \] defined by \(\sigma\mapsto(\mu_k(\sigma ),\pi_k(\sigma))\) is surjective. Where above \(\Hom_{\mathbb Z}(F^{ab}_n,\mathcal L_{F_n}(k+1))\) is naturally identified with \(H^*\otimes_{\mathbb Z}\mathcal L_{F_n}(k+1)\) for \(H^*=\Hom_{\mathbb Z}(F_n^{ab},\mathbb Z)\). Using the same arguments as in the free group case and previous results of author [in Trans. Am. Math. Soc., loc. cit.] it is obtained an analogous Theorem for the free metabelian group \(F^M_n=F_n/[[F_n,F_n],[F_n,F_n]]\) of rank \(n\).