## [Dualidad de Artin–Verdier](/es/node/64073) 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. ## Principio Principio La información cohomológica de un esquema aritmético se empareja con invariantes aritméticos duales mediante una functorialidad global-local; las dualidades locales y la reciprocidad global se combinan para producir emparejamientos perfectos tras los desplazamientos de grado y el control de torsión adecuados. ## Demostración Demostración Para un esquema aritmético regular y propio X de dimensión d, la dualidad de Artin–Verdier proporciona emparejamientos H^i_c(X_et,F) × H^{2d+2-i}(X_et,F^*) → Q/Z para haces étales finitos F, identificando explícitamente los grupos finitos y sus duales de Pontrjagin y mostrando cómo la dualidad de Tate local contribuye al emparejamiento global. ## Aplicación incorrecta Aplicación incorrecta Tratar la dualidad de Artin–Verdier como una dualidad de Poincaré puramente topológica y aplicarla a esquemas sin tener en cuenta la torsión aritmética, la falta de propiedad o los twists de Tate necesarios; eso puede producir identificaciones incorrectas de emparejamientos o pasar por alto restricciones necesarias sobre los coeficientes. ## Consecuencia Consecuencia Aplicada correctamente, organiza la cohomología aritmética en pares duales, restringe la existencia de clases cohomológicas (por ejemplo controlando el grupo de Brauer) y proporciona la base formal para resultados de dualidad aritmética y leyes de reciprocidad usadas en descenso y teorías de obstrucción. ## Inversión Inversión La inversión sería intentar reconstruir dualidades locales a partir de un supuesto emparejamiento global sin verificar la compatibilidad de las contribuciones locales ni las propiedades de exactitud necesarias para unir emparejamientos locales en uno global perfecto. ## Límite Límite Se aplica a esquemas aritméticos en la topología étale con coeficientes finitos y constructibles y bajo hipótesis de finitud apropiadas (p. ej., propiedad o control de la cohomología con soporte compacto); excluye análogos topológicos ingenuos, módulos infinitos sin twists de Tate y contextos carentes de los complejos dualizantes requeridos. ## Tensión semántica Tensión semántica Compite con el lenguaje de la dualidad de Poincaré: ambas afirman emparejamientos entre grados complementarios, pero Artin–Verdier incorpora fenómenos aritméticos (acciones de Galois, torsión, reciprocidad) que hacen sus enunciados y hipótesis distintos de la dualidad puramente topológica. ## Síntesis Síntesis La dualidad de Artin–Verdier es el análogo aritmético de la dualidad de Poincaré en cohomología étale: combinando dualidades locales y reciprocidad global produce emparejamientos perfectos entre cohomología con soporte compacto y grupos duales aritméticos, bajo condiciones de finitud y twist que reflejan la torsión aritmética.