Dualité de Tate

Une famille d'accouplements canoniques entre groupes de cohomologie galoisienne de corps locaux ou globaux, typiquement jumelant H^i(G_K, M) avec H^{2-i}(G_K, M^*) (ou leurs analogues), qui relient des invariants arithmétiques et dualisent des obstructions pour des modules galoisiens finis et des coefficients associés.

Une famille de théorèmes de dualité en cohomologie galoisienne fournissant des appariements parfaits entre les groupes de cohomologie d'un module galoisien et ceux de son dual de Pontryagin (souvent munis de twists de Tate), pour les corps locaux et globaux ; la dualité locale de Tate est une pierre angulaire de la théorie de la dualité arithmétique.