Étale duality for constructible sheaves on arithmetic schemes

From MaRDI portal
Publication:2450171



Abstract: In this note we relate three topics for arithmetic schemes: a general duality for 'etale constructible torsion sheaves, an 'etale homology theory, and a Gersten-Bloch-Ogus-Kato complex. The results in this paper have been used in other papers of the authors ([JS], [Sa], [SaH] in the list of references).


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)].




Cited in
(27)








This page was built for publication: Étale duality for constructible sheaves on arithmetic schemes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2450171)