On Suslin's singular homology and cohomology (Q612980)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On Suslin's singular homology and cohomology |
scientific article |
Statements
On Suslin's singular homology and cohomology (English)
0 references
16 December 2010
0 references
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\).
0 references
Suslin homology
0 references
motivic homology
0 references
algebraic cycles
0 references
Albanese map
0 references