Universelles Koeffiziententheorem

aus Wikipedia, der freien Enzyklopädie

Du hast neue Nachrichten auf deiner Diskussionsseite.

Das universelle Koeffiziententheorem ist eine Aussage eher technischen Charakters aus dem mathematischen Teilgebiet der algebraischen Topologie. Es erlaubt, die Homologie bzw. Kohomologie eines Raumes mit Koeffizienten in einer beliebigen abelschen Gruppe aus der Homologie bzw. Kohomologie mit Koeffizienten in den ganzen Zahlen auszurechnen.

[Bearbeiten] Homologische Fassung

Es seien $X$ ein topologischer Raum, $A$ eine abelsche Gruppe und $n$ eine natürliche Zahl. Dann gibt es eine natürliche kurze exakte Folge

$0\to H_n(X)\otimes A\to H_n(X;A)\to\operatorname{Tor}_1^{\mathbb Z}(H_{n-1}(X),A)\to 0.$

Dabei steht $H n (X)$ abkürzend für $H_n(X;\mathbb Z)$ , und Tor ist das Torsionsprodukt.

Die Folge spaltet, aber nicht natürlich.

[Bearbeiten] Kohomologische Fassung

Es seien $X$ ein topologischer Raum, $A$ eine abelsche Gruppe und $n$ eine natürliche Zahl. Dann gibt es eine natürliche kurze exakte Folge

$0\to\operatorname{Ext}_\mathbb Z^1(H_{n-1}(X),A)\to H^n(X;A)\to\operatorname{Hom}(H_n(X),A)\to0.$

Dabei steht wieder $H n (X)$ abkürzend für $H_n(X;\mathbb Z)$ , und Ext ist der abgeleitete Funktor Ext.

Im Unterschied zur homologischen Fassung ist diese Aussage selbst für $A=\mathbb Z$ nicht trivial.

Wie oben spaltet die Folge, aber nicht natürlich.

[Bearbeiten] Anwendungsbeispiele

Zusammen mit der Aussage $H 1 (X) = π 1 (X) ab$ folgt

$H^1(X;\mathbb R)=\operatorname{Hom}(\pi_1(X),\mathbb R).$

Die reelle projektive Ebene $X=\mathbb RP^2$ hat die 2-Sphäre als zweiblättrige, universelle Überlagerung, also gilt $H_1(X)=\pi_1(X)=\mathbb Z/2\mathbb Z$ , somit besitzt $H 2 (X; A)$ eine zu

$\operatorname{Ext}^1(\mathbb Z/2\mathbb Z,A)=A/2A$

isomorphe Untergruppe.

[Bearbeiten] Verallgemeinerungen

Es gibt vollkommen analoge Aussagen für beliebige flache (für Homologie) bzw. freie (für Kohomologie) Kettenkomplexe über einem beliebigen Hauptidealring $R$ und $R$ -Moduln $A$ .