Die Poincaré-Dualität, benannt nach Henri Poincaré, ist in der algebraischen Topologie ein grundlegender Zusammenhang zwischen der Homologie und der Kohomologie von orientierbaren Mannigfaltigkeiten.

Sei ${\displaystyle M}$ eine n-dimensionale geschlossene orientierbare Mannigfaltigkeit und ${\displaystyle k\in \mathbb {N} }$ eine natürliche Zahl, dann ist die k-te singuläre Kohomologiegruppe ${\displaystyle H^{k}(M)}$ isomorph zur (n − k)-ten singulären Homologiegruppe ${\displaystyle H_{n-k}(M)}$.^[1] Der Isomorphismus wird durch das Cap-Produkt mit der Fundamentalklasse ${\displaystyle \left[M\right]\in H_{n}(M)}$ realisiert.

Insbesondere gilt damit für die Betti-Zahlen ${\displaystyle b_{k}=b_{n-k))$.

Die Identität ${\displaystyle b_{k}=b_{n-k))$ wurde zuerst 1893 von Poincaré behauptet. 1895 gab er einen Beweis in Analysis Situs^[2], wobei er Betti-Zahlen zunächst über Ketten von Untermannigfaltigkeiten (statt wie in seinen späteren Arbeiten über Ketten von Simplizes) definierte und zum Beweis Schnittzahlen von Untermannigfaltigkeiten benutzte. In den Addenda zu Analysis Situs definierte er Homologie als simpliziale Homologie triangulierter Mannigfaltigkeiten (diskutierte aber nicht ihre Unabhängigkeit von der Triangulierung) und gab dann den heute üblichen Beweis des Dualitätssatzes über duale Triangulierungen.

Ist die Mannigfaltigkeit zusätzlich noch glatt, dann gibt es neben der singulären Kohomologie auch die De-Rham-Kohomologie. Nach dem Satz von de Rham sind die entsprechenden singulären Kohomologie- und De-Rham-Kohomologiegruppen isomorph. Mit ${\displaystyle {\mathcal {A))^{k}(M)}$ wird der Raum der k-Differentialformen bezeichnet. Der Hodge-Stern-Operator

${\displaystyle {\begin{aligned}\star \colon {\mathcal {A))^{k}(M)\to {\mathcal {A))^{n-k}(M)\end{aligned))}$

induziert für jedes ${\displaystyle k\in \mathbb {N} }$ einen Isomorphismus ${\displaystyle H_{\operatorname {dR} }^{k}(M)\to H_{\operatorname {dR} }^{n-k}(M)}$ zwischen den De-Rham-Kohomologiegruppen. Folgendes Diagramm kommutiert also:^[3]

${\displaystyle {\begin{array}{rcl}{\mathcal {A))^{k}(M)&\longrightarrow &H_{dR}^{k}(M)\\\star {\big \downarrow }\cong &&\cong {\big \downarrow }\scriptstyle \operatorname {Poinc.} \\{\mathcal {A))^{n-k}(M)&\longrightarrow &H_{dR}^{n-k}(M)\end{array))}$

• Herbert Seifert, William Threlfall: Lehrbuch der Topologie, Teubner 1934. Scan der englischen Übersetzung (PDF; 7,4 MB)
• Schubert, Horst: Topologie. Eine Einführung. Mathematische Leitfäden B. G. Teubner Verlagsgesellschaft, Stuttgart 1964
• Munkres, James R.: Elements of algebraic topology. Addison-Wesley Publishing Company, Menlo Park, CA, 1984.

• Igusa: Poincaré Duality (PDF; 234 kB)
• Hatcher: The Duality Theorem (PDF; 140 kB)
• Ranicki: The Poincaré Duality Theorem and its converse (PDF; 276 kB)

1. ↑ Edwin H. Spanier: Algebraic Topology. 1. corrected Springer edition, Reprint. Springer, Berlin u. a. 1995, ISBN 3-540-90646-0, 296–297.
2. ↑ Henri Poincaré, Analysis Situs, Journal de l’École Polytechnique ser 2, 1 (1895) pages 1–123.
3. ↑ Klaus Jänich: Vektoranalysis. Springer, Berlin März 2005, ISBN 3-540-23741-0, S. 129–130.