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

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

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

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

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

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

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

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

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.