Homology of \(GL_n\) over infinite fields outside the stability range (Q2065603)

Let \(F\) be an infinite field. The stability homomorphisms \(H_n(\mathrm{GL}_r(F),\mathbb{Z})\to H_n(\mathrm{GL}_{r+1}(F),\mathbb{Z})\) are known, by work of Quillen and Suslin, to be isomorphisms for \(r\geq n\). The author studies the kernel and cokernel of these homomorphisms for certain \(r<n\) and coefficients of the form \(\mathbb{Z}[\frac{1}{m}]\): The author considers a sequence of groups \(\mathcal{B}_n(F)\) functorially associated to \(F\). \(\mathcal{B}_1(F)=0\), \(\mathcal{B}_2(F)\) is essentially the classical Bloch group of \(F\), and for \(n\geq 3\), \(\mathcal{B}_n(F)\) is the middle homology of \[ F^\times\otimes F^\times\otimes K_{n-2}^M(F)\to F^\times\otimes K_{n-1}^M(F)\to K_n^M(F) \] where the left map sends \(a_1\otimes a_2\otimes \{ b_1,\ldots,b_{n-2}\}\) to \(a_1\otimes \{ a_2,b_1,\ldots,b_{n-2}\}+ a_2\otimes \{ a_1,b_1,\ldots,b_{n-2}\}\) and the right map is induced by multiplication in \(K_\bullet^M(F)\). The author's main results (Theorems A and B) provide, under certain conditions, maps from \(\mathcal{B}_n(F)\) to the kernel of \(H_n(\mathrm{GL}_{n-1}(F),\mathbb{Z}[\frac{1}{(n-2)!}])\to H_n(\mathrm{GL}_{n}(F),\mathbb{Z}[\frac{1}{(n-2)!}])\) and to the cokernel of \\ \(H_{n+1}(F^\times\times\mathrm{GL}_{n-1}(F),\mathbb{Z}[\frac{1}{(n-2)!}])\to H_{n+1}(\mathrm{GL}_{n}(F),\mathbb{Z}[\frac{1}{(n-2)!}])\). He conjectures that these maps are surjective when defined. As an application of these results, the author proves (Corollary 2.5) that the maps \(H_3(\mathrm{GL}_2(F),\mathbb{Z}[\frac{1}{2}])\to H_3(\mathrm{GL}_3(F),\mathbb{Z}[\frac{1}{2}])\) and \(H_3(\mathrm{GL}_3(F),\mathbb{Z}[\frac{1}{6}])\to H_3(\mathrm{GL}_4(F),\mathbb{Z}[\frac{1}{6}])\) are injective for any infinite field \(F\). Using recent results of \textit{S. Galatius} et al. [``$E_\infty$-cells and general linear groups of infinite fields'', Preprint, \url{arXiv:2005.05620}] the author concludes by deducing stabilty results for certain \(r<n\) for fields \(F\) which are real-closed or for which \(F^\times\) is divisible.