Poincaré-Dualität

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

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.

Aussage[Bearbeiten]

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

Insbesondere gilt damit für die Betti-Zahlen b_k = b_{n-k}.

Geschichte[Bearbeiten]

Die Identität 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.

Glatte Mannigfaltigkeiten[Bearbeiten]

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 \mathcal{A}^k(M) wird der Raum der k-Differentialformen bezeichnet. Der Hodge-Stern-Operator

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

induziert für jedes k \in \N einen Isomorphismus H^k_{\operatorname{dR}}(M) \to H^{n-k}_{\operatorname{dR}}(M) zwischen den De-Rham-Kohomologiegruppen. Folgendes Diagramm

\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}

kommutiert also.[3]

Literatur[Bearbeiten]

  • 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.

Weblinks[Bearbeiten]

Einzelnachweise[Bearbeiten]

  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.