On Suslin's singular homology and cohomology (Q612980)

Let \(k\) be a separably closed field and \(m\in\mathbb{Z}\) invertible in \(k\). By a result of \textit{A. Suslin} and \textit{V. Voevodsky}, the singular cohomology groups (or Suslin cohomology groups) as defined [Invent. Math. 123, No. 1, 61--94 (1996; Zbl 0896.55002)] agree with the étale cohomology, i.e., \[ H^i_S(X, \mathbb{Z}/m)\simeq H^i_{\text{ét}}(X, \mathbb{Z}/m). \] The aim of this paper is to deal with the cases where \(m\) is a power of the characteristic \(p\) of \(k\) and \(k\) is not algebraically closed. The author shows that, assuming resolution of singularities over an algebraically closed field of characteristic \(p\), the groups \(H^S_i(X, \mathbb{Z}/p^r)\) are finite and vanish outside the range \(0\leq i\leq\dim X\). Therefore, the Suslin cohomology with finite coefficients is the étale cohomology away from the characteristic and behaves better than the étale cohomology at the characteristic, since the groups \(H^i(X, \mathbb{Z}/p)\) may not be finite (e.g., \(H^1(\mathbb{A}^1, \mathbb{Z}/p)\)). The paper also contains the following result, which extends a theorem of \textit{M. Spieß} and \textit{T. Szamuel} [Math. Ann. 325, No. 1, 1--17 (2003; Zbl 1077.14026)]. Theorem 1. Let \(X\) be a smooth, connected, quasi-projective variety over an algebraically closed field \(k\) and assume resolution of singularities. Then the Albanese map \[ \text{alb}_X: H^S_0(X, \mathbb{Z})^0\to \text{Alb}_X(k) \] from the degree-0-part of Suslin homology induces an isomorphism on torsion groups. In the case of a finite base field, assuming resolution of singularities, Suslin homology and cohomology with finite coefficients are finite. Over \(\mathbb{Q}\) one has an isomorphism \(H^S_0(X\mathbb{Q})\simeq H^0_S(X, \mathbb{Z})\simeq\mathbb{Q}^{\pi_0(X)}\). The author also shows that the groups \(H^S_i(X, \mathbb{Z})\) and \(H^i_S(X, \mathbb{Z})\) are finitely generated for all \(X\) iff the following conjecture holds true. For \(X\) smooth and proper over a finite field the Chow groups \(CH_0(X,i)\) are torsion for \(i\neq 0\).