Una familia de teoremas de dualidad en cohomología galoisiana que proporcionan apareamientos perfectos entre grupos de cohomología de un módulo galoisiano y los de su dual de Pontryagin (a menudo con giros de Tate), para cuerpos locales y globales; la dualidad local de Tate es una piedra angular de la dualidad aritmética.

Principio

Los apareamientos por producto cup combinados con la reciprocidad local y global producen apareamientos bilineales canónicos H^i(G,M) × H^{2−i}(G,M^*) → Q/Z (o grupos de coeficientes adecuados) que son perfectos bajo hipótesis de finitud y continuidad; la dimensión cohomológica de cuerpos locales (a menudo 2) gobierna el desplazamiento de grados.

Demostración

Para un cuerpo local K y un módulo galoisiano finito M, la dualidad local de Tate da un apareamiento perfecto entre H^r(K,M) y H^{2−r}(K,M^*(1)), donde M^* es el dual de Pontryagin con giro de Tate; casos concretos recuperan pareamientos clásicos de la teoría local del cuerpo de clases como la reciprocidad entre K^×/K^{×n} y H^2(K,μ_n).

Aplicación incorrecta

Usar la dualidad de Tate sin verificar finitud, continuidad o los giros de Tate correctos; aplicar la declaración local indiscriminadamente en contextos globales sin tener en cuenta secuencias espectrales local–global o condiciones de soporte compacto lleva a conclusiones erróneas.

Consecuencia

Permite controlar clases de extensiones, los grupos de Selmer y de Shafarevich–Tate, y leyes de reciprocidad; proporciona la columna vertebral de los teoremas de dualidad en geometría aritmética y cálculos explícitos en la teoría de cuerpos de clase y la aritmética de variedades abelianas.

Inversión

Cuando fallan las hipótesis requeridas (módulos infinitos, topología incorrecta, ausencia de dualidad de Pontryagin), la dualidad perfecta se rompe y los apareamientos pueden ser degenerados o no identificar los grupos de cohomología; la dualidad global mezcla datos locales con obstrucciones globales que pueden invertir afirmaciones locales ingenuas.

Límite

Se aplica a módulos galoisianos finitos (o a módulos compactos o discretos adecuados) sobre cuerpos locales o globales con el dual de Pontryagin definido y con restricciones de coeficientes ℓ-ádicos o de torsión según proceda; no se extiende de la misma forma a la cohomología no abeliana ni a módulos infinitos arbitrarios sin hipótesis refinadas.

Tensión semántica

Tensión entre la dualidad de Pontryagin (duales topológicos) y los duales lineales usados en álgebra; también tensión entre declaraciones de dualidad locales (apareamientos perfectos nítidos) y declaraciones globales (que incluyen obstrucciones globales y requieren soportes compactos y contabilidad de secuencias espectrales).

Síntesis

La Dualidad de Tate suministra apareamientos canónicos perfectos en la cohomología galoisiana bajo hipótesis apropiadas de finitud, continuidad y giros, enlazando invariantes aritméticos locales y globales mediante productos cup y reciprocidad y constituyendo una herramienta central en la teoría de la dualidad aritmética.