The Bloch complex in codimension one and arithmetic duality (Q804650): Difference between revisions

\textit{S. Lichtenbaum} conjectured in Number theory, Proc. Journ. arith., Noordwijkerhout/Neth. 1983, Lect. Notes Math. 1068, 127-138 (1984; Zbl 0591.14014) the existence of complexes \({\mathbb{Z}}(r)\), \(r\geq 0\), of étale abelian sheaves on regular schemes X, satisfying certain axioms. These complexes should provide the right hypercohomology coefficients in order to express the values of the zeta function of X at negative integers as Euler-Poincaré characteristics. As pointed out by Lichtenbaum himself, the axioms imply also that these complexes play the role of a dualizing object in a very general theorem extending Artin-Verdier duality to higher dimensional regular schemes. \textit{S. Bloch} has proposed in Algebraic geometry, Proc. Lefschetz Centen. Conf., Mexico City/Mex. 1984, part I, Contemp. Math. 58, 65-79 (1986; Zbl 0605.14017) and in Adv. Math. 61, 27-304 (1986; Zbl 0608.14004) candidates of these complexes. He introduces a simplicial complex of abelian groups. The homology groups of this complex are the higher Chow groups of X, \(CH^ r(X,n)\), \(n\geq 0\). The conjecture is then that the sheafifications for the étale topology, \({\mathbb{Z}}(r):=\underline Z^ r_{\acute et}(,2r-\cdot)\), \(r\geq 0\), satisfy Lichtenbaum's axioms. Bloch already proved some of these axioms, among them that \({\mathbb{Z}}(1)={\mathbb{G}}_ m[-1]\) when X is regular. The aim of the paper under review is to prove that, more generally, Bloch's \({\mathbb{Z}}(1)\) is always quasi-isomorphic to \({\mathbb{G}}[-1]\), thus giving evidence that Bloch complexes could be the right dualizing object even in the nonregular case.