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.

Principe

Des appariements par produit cup combinés à la réciprocité locale et globale produisent des appariements bilinéaires canoniques H^i(G,M) × H^{2−i}(G,M^*) → Q/Z (ou groupes de coefficients appropriés) qui sont parfaits sous des hypothèses de finitude et de continuité ; la dimension cohomologique des corps locaux (souvent 2) gouverne le décalage des degrés.

Démonstration

Pour un corps local K et un module galoisien fini M, la dualité locale de Tate fournit un appariement parfait entre H^r(K,M) et H^{2−r}(K,M^*(1)), où M^* est le dual de Pontryagin muni d'un twist de Tate ; des cas concrets récupèrent la théorie classique du corps de classes locale, comme la réciprocité entre K^×/K^{×n} et H^2(K,μ_n).

Mauvaise application

Utiliser la dualité de Tate sans vérifier les conditions de finitude, de continuité ou les twists de Tate corrects ; appliquer la version locale sans précautions dans des contextes globaux sans tenir compte des suites spectrales local–global ou des conditions de supports compacts conduit à des conclusions erronées.

Conséquence

Permet de contrôler les classes d'extensions, les groupes de Selmer et de Shafarevich–Tate, et les lois de réciprocité ; constitue l'armature des théorèmes de dualité en géométrie arithmétique et des calculs explicites en théorie du corps de classes et dans l'arithmétique des variétés abéliennes.

Inversion

Lorsque les hypothèses requises échouent (modules infinis, topologie inadéquate, absence de dualité de Pontryagin), la dualité parfaite se rompt et les appariements peuvent devenir dégénérés ou ne pas identifier les groupes de cohomologie ; la dualité globale mêle données locales et obstructions globales qui peuvent inverser des affirmations locales naïves.

Limite

S'applique aux modules galoisiens finis (ou à des modules compacts ou discrets convenables) sur corps locaux ou globaux avec dual de Pontryagin défini et avec restrictions sur coefficients l-adiques ou de torsion selon les besoins ; ne s'étend pas sous la même forme à la cohomologie non abélienne ni à des modules infinis arbitraires sans hypothèses raffinées.

Tension sémantique

Tension entre la dualité de Pontryagin (duaux topologiques) et les duaux linéaires usuels en algèbre ; tension aussi entre les énoncés locaux de dualité (appariements parfaits nets) et les énoncés globaux (qui comportent des obstructions globales et nécessitent supports compacts et tenue de suites spectrales).

Synthèse

La Dualité de Tate fournit, sous les hypothèses adéquates de finitude, continuité et twist, des appariements parfaits canoniques en cohomologie galoisienne, reliant invariants arithmétiques locaux et globaux via les produits cup et la réciprocité et constituant un outil central de la théorie de la dualité arithmétique.