Die größte ganze Zahl n (oder unendlich), sodass Kohomologie mit bestimmten Koeffizienten nicht verschwindet; angewandt auf Räume, Gruppen oder Schemata misst sie die topologische oder algebraische Komplexität, die durch Kohomologie erfasst werden kann.

Prinzip

Die kohomologische Dimension wird durch das Verschwinden von Kohomologiegruppen gesteuert: Ein Objekt hat kohomologische Dimension ≤ n bezüglich gegebener Koeffizienten genau dann, wenn alle Kohomologiegruppen in Graden > n für diese Koeffizienten verschwinden.

Demonstration

Bei einer topologischen Sphäre S^n ist die singuläre Kohomologie mit Feldkoeffizienten in Graden 0 und n nichttrivial, also beträgt die kohomologische Dimension n. Für eine profinite Gruppe G bestimmt die Gruppenkohohomologie die kohomologische Dimension durch Verschwinden in hohen Graden.

Fehlanwendung

Zu behaupten, die kohomologische Dimension sei kovarianten der Koeffizienten unabhängig, ohne Ring oder Garbe anzugeben; oder kohomologische Dimension mit Homotopie‑Dimension gleichzusetzen, ohne homotopische Hypothesen zu prüfen.

Konsequenz

Endliche kohomologische Dimension liefert starke Verschwindeergebnisse und kontrolliert Obstruktionstheorie und Erweiterungsprobleme; sie bringt oft Schranken für homologische Eigenschaften von Abbildungen und für mögliche Faserungen oder Torsoren mit sich.

Umkehrung

Die duale Perspektive ist homologisch (homologische Dimension): Statt Kohomologiegruppen und Ext zu betrachten, untersucht man Homologie und Tor; diese Umkehrung ändert oft, welche Verschwindeaussagen natürlich sind.

Abgrenzung

Hängt von der Wahl der Koeffizienten (Ringe, Garben, lokale Systeme) und der betrachteten Kategorie (topologische Räume, Gruppen, Schemata) ab. Für Schemata ist anzugeben, ob étale, Zariski‑ oder eine andere Kohomologie gemeint ist; außerhalb solcher Rahmen ist das Invariante schlecht gestellt.

Semantische Spannung

Es besteht Spannung zwischen kohomologischer Dimension und numerischen Invarianten wie Betti‑Zahlen: Erstere notiert das höchstrangige Nichtverschwinden, letztere messen Ränge in konkreten Graden. Ebenso besteht Spannung zu homotopischen Dimensionen und algebro‑geometrischen Maßzahlen.

Synthese

Die kohomologische Dimension ist der höchste Grad, in dem Kohomologie mit gewählten Koeffizienten nicht verschwindet; sie fungiert als Verschwindungsschwelle, die die oberste kohomologische Komplexität eines Raumes, einer Gruppe oder eines Schemata zusammenfasst.