Beispiele. In <strong>de</strong>r folgen<strong>de</strong>n Liste tragen wir die nicht-trivialen singulären Homologiegruppen weitererBeispiele ein. Beweise fin<strong>de</strong>t man in <strong>de</strong>n Büchern <strong>de</strong>r algebraischen Topologie.Nr. Raum X Nicht triviale Homologiegruppen Hq sing (X; Z) ,q≥ 1³ ´1. R n H• sing =0³ ´2. B n H• sing =03. S n Hnsing ∼= Z4. P 2nRH sing2n =0,Hsing ∼ 2k+1 = Z 2 , 0 ≤ k ≤ n − 15. P 2n+1RH sing ∼ 2k+1 = Z 2 , 0 ≤ k ≤ n − 16. P n C H sing2k∼= Z, 1 ≤ k ≤ n7. P n H (H à Quaternionen) Hsing4k∼= Z, 1 ≤ k ≤ n8. Kleinsche Flasche H sing1∼= Z ⊕ Z 2 , H sing2 =09. Orientierbare g-Flächen H sing1∼= Z 2g , H sing2∼= Z10. Nicht or. g-Flächen H sing1∼= Z g−1 ⊕Z 2 , H sing2 =0Bemerkungen. (i) In <strong>de</strong>r algebraischen Topologie <strong>de</strong>finiert man zu je<strong>de</strong>m topologischen Raum X, <strong>de</strong>rtriangulierbar ist, d.h. <strong>de</strong>r zu <strong>de</strong>m zugrun<strong>de</strong>liegen<strong>de</strong>n Raum eines Simplizialkomplexes homöomorph ist,die sogenannten simplizialen Homologiegruppen Hqsimpl. (X; Z). Man zeigt dann, daß für triangulierbaretopologische Räume gilt Hqsimpl. (X; Z) ∼ = Hqsing. (X; Z), für alle q ∈ Z. Siehe z.B. R.Stöcker, H.Zieschang:Algebraische Topologie, Teubner, 2te Aufl. 1994, §9.7., S. 241-245.(ii) Ist X triangulierbar, so ist Rang ¡ Hqsing (X; Z) ¢ =: b q (X) eine nicht negative ganze Zahl. Sie heißtinsbeson<strong>de</strong>re die q-te Betti-Zahl <strong>von</strong> X. <strong>Die</strong> alternieren<strong>de</strong> Summe χ (X) := P q≥0 (−1)q b q (X) ist diesog. Euler-Poincaré Charakteristik <strong>von</strong> X.(iii) Ist A ⊂ X ein topologischer Teilraum <strong>von</strong> X, so lassen sich die sog. relativen Homologiegruppen<strong>von</strong> X bezüglich A durchH singq(X, A; Z) :=H q (S • (X) /S • (A);Z)<strong>de</strong>finieren. Zu je<strong>de</strong>m Raumpaar A→ X =(X, ∅) kanon.−→ (X, A) existiert nach (2.2) eine lange exakteHomologiesequenz···−→ H singq(A; Z) −→ H singq(X; Z) −→ H singq(X, A; Z) −→ H singq−1 (A; Z) −→ ···(iv) Sei π 1 (X, x 0 ) die F<strong>und</strong>amentalgruppe eines wegweise zusammenhängen<strong>de</strong>n topologischen RaumesX. Dann giltH sing1 (X; Z) ∼ = π 1 (X, x 0 ) / [π 1 (X, x 0 ) ,π 1 (X, x 0 )] ,wobei wir mit [., .] <strong>de</strong>n Kommutator zweier Gruppen bezeichnen. In <strong>de</strong>m Seminar wur<strong>de</strong> schon ange<strong>de</strong>utet,daß wenn X eine orientierbare Fläche vom Geschlecht g ≥ 1 ist, dann ist*+gYπ 1 (X) ∼ = a 1 ,b 1 ,... ,a g ,b g [a¯¯¯¯¯ i ,b i ]=1¡[ai ,b i ]:=a i b i a −1i b −1 ¢i , wobei diese 2g Gruppenerzeugen<strong>de</strong>n durch die entsprechen<strong>de</strong>n zu X assoziierten“Polygone” beschrieben wer<strong>de</strong>n können.Definition 3.5 (Singuläre Homologiemoduln <strong>von</strong> X über R) <strong>Die</strong> Homologiemoduln <strong>von</strong> X überR wer<strong>de</strong>n durchi=1H singq (X; R) :=H q (S • (X) ⊗ Z R; R)<strong>de</strong>finiert.13
Definition 3.6 (Singuläre Kohomologiemoduln <strong>von</strong> X über R) <strong>Die</strong> Kohomologiemoduln <strong>von</strong> Xüber R wer<strong>de</strong>n durchH q sing (X; R) :=Hq (S • (X; R)) , S • (X; R) :=Hom (S • (X) ⊗ Z R, R)<strong>de</strong>finiert. (Vgl. mit <strong>de</strong>r Bemerkung am En<strong>de</strong> <strong>de</strong>s vorigen Abschnittes).Definition 3.7 Definiere eine Abbildung“ ` ”:S p (X; R) × S q (X; R) −→ S p+q (X; R)wie folgt: Je<strong>de</strong>m singulären (p + q)-Simplex σ : ∆ p+q −→ X <strong>und</strong> Koketten c p <strong>und</strong> c q ordnec p ` c q (σ) =:hc p ` c q ,σi =(−1) pq D c p ,σ◦ d p+1p+q ◦ dp+1 p+q−1E DE◦ ···◦ dp+1· c p ,σ◦ d p−1p+q ◦ dp−2 p+q−1 ◦ ···◦ d0 q+1zu. <strong>Die</strong>s ist das sog. cup-Produkt.Proposition 3.8 Das cup-Produkt hat folgen<strong>de</strong> Eigenschaften:(i) Distributivität: (a + a 0 ) ` b = a ` b + a 0 ` b, a ` (b + b 0 )=a ` b + a ` b 0 ,(ii) Homogenität: (ra) ` b = r (a ` b) =a ` (rb) ,(iii) ±-Kommutativität: a ` b =(−1) pq b ` a,(iv) Neutrales Element: 1 X ` a = a ` 1 X = a.(v) Korandformel: d (c p ` c q )= dc p ` c q +(−1) p c p ` (dc q ) .Proposition 3.9 (Kohomologiering <strong>von</strong> X) Das cup-Produkt induziert die Struktur eines graduiertenRinges aufHsing ∗ (X; R) =⊕ p≥0 H q sing(X; R)durch: (a 0 + a 1 + a 2 + ···)(b 0 + b 1 + b 2 + ···)=a 0 ` b 0 +(a 0 ` b 1 + a 1 ` b 0 )+···Theorem 3.10 (Künnethsches Theorem) Sei R ein nullteilerfreier Haupti<strong>de</strong>alring.Zu <strong>de</strong>n R-Kohomologiemoduln <strong>de</strong>s Kreuzproduktes X × Y zweier Räume X <strong>und</strong> Y existiert eine kurzeexakte Sequenz:0 −→ MH p (X; R) ⊗ R H q (Y ; R) −→ H n (X × Y ; R) −→MTor (H p (X; R) ,H q (Y ; R)) −→ 0p+q=np+q=n+1Wenn insbeson<strong>de</strong>re R ein Körper ist, erhält man einen IsomorphismusH n (X × Y ; R) ∼ =MH p (X; R) ⊗ R H q (Y ; R)p+q=nProposition 3.11 Sei R ein nullteilerfreier Haupti<strong>de</strong>alring <strong>und</strong> sei X eine kompakte, zusammenhängen<strong>de</strong>,R-orientierte n-dimensionale Mannigfaltigkeit. Dann gibt es einen “Dualitätshomomorphismus”<strong>de</strong>rart, daßD X : H q (X; R) −→ H n−q (X; R)hb, D X (a)i = ha ` b, [X]i ∈ R,wobei [X] die entsprehen<strong>de</strong> “Gr<strong>und</strong>klasse” <strong>von</strong> X bzgl. <strong>de</strong>r R-Orientierung bezeichnet.14