Die Gruppenkohomologie einer Galoisgruppe (typischerweise der profinite absolute Galoisgruppe) mit Koeffizienten in einem Galoismodul; sie liefert kohomologische Invarianten und Obstruktionsklassen, die Abstieg, Torsoren und arithmetische Eigenschaften von Körpern und algebraischen Varietäten steuern.

Prinzip

Arithmetische und Abstiegsinformationen werden kodiert, indem man die stetige Gruppenkohomologie auf die profinite Galoisgruppe anwendet, die auf algebraischen oder topologischen Modulen wirkt; exakte Folgen und Cup-Produkte übersetzen algebraische Strukturen in kohomologische Obstruktionen und Invarianten.

Demonstration

Für einen Zahlkörper K und ein endliches Galoismodul A klassifiziert H^1(Gal(K̄/K),A) die A-Torsoren, und H^2 misst oft Obstruktionen (z. B. Elemente der Brauer-Gruppe, die rationale Punkte verhindern); die Berechnung von H^1 für einen Torus kann das Scheitern der schwachen Approximation erkennen.

Fehlanwendung

Galoiskohomologie fälschlich als gewöhnliche diskrete Gruppenkohomologie zu behandeln, ohne Stetigkeit für profinite Gruppen sicherzustellen, oder die notwendige Topologie der Module zu ignorieren; das fälschliche Annehmen der Verschwindung von Kohomologiegruppen führt zu falschen Abstiegsfolgerungen.

Konsequenz

Korrekt angewandt liefert Galoiskohomologie konkrete Obstruktionen (lokal-globale Obstruktionen, Elemente der Tate–Shafarevich-Gruppe), klassifiziert Torsoren und Formen und bietet die Sprache für Dualitätssätze und Reziprozitätsgesetze.

Umkehrung

Anstatt die Kohomologiegruppen zu studieren, könnte man Fixpunktinvarianten oder explizite Kozyklen untersuchen; diese Umkehr verliert die organisierte Obstruktionstheorie und die funktoriellen exakten Folgen, die die Kohomologie bereitstellt.

Abgrenzung

Gilt für profinite Galoisgruppen, stetige Wirkungen und gutartige Galoismoduln (endliche Moduln, l-adische Darstellungen); schließt den naiven Einsatz für nichtstetige Wirkungen, beliebige unendliche diskrete Moduln oder geometrische Situationen aus, in denen étale Kohomologie angebracht ist.

Semantische Spannung

Wird oft mit étaler Kohomologie oder gewöhnlicher Gruppenkohomologie verwechselt: Galoiskohomologie ist Gruppenkohomologie mit Topologie und arithmetischem Gehalt, während étale Kohomologie auf Schemata wirkt und fasertheoretische Daten trägt; die Unterscheidung ist praktisch entscheidend.

Synthese

Galoiskohomologie fasst arithmetische Symmetrien zu abgestuften Gruppen zusammen, deren exakte Folgen, Paarungen und Obstruktionen systematisch Abstieg, Torsoren und Dualitätsphänomene über lokalen und globalen Körpern kodieren.