Zero-cycle groups on algebraic varieties

DOI10.5802/JEP.183MaRDI QIDQ2073659zbMATH OpenOpenAlexFDO

Authors F. Binda, Amalendu Krishna

Publication date 3 February 2022

Published in Journal de l’École polytechnique — Mathématiques (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2104.07968

zbMATH Keywords

cycles on singular varieties cycles with modulus motivic cohomology

Mathematics Subject Classification ID

Algebraic cycles (14C25) Motivic cohomology; motivic homotopy theory (14F42) Algebraic cycles and motivic cohomology ((K)-theoretic aspects) (19E15)

Abstract: We compare various groups of 0-cycles on quasi-projective varieties over a field. As applications, we show that for certain singular projective varieties, the Levine-Weibel Chow group of 0-cycles coincides with the corresponding Friedlander-Voevodsky motivic cohomology. We also show that over an algebraically closed field of positive characteristic, the Chow group of 0-cycles with modulus on a smooth projective variety with respect to a reduced divisor coincides with the Suslin homology of the complement of the divisor. We prove several generalizations of the finiteness theorem of Saito and Sato for the Chow group of 0-cycles over

p

-adic fields. We also use these results to deduce a torsion theorem for Suslin homology which extends a result of Bloch to open varieties.

Review text

On smooth varieties over a field, we have the motivic cohomology theory constructed in a few different way. For instance, Voevodsky's motivic cohomology of smooth varieties is isomorphic to Bloch's higher Chow groups. When the varieties have singularities, there have been a couple of new attempts, such as Levine-Weibel Chow groups \(\mathrm{CH}_0 ^{LW} (X)\) or Chow groups \(\mathrm{CH}_0 (X|D)\) with modulus, for instance, that provided certain successful consequences in a few special cases. This article is one of the recent results by the authors (possibly with other authors, as well), that compare those different attempts. The results in this article present a few omnibus results in a few different special situations in this direction. The inter-relations among those proven are not too strong, but each of them provides certain extensions of previously known results, or clarifications of certain failures of certain expectations. In the first episode of the article, Theorems 1.1 and 1.2 are regarding a natural surjection \[ \lambda_{X|D}: \mathrm{CH}_0 (X|D) \to H_0 ^{\mathrm{Sus}} (U),\] from the Chow group of \(0\)-cycles associated to the modulus pair \((X, D)\) to the \(0\)-th Suslin homology of \(U= X \setminus D\). The first of the theorems shows that when the base field \(k\) is algebraically closed and \(D\) is reduced, this map becomes an isomorphism for \(\mathrm{char} (k) > 0\). Rather interestingly this fails to be an isomorphism in general for \(\mathrm{char} (k) = 0\) case. The second theorem shows that when \(k\) is perfect and the components of \(D_{\mathrm{red}}\) are regular, the map \(\lambda_{X|D}\) becomes an isomorphism after inverting \(p\) for \(\mathrm{char} (k) = p>0\) case, while the map \(\lambda_{X|D}\) becomes an isomorphism mod \(m\) for each integer \(m \not = 0\) for \(\mathrm{char} (k) = 0\). The second episode of this omnibus paper is regarding the torsions of the Suslin homology and the étale cohomology with compact supports. More precisely, in Theorem 1.3 the authors proved that when \(k\) is algebraically closed and \(U\) is a quasi-projective variety of dimension \(d\) admitting a smooth compactification, then for each prime \(\ell \not = p\), we have an isomorphism \[ H_0 ^{\mathrm{Sus}} (U) \{ \ell \} \simeq H_{c, \acute{e}t} ^{2d-1} (U, \mathbb{Q}_{\ell} / \mathbb{Z}_{\ell} (d)).\] The third episode is regarding finite coefficients of various theories, inspired by a conjecture of Colliot-Thélène on the finiteness of the Chow groups mod \(m\) over a \(p\)-adic field. This was known by smooth projective varieties \(X\) by Saito and Sato. In Theorem 1.5, the authors study an analogue of this question replacing \(X\) with a bit more general ones. More precisely, when \(X\) is an integral quasi-projective scheme regular in codimension \(1\), with an effective Cartier divisor \(D\), the authors show that (1) \(H_0 ^{\mathrm{Sus}} (X) / m\) is finite when \(X\) is smooth, (2) \(\mathrm{CH}_0 (X|D) / m\) is finite when \(X\) is both smooth and complete, and (3) \(\mathrm{CH}^{LW}_0 (X)/m\) is finite when \(X\) is complete. The last episode is about the comparison of the Levine-Weibel Chow group with the Friedlander-Voevodsky motivic cohomology when the coefficients ring \(\Lambda\) is either \(\mathbb{Z}[ \frac{1}{p}]\) with the exponential characteristic \(p\geq 1\), or \(\mathbb{Z}/m\) where \(m\) is invertible in \(k^{\times}\). There is a natural map \[ \lambda_X: \mathrm{CH}_0 ^{LW} (X) \otimes_{\mathbb{Z}} \Lambda \to H^{2d} (X, \Lambda (d)),\] and the authors prove that when \(k\) is an infinite perfect field and \(X\) has normal crossing singularities, then the natural map is an isomorphism for the above two cases of \(\Lambda\). A couple of consequences are deduced from the theorem.

Recommendations

Cites work

Cited in

(27)

This page was built for publication: Zero-cycle groups on algebraic varieties

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