Étale duality for constructible sheaves on arithmetic schemes (Q2450171): Difference between revisions

The paper under review focus on the étale duality for constructible sheaves on schemes over integral rings of number fields. Actually, the authors related the following three topics for such arithmetic schemes: a general duality for étale constructible torsion sheaves, a theory of étale homology, and the arithmetic complexes of Gersten-Bloch-Ogus type defined by K. Kato. Precisely, let \(X\) be a separated scheme of finite type over a spectrum of an integral ring of a number field \(S=\text{Spec}(\mathcal{O}_k)\) with structural map \(f: X\to S\). The authors introduced a complex of torsion sheaves \(\mathbb{Q}/\mathbb{Z}(1)_S'\) on \(S\) so that, with notations \(\mathfrak{D}_S=\mathbb{Q}/\mathbb{Z}(1)_S'[2]\) and \(\mathfrak{D}_X=Rf^!\mathfrak{D}_S\), one has an Artin-Verdier duality \[ H_c^m(X,\mathfrak{F})\times \text{Ext}_X^{1-m}(\mathfrak{F},\mathfrak{D}_X)\to H_c^1(X,\mathfrak{D}_X)\to \mathbb{Q}/\mathbb{Z} \] for étale constructible torsion sheaf \(\mathfrak{F}\) on \(X\). Via these dualizing ``sheaves'' \(\mathfrak{D}_S\) and \(\mathfrak{D}_X\), a theory of étale homology was defined and the niveau spectral sequence constructed by the method of Bloch and Ogus leads to the complexes defined in [\textit{K. Kato}, J. Reine Angew. Math. 366, 142--183 (1986; Zbl 0576.12012)].