Torsion in the 0-cycle group with modulus (Q1993989)

The cycle groups with modulus were introduced by S. Bloch and H.Esnault in order to study algebraic \(K\)-theory of the truncated polynomial ring \(k[t]/(t^n)\) in terms of algebraic cycles. This idea was expanded further in [\textit{J. Park}, Am. J. Math. 131, No. 1, 257--276 (2009; Zbl 1176.14001)], [\textit{K. Rülling}, J. Algebr. Geom. 16, No. 4, 793--795 (2007; Zbl 1122.14007)] and [\textit{A. Krishna} and \textit{M. Levine}, J. Reine Angew. Math. 619, 75--140 (2008; Zbl 1158.14009)]. In recent works of \textit{F. Binda} and \textit{S. Saito} [``Relative cycles with moduli and regulator maps'', Preprint, \url{arXiv:1412.0385}] and \textit{M. Kerz} and \textit{S. Saito} [Duke Math. J. 165, No. 15, 2811--2897 (2016; Zbl 1401.14148)], the higher Chow groups with modulus were introduced. It is not clear if these are the right motivic cohomology groups to compute the relative \(K\)-theory of a smooth scheme with respect to an effective divisor. It is not known whether the Chow groups with modulus play similar role for relative situation as the higher Chow groups in the motivic cohomology of a smooth quasi-projective scheme \(X.\) The author proves the following two theorems which correspond to the Bloch's torsion theorem and the Roitman's torsion theorem: Theorem. Let \(k\) be an algebraically closed field of exponential characteristic \(p\). Let \(X\) be a smooth projective scheme of dimension \(d\geq 1\) over \(k\) and let \(D\subset X\) be an effective Cartier divisor. Then, for any prime \(l\neq p\), there is an isomorphism \[ {\lambda}_{X|D}: \mathrm{CH}_0(X|D)[l]\rightarrow H_{et}(X|D, {\mathbb Q}_l/{\mathbb Z}_l(d)) \] Theorem. Let \(k\) be an algebraically closed field of exponential characteristic \(p\). Let \(X\) be a smooth projective scheme of dimension \(d\geq 1\) over \(k\) and let \(D\subset X\) be an effective Cartier divisor. Assume that \(D\) is reduced. Then, the Albanese variety with modulus \(A^d(X|D)\) is a semiabelian variety and the Abel-Jacobi map \({\rho}: \mathrm{CH}_0(X|D)_{{\mathrm deg0}} \rightarrow A^d(X|D)\) is an isomorphism on the torsion subgroups including \(p\)-torsion). In the proof of the second theorem the author proves the Roitman torsion theorem for singular separably weakly normal surfaces, which provides an evidence that the Roitman's theorem might be true for nonnormal varieties in positive characteristic. Finally, it is also worth noting that the paper is very well organized and the exposition is clear.