Artin–Verdier Duality
Definition
A duality theorem in étale cohomology for arithmetic schemes that generalizes Poincaré duality: it relates the cohomology of a scheme with compact support to the Galois cohomology of its function field and identifies natural perfect pairings between cohomology groups and arithmetic duals such as Tate modules and the Brauer group.