Let X be the spectrum of the ring of integers in a totally imaginary number field K, and F a constructible étale abelian sheaf on X. Then the Yoneda pairing
![{\displaystyle H^{r}(X,F)\times \operatorname {Ext} ^{3-r}(F,\mathbb {G} _{m})\to H^{3}(X,\mathbb {G} _{m})=\mathbb {Q} /\mathbb {Z} }](//wikimedia.org/api/rest_v1/media/math/render/svg/bfd930ef7b469a853b13901982ad782147e8eada)
is a non-degenerate pairing of finite abelian groups, for every integer r.
Here, Hr(X,F) is the r-th étale cohomology group of the scheme X with values in F, and Extr(F,G) is the group of r-extensions of the étale sheaf G by the étale sheaf F in the category of étale abelian sheaves on X. Moreover, Gm denotes the étale sheaf of units in the structure sheaf of X.
Christopher Deninger (1986) proved Artin–Verdier duality for constructible, but not necessarily torsion sheaves. For such a sheaf F, the above pairing induces isomorphisms
![{\displaystyle {\begin{aligned}H^{r}(X,F)^{*}&\cong \operatorname {Ext} ^{3-r}(F,\mathbb {G} _{m})&&r=0,1\\H^{r}(X,F)&\cong \operatorname {Ext} ^{3-r}(F,\mathbb {G} _{m})^{*}&&r=2,3\end{aligned}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/83da788b4789a9c97227fe32866d5ec896f1e1f1)
where
![{\displaystyle (-)^{*}=\operatorname {Hom} (-,\mathbb {Q} /\mathbb {Z} ).}](//wikimedia.org/api/rest_v1/media/math/render/svg/6663dbb14a57c58beb793ea652737b0bed15e6a6)
Let U be an open subscheme of the spectrum of the ring of integers in a number field K, and F a finite flat commutative group scheme over U. Then the cup product defines a non-degenerate pairing
![{\displaystyle H^{r}(U,F^{D})\times H_{c}^{3-r}(U,F)\to H_{c}^{3}(U,{\mathbb {G} }_{m})=\mathbb {Q} /\mathbb {Z} }](//wikimedia.org/api/rest_v1/media/math/render/svg/c5d73fd3132b5084dea944b3f93dd89ab419d736)
of finite abelian groups, for all integers r.
Here FD denotes the Cartier dual of F, which is another finite flat commutative group scheme over U. Moreover,
is the r-th flat cohomology group of the scheme U with values in the flat abelian sheaf F, and
is the r-th flat cohomology with compact supports of U with values in the flat abelian sheaf F.
The flat cohomology with compact supports is defined to give rise to a long exact sequence
![{\displaystyle \cdots \to H_{c}^{r}(U,F)\to H^{r}(U,F)\to \bigoplus \nolimits _{v\notin U}H^{r}(K_{v},F)\to H_{c}^{r+1}(U,F)\to \cdots }](//wikimedia.org/api/rest_v1/media/math/render/svg/3cab6f884726ef36ccdf8394384f0af4b3a19c47)
The sum is taken over all places of K, which are not in U, including the archimedean ones. The local contribution Hr(Kv, F) is the Galois cohomology of the Henselization Kv of K at the place v, modified a la Tate:
![{\displaystyle H^{r}(K_{v},F)=H_{T}^{r}(\mathrm {Gal} (K_{v}^{s}/K_{v}),F(K_{v}^{s})).}](//wikimedia.org/api/rest_v1/media/math/render/svg/1e7491753a2c02948814b6a62db1a4fc9cdb6847)
Here
is a separable closure of ![{\displaystyle K_{v}.}](//wikimedia.org/api/rest_v1/media/math/render/svg/686b2b59e6937d3c11fd4bafcd98ca8ba3f6a12f)