Una familia de apareamientos canónicos entre grupos de cohomología galoisiana de cuerpos locales o globales, que típicamente emparejan H^i(G_K, M) con H^{2-i}(G_K, M^*) (o análogos), identificando invariantes aritméticos y dualizando obstrucciones para módulos galoisianos finitos y coeficientes relacionados.

Principio

La dualidad cohomológica procede de un apareamiento bilineal perfecto inducido por una aplicación traza/reciprocidad local o global junto con la elección de un dual de Pontryagin o de Cartier en los coeficientes, produciendo isomorfismos entre la cohomología y el dual de la cohomología de grado complementario.

Demostración

Para un cuerpo local K y un módulo discreto finito M de G_K de orden primo a la característica, la dualidad local de Tate da un apareamiento perfecto H^i(G_K,M) × H^{2-i}(G_K,M^*) → Q/Z que, para i=1, identifica las clases de Selmer/obstrucción como complementos ortogonales bajo la reciprocidad local.

Aplicación incorrecta

Asumir que la dualidad de Tate vale sin condiciones de finitud, torsión o duales adecuados de los coeficientes (por ejemplo, aparear representaciones continuas de dimensión infinita o módulos sin dual de Pontryagin), lo que conduce a conclusiones erróneas sobre la nulidad o la perfección de los apareamientos.

Consecuencia

Cuando es aplicable, la dualidad de Tate convierte problemas de cohomología locales y globales en enunciados duales, permitiendo calcular dimensiones, identificar aniquiladores de clases y formular secuencias exactas de Poitou–Tate que controlan las obstrucciones aritméticas globales.

Inversión

La inversión consiste en ignorar la estructura dual y tratar los grupos de cohomología de forma independiente; se pierden las relaciones de ortogonalidad, dificultando o impidiendo la detección de restricciones de reciprocidad global y de las secuencias exactas que relacionan datos locales y globales.

Límite

Se aplica principalmente a la cohomología galoisiana de cuerpos locales y globales, a módulos galoisianos discretos finitos (o módulos compactos con dual de Pontryagin) y en rangos de grados especificados (clásicamente 0,1,2); no se extiende tal cual a módulos de coeficientes infinitos arbitrarios ni a teorías de cohomología sin una traza/dualicidad adecuada.

Tensión semántica

Compite con otras dualidades (dualidad de Pontryagin para grupos abelianos topológicos, dualidad de Poincaré en cohomología de variedades); la tensión radica en elegir la dualidad correcta (Pontryagin vs. Cartier vs. Hom) y el desplazamiento de grado correcto para contextos aritméticos frente a geométricos.

Síntesis

La dualidad de Tate es el principio cohomológico aritmético que empareja grupos de cohomología galoisiana de grados complementarios de cuerpos mediante un apareamiento canónico traza/reciprocidad y un dual de coeficientes, transformando preguntas sobre existencia y obstrucción en declaraciones de ortogonalidad y secuencias exactas.