Relative \(K\)-theory via 0-cycles in finite characteristic (Q831453)

Searching for the right motivic cohomology on schemes over a field has been an important question. Here, this desired theory is expected to fit into an Atiyah-Hirzebruch type spectral sequence, that converges to the algebraic \(K\)-theory. Such a theory was proposed by higher Chow groups of \textit{S. Bloch} [Adv. Math. 61, 267--304 (1986; Zbl 0608.14004)], and it turned out that it satisfies the expectation for smooth \(k\)-schemes for a field \(k\). In particular, the comparison of the cycle class groups with rational pieces of the algebraic \(K\)-theory can be made, as well. Often this is referred to as the Grothendieck-Riemann-Roch theorem. For singular algebraic \(k\)-schemes, this has not been fully understood yet, but there have been numerous attempts with interesting results. One of them studied by a few people is that of additive higher Chow groups of \textit{S. Bloch} and \textit{H. Esnault} [Doc. Math. Extra Vol., 131--155 (2003; Zbl 1052.11048)]. Via the further studies made by \textit{K. Rülling} [J. Algebr. Geom. 16, No. 1, 109--169 (2007; Zbl 1122.14006)] and \textit{A. Krishna} and \textit{J. Park} [Compos. Math. 157, No. 10, 2089--2132 (2021; Zbl 1477.14015)], the additive higher Chow groups of regular semi-local \(k\)-schemes \(Spec (R)\) essentially of finite type are known to be isomorphic to the generalized de Rham-Witt forms in the Milnor range. Naturally, one can ask whether these identifications can be understood as descriptions of the relevant algebraic \(K\)-theory. This paper under review pinpoints some such questions. We have four categories of objects: (1) the additive higher Chow groups of \(R_m= R[t]/(t^{m+1})\) for \(m \geq 1\) in the Milnor range, (2) the de Rham-Witt forms of \(R_m\) for \(m \geq 1\), (3) the relative Milnor \(K\)-groups of \(R_m\) for \(m \geq 1\), and (4) the relative Quillen \(K\)-groups of \(R_m\) for \(m \geq 1\). \medskip Rülling and Krishna-Park say (1) and (2) are isomorphic for each \(m\). For (3), there are a few slightly different versions of relative Milnor \(K\)-groups, but the authors prove in \S 4B that for a base field of characteristic \(p>0\), (2) and (3) are isomorphic as pro-groups. In \S 5, the authors prove the pro-isomorphism for (3) and (4) under some assumptions on \(k\). Combining these discussions, as the main theorem, Theorem 1.4, the authors obtain that when \(k\) is a perfect field of characteristic \(p>0\), the additive higher Chow groups (1) in the Milnor range and the relative Quillen \(K\)-theory (4) are pro-isomorphic for such family of schemes \(R_m\) over \(m \geq\). This can be seen as a sort of Grothendieck-Riemann-Roch in a sense. Combined with the previous known result for the characteristic \(0\) case in [\textit{R. Gupta} and \textit{A. Krishna}, Ann. \(K\)-Theory 5, No. 4, 757--819 (2020; Zbl 1468.14013)], one deduces the pro-isomorphism result between (1) and (4) for such family of schemes \(R_m\) over \(m \geq 1\).