Die größte ganze Zahl n (oder unendlich), sodass eine gegebene Gruppe oder ein topologischer Raum nichttriviale Kohomologie im Grad n mit Koeffizienten in einem bestimmten Modul (oder Koeffizientensystem) besitzt; für Gruppen ist dies oft das Supremum der Grade, in denen die Gruppenkohomologie mit geeigneten Modulen nicht verschwindet.

Prinzip

Kohomologie­verschwinden bzw. -nichtverschwinden in Graden als Maß für die 'homologische Größe' oder Komplexität eines Raums oder einer Gruppe verwenden; äquivalent ist dies die minimale Länge projektiver oder freier Auflösungen zur Auflösung des trivialen Moduls im gruppentheoretischen Kontext.

Demonstration

Freie Gruppen haben kohomologische Dimension 1, weil ihre Gruppenkohomologie oberhalb von Grad 1 verschwindet; der Fundamentalgrup einer abgeschlossenen orientierbaren Fläche vom Geschlecht g ≥ 2 hat kohomologische Dimension 2; endliche Gruppen haben endliche kohomologische Dimension mit Zusammenhang zu periodischer Kohomologie je nach Koeffizienten.

Fehlanwendung

Anzunehmen, kohomologische Dimension und topologische (Überdeckungs-)Dimension würden stets übereinstimmen, oder die Abhängigkeit von Koeffizientenmodulen und der Frage, ob man triviale, verzerrte oder profinite Koeffizienten betrachtet, zu übersehen; ebenso zu übersehen, dass cd für manche Gruppen unendlich sein kann.

Konsequenz

Die Kenntnis der kohomologischen Dimension beschränkt mögliche Aktionen auf asphärische Komplexe, setzt Schranken für Längen projektiver Auflösungen, beeinflusst Dualitätseigenschaften und schränkt algebraische sowie geometrische Verhaltensweisen von Gruppen und Räumen ein.

Umkehrung

Die invertierte Sichtweise untersucht Objekte mit unendlicher kohomologischer Dimension: statt einer endlichen Obergrenze für nichtverschwindende Grade analysiert man persistente Kohomologie in höheren Graden, was auf komplexere oder pathologische homologische Strukturen hinweist.

Abgrenzung

Die kohomologische Dimension hängt von der gewählten Kategorie von Koeffizientenmodulen ab (z. B. Z-Module, p-lokale Module, profinite Module), kann unendlich sein und unterscheidet sich von geometrischer oder homologischer Dimension, sofern nicht zusätzliche Finitheitsannahmen gelten.

Semantische Spannung

Spannung zwischen kohomologischer Dimension und geometrischer/topologischer Dimension: in gutartigen Fällen (z. B. asphärische Mannigfaltigkeiten) stimmen sie oft überein, aber sie können auseinanderdriften bei Torsion, verzerrten Koeffizienten oder fehlender Finitheit.

Synthese

Die kohomologische Dimension misst den höchsten Grad, in dem Kohomologie für gewisse Koeffizienten nichttrivial sein kann; sie ist ein algebraisches Invariant von Gruppen und Räumen, verbunden mit Auflösungs­längen und Dualität, dessen geometrische Bedeutung die Berücksichtigung von Koeffizienten und Finitheitsbedingungen erfordert.