Ein Dualitätssatz in der étalen Kohomologie für arithmetische Schemata, der die Poincaré-Dualität verallgemeinert: Er verbindet die Kohomologie mit kompaktem Träger eines Schemas mit der Galoiskohomologie seines Funktionenkörpers und stellt natürliche perfekte Paarungen zwischen Kohomologiegruppen und arithmetischen Dualen wie Tate-Modulen und der Brauergruppe fest.

Prinzip

Kohomologische Daten eines arithmetischen Schemas paaren sich mit dualen arithmetischen Invarianten durch eine global-lokale Funktorialität; lokale Dualitäten und globale Reziprozität fügen sich zusammen und erzeugen nach geeigneten Gradverschiebungen und Kontrolle der Torsion perfekte Paarungen.

Demonstration

Für ein reguläres, properes arithmetisches Schema X der Dimension d liefert die Artin–Verdier-Dualität Paarungen H^i_c(X_et,F) × H^{2d+2-i}(X_et,F^*) → Q/Z für endliche étale Garben F und identifiziert die endlichen Gruppen und ihre Pontrjagin-Duale explizit, wobei lokale Tate-Dualität zu den globalen Paarungen beiträgt.

Fehlanwendung

Artin–Verdier-Dualität als rein topologische Poincaré-Dualität zu behandeln und auf Schemata ohne Berücksichtigung arithmetischer Torsion, Nicht-Properheit oder notwendiger Tate-Verdrehungen anzuwenden; dies führt zu falschen Paarungsidentifikationen oder übersieht nötige Einschränkungen der Koeffizienten.

Konsequenz

Korrekt angewandt ordnet sie die arithmetische Kohomologie in duale Paare, beschränkt mögliche Kohomologieklassen (etwa durch Kontrolle der Brauergruppe) und stellt das formale Fundament für arithmetische Dualitätsergebnisse und Reziprozitätsgesetze bereit, die in Abstiegs- und Obstruktionsverfahren verwendet werden.

Umkehrung

Die Umkehr wäre zu versuchen, lokale Dualitäten aus einer angenommenen globalen Paarung zu rekonstruieren, ohne die Kompatibilität der lokalen Beiträge oder die exakten Eigenschaften zu verifizieren, die das Verkleben lokaler Paarungen zu einer global perfekten Paarung erlauben.

Abgrenzung

Gilt für arithmetische Schemata im étalen Topos mit endlichen, konstruktiblen Koeffizienten und unter geeigneten Endlichkeitsannahmen (z. B. Properheit oder Kontrolle der Kohomologie mit kompaktem Träger); ausgenommen sind naive topologische Analoga, unendliche Koeffizienten ohne Tate-Verdrehung und Situationen ohne notwendige dualisierende Komplexe.

Semantische Spannung

Steht im Spannungsverhältnis zur klassischen Poincaré-Dualität: Beide behaupten Paarungen zwischen komplementären Graden, doch Artin–Verdier berücksichtigt arithmetische Phänomene (Galoisaktionen, Torsion, Reziprozität), wodurch Aussagen und Voraussetzungen sich unterscheiden.

Synthese

Artin–Verdier-Dualität ist das arithmetische Gegenstück zur Poincaré-Dualität in der étalen Kohomologie: Durch Kombination lokaler Dualitäten und globaler Reziprozität erzeugt sie perfekte Paarungen zwischen Kohomologie mit kompaktem Träger und arithmetischen Dualgruppen unter finiten und Verdrehungsbedingungen, die arithmetische Torsion widerspiegeln.