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.

Principe

La dualité cohomologique provient d'un accouplement bilinéaire parfait induit par une application trace/reciprocité locale ou globale combinée à un choix de dual de Pontryagin ou de Cartier sur les coefficients, produisant des isomorphismes entre la cohomologie et le dual de la cohomologie de degré complémentaire.

Démonstration

Pour un corps local K et un module discret fini M sous G_K d'ordre premier à la caractéristique, la dualité locale de Tate fournit un accouplement parfait H^i(G_K,M) × H^{2-i}(G_K,M^*) → Q/Z qui, pour i=1, identifie les classes de Selmer/obstruction comme des complémentaires orthogonaux sous la réciprocité locale.

Mauvaise application

Supposer que la dualité de Tate vaut sans conditions de finitude, de torsion ou sans dual approprié des coefficients (par exemple en accouplant des représentations continues de dimension infinie ou des modules sans dual de Pontryagin), ce qui mène à des conclusions fausses sur la nullité ou la perfection des accouplements.

Conséquence

Lorsqu'elle s'applique, la dualité de Tate transforme des problèmes de cohomologie locaux et globaux en énoncés duaux, permettant le calcul de dimensions, l'identification des annihilateurs de classes et la formulation de suites exactes de Poitou–Tate qui contrôlent les obstructions arithmétiques globales.

Inversion

La vue inverse consiste à ignorer la structure duelle et à traiter les groupes de cohomologie indépendamment ; cela fait perdre les relations d'orthogonalité, rendant la détection des contraintes de réciprocité globale et des suites exactes reliant données locales et globales beaucoup plus difficile ou impossible.

Limite

S'applique principalement à la cohomologie galoisienne de corps locaux et globaux, à des modules galoisiens discrets finis (ou modules compacts avec dual de Pontryagin) et dans des intervalles de degrés spécifiés (classiquement 0,1,2) ; elle ne s'étend pas telle quelle à des modules de coefficients infinis arbitraires ni aux théories de cohomologie dépourvues d'une trace/dualité adaptée.

Tension sémantique

Concurrence avec d'autres dualités (dualité de Pontryagin pour groupes abéliens topologiques, dualité de Poincaré en cohomologie des variétés) ; la tension réside dans le choix du bon dual (Pontryagin vs. Cartier vs. Hom) et du bon décalage de degré pour les contextes arithmétiques contre géométriques.

Synthèse

La dualité de Tate est le principe cohomologique arithmétique qui met en paire les groupes de cohomologie galoisienne de degrés complémentaires des corps via un accouplement canonique trace/reciprocité et un dual de coefficients, transformant les questions d'existence et d'obstruction en énoncés d'orthogonalité et de suites exactes.