Eine Familie von Dualitätssätzen in der Galois-Kohomologie, die perfekte Paarungen zwischen Kohomologiegruppen eines Galois-Moduls und denen seines Pontryagin-Duals (häufig mit Tate-Twists) für lokale und globale Körper liefert; die lokale Tate-Dualität ist ein Eckpfeiler der arithmetischen Dualitätstheorie.

Prinzip

Cup-Produkt-Paarungen kombiniert mit lokaler und globaler Reziprozität erzeugen kanonische bilineare Paarungen H^i(G,M) × H^{2−i}(G,M^*) → Q/Z (oder geeignete Koeffizientengruppen), die unter Finitheits- und Stetigkeitshypothesen perfekt sind; die kohomologische Dimension lokaler Körper (häufig 2) bestimmt die Gradverschiebung.

Demonstration

Für einen lokalen Körper K und ein endliches Galois-Modul M liefert die lokale Tate-Dualität eine perfekte Paarung zwischen H^r(K,M) und H^{2−r}(K,M^*(1)), wobei M^* das Pontryagin-Dual mit Tate-Twist ist; konkrete Fälle rekonstr uieren klassische Paarungen der lokalen Klassenkörpertheorie wie die Reziprozität zwischen K^×/K^{×n} und H^2(K,μ_n).

Fehlanwendung

Tate-Dualität anzuwenden, ohne Finitheits-, Stetigkeits- oder korrekte Tate-Twists zu prüfen; die lokale Aussage unreflektiert global anzuwenden, ohne lokal–global-Spektralsequenzen oder kompakte Trägersbedingungen zu berücksichtigen, führt zu falschen Schlüssen.

Konsequenz

Kontrolliert Erweiterungsklassen, Selmer- und Shafarevich–Tate-Gruppen und Reziprozitätsgesetze; bildet das Rückgrat der Dualitätssätze in der arithmetischen Geometrie und erlaubt explizite Rechnungen in der Klassenkörpertheorie und der Arithmetik abelscher Varietäten.

Umkehrung

Fallen die Voraussetzungen weg (unendliche Moduln, ungeeignete Topologie, fehlende Pontryagin-Dualität), bricht die perfekte Dualität zusammen und Paarungen können entartet werden oder die Kohomologiegruppen nicht identifizieren; globale Dualität mischt lokale Daten mit globalen Hindernissen, die naive lokale Aussagen umkehren können.

Abgrenzung

Gilt für endliche Galois-Moduln (oder geeignete kompakte bzw. diskrete Moduln) über lokalen oder globalen Körpern, mit definiertem Pontryagin-Dual und mit ℓ-adischen bzw. Torsionsrestriktionen der Koeffizienten wie erforderlich; sie lässt sich nicht in gleicher Form auf nichtabelsche Kohomologie oder beliebige unendliche Moduln ohne verfeinerte Hypothesen ausdehnen.

Semantische Spannung

Spannung zwischen Pontryagin-Dualität (topologische Duale) und linearen Dualen aus der Algebra; ebenso Spannung zwischen lokalen Dualitätsaussagen (saubere perfekte Paarungen) und globalen Dualitätssätzen (mit globalen Hindernissen, notwendiger Rechnung mit kompakten Trägern und Spektralsequenzen).

Synthese

Tate-Dualität liefert unter geeigneten Finitheits-, Stetigkeits- und Twist-Hypothesen kanonische perfekte Paarungen in der Galois-Kohomologie, verbindet lokale und globale arithmetische Invarianten durch Cup-Produkte und Reziprozität und ist ein zentrales Werkzeug der arithmetischen Dualitätstheorie.