υικοτητα Poincare και Alexander

Transcript

1 ΠΑΝΕΠΙΣΤΗΜΙΟ ΙΩΑΝΝΙΝΩΝ ΣΧΟΛΗ ΘΕΤΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ ΤΟΜΕΑΣ ΑΛΓΕΒΡΑΣ ΚΑΙ ΓΕΩΜΕΤΡΙΑΣ υικοτητα Poincare και Alexander Στοιχεια Αλγεβρικης Τοπολογιας Μεταπτυχιακη ιατριβη Κλεανθης Ξενιτιδης Ιωαννινα 2009

2

3 Εισηγητης : Επαµεινώνδας Κεχαγιάς, Επίκουρος Καθηγητής Επιτροπη Επαµεινώνδας Κεχαγιάς, Επίκουρος Καθηγητής Θεµιστοκλής Κουφογιώργος, Καθηγητής Χρήστος Μπαϊκούσης, Καθηγητής

4

5 Περιεχόµενα Εισαγωγη vii 1 Οµολογια Και Συνοµολογια Cellular Οµολογιακές Οµάδες Συνοµολογιακές Οµάδες υϊκές Οµάδες Συνοµολογία Τοπολογικών Χώρων Cellular Συνοµολογία 19 2 Cup Product Cup Product Ο Συνοµολογιακός ακτύλιος Τανυστικό Γινόµενο 30 3 Πολλαπλοτητες Βασικές Ενοιες Προσανατολισµός Πολλαπλοτήτων 35 v

6 4 Ευθεα Ορια Ευθέα Ορια 49 5 Poincare Duality Συνοµολογία Με Συµπαγή Υποστήριξη Cap Product Poincare Duality 61 6 Alexander Duality Θεώρηµα Alexander Duality 67 7 Εφαρµογες Εµφυτεύσεις Πολλαπλοτήτων S 1 M S 2 S 3 78 Ευρετηριο 81 Βιβλιογραφια 82 vi

7 Εισαγωγή Η έννοια της πολλαπλότητας υπεισέρχεται στα Μαθηµατικά σχεδόν σε κάθε κλάδο, από την Ανάλυση (R n ) µέχρι την άλγεβρα (οµάδες Lie). Ενα σηµαντικό πρόβληµα είναι αυτό της εµφύτευσης : οθέντων δύο πολλαπλοτήτων N k και M n, (k<n), εµφυτεύεται η N στην M; Και µε πόσους τρόπους. Αυτό είναι ένα δύσκολο πρόβληµα το οποίο έχει απαντηθεί για συγκεκριµένες κατηγορίες πολλαπλοτήτων. Σ αυτή την µεταπτυχιακή εργασία ϑα µελετήσουµε το αντίστοιχο πρό- ϐληµα για n=2,3. Πιο συγκεκριµένα ϑα αρχίσουµε τη µελέτη µας µε τη δυϊκότητα Poincare και Alexander µεταξύ τοπολογικών πολλαπλοτήτων. Η Poincare δυϊκότητα συνδέει τις οµολογιακές και συνοµολογιακές οµάδες µίας πολλαπλότητας. Ο Henri Poincare απέδειξε µία διαφορετική µορφή του σηµερινού ϑεωρήµατος Poincare Duality για συµπαγείς πολλαπλότητες. Τη σύγχρονη µορφή του πήρε το ϑεώρηµα τη δεκαετία του 1930 όταν οι Eduard Čech και Hassler Whitney εισήγαγαν τα cup και cap products. Η Alexander δυϊκότητα είναι αποτέλεσµα του J.W.Alexander και συνδέει τη συνοµολογιακή οµάδα ενός υποσυνόλου µίας πολλαπλότητας µε την σχετική οµολογιακή οµάδα του συµπληρωµατικού του υποσυνόλου. Για την απόδειξη του ϑεω- ϱήµατος Poincare Duality ϑα χρειαστούµε τη ϑεωρία των ευθέων ορίων µιας και η απόδειξη ϑα δοθεί για κάθε πολλαπλότητα, όχι απαραίτητα συµπαγή. Για το ϑεώρηµα Alexander Duality ϑα χρειαστούµε µια ειδική περίπτωση της Čech συνοµολογίας. Επίσης ϑα εισάγουµε την έννοια του προσανατολισµού σε µία πολλαπλότητα, αφού τα δύο παραπάνω ϑεωρήµατα εφαρµόζονται σε προσανατολίσιµες πολλαπλότητες. Ειδικά, στο πρώτο κεφάλαιο ϑα κάνουµε µία εισαγωγή στις οµολογιακές και τις συνοµολογιακές οµάδες. Θα µελετήσουµε τις cellular οµολογιακές vii

8 οµάδες και σύµφωνα µε αυτήν τη µελέτη ϑα υπολογίσουµε τις οµολογιακές οµάδες κάποιων ϐασικών χώρων που έχουν CW ανάλυση, όπως ο µιγαδικός προβολικός χώρος CP n, η προσανατολίσιµη επιφάνεια γένους g, M g, και η µη προσανατολίσιµη επιφάνεια γένους g, N g. Στην ενότητα των συνοµολογιακών οµάδων ϑα κάνουµε µία εισαγωγή στις συνοµολογιακές οµάδες τοπολογικών χώρων και τις cellular συνοµολογιακές οµάδες. Επίσης ϑα ορίσουµε το συναρτητή Ext(_, _) ο οποίος είναι πολύ χρήσιµος για τον υπολογισµό των συνοµολογιακών οµάδων. Πράγµατι, αν C είναι ένα αλυσιδωτό complex ε- λεύθερων αβελιανών οµάδων και G µία ελεύθερη αβελιανή οµάδα, τότε από το Universal Coefficient Theorem ϑα έχουµε τον ισοµορφισµό : αφού η ακολουθία H n (C; G) Ext(H n 1 (C), G) hom(h n (C), G) 0 Ext(H n 1 (C), G) H n (C; G) hom(h n (C), G) 0 διασπάται. Στο δεύτερο κεφάλαιο ϑα ορίσουµε το cup product. Εστω R ένας δακτύλιος και X ένας τοπολογικός χώρος. Το cup product είναι µία απεικόνιση : S k (X; R) S l (X; R) S k+l (X; R) Απεικονίζει το γινόµενο των συναλυσίδων ϕ S k (X; R) και ψ S l (X; R) στην k+l-συναλυσίδα ϕ ψ που η τιµή της σε ένα singular simplex σ : k+l X δίνεται από τον τύπο : (ϕ ψ)(σ) = ϕ(σ [v0,...,v k ])ψ(σ [vk,...,v k+l ]) Θα δούµε ότι το cup product επάγεται στις συνοµολογιακές οµάδες. Επίσης επάγει ένα γινόµενο στην ϐαθµολογηµένη οµάδα H (X; R) ενός χώρου X, που είναι το ευθύ άθροισµα των οµάδων H i (X; R). Ετσι η οµάδα H (X; R) γίνεται δακτύλιος. ύο οµοιοµορφικοί χώροι X και Y έχουν ισόµορφους δακτύλιους H (X; R) και H (Y ; R). Ετσι µπορούµε να διαχωρίσουµε δύο χώρους για τους οποίους οι δακτύλιοι H (X; R) και H (Y ; R) δεν είναι ισόµορφοι ως δακτύλιοι, ενώ πιθανόν να είναι ισόµορφοι ως οµάδες. Στο τρίτο κεφάλαιο ϑα εισάγουµε την έννοια του προσανατολισµού σε πολλαπλότητες. Παρατηρούµε ότι για µία πολλαπλότητα M διάστασης n ισχύει : H n (M, M x) Z, x M Ενας προσανατολισµός στο x ϑα είναι η επιλογή ενός γεννήτορα της H n (M, M x). Θα δούµε πως ο προσανατολισµός επεκτείνεται σε µία περιοχή του x και, viii

9 αν η M είναι προσανατολίσιµη, σε ολόκληρη την M. Συνήθως σε αυτή τη µελέτη ϑα δουλεύουµε µε προσανατολίσιµες πολλαπλότητες αφού τα ϑεωρήµατα Poincare Duality και Alexander Duality αναφέρονται σε προσανατολίσιµες πολλαπλότητες. Βέβαια κάθε πολλαπλότητα είναι Z 2 -προσανατολίσιµη. Στο τέταρτο κεφάλαιο ϑα εισάγουµε τη ϑεωρία των ευθέων ορίων, την οποία ϑα χρειαστούµε για να αποδείξουµε το ϑεώρηµα Poincare Duality, αλλά και για να ορίσουµε την Alexander συνοµολογία. Στην πρώτη ενότητα του πέµπτου κεφαλαίου ϑα κάνουµε εφαρµογή της ϑεωρίας των ευθέων ορίων για τις οµάδες : H q (X, X K) όπου K K = {K X, K συµπαγές}. Στο K δίνουµε τη διάταξη του εγκλεισµού, δηλαδή K K K K. Ετσι έχουµε το σύστηµα {H q (X, X K), K K}. Στο ϐασικό ϑεώρηµα αυτής της µελέτης, που είναι το Poincare Duality, ϑα δείξουµε ότι για µία προσανατολίσιµη πολλπλότητα M n υπάρχει ισοµορφισµός από το όριο του προηγούµενου συστήµατος H q c (M) στην οµολογιακή οµάδα H n q (M): H q c (M) H n q (M) Ο ισοµορφισµός αυτός δίνεται από την οριακή απεικόνιση των απεικονίσεων : ζ : H q (M, M K) H n q (M) γ ζ γ όπου K K και ζ K ένας τοπικός προσανατολισµός της M κατά µήκος του K. Στο έκτο κεφάλαιο ϑα µελετήσουµε την Alexander δυϊκότητα. Το ϑεώ- ϱηµα Alexander Duality αποδεικνύεται µε τη ϐοήθεια του ϑεωρήµατος Poincare Duality και µιας ειδικής περίπτωσης της ϑεωρίας της Čech συνοµολογίας. Θεωρούµε την οικογένεια V όλων των περιοχών που περιέχουν ένα υποσύνολο A και τη διατάσσουµε µε τη διάταξη του υπερσυνόλου, δηλαδή V V V V. Ορίζουµε την Čech συνοµολογία του A: Ȟ(A) = lim V H q (V ) Στο ϑεώρηµα Alexander Duality για µία προσανατολίσιµη συµπαγή πολλαπλότητα M n και A ένα κλειστό υποσύνολό της έχουµε τον ισοµορφισµό : Ȟ q (A) H n q (M, M A) ix

10 Τέλος στο έβδοµο κεφάλαιο ϑα δούµε κάποιες εφαρµογές των δύο ϐασικών ϑεωρηµάτων. Θα µελετήσουµε εµφυτεύσεις πολλαπλοτήτων στη σφαίρα, ή πιο γενικά σε συµπαγείς πολλαπλότητες. Τα ϐασικά αποτελέσµατα περιγράφονται στα επόµενα ϑεωρήµατα. Θεώρηµα (7.1.10). Εστω K = S m υποπολλαπλότητα της M n. Τότε : H n (M, M K) H 0 (K) = H 0 (S m ) Z H n m (M, M S m ) H m (S m ) Z και H n i (M, M K) H i (S m ) = 0 για i 0, m Θεώρηµα (7.1.13). Εστω M = S n συµπαγής και K συµπαγής συνεκτική υποπολλαπλότητα της M. Τότε : H n (M K) = 0 H i (M) = 0, i 0, n H i (M, M K) H i 1 (M K), i n 1 Εφαρµογές των προηγουµένων είναι το γνωστό ϑεώρηµα διαχωρισιµότητας του Jordan. Θεώρηµα ( Jordan Separation Theorem). Κάθε υπόχωρος του R n ο- µοιοµορφικός µε την S n 1 διαχωρίζει τον R n σε δύο τροχιακά συνεκτικούς υποχώρους. Ο ένας είναι ϕραγµένος. Ευχαριστίες Θα ήθελα να ευχαριστήσω τον επιβλέποντα καθηγητή µου, κ. Επαµεινώνδα Κεχαγιά για την άριστη συνεργασία που είχαµε και τα δύο µέλη της επιτροπής, τον κ. Θεµιστοκλή Κουφογιώργο και τον κ. Χρήστο Μπαϊκούση για τις χρήσιµες συµβουλές που µου δώσαν. Επίσης ϑα ήθελα να ευχαριστήσω τον υποψήφιο διδάτορα Χρυσόστοµο Ψαρουδάκη και την µεταπτυχιακή ϕοιτήτρια Αλίκη Σαµαρτζίδου για την ϐοήθειά τους και τους ϕίλους µου Πέτρο Καραγιαννίδη και ηµήτρη Ζορµπά για την παρέα τους. x

11 1 Οµολογια Και Συνοµολογια 1.1 Cellular Οµολογιακες Οµαδες Εστω ότι ϑέλουµε να υπολογίσουµε την οµολογία H (X) ενός χώρου X ο οποίος είναι CW-σύµπλεγµα. Αυτός αποτελείται από απλούστερα κοµ- µάτια X n των οποίων η οµολογία υπολογίζεται ευκολότερα. Με ϐάση τις H (X n, X n 1 ) ϑα υπολογίσουµε την H (X). Ορισµός Ορίζουµε τον n-δίσκο να είναι το σύνολο B n = {x R n, x 1} και την n-σφαίρα να είναι το σύνολο S n = {x R n+1, x = 1}. Υπενθυµίζουµε το ϑεώρηµα της εκτοµής. Θεώρηµα (ϑεώρηµα εκτοµής). Θεωρούµε τους υπόχωρους Z A X τέτοιους ώστε Z A. Τότε ο εγκλεισµός (X Z, A Z) (X, A) επάγει ισοµορφισµούς στις οµολογιακές οµάδες H n (X Z, A Z) H n (X, A) για κάθε n. Οµοια αν A, B X τέτοια ώστε A B = X, τότε ο εγκλεισµός (B, A B) (X, A) επάγει ισοµορφισµούς H n (B, A B) H n (X, A) για κάθε n. Απόδειξη. Βλέπε στο [1] στη σελίδα 119. Ορισµός Εστω X ένας χώρος και A ένα µη κενό κλειστό υποσυνολό του τέτοιο ώστε να είναι deformation retract κάποιας περιοχής του X, τότε το Ϲεύγος (X, A) ονοµάζεται καλό Ϲεύγος. Παράδειγµα Το Ϲεύγος (R n, C) µε C R n συµπαγές, είναι καλό Ϲεύγος. Είναι σηµαντικό να γνωρίζουµε αν υπάρχει σχέση µεταξύ της σχετικής οµολογίας και της κανονικής. Οταν το Ϲεύγος (X, A) είναι καλό ο χώρος 1

12 2 κεφαλαιο 1 - Οµολογια Και Συνοµολογια πηλίκου X/A µπορεί να µελετηθεί και ως εξής : Εστω p σηµείο του A και f : A {p} η σταθερή απεικόνιση. Τότε ο X/A είναι οµοιοµορφικός µε τον χώρο X {p}/f όπου ταυτίζουµε το a A µε την εικόνα του f(a) = p. Πρόταση Για ένα καλό Ϲεύγος (X, A) η απεικόνιση πηλίκο q : (X, A) (X/A, A/A) επάγει ισοµορφισµούς q : H n (X, A) H n (X/A, A/A) H n (X/A) για κάθε n. Απόδειξη. Βλέπε στο [1] στη σελίδα 124. Επειδή τα CW-υποσυµλέγµατα είναι καλά Ϲεύγη έχουµε το επόµενο πόρισµα. Πόρισµα Αν ένα CW σύµπλεγµα γράφεται ως ένωση δύο υποσυµπλεγ- µάτων A και B, τότε ο εγκλεισµός (B, A B) (X, A) επάγει ισοµορφισµούς στις οµολογιακές οµάδες H n (B, A B) H n (X, A) για κάθε n. Πόρισµα Εστω x α X α τέτοια ώστε τα Ϲεύγος (X α, x α ) να είναι καλά Ϲεύγη και α X α το σφηνοειδές άθροισµα, τότε οι εγκλεισµοί i α : X α X α επάγουν ισοµορφισµό α i α : α H n (X α ) H n ( α X α). Απόδειξη. Βλέπε στο [1] στην σελίδα 126. Θεώρηµα Εστω µη κενά ανοιχτά σύνολα U R m και V R n. Εάν τα U και V είναι οµοιοµορφικά, τότε m = n. Απόδειξη. Για x U έχουµε ισοµορφισµό H k (U, U {x}) H k (R m, R m {x}). Από την µακρά ακριβή ακολουθία για το Ϲεύγος (R m, R m {x}) έχουµε : H k (R m ) H k (R m, R m {x}) H k 1 (R m {x}) H k 1 (R m ) Αφού R m {x} S m 1, η H k (U, U {x}) είναι Z για k = m και 0 διαφο- ϱετικά. Για τον ίδιο λόγο H k (V, V {x}) είναι Z για k = n και 0 διαφορετικά. Τέλος, αφού ένας οµοιοµορφισµός h : U V επάγει ισοµορφισµούς H k (U, U {x}) H k (V, V {h(x)}) για κάθε k, ϑα πρέπει να έχουµε m = n. Γενικεύοντας την ιδέα της απόδειξης ορίζουµε τις τοπικές οµολογιακές οµάδες ενός χώρου X σε ένα σηµείο x X να είναι οι οµάδες H n (X, X {x}). Για µια ανοιχτή περιοχή U του x έχουµε ισοµορφισµούς H n (X, X {x}) H n (U, U {x}), άρα αυτές οι οµάδες εξαρτώνται από την τοπολογία που έχει ο X κοντά στο x. Ενας οµοιοµορφισµός f : X Y επάγει ισοµορ- ϕισµούς H n (X, X {x}) H n (Y, Y {f(x)}) για κάθε x και για κάθε n, άρα από αυτές τις οµάδες µπορούµε να συµπεράνουµε πότε δύο χώροι δεν είναι τοπικά οµοιοµορφικοί σε κάποιο σηµείο. Η έννοια της τοπικής οµολογιακής οµάδας είναι ουσιώδης για τον προσανατολισµό µίας πολλαπλότητας.

13 1.1 - Cellular Οµολογιακες Οµαδες 3 Ορισµός Αν µία οµάδα H n (X) γράφεται ως ευθύ άθροισµα κυκλικών οµάδων, τότε το πλήθος των Z συνιστωσών ονοµάζεται ο n-οστός αριθµός Betti β n του X, και οι ακέραιοι που ορίζουν τους ϐαθµούς των πεπερασµένα κυκλικών συνιστωσών ονοµάζονται torsion coefficients. Ορισµός Η χαρακτηριστική Euler ενός χώρου X ορίζεται ως χ(x) = n ( 1) n β n όταν το άθροισµα είναι πεπερασµένο. Για ένα πεπερασµένο CW-σύµπλεγµα X η χαρακτηριστική Euler δίνεται από το άθροισµα χ(x) = n ( 1)n c n όπου c n είναι το πλήθος των n-κελύφων του X. Βαθµός Ενα από τα σηµαντικότερα εργαλεία στη µελέτη των συµπαγών προσανατολίσιµων πολλαπλοτήτων είναι η έννοια του ϐαθµού µιας απεικόνισης f : N M. Ο ϐαθµός είναι ένας ακέραιος ο οποίος µε απλά λόγια µας λέει πόσες ϕορές η f διπλώνει την N γύρω από την M. Ορισµός Για µία απεικόνιση f : S n S n µε n > 0, ο επαγώµενος οµοµορφισµός f : H n (S n ) H n (S n ) από µία άπειρη κυκλική οµάδα στον εαυτό της είναι της µορφής f (α) = dα για κάποιον ακέραιο d. Ο ακέραιος αυτός ονοµάζεται ϐαθµός της f, deg f. Ισχύουν οι παρακάτω ιδιότητες : (i) deg id = 1, αφού id = id (ii) deg f = 0, αν η f δεν είναι επί. Πράγµατι, αν διαλέξουµε x 0 S n f(s n ), τότε η f γράφεται ως η σύνθεση S n S n {x 0 } S n και άρα H n (S n {x 0 }) = 0, αφού το S n {x 0 } είναι συστελόµµενο. Εποµένως f = 0. (iii) Αν f g τότε deg f = deg g, αφού f = g. (iv) deg fg = deg f deg g, αφού (fg) = f g. Από αυτό συµπεραίνουµε ότι εάν η f είναι οµοτοπική ισοδυναµία, τότε deg f = ±1, αφού fg id. (v) Εάν η f είναι κατοπτρισµός της S n, τότε deg f = 1. (vi) Η αντιπολική απεικόνιση id : S n S n, x x έχει ϐαθµό ( 1) n+1, αφού είναι σύνθεση n + 1 κατοπτρισµών.

14 4 κεφαλαιο 1 - Οµολογια Και Συνοµολογια (vii) Εάν η f δεν έχει σταθερό σηµείο τότε έχει ϐαθµό ( 1) n+1. Εστω f(x) x, τότε το ευθύγραµµο τµήµα από το f(x) στο x, που ορίζεται από τη σχέση t (1 t)f(x) tx για 0 t 1, δεν περνάει από την αρχή των αξόνων. Άρα σε αυτή την περίπτωση µπορούµε να ορίσουµε την (1 t)f(x) tx οµοτοπία από την f στην αντιπολική f t (x) = (1 t)f(x) tx. Τώρα έστω µία f : S n S n, n > 0, για την οποία ισχύει ότι για κάποιο σηµείο y S n η αντίστροφη εικόνα f 1 (y) αποτελείται από πεπερασµένα το πλήθος σηµεία, έστω x 1,..., x m. Εστω τώρα U 1,..., U m περιοχές των σηµείων οι οποίες δεν τέµνονται µεταξύ τους και απεικονίζονται µέσω της f σε µία περιοχή V του y. Τότε ισχύει f(u i x i ) V y για κάθε i και έχουµε το παρακάτω µεταθετικό διάγραµµα : H n (U i, U i x i ) H n (V, V y) k i H n (S n, S n p i x i ) H n (S n, S n f 1 f (y)) H n (S n, S n y) j H n (S n f ) H n (S n ) όπου οι απεικονίσεις p i και k i επάγονται από τους εγκλεισµούς. Οι δύο ι- σοµορφισµοί στο πάνω µισό του διαγράµµατος προέρχονται από το ϑεώρηµα εκτοµής και οι δύο ισοµορφισµοί στο κάτω µισό του διαγράµµατος προέρχονται από τις ακριβείς ακολουθίες των αντίστοιχων Ϲευγών. Εποµένως οι δύο ο- µάδες στην επάνω γραµµή του διαγράµµατος είναι ισόµορφες µε H n (S n ) Z και άρα ο οµοµορφισµός f : H n (U i, U i x i ) H n (V, V y) είναι πολλαπλασιασµός µε έναν ακέραιο ο οποίος ονοµάζεται τοπικός ϐαθµός της f στο x i και συµβολίζεται µε deg f xi. Για παράδειγµα αν η f είναι οµοιοµορφισµός τότε το y µπορεί να είναι ο- ποιοδήποτε σηµείο της S n και υπάρχει µοναδικό x i, άρα όλες οι απεικονίσεις στο διάγραµµα είναι ισοµορφισµοί και deg f xi = deg f = ±1. Πιο γενικά εάν η f απεικονίζει κάθε U i οµοιοµορφικά στο V τότε deg f xi = ±1 για κάθε i. Πρόταση deg f = i deg f x i. Απόδειξη. Από το ϑεώρηµα εκτοµής ο µεσαίος όρος H n (S n, S n f 1 (y)) στο παραπάνω διάγραµµα είναι το ευθύ άθροισµα των οµάδων H n (U i, U i x i )) Z και οι απεικονίσεις k i είναι οι εγκλεισµοί στην i-οστή συνιστώσα. Από f

15 1.1 - Cellular Οµολογιακες Οµαδες 5 τη µεταθετικότητα του πάνω τριγώνου οι προβολές αυτής της οµάδας στις συνιστώσες της δίνονται από τις απεικονίσεις p i και από τη µεταθετικότητα του κάτω τριγώνου έχουµε ότι p i j(1) = 1, άρα j(1) = (1,..., 1) = i k i(1). Από τη µεταθετικότητα του πάνω τετραγώνου έχουµε ότι η µεσαία f απεικονίζει το k i (1) στο deg f xi, άρα το i k i(1) = j(1) απεικονίζεται στο i deg f x i. Τέλος από τη µεταθετικότητα του κάτω τετραγώνου έχουµε το Ϲητούµενο deg f = i deg f x i. Παράδειγµα Μπορούµε να κατασκευάσουµε µία απεικόνιση S n S n οποιουδήποτε ϐαθµού για n 1. Εστω q : S n k Sn η απεικόνιση που ταυτίζει το συµπλήρωµα k δίσκων D i της S n που δεν τέµνονται µεταξύ τους. Επίσης έστω p : k Sn S n µία απεικόνιση η οποία ταυτίζει όλες τις σφαίρες του σφηνοειδούς αθροίσµατος k Sn σε µία. Θεωρούµε τη σύνθεση f = pq. Τότε για σχεδόν όλα τα y S n έχουµε ότι το f 1 (y) αποτελείται από ένα x i σε κάθε D i. Ο τοπικός ϐαθµός της f στο x i είναι ±1 αφού η f είναι τοπικός οµοιοµορφισµός στο x i. Συνθέτοντας την p µε κατοπτρισµούς των συνιστωσών του k Sn, µπορούµε να προσαρµόσουµε κάθε τοπικό ϐαθµό σε +1 ή 1. Άρα παίρνουµε µία απεικόνιση S n S n ϐαθµού ±k. Cellular Οµολογία Λήµµα Εστω X = n Xn ένα CW σύµπλεγµα πεπερασµένης διάστασης, τότε (i) η H k (X n, X n 1 ) είναι µηδέν για k n και ελεύθερη αβελιανή για k = n, µε ϐάση σε ένα προς ένα αντιστοιχία µε τα n-κελύφοι του X. (ii) H k (X n ) = 0 για k > n. Ειδικά H k (X) = 0 για k > dim X. (iii) Ο εγκλεισµός i : X n X επάγει τον ισοµορφισµό i : H k (X n ) H k (X) αν k < n. Απόδειξη. (i) Το Ϲεύγος (X n, X n 1 ) είναι καλό Ϲεύγος και ο χώρος X n /X n 1 είναι το σφηνοειδές άθροισµα n-σφαιρών, µία για κάθε n-κέλυφος του X. (ii) Θεωρούµε την µακρά ακριβή ακολουθία του Ϲευγαριού (X n, X n 1 ), H k+1 (X n, X n 1 ) H k (X n 1 ) H k (X n ) H k (X n, X n 1 ) Αν k n, n 1 τότε έχουµε ισοµορφισµούς H k (X n 1 ) H k (X n ). Εποµένως αν k > n έχουµε, H k (X n ) H k (X n 1 ) H k (X n 2 ) H k (X 0 ) = 0.

16 6 κεφαλαιο 1 - Οµολογια Και Συνοµολογια (iii) Από την ίδια ακολουθία, αν k < n τότε, H k (X n ) H k (X n+1 ) H k (X n+m ) m 0. Εστω X ένα CW σύµπλεγµα, τότε από τις µακριές ακριβείς ακολουθίες των Ϲευγών (X n+1, X n ), (X n, X n 1 ) και (X n 1, X n 2 ) έχουµε το παρακάτω διάγραµµα, 0 H n (X n ) j n H n (X n+1 ) H n (X)... n+1 H n+1 (X n+1, X n d n+1 ) H n (X n, X n 1 d n ) H n 1 (X n, X n 2 ) j n 1... H n 1 (X n 1 ) 0 όπου d n+1 και d n ορίζονται ως οι συνθέσεις των j n n+1 και j n 1 n αντίστοιχα. Η σύνθεση d n d n+1 περιέχει δύο συνεχόµενες απεικονίσεις στο διαγώνιο αλυσιδωτό complex, άρα είναι 0. Εποµένως η οριζόντια γραµµή στο διάγραµµα είναι αλυσιδωτό complex και ονοµάζεται cellular αλυσιδωτό complex του X. Οι οµολογιακές οµάδες του cellular αλυσιδωτού complex ονοµάζονται cellular οµολογιακές οµάδες του X και συµβολίζονται µε Hn CW (X). Θεώρηµα Hn CW (X) H n (X) Απόδειξη. Από το παραπάνω διάγραµµα έχουµε H n (X) = H n (X n )/Im n+1. Η j n είναι ένα προς ένα, άρα απεικονίζει το Im n+1 ισοµορφικά στο Im(j n n+1 ) = Imd n+1 και το H n (X n ) ισοµορφικά στο Imj n = ker n. Άρα η j n επάγει ισοµορφισµό του H n (X n )/Im n+1 στο ker d n /Imd n+1. Παρακάτω ϐλέπουµε µερικές εφαρµογές, (i) H n (X) = 0 αν το X είναι CW σύµπλεγµα χωρίς n-κελύφοι. 0

17 1.1 - Cellular Οµολογιακες Οµαδες 7 (ii) Πιο γενικά, αν το X είναι ένα CW σύµπλεγµα µε k n-κελύφοι, τότε η H n (X) παράγεται από το πολύ k στοιχεία. Πράγµατι, η H n (X n, X n 1 ) είναι ελεύθερη αβελιανή σε k γεννήτορες, άρα η υποοµάδα ker d n ϑα πρέπει να γεννάται από το πολύ k στοιχεία, άρα το ίδιο ισχύει και για την ker d n /Imd n+1. (iii) Εστω X ένα CW σύµπλεγµα που έχει το πολύ ένα κέλυφος σε κάθε δύο συνεχόµενες διαστάσεις, τότε η H n (X) είναι ελεύθερη αβελιανή µε ϐάση σε ένα προς ένα αντιστοιχία µε τα n-κελύφοι του X. Αυτό ισχύει διότι η απεικόνιση d n σε αυτή την περίπτωση είναι η µηδενική. Παράδειγµα Σύµφωνα µε την τελευταία εφαρµογή ϑα υπολογίσουµε τις οµολογιακές οµάδες του µιγαδικού προβολικού χώρου CP n. Ο CP n έχει CW ανάλυση µε ένα κέλυφος σε κάθε άρτια διάσταση 2k 2n. Άρα, { Z H i (CP n για i = 0, 2, 4,..., 2n ) = 0 διαφορετικά Η επόµενη πρόταση στηρίζεται στην πρόταση Πρόταση (cellular συνοριακός τύπος). d n (e n α) = β d αβe n 1 β, όπου d αβ είναι ο ϐαθµός της απεικόνισης Sα n 1 X n 1 S n 1 β, δηλαδή της σύνθεσης της απεικόνισης προσκόλησης του κελύφους e n α µε την απεικόνιση πηλίκο που ταυτίζει το X n 1 e n 1 β σε ένα σηµείο. Εδώ ταυτίζουµε τα κελύφοι e n α και en 1 β µε τους γεννήτορες της αντίστοιχης συνιστώσας των cellular αλυσιδωτών οµάδων. Για την επεξήγηση του παραπάνω τύπου ϑεωρούµε το µεταθετικό διάγραµµα, H n (D n α, D n α) Φ α n Hn 1 ( D n α) ϕ α αβ Hn 1 (S n 1 β ) H n (X n, X n 1 ) H n 1 (X n 1 ) H n 1 (X n 1 /X n 2 ) j n 1 d n H n 1 (X n 1, X n 2 ) H n 1 (X n 1 /X n 2, X n 2 /X n 2 ) όπου Φ α είναι η χαρακτηριστική απεικόνιση του κελύφους e n α και ϕ α είναι η απεικόνιση προσκόλησης. Η απεικόνιση q : X n 1 X n 1 /X n 2 είναι η απεικόνιση πηλίκο. Η απεικόνιση q β είναι η απεικόνιση που ταυτίζει το συµπλήρωµα του κελύφους e n 1 β σε ένα σηµείο και η απεικόνιση q q β

18 8 κεφαλαιο 1 - Οµολογια Και Συνοµολογια αβ : Dα n S n 1 β είναι η σύνθεση q β qϕ α, δηλαδή η σύνθεση της απεικόνισης προσκόλησης του e n α µε την απεικόνιση πηλίκο Xn 1 S n 1 β που ταυτίζει το συµπληρωµατικό του e n 1 β στο X n 1 σε ένα σηµείο. Η απεικόνιση Φ α απεικονίζει το γεννήτορα [Dα] n της H n (Dα, n Dα) n σε έ- να γεννήτορα της Z συνιστώσας της H n (X n, X n 1 ) που αντιστοιχεί στο κέλυφος e n α. Από τη µεταθετικότητα του αριστερού µισού του διαγράµµατος έχουµε ότι d n (e n α) = j n 1 ϕ α [Dα]. n Η απεικόνιση q β είναι η προβολή της H n 1 (X n 1 /X n 2 ) στην Z συνιστώσα που αντιστοιχεί στο e n 1 β. Τέλος, από τη µεταθετικότητα του διαγράµµατος έχουµε το Ϲητούµενο. Η d 1 : H 1 (X 1, X 0 ) H 0 (X 0 ) είναι η simplicial συνοριακή απεικόνιση, εποµένως αν υπάρχει µόνο ένα 0-κέλυφος τότε η d 1 είναι η µηδενική. Παράδειγµα Εστω M g η κλειστή προσανατολίσιµη επιφάνεια γένους g µε τη συνήθη CW ανάλυση από ένα 0-κέλυφος, 2g 1-κελύφοι και ένα 2- κέλυφος που προσκολούνται σύµφωνα µε το γινόµενο [a 1, b 1 ] [a g, b g ]. Το cellular αλυσιδωτό complex είναι το, 0 Z d 2 Z 2g d 1 Z 0 Η d 1 είναι µηδέν αφού υπάρχει µόνο ένα 0-κέλυφος. Για την d 2 έχουµε, d 2 (e 2 ) = 2g β=1 d β e 1 β Σύµφωνα µε το παραπάνω διάγραµµα η ϕ α στέλνει το σύνορο e 2 στη ϑηλιά a 1 b 1 a 1 1 b 1 1 a g b g a 1 g b 1 g η αποία είναι οµοτοπική µε τη σταθερή, άρα οι απεικονίσεις αβ είναι οµοτοπικές µε τη σταθερή και άρα έχουν ϐαθµό 0. Ε- ποµένως d β = 0 και η απεικόνιση d 2 είναι η µηδενική. Τελικά οι οµολογιακές οµάδες της M g είναι, H n (M g ) = { Z, n = 0, 2 Z 2g, n = 1 Παράδειγµα Εστω N g η κλειστή µη προσανατολίσιµη επιφάνεια γένους g µε τη συνήθη CW ανάλυση από ένα 0-κέλυφος, g 1-κελύφοι και ένα 2-κέλυφος που προσκολούνται σύµφωνα µε τη λέξη a 2 1a 2 2 a 2 g. Η απεικόνιση d 1 είναι µηδέν αφού υπάρχει µόνο ένα 0-κέλυφος. Για την d 2 : Z Z g έχουµε ότι η αβ είναι οµοτοπική µε την z z 2 που έχει ϐαθµό 2, άρα d 2 (1) = (2, 2,..., 2). Εποµένως η d 2 είναι 1-1 και η H 2 (N g ) είναι µηδέν. Αν αλλάξουµε τη ϐάση της Z g αντικαθιστώντας το τελευταίο στοιχείο (0,..., 0, 1) µε (1,..., 1) έχουµε ότι H 1 (N g ) Z g 1 Z 2. Τέλος H 0 (N g ) Z.

19 1.2 - Συνοµολογιακες Οµαδες 9 Από τα δύο τελευταία παραδείγµατα συµπεραίνουµε ότι για µία κλειστή συνεκτική πολλαπλότητα M διάστασης n αρκεί να γνωρίζουµε την οµολογιακή οµάδα H n (M) για να ελέγξουµε αν η M είναι προσανατολίσιµη. Παράδειγµα (πραγµατικός προβολικός χώρος RP n ). Εστω RP n ο πραγµατικός προβολικός χώρος µε την συνήθη CW ανάλυση από ένα κέλυ- ϕος e k σε κάθε διάσταση k n, και την απεικόνιση προσκόλησης ϕ : S k 1 RP k 1. Για να υπολογίσουµε τη συνοριακή απεικόνιση d k αρκεί να υπολογίσουµε το ϐαθµό της σύνθεσης S k 1 ϕ RP k 1 q RP k 1 /RP k 2 = S k 1. Η απεικόνιση qϕ είναι οµοιοµορφισµός αν περιοριστεί σε κάποια από τις δύο συνιστώσες του S k 1 S k 2. Υπολογίζοντας τοπικούς ϐαθµούς έχουµε ότι deg qϕ = deg id + deg( id) = 1 + ( 1) k, άρα η d k είναι η µηδενική όταν το k είναι περιττός και πολλαπλασιασµός µε το 2 όταν το k είναι άρτιος. Άρα το cellular αλυσιδωτό complex είναι το, 0 Z 2 Z 0 2 Z 0 Z 2 Z 0 Z 0 αν ο n είναι άρτιος 0 Z 0 Z 2 2 Z 0 Z 2 Z 0 Z 0 αν ο n είναι περιττός Εποµένως, Z, k = 0 και k = n περιττός H k (RP n ) = Z 2, k περιττός 0 < k < n 0, διαφορετικά 1.2 Συνοµολογιακες Οµαδες υϊκές Οµάδες Ορισµός Εστω A και G αβελιανές οµάδες. Ορίζουµε την αβελιανή οµάδα hom(a, G) όλων των οµοµορφισµών από την A στην G µε την παρακάτω πράξη : για a A ορίζουµε (Φ + Ψ)(a) = Φ(a) + Ψ(a). Μοναδιαίο στοιχείο της hom(a, G) είναι ο οµοµορφισµός που στέλνει το A στο µοναδιαίο στοιχείο της G. Αντίστροφος του Φ είναι ο οµοµορφισµός που στέλνει το a στο Φ(a) a A.

20 10 κεφαλαιο 1 - Οµολογια Και Συνοµολογια Παράδειγµα Ορίζουµε τον ισοµορφισµό hom(z, G) G λ : hom(z, G) G (Φ : Z G) Φ(1) Η λ είναι οµοµορφισµός διότι λ(φ + Ψ) = (Φ + Ψ)(1) = Φ(1) + Ψ(1) = λ(φ) + λ(ψ). Η λ είναι ένα προς ένα αφού λ(φ) = 0 Φ(1) = 0 Φ = 0. Η λ είναι επί. Πράγµατι, έστω g G, ορίζεται η Φ µε Φ(1) = g και Φ(x) = Φ(1 } + {{ + 1 } ) = Φ(1) + + Φ(1) = g + + g }{{}}{{} x ϕορές x ϕορές x ϕορές Ορισµός Για έναν οµοµορφισµό f : A B ορίζουµε το δυϊκό του να είναι η απεικόνιση ηλαδή f (Φ) = Φ f. hom(a, G) f hom(b, G) (A f B Φ G) (Φ : B G). Εύκολα ϕαίνεται ότι η f είναι οµοµορφισµός. Επίσης ισχύει (fg) = g f. Για την ταυτοτική id : A A έχουµε : id (Φ) = Φ id = Φ άρα η id : hom(a, G) hom(a, G) είναι η ταυτοτική. Επιπλέον αν το διάγραµµα : h A C f g B είναι µεταθετικό, τότε και το διάγραµµα : h hom(a, G) hom(c, G) f g hom(b, G) είναι µεταθετικό. Πράγµατι h (Φ) = Φ(h) = Φ(g f) και f g (Φ) = f (Φ g) = Φ g f.

21 1.2 - Συνοµολογιακες Οµαδες 11 Θεώρηµα ϕισµός. (i) Αν η f είναι ισοµορφισµός τότε και η f είναι ισοµορ- (ii) Αν η f είναι ο µηδενικός οµοµορφισµός, τότε και η f είναι ο µηδενικός οµοµορφισµός. (iii) Αν η f είναι επί, τότε η f είναι ένα προς ένα, δηλαδή ακρίβεια του B f C 0 σηµαίνει ακρίβεια του hom(b, G) f hom(c, G) 0. Απόδειξη. (iii) Εστω ότι η f είναι επί. Εστω ψ hom(c, G) έτσι ώστε f (ψ) = 0 = ψ f. Τότε ψ(f(b)) = 0 b B. Καθώς το b διατρέχει το B το f(b) διατρέχει όλα τα στοιχεία του C, άρα ψ(c) = 0 c C. Θεώρηµα Αν η ακολουθία A f B g C 0 είναι ακριβής, τότε και η δυϊκή της, δηλαδή η f hom(a, G) hom(b, G) hom(c, G) 0 είναι ακριβής. Επιπλέον αν η f είναι ένα προς ένα και η πρώτη ακολουθία διασπάται τότε η f είναι επί και η δεύτερη ακολουθία διασπάται. Απόδειξη. Η g είναι επί, άρα από το προηγούµενο ϑεώρηµα η g είναι ένα προς ένα. Μένει να δείξουµε την ακρίβεια στο hom(b, G). h = g f = 0 h = f g = 0. Από την άλλη έστω f (ψ) = 0. Θα δείξουµε ότι ψ = g (Φ) για κάποιο Φ hom(c, G). Ο f (ψ) = ψ f είναι ο µηδενικός οµοµορφισµός άρα ο ψ µηδενίζεται στην υποοµάδα f(a) = Imf. Άρα ο ψ επάγει τον οµοµορφισµό ψ : B/f(A) G. Από ακρίβεια του πρώτου έχουµε ότι η g επάγει ισοµορφισµό g : B/f(A) C όπως το παρακάτω διάγραµµα : ψ G ψ B g g g B/f(A) Η Φ = ψ (g ) 1 είναι οµοµορφισµός από την C στην G και g (Φ) = Φ g = ψ (g ) 1 g = ψ. Τώρα έστω ότι η f απεικονίζει ισοµορφικά το A σε µία συνιστώσα του B και π : B A να είναι ο οµοµορφισµός για τον οποίο ισχύει π f = id A. Εχουµε το παρακάτω διάγραµµα : C f B g 0 A C 0 π A C

22 12 κεφαλαιο 1 - Οµολογια Και Συνοµολογια Εχουµε f π = id hom(a,g), άρα η f είναι επί και από το splitting lemma η π : hom(a, G) hom(b, G) διασπάει τη δυϊκή ακολουθία. Θεώρηµα (i) hom(a 1 A 2, G) hom(a 1, G) hom(a 2, G). (ii) Αν η f : Z Z είναι πολλαπλασιασµός µε το m τότε και η f είναι πολλαπλασιασµός µε το m. (iii) hom(z m, G) ker(g m G). Απόδειξη. (ii) Εστω ότι η f είναι η f : Z m Z, τότε f (Φ)(x) = Φ(f(x)) = Φ(mx) = mφ(x). Άρα f (Φ) = mφ. (iii) Θεωρούµε την ακριβή ακολουθία : Τότε η δυϊκή της : 0 Z m Z Z m 0. m f hom(z, G) hom(z, G) hom(z m, G) 0 είναι ακριβής. Εποµένως έχουµε το Ϲητούµενο, δηλαδή hom(z m, G) ker(g m G), αφού η f είναι ένα προς ένα και Imf = ker(g m G) από ακρίβεια. Τώρα είµαστε έτοιµοι να ορίσουµε τις συνοµολογιακές οµάδες ενός τοπολογικού χώρου. Θεωρούµε ένα τυχαίο αλυσιδωτό complex αβελιανών οµάδων όπως το παρακάτω. C n+1 C n C n 1 Για να πάρουµε το δυϊκό του αντικαθιστούµε τις αλυσιδωτές οµάδες C n µε τις συναλυσιδωτές οµάδες C n = hom(c n, G) και κάθε συνοριακή απεικόνιση : C n C n 1 µε τη δυϊκή συνσυνοριακή απεικόνιση δ = : C n 1 C n. Η δυϊκή ακολουθία αυτού του αλυσιδωτού complex είναι αλυσιδωτό complex και ονοµάζεται συναλυσιδωτό complex. Ορισµός Οι οµολογιακές οµάδες ker δ/imδ στην Cn στο συναλυσιδωτό complex ονοµάζονται συνοµολογιακές οµάδες και συµβολίζονται µε H n (C; G). Είναι ιδιαίτερα χρήσιµο να γνωρίζουµε τη σχέση της οµολογίας ενός χώ- ϱου µε τη συνοµολογία του. Θα περίµενε κανείς η συνοµολογία ενός χώρου να είναι η δυϊκή της οµολογίας. υστύχως δεν είναι τόσο απλή η σχέση µεταξύ τους όπως ϑα δούµε µελετώντας το Universal Coefficient Theorem σε αυτήν την ενότητα.

23 1.2 - Συνοµολογιακες Οµαδες 13 Ορισµός Εστω H µία αβελιανή οµάδα. Μία ακριβής ακολουθία ελεύ- ϑερων αβελιανών οµάδων όπως παρακάτω : F 2 f 2 F 1 f 1 F 0 H 0 καλείται free resolution(ελεύθερη διάλυση) της H. Αν πάρουµε την δυϊκή αυτής της ακολουθίας ως προς G έχουµε το συναλυσιδωτό complex: f 2 f 1 F2 F1 F0 f 0 0 H Ορίζουµε την n-συνοµολογιακή οµάδα της F να είναι η οµάδα H n (F ; G) = ker f n+1/imf n. Αναφέρουµε χωρίς απόδειξη ένα γνωστό λήµµα σχετικά µε τη συµπερι- ϕορά δύο διαλύσεων. Λήµµα (i) Για δύο ελεύθερες διαλύσεις F και F αβελιανών οµάδων H και H κάθε οµοµορφισµός α : H H µπορεί να επεκταθεί σε αλυσιδωτή απεικόνιση F F όπως παρακάτω. f 2 f F 2 1 f F 1 0 F 0 H 0 α 2 F 2 f 2 F 1 α 1 f 1 F 0 α 0 α f 0 H 0 Επιπλέον κάθε δύο τέτοιες αλυσιδωτές απεικονίσεις της α είναι αλυσιδωτά οµοτοπικές. (ii) Για δύο ελεύθερες διαλύσεις F και F της H υπάρχουν ισοµορφισµοί H n (F ; G) H n (F ; G) n. Απόδειξη. Βλέπε στο [1] στη σελίδα 194. Κάθε αβελιανή οµάδα H έχει free resolution της µορφής : 0 F 1 F 0 H 0 µε F i = 0 για i > 1. Ορίζουµε την F 0 να είναι η ελεύθερη αβελιανή οµάδα F(H) που παράγεται από ένα σύνολο γεννητόρων της H. Τότε έχουµε έναν επιµοµορφισµό f 0 : F 0 H που στέλνει τα ϐασικά στοιχεία στους αντίστοιχους γεννήτορες. Ο πυρήνας της f 0 είναι ελεύθερη οµάδα, αφού είναι υποοµάδα ελεύθερης οµάδας. Ορίζουµε την F 1 να είναι η ελεύθερη οµάδα

24 14 κεφαλαιο 1 - Οµολογια Και Συνοµολογια R(H) = ker f 0 και f 1 : F 1 F 0 να είναι ο εγκλεισµός. Τέλος διαλέγουµε F i = 0 για i > 1. Εποµένως έχουµε H n (F ; G) = 0 για n > 1. Από το προηγούµενο λήµµα συµπεραίνουµε ότι αυτό ισχύει για κάθε ελεύθερη διάλυση. Συµβολίζουµε µε Ext(H, G) την οµάδα H 1 (F ; G). Ο συναρτητής Ext(_, _) ο οποίος πέρνει τιµές στις αβελιανές οµάδες υπολογίζει τις κλάσεις ισοδυναµίας των επεκτάσεων 0 G E H 0. Το επόµενο ϑεώρηµα αποτελεί το κύριο µέρος αυτής της ενότητας και ϑα το χρησιµοποιήσουµε επανηληµένως στη µελέτη αυτής. Θεώρηµα (Universal Coefficient Theorem). Αν ένα αλυσιδωτό complex C ελεύθερων αβελιανών οµάδων έχει οµολογιακές οµάδες H n (C) τότε οι συνοµολογιακές οµάδες του συναλυσιδωτού complex προσδιορίζονται από τις διασπώµενες ακολουθίες : 0 Ext(H n 1 (C), G) H n (C; G) hom(h n (C), G) 0. Απόδειξη. Βλέπε στο [1] στην σελίδα 195. Η επόµενη πρόταση µας ϐοηθάει στον υπολογισµό της οµάδας Ext(H, G). Πρόταση (i) Ext(H H, G) Ext(H, G) Ext(H, G). (ii) Ext(H, G) = 0, αν η H είναι ελέυθερη. (iii) Ext(Z n, G) G/nG. Απόδειξη. (i) Ext(H H ) = hom(r(h H ))/ hom(f(h H )) = hom(r(h) R(H ))/ hom(f(h) F(H )) = hom(r(h), G) hom(r(h ), G)/ hom(f(h), G) hom(f(h ), G) = hom(r(h), G)/ hom(f(h), G) hom(r(h ), G)/ hom(f(h ), G) = Ext(H, G) Ext(H, G) (ii) Αν η H είναι ελεύθερη υπάρχει το free resolution της H: Άρα Ext(H, G) = 0. 0 H H 0.

25 1.3 - Συνοµολογια Τοπολογικων Χωρων 15 (iii) Θεωρούµε το free resolution: 0 Z n Z Z n 0. Η δυϊκή της είναι το παρακάτω αλυσιδωτό complex: 0 hom(z, G) n hom(z, G) hom(z n, G) 0. G Άρα Ext(Z n, G) = G/nG. n G Από την παραπάνω πρόταση συµπεραίνουµε ότι αν η H είναι πεπερασµένα παραγώµενη, τότε η οµάδα Ext(H, Z) είναι ισόµορφη µε την torsion υποοµάδα της H. Επιπλέον η hom(h, Z) είναι ισόµορφη µε το ελεύθερο µέρος της H. Πράγµατι, αφού η ακολουθία είναι ακριβής, τότε η ακολουθία 0 Z m Z Z m 0 0 hom(z, Z) m hom(z, Z) hom(z m, Z) 0 είναι αλυσιδωτό complex. Εποµένως hom(z m, Z) = ker(z m Z) = 0. Πόρισµα Αν οι οµολογιακές οµάδες H n και H n 1 ενός αλυσιδωτού complex C ελεύθερων αβελιανών οµάδων είναι πεπερασµένα παραγώµενες µε torsion υποοµάδες T n H n και T n 1 H n 1, η συνοµολογιακή οµάδα H n (C; Z) είναι ισόµορφη µε την (H n /T n ) T n 1. Πόρισµα Αν µία αλυσιδωτή απεικόνιση µεταξύ αλυσιδωτών complexes αβελιανών οµάδων επάγει ισοµορφισµούς στις οµολογιακές οµάδες, τότε επάγει ισοµορφισµούς και στις συνοµολογιακές οµάδες για οποιαδήποτε οµάδα G. Απόδειξη. Εφαρµόζουµε το five lemma στο παρακάτω µεταθετικό διάγραµ- µα : 0 Ext(H n 1 (C), G) H n (C; G) (α ) 0 Ext(H n 1 (C ), G) H n (C ; G) α h hom(h n (C), G) 0 h (α ) hom(h n (C ), G) 0 και έχουµε το Ϲητούµενο.

26 16 κεφαλαιο 1 - Οµολογια Και Συνοµολογια 1.3 Συνοµολογια Τοπολογικων Χωρων Ορισµός Εστω X ένας τοπολογικός χώρος και G µία αβελιανή οµάδα. Ορίζουµε την singular n-συναλυσιδωτή οµάδα να είναι η δυϊκή οµάδα hom(s n (X), G), όπου S n (X) η singular n-αλυσιδωτή οµάδα του X. Επίσης ορίζουµε τη συνσυνοριακή απεικόνιση δ : S n (X; G) S n+1 (X; G) να είναι η δυϊκή της συνοριακής απεικόνισης : S n (X) S n 1 (X). Μία n-συναλυσίδα ϕ S n (X; G) αντιστοιχεί σε κάθε singular n-simplex σ : n X µία τιµή ϕ(σ) G. Για µία συναλυσίδα ϕ S n (X; G) το ϕ συνσύνορό της είναι η σύνθεση S n+1 (X) S n (X) G. ηλαδή για ένα singular (n+1)-simplex σ : n+1 X έχουµε : (δϕ)(σ) = ϕ( σ) = i ( 1) i ϕ(σ [v0,...,ˆv i,...,v n+1 ]). Ορισµός Η δυϊκή ακολουθία : S n+1 (X; G) δ S n (X; G) δ S n 1 (X; G) δ δ S 0 δ (X; G) 0 είναι αλυσιδωτό complex και καλείται συναλυσιδωτό complex. Ορίζουµε τις συνοµολογιακές οµάδες του X, H i (X; G) να είναι το πηλίκο ker δ/imδ. Τα στοιχεία του ker δ καλούνται συνκύκλοι και τα στοιχεία του Imδ συνσύνορα. Μία συναλυσίδα ϕ είναι συνκύκλος αν δϕ = ϕ = 0. ηλαδή αν η ϕ µηδενίζει στα σύνορα. Οι αλυσιδωτές οµάδες S n (X) είναι ελεύθερες, άρα εφαρµόζοντας το universal coefficient theorem για τη συνοµολογία έχουµε ότι οι συνοµολογιακές οµάδες µε αυθαίρετους συντελεστές προσδιορίζονται από τις οµολογιακές ο- µάδες µε συντελεστές στο Z σύµφωνα µε την παρακάτω διασπώµενη ακολου- ϑία. 0 Ext(H n 1 (X), G) H n (X; G) hom(h n (X), G) 0. Ειδικά αν οι οµολογιακές οµάδες του X είναι πεπερασµένα παραγώµενες, τότε από το πόρισµα µπορούµε να υπολογίσουµε τις συνοµολογιακές οµάδες του X. Επίσης µπορούµε να υπολογίσουµε τις συνοµολογιακές οµάδες του X για n = 1 και n = 2. Για n = 0 δεν υπάρχει ο Ext όρος, εποµένως από το universal coefficient theorem έχουµε τον ισοµορφισµό : H 0 (X; G) hom(h 0 (X), G).

27 1.3 - Συνοµολογια Τοπολογικων Χωρων 17 Αφού τα singular 0-simplices είναι τα σηµεία του X, µία συναλυσίδα στο S 0 (X; G) είναι µία τυχαία απεικόνιση ϕ : X G, όχι απαραίτητα συνεχής ακόµα και αν η G έχει τοπολογία. Για να είναι η ϕ συνκύκλος ϑα πρέπει για κάθε singular 1-simplex σ : [v 0, v 1 ] X να έχουµε : δϕ(σ) = ϕ( σ) = ϕ(σ(v 1 )) ϕ(σ(v 0 )) = 0. ηλαδή ϑα πρέπει η ϕ να είναι σταθερή σε κάθε τροχιακή συνιστώσα του X. Άρα η H 0 (X; G) είναι όλες οι απεικονίσεις από το σύνολο των τροχιακών συνιστωσών του X στην G. Τώρα για n = 1 το universal coefficient theorem µας δίνει ισοµορφισµό : H 1 (X; G) hom(h 1 (X), G) αφού η H 0 (X) είναι ελεύθερη και Ext(H 0 (X), G) = 0. Θεωρούµε το αλυσιδωτό complex: S 0 (X) ε Z 0 και παίρνουµε το δυϊκό του : S 0 (X) ε Z 0 Ορισµός Οπως και στις οµολογιακές οµάδες ορίζουµε τις ελαττού- µενες συνοµολογιακές οµάδες να είναι το πηλίκο ker /Im στην παραπάνω ακολουθία. Οµοια µε τις οµολογιακές οµάδες έχουµε H n (X; G) = H n (X; G) για n > 0 και από universal coefficient theorem H 0 (X) hom( H 0 (X), G). Θεωρούµε την H 0 (X; G) ως τις απεικονίσεις από τον X στην G που είναι σταθερές στις τροχιακές συνιστώσες του X. Η ε : S 0 (X) Z στέλνει κάθε singular 0-simplex σ στο 1, άρα η ε στέλνει τον οµοµορφισµό ϕ : Z G στη ɛ σύνθεση S 0 (X) Z ϕ Z που είναι η απεικόνιση σ ϕ(1). Άρα είναι µία σταθερή απεικόνιση και αφού το ϕ(1) µπορεί να πάρει οποιαδήποτε τιµή στην G, το Imε αποτελείται ακριβώς από όλες τις σταθερές απεικονίσεις. Άρα η H 0 (X; G) είναι όλες οι απεικονίσεις X G που είναι σταθερές σε κάθε τροχιακή συνιστώσα του X modulo αυτές που είναι σταθερές παντού. Θα ορίσουµε τώρα τη σχετική συνοµολογία κατ αντιστοιχία µε την οµολογία Ορισµός Εστω A X ένας υπόχωρος του X. Ορίζουµε την οµάδα των σχετικών n-συναλυσίδων S n (X, A; G) να είναι η οµάδα hom(s n (X, A), G).

28 18 κεφαλαιο 1 - Οµολογια Και Συνοµολογια Η σχετική συνσυνοριακή απεικόνιση δ ορίζεται ως η δυϊκή της αντίστοιχης σχετικής συνοριακής απεικόνισης στις οµολογιακές οµάδες. Τα στοιχεία του πυρήνα της δ : S n (X, A; G) S n+1 (X, A; G) καλούνται σχετικοί συνκύκλοι και τα στοιχεία της εικόνας της καλούνται σχετικά συνσύνορα. Ορισµός Εστω A X ένας υπόχωρος του X. Ορίζουµε τις σχετικές συνοµολογιακές οµάδες του X να είναι οι οµάδες H i (X, A; G) = ker δ/imδ. Θεωρούµε την ακριβή ακολουθία : 0 S n (A) i S n (X) j S n (X, A) 0, όπου S n (A) είναι υποοµάδα της S n (X) και η S n (X, A) είναι το πηλίκο τους. Η ακολουθία αυτή διασπάται επειδή η σχετική οµάδα είναι ελεύθερη. Άρα και η δυϊκή 0 S n (A; G) i S n (X; G) S n (X, A; G) 0 διασπάται και άρα είναι ακριβής. Εποµένως η S n (X, A; G) είναι υποοµάδα της S n (X; G) και η S n (A; G) είναι το πηλίκο τους. Το διάγραµµα : 0 S n (A; G) i S n (X; G) S n (X, A; G) 0 δ δ 0 S n+1 (A; G) i S n+1 (X; G) S n+1 (X, A; G) 0 είναι µεταθετικό αφού και το αντίστοιχο στην οµολογία είναι µεταθετικό. Επο- µένως επάγεται η παρακάτω µακρά ακριβή ακολουθία των συνοµολογιακών οµάδων : H n (X, A; G) j H n (X; G) i H n (A; G) δ H n+1 (X, A; G). Οπως στην οµολογία έτσι και στην συνοµολογία µία συνεχής απεικόνιση επάγει οµοµορφισµούς. Εστω f : X Y. Τότε ορίζεται η f # : S n (X) S n (Y ) µε f # (σ) = f σ. Η δυϊκή αυτής της απεικόνισης είναι η f # : S n (Y ; G) S n (X; G). ηλαδή για ϕ hom(s n (Y ); G) έχουµε f # ϕ = ϕf #. Από τη σχέση f # = f # έχουµε ότι η f # απεικονίζει σύνορα σε σύνορα και κύκλους σε κύκλους. Παίρνοντας τη δυϊκή µορφή αυτής της σχέσης έχουµε : j j j (f # ) = ( f # ) δf # = f # δ. δ

29 1.3 - Συνοµολογια Τοπολογικων Χωρων 19 Εποµένως η f # απεικονίζει συνσύνορα σε συνσύνορα και συνκύκλους σε συνκύκλους. Άρα η f # επάγει οµοµορφισµούς f : H n (Y ; G) H n (X; G). Στην περίπτωση των σχετικών οµάδων µία απεικόνιση f : (X, A) (Y, B) επάγει την f : H n (Y, B; G) H n (X, A; G). Θα δείξουµε ότι αν f g : X Y τότε f = g : H n (Y ) H n (X). Αυτό αποδυκνείεται παίρνοντας τις δυϊκές µορφές στην αντίστοιχη απόδειξη για τις οµολογιακές οµάδες, όπου είχαµε την αλυσιδωτή οµοτοπία P τέτοια ώστε g # f # = P + P g # f # = P δ + δp. Άρα η P είναι αλυσιδωτή οµοτοπία µεταξύ των f # και g # : S n (Y ; G) S n (X; G). εποµένως f = g. Θεώρηµα (Θεώρηµα εκτοµής για τις συνοµολογιακές οµάδες). Εστω Z A X µε Z Å. Τότε ο εγκλεισµός i : (X Z, A Z) (X, A) επάγει ισοµορφισµούς : i : H n (X, A; G) H n (X Z, A Z; G) n Cellular Συνοµολογία Σε αυτή την ενότητα ϑα µελετήσουµε τη cellular συνοµολογία όπως κάνα- µε στην αρχή της µελέτης για τη cellular οµολογία. Εστω X ένα CWσύµπλεγµα. Εχουµε το παρακάτω διάγραµµα, αντίστοιχο του διαγράµµατος για την cellular οµολογία πριν από το ϑεώρηµα H n 1 (X n 1 ) j n 1 δ n 1... H n 1 (X n 1, X n 2 d n 1 ) H n (X n, X n 1 ) j n 0 d n H n (X) H n (X n+1 ) H n+1 (X n+1, X n )... δ n H n (X n ) 0

30 20 κεφαλαιο 1 - Οµολογια Και Συνοµολογια Εδώ d n = δ n j n. Η οριζόντια ακολουθία είναι αλυσιδωτό complex, αφού η σύνθεση d n d n 1 περιέχει τη σύνθεση j n δ n 1 = 0, και ονοµάζεται cellular αλυσιδωτό complex. Πρόταση (i) H k (X n, X n 1 ; G) = 0 για k n. (ii) H k (X n ; G) H k (X n 1 ; G) για k n, n 1. (iii) H k (X n ; G) = 0 για k > n. (iv) H k (X, X n+1 ; G) = 0 για k n + 1. (v) ο εγκλεισµός i : X n X επάγει ισοµορφισµό i : H k (X n ) H k (X) αν k < n. Απόδειξη. Η απόδειξη στηρίζεται στο Universal Coefficient Theorem. (i) Για k n έχουµε H k (X n, X n 1 ) = 0, εποµένως η οµάδα hom(h k (X n, X n 1 ), G) είναι η µηδενική. Επίσης η H k 1 (X n, X n 1 ) είναι ελεύθερη, άρα Ext(H k 1 (X n, X n 1 ); G) = 0. Εποµένως από το universal coefficient theorem έχουµε το Ϲητούµενο. (ii) Από µακρά ακριβή ακολουθία του Ϲευγαριού (X n, X n 1 ) και το (i) έ- χουµε το Ϲητούµενο. (iii) Από τους ισοµορφισµούς στο (ii). 0 = H k (X 0 ) H k (X 1 ) H k (X n ) για k > n (iv) Από το (i). (v) Αφού αυτός ο εγκλεισµός επάγει ισοµορφισµούς στις οµολογιακές ο- µάδες τότε ϑα επάγει ισοµορφισµούς και στις συνοµολογιακές οµάδες όπως έχουµε ήδη αποδείξει. Θεώρηµα H n (X; G) ker d n /Imd n 1 Απόδειξη. H n (X; G) H n (X n+1 ; G) ker δ n ker d n /Imδ n 1 ker d n /Imd n 1

31 1.3 - Συνοµολογια Τοπολογικων Χωρων 21 Οπως στην οµολογία έτσι και στη συνοµολογία ορίζεται η Mayer-Vietoris µακρά ακριβής ακολουθία. Εστω S n (A + B) η υποοµάδα της S n (X) που αποτελείται από αλυσίδες που είναι αθροίσµατα n-αλυσίδων στο A και n-αλυσίδων στο B. Θεωρούµε τη ϐραχεία ακριβή ακολουθία : 0 S n (A B) ϕ S n (A) S n (B) ψ S n (A + B) 0 και τη δυϊκή της : 0 S n (A + B, G) S n (A; G) S n (B; G) S n (A B; G) 0. Ο εγκλεισµός S n (A + B) S n (X) είναι αλυσιδωτή οµοτοπική ισοδυναµία, άρα και ο δυϊκός περιορισµός S n (X; G) S n (A + B; G) είναι αλυσιδωτή οµοτοπική ισοδυναµία. Εποµένως επάγει ισοµορφισµούς στις αντίστοιχες συνοµολογιακές οµάδες. Η πρώτη ακολουθία διασπάται άρα και η δεύτε- ϱη διασπάται, εποµένως είναι ακριβής. Άρα επάγεται η παρακάτω µακρά ακριβής ακολουθία η οποία ονοµάζεται Mayer-Vietoris. H n (X; G) H n (A; G) H n (B; G) H n (A B; G) H n+1 (X; G)

32

33 2 Cup Product 2.1 Cup Product Το κύριο πλεονέκτηµα της συνοµολογίας είναι ότι εφοδιάζεται µε γινόµενο, οπότε οι αβελιανές οµάδες γίνονται δακτύλιοι. Το γινόµενο είναι ιδιαίτερα χρήσιµο γιατί µπορούµε να διαχωρίσουµε τοπολογικούς χώρους οι οποίοι έ- χουν ισόµορφες συνοµολογιακές οµάδες αλλά δεν είναι ισόµορφοι δακτύλιοι. Ορισµός Εστω R ένας δακτύλιος. Για συναλυσίδες ϕ S k (X; R) και ψ S l (X; R) το cup product ϕ ψ S k+l (X; R) είναι η συναλυσίδα που η τιµή της σε ένα singular simplex σ : k+l X δίνεται από τον τύπο : (ϕ ψ)(σ) = ϕ(σ [v0,...,v k ])ψ(σ [vk,...,v k+l ]), όπου στο δεξιό µέρος της ισότητας έχουµε το γινόµενο στον R. Λήµµα Για ϕ S k (X; R) και ψ S l (X; R) ισχύει η παρακάτω σχέση δ(ϕ ψ) = δϕ ψ + ( 1) k ϕ δψ. Απόδειξη. Για σ : k+l+1 X έχουµε, και k+1 (δϕ ψ)(σ) = ϕ(σ v0,...,bv i,...,v k+1 )ψ(σ [vk+1,...,v k+l+1 ]) ( 1) k (ϕ δψ)(σ) = i=0 ( 1) i ϕ(σ [v0,...,v k ])ψ(σ [vk,...,bv i,...,v k+l+1 ]). k+l+1 i=k 23

34 24 κεφαλαιο 2 - Cup Product Αν προσθέσουµε τις δύο ισότητες ο τελευταίος όρος του πρώτου αθροίσµατος ακυρώνεται µε τον πρώτο όρο του δεύτερου αθροίσµατος και αυτό που µένει είναι (ϕ ψ)( σ) αφού, σ = ( 1) i σ [v0,...,bv i,...,v k+l+1 ]. k+l+1 i=0 Από τον τύπο δ(ϕ ψ) = δϕ ψ ± ϕ δψ είναι προφανές ότι το cup product δύο συνκύκλων είναι συνκύκλος. Πράγµατι, έστω ϕ, ψ δύο συνκύκλοι, δηλαδή δϕ = 0 και δψ = 0. Τότε δ(φ ψ) = δφ ψ ± φ δψ = 0. Επίσης το cup product ενός συνκύκλου και ενός συνσυνόρου είναι συνσύνορο, αφού ϕ δψ = ±δ(ϕ ψ) αν δϕ = 0 και δϕ ψ = δ(ϕ ψ) αν δψ = 0. Εποµένως το cup product µεταξύ αλυσίδων επάγεται στις συνοµολογιακές οµάδες H k (X; R) H l (X; R) H k+l (X; R). Αν ο R έχει µοναδιαίο στοιχείο, τότε υπάρχει µοναδιαίο στοιχείο για το cup product, αυτό είναι η κλάση 1 H 0 (X; R) που ορίζεται από τους 0- συνκύκλους που δίνουν την τιµή 1 R σε κάθε 0-simplex. Επίσης είναι προσεταιριστικό και επιµεριστικό. Παράδειγµα Εστω X ένα 2-διάστατο CW-σύµπλεγµα που δηµιουργείται προσκολλώντας ένα 2-κέλυφος στην S 1 σύµφωνα µε την απεικόνιση S 1 S 1, z z m. Από cellular συνοµολογία έχουµε : H i (X; Z) = Z, i = 0 0, i = 1 Z m, i = 2. Άρα δεν έχει ενδιαφέρον να µελετήσουµε το cup product µε συντελεστές στο Z. Για συντελεστές στο Z m έχουµε : Z m, i = 0 H i (X; Z m ) = Z m, i = 1 Z m, i = 2. Παίνουµε την -complex ανάλυση του X από ένα κανονικό m-γωνο χω- ϱισµένο σε m τρίγωνα T i, όπως το σχήµα 2.1. Άρα έχουµε 2 0-simplices

35 2.1 - Cup Product 25 Σχήµα 2.1: Για m = 4 {v, w}, m simplices {e 0, e 1, e 2, e 3, e} και m 2-simplices {T 0, T 1, T 2, T 3 }. Ο κύκλος e γεννά την H 1 (X). Ενας γεννήτορας α του H 1 (X; Z m ) εκπροσωπείται από έναν συνκύκλο ϕ που δίνει την τιµή 1 στο 1-simplex e. Για να είναι ο ϕ συνκύκλος ϑα πρέπει να ισχύει : δϕ = 0 δϕ(t i ) = 0 i ϕ( T i ) = 0 ϕ(e i ) + ϕ(e) = ϕ(e i+1 ) i mod m. Επειδή ϕ(e) = 1 µπορούµε να επιλέξουµε : ϕ(e i ) = i Z m. Η οµάδα H 2 (X, Z m ) γεννάται από την κλάση της αλυσίδας T T m 1, ενώ H 2 (X) = 0. Ενας γεννήτορας β της H 2 (X, Z m ) µπορεί να είναι η κλάση του 2-συνκύκλου ο οποίος δίνει την τιµή 1 στην T i. Μπορεί για παράδειγµα να είναι ένας ο οποίος δίνει την τιµή 1 στον T i και 0 στον T j, j i. Εδώ έχουµε ότι H 2 (X, Z m ) hom(h 2 (X, Z m ), Z m ). Το γινόµενο ϕ ϕ είναι στοιχείο της H 2 (X, Z m ) και ϑέλουµε να ϐρούµε την τιµή του. Θα το υπολογίσουµε στον κύκλο T i. ϕ ϕ( T i ) = ϕ ϕ(t i ) = ϕ(e i )ϕ(e) = i = (m 1) Άρα ϕ ϕ = ( m 1 0 i)β mod m. Στο Z m το άθροισµα (m 1) είναι 0 αν ο m είναι περιττός και k αν m = 2k. Άρα, α α = 0, αν ο m είναι περιττός και α α = kβ, αν m = 2k. Ειδικά αν m = 2 τότε ο X είναι ο πραγµατικός προβολικός χώρος RP 2 και α α = β.

36 26 κεφαλαιο 2 - Cup Product Εισάγουµε τώρα τα παρακάτω επαγώµενα cup products στη σχετική συνοµολογία : H k (X; R) H l (X, A; R) H k+l (X, A; R) H k (X, A; R) H l (X; R) H k+l (X, A; R) H k (X, A; R) H l (X, A; R) H k+l (X, A; R). Αφού τουλάχιστον ένα από τα ϕ και ψ µηδενίζει στο A, τότε και το ϕ ψ µηδενίζει στο A. Επίσης υπάρχει το πιο γενικό relative cup product: H k (X, A; R) H l (X, B; R) Το αρχικό cup product περιορίζεται στο S k (X, A; R) S l (X, B; R) H k+l (X, A B; R). S k+l (X, A + B; R), όπου S n (X, A + B; R) η υποοµάδα της S n (X; R) που αποτελείται από συναλυσίδες που µηδενίζουν σε αθροίσµατα αλυσίδων στο A και αλυσίδων στο B. Αν τα A και B είναι ανοιχτά υποσύνολα του X, οι εγκλεισµοί : S n (X, A B) S n (X, A + B; R) επάγουν ισοµορφισµούς στη συνοµολογία, από το five-lemma και από το γεγονός ότι οι απεικονίσεις : S n (A B; R) S n (A + B; R) επάγουν ισοµορφισµούς στη συνοµολογία. Άρα το cup product: S k (X, A; R) S l (X, B; R) S k+l (X, A + B; R) επάγει το παραπάνω σχετικό cup product. Επίσης αυτό το cup product ισχύει και όταν ο X είναι CW-σύµπλεγµα και τα A και B είναι υποσυµπλέγµατα του X. Πρόταση Εστω f : X Y. Για την επαγώµενη f : H n (Y ; R) H n (X; R) ισχύει ο τύπος : f (α β) = f (α) f (β).

37 2.2 - Ο Συνοµολογιακος ακτυλιος 27 Απόδειξη. Αυτό προέρχεται από τον τύπο f # (ϕ) f # (ψ) = f # (ϕ ψ). (f # ϕ f # ψ)(σ) = f # ϕ(σ [v0,...,v k ])f # ψ(σ [vk,...,v k+l ]) = ϕ(fσ [v0,...,v k ])ψ(fσ [vk,...,v k+l ]) = (ϕ ψ)(fσ) = f # (ϕ ψ)(σ). 2.2 Ο Συνοµολογιακος ακτυλιος Ορισµός Ορίζουµε την οµάδα H (X; R) να είναι το ευθύ άθροισµα των οµάδων H n (X; R). Τα στοιχεία του H (X; R) είναι πεπερασµένα αθροίσµατα i α i µε α i H i (X; R). Το γινόµενο δύο τέτοιων στοιχείων ορίζεται ως : ( ) ( ) α i β j = α i β j. i j i,j Αυτό το γινόµενο κάνει την H (X; R) δακτύλιο. Ο δακτύλιος αυτός έχει µοναδιαίο στοιχείο αν ο R έχει µοναδιαίο στοιχείο. Από το παράδειγµα έχουµε ότι ο δακτύλιος H (RP 2 ; Z 2 ) αποτελείται από τα πολυώνυµα a 0 + a 1 α + a 2 α 2 µε συντελεστές a i Z 2. ηλαδή H (RP 2 ; Z 2 ) = Z 2 [α]/(α 3 ). Ορισµός Ενας δακτύλιος A καλείται ϐαθµολογηµένος δακτύλιος εάν έχει ανάλυση σε άθροισµα i 0 A i προσθετικών οµάδων τέτοιο ώστε ο πολλαπλασιασµός να είναι A k A l A k+l. Για να πούµε ότι ένα στοιχείο a A ανήκει στην A k γράφουµε a = k και καλούµε το a διάσταση του a. Αµέσως ϑα υπολογίσουµε τη συνοµολογία των προβολικών χώρων οι οποίοι είναι ιδιαίτερα σηµαντικοί στην τοπολογία και τη γεωµετρία. Η απόδειξη στηρίζεται στο σχετικό cup product και στην γνωστή τους ανάλυση σαν CWσυµπλέγµατα. Θεώρηµα Επίσης, H (RP n ; Z 2 ) Z 2 [α]/(α n+1 ) και H (RP ; Z 2 ) Z 2 [α], όπου α = 1. H (CP n ; Z) Z[α]/(α n+1 ) και H (CP ; Z) Z[α], όπου α = 2.

38 28 κεφαλαιο 2 - Cup Product Απόδειξη. Για τη συνοµολογία του προβολικού χώρου ϑα χρησιµοποιήσουµε Z 2 συντελεστές. Αρκεί να δείξουµε ότι το cup product ενός γεννήτορα της H n 1 (RP n ) µε ένα γεννήτορα της H 1 (RP n ) είναι γεννήτορας της H n (RP n ). Θα δείξουµε πιο γενικά ότι το cup product ενός γεννήτορα της H i (RP n ) µε ένα γεννήτορα της H n i (RP n ) είναι γεννήτορας της H n (RP n ). Σχήµα 2.2: Προβολικός Χώρος Ο RP n είναι τα µη µηδενικά διανύσµατα (x 0,..., x n ) R n+1 modulo πολλαπλασιασµό µε µη µηδενικούς συντελεστές. Θέτουµε j = n i. Στον RP n υπάρχει ένα αντίγραφο του RP i που εκπροσωπείται από διανύσµατα που οι j τελευταίες συντεταγµένες x i+1,..., x n είναι µηδέν. Επίσης υπάρχει ένα αντίγραφο του RP j που εκπροσωπείται από τα διανύσµατα που οι πρώτες i συντεταγµένες, x 0,..., x i 1, είναι µηδέν. Η τοµή RP i RP j είναι τα διανύσµατα µε µόνη µη µηδενική συντεταγµένη την x i, δηλαδή είναι ένα σηµείο p. Τώρα έστω U ο υπόχωρος του RP n που εκπροσωπείται από διανύσµατα µε µη µηδενική την x i συντεταγµένη. Κάθε σηµείο U µπορεί να εκπροσωπηθεί από διανύσµατα µε x i = 1 και τις υπόλοιπες συντεταγµένες αυθαίρετες. Άρα το U είναι οµοιοµορφικό µε τον R n. Μπορούµε επιπλέον να υποθέσουµε ότι το σηµείο p απεικονίζεται στο 0 µέσω αυτού του οµοιοµορφισµού. Από το σχήµα 2.2 έχουµε ότι U = RP n RP n 1. Θεωρούµε το επόµενο αντιµεταθετικό διάγραµµα : H i (RP n ) H j (RP n ) H n (RP n ) H i (RP n, RP n RP j ) H j (RP n, RP n RP i ) H n (RP n, RP n {p}) H i (R n, R n R j ) H j (R n, R n R i ) H n (R n, R n {0}). Εδώ χρησιµοποιούµε ότι R n R j S n j 1 και H k (R n, R n R j ) H k 1 (R n R j ) H k 1 (S n j 1 ). Το κάτω cup product απεικονίζει γινόµενο δύο γεννητόρων σε γεννήτορα. Το ίδιο ϑα ισχύει και για το πάνω cup product εάν οι

39 2.2 - Ο Συνοµολογιακος ακτυλιος 29 τέσσερις κάθετες απεικονίσεις είναι ισοµορφισµοί. Η κάτω δεξιά απεικόνιση είναι ισοµορφισµός από το ϑεώρηµα εκτοµής. Η πάνω δεξιά απεικόνιση είναι ισοµορφισµός αφού το RP n {p} είναι deformation retract του RP n 1, άρα H n (RP n, RP n {p}) H n (RP n, RP n 1 ) και από cellular συνοµολογία H n (RP n, RP n 1 ) H n (RP n ). Για να δείξουµε ότι οι απεικονίσεις στην αριστερή στήλη είναι ισοµορφισµοί αρκεί να δείξουµε ότι όλες οι απεικονίσεις στο παρακάτω µεταθετικό διάγραµµα είναι ισοµορφισµοί, H i (RP n ) H i (RP n, RP i 1 ) H i (RP n, RP n RP j ) H i (R n, R n R j ) H i (RP i ) H i (RP i, RP i 1 ) H i (RP i, RP i {p}) H i (R i, R i {0}). Το αριστερό τετράγωνο αποτελείται από ισοµορφισµούς από cellular συνοµολογία. Η απεικόνιση στα δεξιά είναι προφανώς ισοµορφισµός. Η δεξιά κάτω απεικόνιση είναι ισοµορφισµός από ϑεώρηµα εκτοµής. Η δεύτερη από δεξιά οριζόντια απεικόνιση είναι ισοµορφισµός επειδή το RP i {p} είναι deformation retract του RP i 1. Οι υπόλοιπες απεικονίσεις ϑα είναι ισοµορφισµοί εάν η µεσαία πάνω απεικόνιση είναι ισοµορφισµός. Αυτή είναι ισοµορφισµός αφού το RP n RP j είναι deformation retract του RP i 1. Πράγµατι, ο υ- πόχωρος RP n RP j RP n αποτελείται από σηµεία που εκπροσωπούνται από διανύσµατα v = (x 0,..., x n ) µε τουλάχιστον µία από τις x 0,..., x i 1 µη µηδενική. Ο τύπος f t (v) = (x 0,..., x i 1, tx i,..., tx n ) 0 t 1 ορίζει ένα deformation retract του RP n RP j στο RP i 1. Στην περίπτωση του πραγµατικού προβολικού χώρου RP ο εγκλεισµός RP n RP επάγει ισοµορφισµούς στις συνοµολογιακές οµάδες από cellular συνοµολογία. Επειδή H i (RP n, Z 2 ) H i (RP, Z 2 ) για i n έχουµε H (RP ; Z 2 ) Z 2 Z 2 µε το προηγούµενο cup product. ηλαδή, H (RP ) Z 2 [α]. Οµοια αποδυκνύεται η περίπτωση του µιγαδικού προβολικού χώρου. Πρόταση Ο ισοµορφισµός οµάδων H ( α X α; R) α H (X α ; R) µε i α : X α α X α είναι ισοµορφισµός δακτυλίων, αφού κάθε απεικόνιση i α είναι οµοµορφισµός δακτυλίων. Οµοια για το σφηνοειδές άθροισµα έχουµε ισοµορφισµό δακτυλίων : ) H ( α X α ; R α H (X α ; R).