Ein Isomorphismus auf einer abgeschlossenen, orientierten n‑dimensionalen Mannigfaltigkeit M, der die k-te Homologie H_k(M;R) mit der (n−k)-ten Kohomologie H^{n-k}(M;R) mittels Kapp‑Produkt mit einer gewählten Fundamentalklasse verknüpft und unter passenden Koeffizienten perfekte Paarungen liefert.

Prinzip

Eine orientierte Fundamentalklasse in der höchsten Homologie liefert eine Evaluationsisomorphie zwischen Homologie und der Komplementärgrad‑Kohomologie; Orientierung und Kompaktheit ohne Rand sind die ordnenden Voraussetzungen, die das Kapp‑Produkt nichtdegeneriert machen.

Demonstration

Auf einer geschlossenen orientierten Fläche vom Geschlecht g koppelt H_1 mit H^1 durch die durch die Fundamentalklasse bestimmte Schnittform; auf S^n koppeln H_0 und H^n und alle Zwischenräume verschwinden, wie Poincaré‑Dualität vorhersagt.

Fehlanwendung

Anwendung der Poincaré‑Dualität auf nichtkompakte Mannigfaltigkeiten, Mannigfaltigkeiten mit Rand ohne relative Dualität oder kohomologie mit kompaktem Träger, oder auf nichtorientierbare Mannigfaltigkeiten ohne lokale Koeffizienten führt zu falschen Aussagen über Gruppenisomorphismen.

Konsequenz

Korrekt angewandt erzeugt sie Symmetrien der Betti‑Zahlen, schränkt mögliche Homologiegruppen abgeschlossener orientierter Mannigfaltigkeiten ein und ermöglicht die Berechnung von Invarianten (z. B. Schnittformen, Signatur), die die Mannigfaltigkeitsstruktur erkennen lassen.

Umkehrung

Umkehrend zu erwarten, es gebe ein globales Homologie–Kohomologie‑Paaring in Räumen ohne Fundamentalklasse (nichtkompakte oder nichtorientierbare Räume) ist falsch und zeigt die Notwendigkeit von Randbedingungen oder verdrehten Koeffizienten.

Abgrenzung

Gilt für abgeschlossene, orientierte n‑Mannigfaltigkeiten mit Koeffizienten in einem Ring, in dem die Orientierungsklasse definiert ist; muss für Mannigfaltigkeiten mit Rand (relative Poincaré‑Dualität), nichtorientierbare Mannigfaltigkeiten (lokale Koeffizienten) oder nichtkompakte Räume (kohomologie mit kompaktem Träger) modifiziert werden.

Semantische Spannung

Steht in Spannung zu anderen Dualitätsstätzen der algebraischen Topologie (Alexander‑Dualität, Lefschetz‑Dualität, Verdier‑Dualität), die in anderen Kontexten gelten; die Spannung liegt zwischen globaler, orientierter Mannigfaltigkeitsdualität und Dualitäten für Einbettungen, Ränder oder sheaf‑theoretische Kontexte.

Synthese

Poincaré‑Dualität identifiziert Homologie in Grad k mit Kohomologie im komplementären Grad auf einer abgeschlossenen orientierten Mannigfaltigkeit mittels der Fundamentalklasse und fasst Orientierung und Kompaktheit in einem nichtdegenerierten bilinearen Paaring zusammen, das Mannigfaltigkeitsinvarianten bestimmt.