Simpliziale Homologie

Die Simpliziale Homologie ist in der Algebraischen Topologie, einem Teilgebiet der Mathematik, eine Methode, die einem beliebigen Simplizialkomplex eine Folge abelscher Gruppen zuordnet. Anschaulich gesprochen zählt sie die Löcher unterschiedlicher Dimension des zugrunde liegenden Raumes.

Simplizialkomplexe

Ein simplizialer Komplex (oder Simplizialkomplex) <math>K</math> ist eine Menge von (durch ihre Eckpunkte eindeutig bestimmten) Simplizes, so dass jede Seitenfläche eines der Simplizes wieder in dieser Menge liegt. Einfache Beispiele sind Polygone und Polyeder. Nach einem Satz der Topologie kann man jede differenzierbare Mannigfaltigkeit triangulieren, also als einen simplizialen Komplex (SK) auffassen.

Simpliziale Homologie

Zu einem Simplizialkomplex <math>K</math> betrachten wir für <math>n=0,1,2,\ldots</math> die freie abelsche Gruppe über der Menge der <math>n</math>-Simplizes des simplizialen Komplexes <math>C_n(K)</math>.

Elemente von <math>C_n(K)</math> sind also formale Summen der Form

<math>\sum_{i=1}^r a_i\sigma_i</math>

mit <math>a_i\in\Z</math> und <math>\sigma_i</math> ein <math>n</math>-Simplex von <math>K</math>. Dabei wird gefordert, dass <math>\sigma_i=-\sigma_j</math> gilt, wenn die Simplizes <math>\sigma_i</math> und <math>\sigma_j</math> umgekehrte Orientierung besitzen.

Die „Randabbildung“ <math>\partial\colon C_n(K) \rightarrow C_{n-1}(K)</math> bilde jeden Simplex auf die alternierende Summe seiner Seitenflächen ab, das heißt

<math>\partial([v_0,\dots, v_n]) := \sum_{i=0}^n(-1)^i[v_0,\ldots,\hat{v_i},\ldots,v_n] \,,</math>

wobei <math>\hat v_i</math> bedeutet, dass <math>v_i</math> ausgelassen wird. Die alternierenden Vorzeichenfaktoren können auch als „geometrische Orientierungszahlen“ interpretiert werden.

Diese auf den Erzeugern von <math>C_n(K)</math> definierte Randabbildung setzt sich durch lineare Fortsetzung

<math> \partial(\sum_{i=1}^r a_i\sigma_i)=\sum_{i=1}^r a_i\partial(\sigma_i)</math>

eindeutig zu einer Abbildung <math>\partial: C_n(K) \rightarrow C_{n-1}(K)</math> fort. Man rechnet leicht nach, dass

<math>\partial\circ \partial=0</math>

gilt. <math>(C_*(K),\partial)</math> ist also ein Kettenkomplex, er wird als simplizialer Kettenkomplex des Simplizialkomplexes <math>K</math> bezeichnet.

Die Homologie dieses Kettenkomplexes heißt die simpliziale Homologie von <math>K</math> und wird mit <math>H_*(K)</math> bezeichnet.

Beispiel

Rechenbeispiel

Datei:SimplexTriangle.png

Dreieck

Wir wollen die Homologiegruppen des Dreiecks (bestehend aus drei 0-Simplizes <math>v_1,v_2,v_3</math> und den drei sie verbindenden 1-Simplizes, keinem 2-Simplex und keinen höherdimensionalen Simplizes) berechnen.

Nach Definition des Randoperators ist <math>\partial_0([v_i]) = 0 </math>, also:

<math>\mathrm{ker}(\partial_0) = C_0 = \{a_1[v_1] + a_2[v_2] + a_3[v_3] | a_1,a_2,a_3 \in \mathbb{Z}\} \cong \mathbb{Z} \oplus \mathbb{Z} \oplus \mathbb{Z}</math>

d. h. alle 0-Ketten sind im Kern.

Für eine 1-Kette <math>c_1 = b_1[v_1,v_2] + b_2[v_2,v_3] + b_3[v_3,v_1]</math> ist

<math>\partial_1(c_1) = (b_3-b_1)[v_1] + (b_1-b_2)[v_2] + (b_2-b_3)[v_3]</math>.

Daraus erhält man

<math>\mathrm{Im}(\partial_1) = \{(b_3-b_1)[v_1] + (b_1-b_2)[v_2] + (b_2-b_3)[v_3] | b_1,b_2,b_3\in \mathbb{Z}\}</math>.

Eine 0-Kette <math>c_0 = a_1[v_1] + a_2[v_2] + a_3[v_3]</math> gehört also genau dann zum Bild von <math>\partial_1</math>, wenn

<math>a_1 = b_3-b_1</math>

<math>a_2 = b_1-b_2</math>

<math>a_3 = b_2-b_3</math>,

also genau dann, wenn <math>a_1+a_2+a_3=0</math>. Daraus folgt

<math>H_0(S) \cong (\mathbb{Z} \oplus \mathbb{Z} \oplus \mathbb{Z})/ (a_1+a_2+a_3=0) \cong \mathbb{Z}</math>.

Zur Berechnung der ersten Homologiegruppe: Für eine 1-Kette

<math>c_1 = b_1[v_1,v_2] + b_2[v_2,v_3] + b_3[v_3,v_1]</math>

ist <math>\partial_1(c_1) = 0</math> genau dann, wenn <math>b_1=b_2=b_3</math>, also

<math>\mathrm{ker}(\partial_1) = \{b[v_1,v_2] + b[v_2,v_3] + b[v_3,v_1] | b\in \mathbb{Z}\} \cong \mathbb{Z}.</math>

Weil es keine 2-Simplizes gibt, sind Kern und Bild von <math>\partial_2</math> trivial, <math>\mathrm{ker}(\partial_2) = \mathrm{Im}(\partial_2) = 0</math>. Damit erhalten wir:

<math> H_1(S) = \mathrm{ker}(\partial_1) / \mathrm{Im}(\partial_2) = \mathrm{ker}(\partial_1) \cong \mathbb{Z}</math>

<math> H_2(S) = \mathrm{ker}(\partial_2) / \mathrm{Im}(\partial_3) \cong 0</math>

und trivialerweise <math>H_i(S)\cong 0</math> für alle <math>i>2</math>.

Weitere Beispiele

Es gelten:

• Ist <math> K </math> der simpliziale Komplex, der das Dreieck mit Inhalt trianguliert. Das heißt der Komplex wie oben, nur zusätzlich mit dem 2-Simplex. Dann ergibt sich <math>H_0(K)=\mathbb{Z},\, H_1(K)=H_2(K)=\ldots=0</math>.
• Für den 2-Torus <math>T=S^1\times S^1</math> gilt <math>H_1(T)=\mathbb{Z}^2,\,H_2(T)=\mathbb{Z}</math> und <math>H_i(T)=0</math> für <math>i>2</math>.
• Für die Kleinsche Flasche <math>K</math> gilt <math>H_1(K)=\mathbb{Z}\oplus\mathbb{Z}/2\mathbb{Z}</math> und <math>H_i(K)=0</math> für <math>i\geq2</math>.
• Es gilt <math>H_1(\mathbb{R}P^2)=\mathbb{Z}</math> und <math>H_i(\mathbb{R}P^2)=0</math> für alle <math>i\geq2</math>.
• Sei <math>K</math> ein simplizialer Komplex mit <math>n\in\mathbb{N}</math> Zusammenhangskomponenten, dann gilt <math>H_0(K)=\mathbb{Z}^n</math>.

Funktorialität

Simpliziale Abbildungen

Eine simpliziale Abbildung <math>f\colon K\to L</math> induziert eine Kettenabbildung

<math>f_*:C_*(K)\rightarrow C_*(L)</math>

durch

<math>f_*(\sum_{i=1}^r a_i\sigma_i)=\sum_{i=1}^r a_i f(\sigma_i)</math>

und wegen <math>df=fd</math> eine wohldefinierte Abbildung

<math>f_*:H_*(K)\rightarrow H_*(L)</math>.

Stetige Abbildungen

Sei

<math>f:\vert K\vert\to\vert L\vert</math>

eine stetige Abbildung zwischen den geometrischen Realisierungen zweier Simplizialkomplexe <math>K</math> und <math>L</math>. Wir bezeichnen mit <math>Bd(K)</math> die baryzentrische Unterteilung von <math>K</math> und mit <math>Bd^n(K)</math> die <math>n</math>-fach iterierte baryzentrische Unterteilung. Es gilt <math>\vert Bd^n(K)\vert=\vert K\vert</math>.

Nach dem simplizialen Approximationssatz gibt es ein <math>n\in\N</math>, so dass <math>f:\vert Bd^n(K)\vert\to\vert L\vert</math> eine simpliziale Approximation

<math>g:Bd^n(K)\rightarrow L</math>

besitzt.

Dann wird

<math>f_*:H_*(K)\rightarrow H_*(L)</math>

definiert als die Verknüpfung von <math>g_*</math> mit dem kanonischen Isomorphismus <math>H_*(K)\to H_*(Bd^n(K))</math>. Man kann zeigen, dass der so definierte Homomorphismus <math>f_*</math> unabhängig von der Wahl der simplizialen Approximation ist.

Simpliziale Homologie mit Koeffizienten

Für eine abelsche Gruppe <math>G</math> und einen Simplizialkomplex <math>K</math> definiert man

<math>C_*(K,G)=C_*(K)\otimes_{\Z}G</math>.

Elemente von <math>C_n(K,G)</math> sind also formale Summen der Form <math>\textstyle \sum_{i=1}^ra_i\sigma_i</math> mit <math>a_i\in G</math> und <math>\sigma_i</math> ein <math>n</math>-Simplex in <math>K</math>. Der Randoperator setzt sich fort mittels

<math>d(\sum_{i=1}^ra_i\sigma_i)=\sum_{i=1}^ra_i d\sigma_i</math>.

Die Homologie mit Koeffizienten in G

<math>H_*(X,G)</math>

ist definiert als die Homologie des Kettenkomplexes <math>(C_*(X,G),d)</math>.

Simpliziale versus Singuläre Homologie

Die simpliziale Homologie eines Simplizialkomplexes ist isomorph zur singulären Homologie seiner geometrischen Realisierung:

<math>H_*(K,G)=H_*(\vert K\vert,G)</math>.

Literatur

• Stöcker, Ralph; Zieschang, Heiner: Algebraische Topologie. Eine Einführung. 2. Auflage. Mathematische Leitfäden. B. G. Teubner, Stuttgart, 1994. ISBN 3-519-12226-X.