Artin-Verdier duality for arithmetic surfaces (Q1923277)

The author introduces some complex of étale sheaves on a two-dimensional proper (not necessarily regular) \(\mathbb Z\)-scheme. This complex is a substitute of the complex \(\mathbb Z(2, X)\) introduced by \textit{S. Lichtenbaum} [in: Number theory, Proc. Journ. arithm., Noodwijkerhut 1983, Lect. Notes Math. 1068, 127-138 (1984; Zbl 0591.14014)]. Modulo Gersten's conjecture (which is known for regular surfaces over a finite field) his complex is quasi-isomorphic to Lichtenbaum's one (up to 2-torsion). The main result is a duality theorem for constructible sheaves using the complex as a dualizing sheaf. The theorem extends the Artin-Verdier duality for regular one-dimensional schemes and Deninger's duality theorem for singular schemes to the case of two-dimensional schemes.