A cycle class map from Chow groups with modulus to relative \(K\)-theory (Q1753331)

Consider the pair \((\overline{X};D)\), where \(\overline{X}\) is a smooth quasi-projective \(d\) dimensional variety and \(D\) is an effective, possibly non-reduced, Cartier divisor with normal crossing support. The author and \textit{S. Saito} have defined higher Chow groups with modulus for the pair, see [``Relative cycles with moduli and regulator maps'', Preprint, \url{arXiv:1412.0385}, to appear in J. Inst. Math. Jussieu]. In the present interesting work a suitable version of these groups is dealt with, it is written \(\mathrm{CH}^{m}(\overline{X}|D, n)_{\mathbb Q,M_{\text{ssup}}}\), and the problem investigated is the construction of cycle class maps from \(\mathrm{CH}^{m}(\overline{X}|D, n)\) to the relative \(K\)-groups \(K_n(\overline{X}; D)\). A solution is given for every \(n \geq 0\) in the range \((m,n) = (d+n, n)\), which is the case of higher 0-cycles. In the absolute case Bloch and Levine constructed classes in the higher \(K\)-groups \(K_n(X)\) of a regular \(k\)-variety \(X\) by making use of certain multi-relative \(K_0\) group, \(K_0(X\times \square^n_{\bullet}; X\times \partial \square^n_{\bullet})\), here \(\square^n \cong \mathbb{A}^n_k\) and \(\partial \square^n\) is the usual boundary divisor on \(\square^n\). Homotopy invariance property of \(K\)-groups of regular schemes yields an isomorphism \(K_0(X\times \square^n; X\times \partial \square^n)\simeq K_n(X)\) compatible with Adams operations on both sides. For the relative case \(K_n(\overline{X}; D)\) this procedure meets the difficulty that one has to consider \(K\)-groups of singular, non-reduced schemes in doing so and no homotopy invariance is available. The author uses instead the \(\mathbb{P}^1\)-bundle formula, which holds regardless of regularity assumptions as it follows from the work of \textit{R. W. Thomason} and \textit{T. F. Trobaugh} [Prog. Math. 88, 247--435 (1990; Zbl 0731.14001)]. In this way he can produce a substitute model for the relative \(K\)-theory of the pair \((\overline{X};D)\). The higher cycles in \(z^{d+n}(\overline{X}|D, n)\) are generated by points in good position inside \(X\times \square^n\) and it turns out that they have a well defined image in the relative \(K\)-groups, but the issue is now to verify that the relations which give the quotient \(\mathrm{CH}^{d+n}(\overline{X}|D, n)\) go to relations in the \(K\)-groups. This task turns out to be quite demanding, the careful verification takes half of the paper to be successfully performed.