On the stable Andreadakis problem (Q2318371)

Let \(F_n\) be a free group of rank \(n\) and consider the lower central series \(F_n=\Gamma_{1}(F_n)\supseteq\Gamma_{2}(F_n)\supseteq\cdots\). The Andreadakis filtration is defined as \(\mathcal{A}_1\supseteq\mathcal{A}_2\supseteq\cdots\), in which \(\mathcal{A}_i\) is the subgroup of automorphisms of \(F_n\) acting trivially on \(F_n/\Gamma_{i+1}(F_n)\). In this paper, a partial answer to the stable version of the Andreadakis problem is provided, which asks how close is the canonical morphism \(i_{\ast}:\Gamma_{k}(\mathcal{A}_1)/\Gamma_{k+1}(\mathcal{A}_1)\longrightarrow \mathcal{A}_k/\mathcal{A}_{k+1}\) to be an isomorphism when \(n\gg k\)? In fact, it is shown that this morphism is surjective, if \(n\geq k+2\). Moreover, a \(p\)-restricted version of the Andreadakis problem is studied by answering the questions discussed by \textit{K. Habiro} and \textit{G. Massuyeau} in [J. Algebra 510, 205--258 (2018; Zbl 1411.57035)] about this problem. The author also solves the stable \(q\)-torsion Andreadakis problem for \(\mathbb{Z}^n\) (free abelian group of rank \(n\)), getting a complete calculation of the Lie ring of the congruence group \(\mathrm{GL}_n(p\mathbb{Z})\) for \(n\geq 4\).