Dualidad de Artin–Verdier
Definición
Un teorema de dualidad en cohomología étale para esquemas aritméticos que generaliza la dualidad de Poincaré: relaciona la cohomología con soporte compacto de un esquema con la cohomología de Galois de su cuerpo de funciones e identifica emparejamientos perfectos naturales entre grupos de cohomología y duales aritméticos como módulos de Tate y el grupo de Brauer.