Singuläre Kohomologie

Die singuläre Kohomologie ist eine Methode aus dem mathematischen Teilgebiet der algebraischen Topologie, die einem beliebigen topologischen Raum eine Folge abelscher Gruppen zuordnet. Anschaulich gesprochen zählt sie die verschieden-dimensionalen Löcher eines Raumes. Definiert ist die singuläre Kohomologie als Kohomologie zum singulären Kokettenkomplex. Genauso wie die singuläre Homologie ist sie eine Invariante des zugrunde gelegten topologischen Raums. Sie hat jedoch im Gegensatz zur singulären Homologie den Vorteil, dass die Folge ihrer Kohomologiegruppen zusammen mit dem Cup-Produkt einen Ring bilden.

Singulärer Kokettenkomplex

Sei $X$ ein topologischer Raum und $G$ eine abelsche Gruppe. Mit $C_{p}(X)$ wird der singuläre Kettenkomplex von $X$ bezeichnet. Für jede natürliche Zahl $p>0$ definiere

$C^{p}(X;G):=\operatorname {Hom} (C_{p}(X),G)\,,$

wobei $\operatorname {Hom} (C_{p}(X),G)$ die Gruppe der Gruppenhomomorphismen von $C_{p}(X)$ nach $G$ ist. Die Elemente von $C^{p}(X;G)$ heißen singuläre Koketten mit Koeffizienten in $G$ oder kurz $p$-Koketten.

Der Randoperator $\partial _{p}\colon C_{p}(X)\to C_{p-1}(X)$ des singulären Kettenkomplexes induziert einen Randoperator

$\delta _{p}\colon C^{p}(X;G)\to C^{p+1}(X;G)$,

der Korandoperator genannt wird. Er lässt sich durch $\delta \phi (c)=\phi (\partial c)$ charakterisieren, woraus $\delta _{p+1}\delta _{p}=0$ folgt. Dies ergibt den Kokettenkomplex

$\ldots \longrightarrow C^{p-1}(X;G){\stackrel {\delta _{p-1}}{\longrightarrow }}C^{p}(X;G){\stackrel {\delta _{p}}{\longrightarrow }}C^{p+1}(X;G){\stackrel {\delta _{p+1}}{\longrightarrow }}\ldots$,

der singulärer Kokettenkomplex genannt wird.

Singuläre Kohomologie

Die singuläre Kohomologie ist nun die Kohomologie bezüglich des singulären Kokettenkomplexes. Eine $p$-Kokette $\phi$ heißt Kozykel, falls $\delta \phi =0$ gilt, und Korand, falls ein $\psi \in C^{p-1}(X;G)$ mit $\delta \psi =\phi$ existiert. Im Folgenden wird mit $Z^{p}(X;G)$ die Gruppe der Kozykel und mit $B^{p}(X;G)$ die Gruppe der Koränder bezeichnet. Beide Gruppen sind Untergruppen von $C^{p}(X;G)$. Die singuläre Kohomologie $H^{p}(X;G)$ mit Koeffizienten in $G$ ist dann definiert als die Quotientengruppe

$H^{p}(X;G):=Z^{p}(X;G)/B^{p}(X;G)$.

Direkt aus den Definitionen ergibt sich die folgende Interpretation der Begriffe "Kozykel" und "Korand". Eine Kokette $\phi :C_{p}(X)\rightarrow G$ ist ein Kozykel genau dann, wenn $\phi$ auf Rändern verschwindet, also $\phi (\partial c)=0$ für alle $c\in C_{p+1}(X)$ gilt. Eine Kokette ist ein Korand, wenn sie auf Zykeln verschwindet, also $\phi (z)=0$ für alle $z\in C_{p}(X)$ mit $\partial z=0$. Insbesondere repräsentieren zwei Kozykel $\phi ,\phi ^{\prime }:C_{p}(X)\rightarrow \mathbb {R}$ genau dann dieselbe Kohomologieklasse, wenn sie auf allen Zykeln dieselben Werte annehmen, also $\phi (z)=\phi ^{\prime }(z)$ für alle $z\in C_{p}(X)$ mit $\partial z=0$.

Die Elemente von $H^{*}(X;G)$ werden als Kohomologieklassen (mit Koeffizienten in $G$) bezeichnet.

Eigenschaften

Kontravarianter Funktor

Die singuläre Kohomologie ist ein kontravarianter Funktor von der Kategorie der topologischen Räume in die Kategorie der abelschen Gruppen. Der Funktor hat also die folgenden zwei Eigenschaften. Seien $f\colon X\to Y$ und $g\colon Y\to Z$ zwei stetige Abbildungen zwischen topologischen Räumen. Mit $f^{*}$ und $g^{*}$ werden die induzierten Kohomologiehomomorphismen bezeichnet. Dann gilt

$(g\circ f)^{*}=f^{*}\circ g^{*}$.

Außerdem ist der durch die identische Abbildung induzierte Kohomologiehomomorphismus wieder die identische Abbildung.

Lange exakte Sequenz

Für einen topologischen Unterraum $Y\subseteq X$ ist der singuläre Komplex $C_{\bullet }(Y)$ ein Unterkomplex von $C_{\bullet }(X)$, und mit $C_{\bullet }(X,Y):=C_{\bullet }(X)/C_{\bullet }(Y)$ erhält man eine kurze exakte Sequenz von Kettenkomplexen, die durch Anwendung von $\operatorname {Hom} (\cdot ,G)$ eine kurze exakte Sequenz von Kokettenkomplexen ergibt:

$0\to C^{\bullet }(X,Y,G)\to C^{\bullet }(X,G)\to C^{\bullet }(Y,G)\to 0$.

Daraus ergibt sich mit Methoden der homologischen Algebra die lange exakte Kohomologiesequenz

$\dots \to H^{k}(X,Y,G)\to H^{k}(X,G)\to H^{k}(Y,G)\to H^{k+1}(X,Y,G)\to H^{k+1}(X,G)\to H^{k+1}(Y,G)\to \dots$.

Die Gruppen $H^{k}(X,Y,G)$ heißen relative singuläre Kohomologiegruppen.

Topologische Invariante

Die singulären Kohomologiegruppen sind topologische Invarianten des zugrunde liegenden Raums. Seien also $X$ und $Y$ zwei topologische Räume und $f\colon X\to Y$ ein Homöomorphismus, dann sind für alle $p$ und für jede abelsche Gruppe $G$ die Kohomologiegruppen $H^{p}(X;G)$ und $H^{p}(Y;G)$ isomorph.

Homotopie-Invarianz

Homotope Abbildungen $f,g\colon X\to Y$ induzieren dieselben Abbildungen $f^{*},g^{*}\colon H^{*}(Y,G)\to H^{*}(X,G)$. Homotopieäquivalenzen $f\colon X\to Y$ induzieren Isomorphismen $f^{*}\colon H^{*}(Y,G)\to H^{*}(X,G)$.

Mayer-Vietoris-Sequenz

Sei $X=A\cup B$ eine (nicht disjunkte) Zerlegung mit

$X=int(A)\cup int(B)$.

Dann gibt es eine exakte Sequenz

$\cdots \rightarrow H^{n}(X;G)\rightarrow H^{n}(A;G)\oplus H^{n}(B;G)\rightarrow H^{n}(A\cap B;G)\rightarrow H^{n+1}(X;G)\rightarrow \cdots$.

De-Rham-Kohomologie und Simpliziale Kohomologie

Wenn $X$ eine differenzierbare Mannigfaltigkeit ist, dann ist $H^{*}(X,\mathbb {R} )$ isomorph zur De-Rham-Kohomologie $H_{dR}^{*}(X)$. Wenn $X$ homöomorph zur Geometrischen Realisierung $\mid K\mid$ eines Simplizialkomplexes $K$ ist, dann ist $H^{*}(X,G)$ isomorph zur simplizialen Kohomologie $H^{*}(K,G)$.

Cup-Produkt

→ Hauptartikel: Cup-Produkt

Im Gegensatz zur singulären Homologie ist es bei singulären Kohomologieklassen möglich, auf ihnen ein assoziatives, graduiert kommutatives und distributives Produkt zu definieren. Dieses wird Cup-Produkt genannt und induziert auf den Kohomologiegruppen eine Ringstruktur.

Siehe auch

• Universelles Koeffiziententheorem