Eine Familie kanonischer Paarungen zwischen Galois-Kohomologiegruppen lokaler oder globaler Körper, die typischerweise H^i(G_K, M) mit H^{2-i}(G_K, M^*) (oder entsprechenden Varianten) koppeln und so arithmetische Invarianten und Obstruktionen für endliche Galoismoduln und verwandte Koeffizienten dualisieren.

Prinzip

Kohomologische Dualität entsteht durch ein perfektes bilineares Paaring, das von einer lokalen oder globalen Spur/Reciprocity-Abbildung zusammen mit einer Wahl des Pontryagin- oder Cartier-Duals auf den Koeffizienten induziert wird und Isomorphismen zwischen Kohomologie und dem Dual der komplementären Kohomologiegrade liefert.

Demonstration

Für einen lokalen Körper K und ein endliches diskretes G_K-Modul M mit der Ordnung prim zu der Charakteristik liefert die lokale Tate-Dualität ein perfektes Paaring H^i(G_K,M) × H^{2-i}(G_K,M^*) → Q/Z, das für i=1 Selmer-/Obstruktionsklassen als orthogonale Komplemente unter lokaler Reziprozität identifiziert.

Fehlanwendung

Die Annahme, Tate-Dualität gelte ohne Finitheits-, Torsions- oder geeignete Koeffizientenduale (z. B. naive Paarung unendlich-dimensionaler stetiger Darstellungen oder Moduln ohne Pontryagin-Dual), was zu falschen Schlussfolgerungen über Verschwinden oder Perfektheit von Paarungen führen kann.

Konsequenz

Unter Anwendbarkeit wandelt Tate-Dualität lokale und globale Kohomologieprobleme in duale Aussagen um, erlaubt Dimensionsberechnungen, Identifikation von Annihilatoren von Klassen und die Formulierung von Poitou–Tate-Exaktheitsfolgen, die globale arithmetische Obstruktionen kontrollieren.

Umkehrung

Die Umkehrung ist, die duale Struktur zu ignorieren und Kohomologiegruppen isoliert zu betrachten; dadurch gehen Orthogonalitätsbeziehungen verloren, sodass die Erkennung globaler Reziprozitätsbedingungen und exakter Zusammenhänge zwischen lokalen und globalen Daten erheblich erschwert oder unmöglich wird.

Abgrenzung

Gilt vorwiegend für Galois-Kohomologie lokaler und globaler Körper, endliche diskrete Galoismoduln (oder kompakte Moduln mit Pontryagin-Dual) und in festgelegten Gradebereichen (klassisch 0,1,2); sie lässt sich nicht unverändert auf beliebige unendliche Koeffizientenmodule oder auf Kohomologietheorien ohne geeignete Spur/Dualität übertragen.

Semantische Spannung

Steht in Spannung zu anderen Dualitäten (Pontryagin-Dualität für topologische abelsche Gruppen, Poincaré-Dualität in der Mannigfaltigkeitskohomologie); die Spannung betrifft die Wahl des korrekten Dualbegriffs (Pontryagin vs. Cartier vs. Hom) und die korrekte Gradverschiebung in arithmetischen versus geometrischen Kontexten.

Synthese

Tate-Dualität ist das arithmetische Kohomologieprinzip, das komplementäre Galois-Kohomologiegruppen von Körpern über ein kanonisches Spur-/Reziprozitäts-Paaring und einen Koeffizienten-Dual zueinander in Beziehung setzt und so Existenz- und Obstruktionsfragen in Orthogonalitäts- und Exaktheitsaussagen übersetzt.