Eine kontravariante Zuordnung (in der Regel ein Funktor) von einer Kategorie von Räumen (topologisch, differenzierbar oder algebraisch) zu graduellen abelschen Gruppen, Moduln oder Ringen, die globale Obstruktionsklassen erfasst und natürliche Produktstrukturen sowie lange exakte Folgen besitzt.

Prinzip

Globale topologische oder algebraische Obstruktionen in funktorielle, graduelle algebraische Invarianten mit multiplikativer Struktur und exakten Folgen zu organisieren, um lokale‑zu‑global‑Zusammenhänge darzustellen.

Demonstration

Die singuläre Kohomologie H^*(X; R) weist einem topologischen Raum X graduelle R‑Moduln H^n(X; R) zu, besitzt ein Tassenprodukt (Cup‑Produkt) H^p(X; R) × H^q(X; R) → H^{p+q}(X; R) und liefert die Mayer‑Vietoris‑lange exakte Folge zur Berechnung der Kohomologie aus einer offenen Überdeckung.

Fehlanwendung

Kohomologiegruppen fälschlich als rein lokale Invarianten behandeln oder annehmen, dass einfache Limes‑/Kolimes‑Operationen ohne Ableitungen verträglich sind (z. B. die Kohomologie eines unendlichen Kolimes gleich dem Kolimes der Kohomologien), ohne notwendige Voraussetzungen oder abgeleitete Konstruktionen zu berücksichtigen.

Konsequenz

Richtig angewandt erkennt eine Kohomologietheorie Obstruktionen für das Vorhandensein von Schnitten, klassifiziert Bündel und Erweiterungen, liefert charakteristische Klassen und tritt in Dualitäten wie der Poincaré‑Dualität unter geeigneten Voraussetzungen auf.

Umkehrung

Homologietheorie: eine kovariante Zuordnung, die Zyklen und Ränder statt Kocycles und Ketten misst; viele formale Eigenschaften sind dual, doch Varianz und algebraische Strukturen unterscheiden sich.

Abgrenzung

Schließt nicht beliebige kontravariante graduelle Zuordnungen aus, die keine Fonctorialität, natürlichen Produkte oder exakten Folgen besitzen; verallgemeinerte Kohomologietheorien (z. B. spektrenbasiert) erweitern das Konzept, verändern aber klassische Erwartungen.

Semantische Spannung

Im Gegensatz zur Homologie: Beide untersuchen Topologie, unterscheiden sich jedoch in Varianz (kontra‑ vs. kovariant), algebraischen Operationen (Cup‑Produkt vs. Schnittprodukt) und in der üblichen Interpretation (Obstruktionen und Klassen vs. Zyklen und Bordismus).

Synthese

Eine Kohomologietheorie fasst globale Obstruktionsinformationen als funktorielle, graduelle algebraische Strukturen mit multiplikativen Operationen und langen exakten Folgen zusammen und verbindet lokale Berechnungen mit globalen Invarianten.