Torsion in the 0-cycle group with modulus

From MaRDI portal
(Redirected from Publication:1993989)



Abstract: We show, for a smooth projective variety X over an algebraically closed field k with an effective Cartier divisor D, that the torsion subgroup CH0(X|D)l can be described in terms of a relative {'e}tale cohomology for any prime leqp=mchar(k). This extends a classical result of Bloch, on the torsion in the ordinary Chow group, to the modulus setting. We prove the Roitman torsion theorem (including p-torsion) for CH0(X|D) when D is reduced. We deduce applications to the problem of invariance of the prime-to-p torsion in CH0(X|D) under an infinitesimal extension of D.


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.











This page was built for publication: Torsion in the 0-cycle group with modulus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1993989)