Motivic cohomology of fat points in Milnor range (Q1656226): Difference between revisions

The authors present a new model for the motivic cohomology theory of some singular \(k\)-schemes. It is well known that Bloch higher Chow groups of smooth \(k\)-schemes give the correct motivic cohomology groups, but they do not do this for singular \(k\)-schemes. In particular, one expects that there should exist an Atiyah-Hirzebruch type spectral sequence from motivic cohomology converging to higher algebraic \(K\)-groups. However, as the authors notice, the \(K\)-groups detect the difference between a scheme \(X\) and its reduced scheme \(X_{\mathrm{red}},\) while the higher Chow groups do not. The additive higher Chow groups (cf. e.g [\textit{S. Bloch} and \textit{H. Esnault}, Doc. Math. Extra Vol., 131--155 (2003; Zbl 1052.11048)], [\textit{A. Krishna} and \textit{M. Levine}, J. Reine Angew. Math. 619, 75--140 (2008; Zbl 1158.14009)], [\textit{A. Krishna} and \textit{J. Park}, Doc. Math. 21, 49--89 (2016; Zbl 1357.14014)]) were designed to complement this for non-reduced schemes. Further attempts included higher Chow groups with modulus (cf. [\textit{F. Binda} and \textit{S. Saito}, ``Relative cycles with moduli and regulator maps'', Preprint, \url{arXiv:1412.0385}). The authors motivated by the idea of understanding conjectural motivic cohomology for singular varieties through the cycles with modulus decided to develop a new approach that might resolve some serious technical problems they encountered. This new approach creates a different set of technical problems. For example the Milnor range is now not presented by \(0\)-cycles. The authors study the truncated polynomial ring \(k_m=k[t]/(t^m)\) and show that the Milnor \(K\)-groups \(K_n^M(k_m),\) for \(k\) of characteristic zero, can be expressed in terms of their new cycle groups in the Milnor range. This is in flavour of the results of [\textit{Yu. P. Nesterenko} and \textit{A. A. Suslin}, Izv. Akad. Nauk SSSR, Ser. Mat. 53, No. 1, 121--146 (1989; Zbl 0668.18011)], [\textit{K. Rülling} and \textit{T. Yamazaki}, J. \(K\)-Theory 14, No. 3, 556--569 (2014; Zbl 1326.19002)], [\textit{S. Bloch} and \textit{H. Esnault}, Doc. Math. Extra Vol., 131--155 (2003; Zbl 1052.11048)], and [\textit{K. Rülling}, J. Algebr. Geom. 16, No. 1, 109--169 (2007; Zbl 1122.14006)]. They also show that for \(k_m\) the relative parts of these groups are the sums of the absolute Kähler differential forms.