The algebraic \(K\)-theory of a diagram of rings (Q935852)

This paper can be considered as the sequel of the two papers [\textit{J. Duflot}, Manuscr. Math. 113, No. 4, 423--470 (2004; Zbl 1057.19001) and \textit{J. Duflot} and \textit{C. T. Marak}, J. Pure Appl. Algebra 151, No. 2, 135--162 (2000; Zbl 0955.19002)]. The first paper constructed a simplicial group \(GR\) functorially associated to a ring \(R\) whose homotopy groups are exactly Quillen's \(K\)-groups of \(R\). The group \(GR\) is in particular an infinite loop object in the category of simplicial groups. The second paper constructed a filtration \({\mathcal F}_2 \subset {\mathcal F}_1 \subset {\mathcal F}_0 \subset K_0(R)\) of the \(K_0\)-group of the inverse limit \(R\) of a diagram of rings \({\mathcal R}\). This filtration has successive quotients related to the cohomology groups \(H^i({\mathcal I},K_i{\mathcal R})\) of the underlying small category \({\mathcal I}\) of the diagram of rings with coefficients the diagram of corresponding \(K_i\)-groups. The canonical map from the inverse limit of the diagram of simplicial groups \(G{\mathcal R}\) to its homotopy inverse limit can be realized as a map of simplicial groups from the inverse limit to the inverse limit \(\text{Tot}({\mathcal I},G{\mathcal R})\) of the total tower of the cosimplicial replacement of \(G{\mathcal R}\). This map yields a map \(j\) from \(K_0(R)\) to the \(\pi_0\)-group of \(\text{Tot}({\mathcal I},G{\mathcal R})\). The associated Bousfield-Kan spectral sequence yields a filtration \(F_{2,0} \subset F_{1,0} \subset F_{0,0} \subset \pi_0(Tot({\mathcal I},G{\mathcal R}))\). The main result of the author is that the inverse image by \(j\) of the filtration \(F_{1,0} \subset F_{0,0} \subset \pi_0(\text{Tot}({\mathcal I},G{\mathcal R}))\) contains the filtration \({\mathcal F}_1 \subset {\mathcal F}_0 \subset K_0(R)\). The conjectured inclusion \(j({\mathcal F}_2) \subset F_{2,0}\) is still a work in progress when the paper is published. In the last part of the paper, the author comes back to the case of a pullback square of rings. This example is interesting since the filtration \({\mathcal F}_2 \subset {\mathcal F}_1 \subset {\mathcal F}_0 \subset K_0(R)\) is a generalization of Milnor's Mayer-Vietoris sequence for a pullback square of rings.