Dualidad de Tate

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.

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.