Kohomologiegruppen (galois- oder étale), die aus Klassen bestehen, die an allen relevanten diskreten Bewertungen oder codimension-eins Punkten unverzweigt sind; diese Gruppen fassen Klassen zusammen, deren lokale Residuen verschwinden, und erfassen so Obstruktionen gegen Lokal-Global-Prinzipien sowie Fragen der Rationalität.

Prinzip

Eine unverzweigte Kohomologieklasse ist eine Klasse, deren Residuen an jeder diskreten Bewertung des Funktionenkörpers (oder an jedem Codimension-eins-Punkt eines regulären Modells) null sind; das Prinzip lautet, dass das Verschwinden dieser lokalen Obstruktionen einen globalen Untergruppe definiert, die beim Übergang zu glatten Modellen stabil bleibt und nichttriviale arithmetische Obstruktionen detektiert.

Demonstration

Die unverzweigte Brauergruppe Br_nr(X) einer glatten projektiven Varietät X über einem Körper ist die Untergruppe von H^2_et(k(X), G_m) mit trivialen Residuen an allen Codimension-eins-Punkten; nichtverschwindende Elemente von Br_nr(X) können das Hasse-Prinzip für rationale Punkte verhindern, wie in klassischen Beispielen, in denen lokale Lösbarkeit nicht globale Lösbarkeit nach sich zieht.

Fehlanwendung

Unverzweifte Kohomologie einfach als die gesamte étale Kohomologie eines Schemas zu behandeln, ohne Residuenabbildungen zu prüfen, oder anzunehmen, dass das Verschwinden der Residuen an endlich vielen Stellen Unverzweigtheit global impliziert; Unverzweigtheit erfordert die Kontrolle aller diskreten Bewertungen des Funktionenkörpers und ist empfindlich gegenüber Singularitäten von Modellen.

Konsequenz

Unverzweifte Kohomologie liefert feinere Invarianten, die Rationalität, stabile Rationalität und das Hasse-Prinzip obstruieren; nichttriviale Klassen führen oft zum Scheitern erwarteter Lokal-Global-Korrespondenzen und geben Obstruktionen, die für einfachere Invarianten wie die Picardgruppe unsichtbar sind.

Umkehrung

Verzweigte Kohomologieklassen haben an gewissen diskreten Bewertungen nichttriviale Residuen und spiegeln lokale Phänomene (z. B. die Verzweigung von Überlagerungen oder Torsoren) wider, die das Heben zur globalen unverzweigten Klasse verhindern.

Abgrenzung

Typischerweise definiert für glatte projektive oder zumindest reguläre integrale Varietäten über einem Körper unter Nutzung der Galois-/étale Kohomologie und der Residuenabbildungen in Codimension eins; nicht unverändert anwendbar auf beliebige singuläre Schemata, auf lokale Körper ohne Übergang zu globalen Funktionenkörpern oder auf Kohomologietheorien ohne wohlverhaltende Residuenabbildungen.

Semantische Spannung

Im Wettbewerb mit Begriffen wie Kohomologie mit kompaktem Träger oder der vollständigen étalen Kohomologie eines Modells; die Spannung besteht zwischen lokalen Residuen-Verschwindungsbedingungen (unverzweigt) und globalen Kohomologieklassen, die durch Singularitäten oder Verzweigung in höherer Codimension trivialisiert oder blockiert werden können.

Synthese

Unverzweifte Kohomologie ist die Untergruppe der Galois-/étale Kohomologie, bestehend aus Klassen mit an allen diskreten Bewertungen verschwindenden Residuen; sie verbindet lokale Residuenbedingungen zu einem globalen Invariant, der subtile Fehler der Rationalität und der Lokal-Global-Prinzipien detektiert.