The indecomposable \(K_3\) of rings and homology of \(\text{SL}_2\) (Q1295617): Difference between revisions

The main result of the paper asserts that the homomorphism \(H_3(GL_2(R);\mathbb Q)\rightarrow H_3(GL_3(R);\mathbb Q)\), induced by the upper left inclusion \(GL_2(R)\hookrightarrow GL_3(R)\) is injective if \(R\) is an \(H1\)-ring, for instance if \(R\) is a semilocal ring with infinite residue fields. The argument is based on a very long and careful investigation of the spectral sequence \(E^1_{s,t}\cong H_s(GL_3(R);C_t)\Longrightarrow H_{s+t}(GL_3(R);\mathbb Z)\) associated with the complex \(C_*\), where \(C_t\) is the free abelian group generated by \(t\)-tuples of \(\mathbb P^2(R)\) subject to some normalization conditions. The proof of the injectivity of the above homomorphism follows from the existence of an embedding \(H_3(GL_2(R);\mathbb Q)\hookrightarrow E^\infty_{3,0}\otimes\mathbb Q\). The remainder of the paper is devoted to the discussion of some relationships between algebraic \(K\)-theory and linear group homology in low dimensions. For an \(H1\)-ring \(R\), there is a homomorphism \(\varphi_n:K_n(R)\rightarrow H_n(GL(R);\mathbb Z)\cong H_n(GL_n(R);\mathbb Z)\rightarrow K_n^M(R)\) relating the Quillen \(K\)-theory to the Milnor \(K\)-theory, where the first arrow is the Hurewicz map and the second the obstruction to the homology stability. Let us then define the rational indecomposable \(K_3\) of \(R\) as \(K_3(R)_\mathbb Q^{\text{ind}}=(K_3(R)\otimes \mathbb Q)/\text{image}(\varphi_3\otimes\mathbb Q)\). The author shows the existence of an isomorphism \(K_3(R)_\mathbb Q^{\text{ind}}\cong H_0(R^\times ;H_3(SL_2(R);\mathbb Q))\). Finally, he proves that \[ F_j^{\text{ rank}} K_n(R)\otimes\mathbb Q\oplus F_\gamma^{j+1}K_n(R)\otimes\mathbb Q\cong K_n(R)\otimes\mathbb Q \] for \(1\leq n\leq 3\) and \(1\leq j\leq n\), where \[ F_j^{\text{rank}}K_n(R)\otimes\mathbb Q=\text{image}(H_n(GL_j(R);\mathbb Q)\rightarrow H_n(GL(R);\mathbb Q))\cap \text{ Prim} (H_n(GL(R);\mathbb Q)) \] and where \(F_\gamma^\bullet\) denotes the \(\gamma\)-filtration of the algebraic \(K\)-theory.