Homologia singularna

Homologia singularna – pojęcie odnoszące się do badania pewnego rodzaju algebraicznych niezmienników przestrzeni topologicznych, zwanych grupami homologii singularnej. Homologia singularna jest szczególnym przykładem teorii homologii, których liczba w ciągu ostatniego półwiecza znacząco wzrosła. Ponieważ jest budowana na dość konkretnych fundamentach, jest jedną z mniej abstrakcyjnych i prostszych do zrozumienia teorii homologii.

W skrócie, konstrukcja homologii singularnych polega na rozpatrywaniu przekształceń ze standardowego n-sympleksu w daną przestrzeń topologiczną $X.$ Przekształcenia te łączymy w formalne sumy, otrzymując dla każdego $n\geqslant 0$ wolną grupę abelową. Grupy te są połączone operatorami brzegu, a całość tworzy kompleks łańcuchowy. Grupy homologii singularnych to po prostu grupy homologii tego kompleksu łańcuchowego. Dla homotopijnie równoważnych przestrzeni otrzymujemy izomorficzne grupy, co pozwala patrzeć na nie jak na pewnego rodzaju algebraiczne niezmienniki, przyporządkowane klasom homotopijnej równoważności przestrzeni. Ponieważ konstrukcję tę można przeprowadzić dla dowolnych przestrzeni topologicznych, a ciągłe przekształcenia między przestrzeniami indukują morfizmy grup homologii tych przestrzeni, homologie singularne można wyrazić w terminach teorii kategorii jako funktor z kategorii przestrzeni topologicznych do kategorii grup abelowych z gradacją.

Kompleks łańcuchów singularnych

Ustalmy przestrzeń topologiczną $X.$ Singularnym n-sympleksem w przestrzeni $X$ nazywamy dowolne ciągłe przekształcenie $\sigma \colon \Delta ^{n}\to X$ ze standardowego n-sympleksu w przestrzeń $X.$ Przekształcenie nie musi być różnowartościowe i jego obraz nie musi wcale wyglądać jak sympleks – może mieć różnorakie „osobliwości” (ang. singularities), skąd nazwa.

Niech dla każdego $n\geqslant 0,$ $C_{n}(X)$ będzie wolną grupą abelową generowaną przez zbiór $S_{n}(X)$ wszystkich singularnych n-sympleksów w przestrzeni $X,$ tj. grupą wszystkich skończonych formalnych sum postaci

$\sum _{i}n_{i}\sigma _{i}$

dla $n_{i}\in \mathbb {Z} ,\sigma _{i}\in S_{n}(X).$ Nazywamy tę grupę grupą n-wymiarowych łańcuchów singularnych w przestrzeni X. Określmy dla $n>0$ operator brzegu $\partial _{n}\colon C_{n}(X)\to C_{n-1},$ zadany na generatorach $C_{n}(X)$ wzorem:

$\partial _{n}(\sigma )=\sum _{i=0}^{n}(-1)^{i}\sigma |[v_{0},v_{1},\dots ,v_{i-1},v_{i+1},\dots ,v_{n}],$

gdzie $[v_{0},v_{1},\dots ,v_{n}]$ oznacza sympleks rozpięty na wierzchołkach $v_{0},v_{1},\dots ,v_{n}.$ Wzór ten oznacza, że obrazem singularnego n-sympleksu jest suma singularnych (n-1)-sympleksów będących obcięciami n-sympleksu do jego ścian, ze współczynnikami równymi naprzemiennie 1 i −1.

Proste przekształcenia algebraiczne pozwalają stwierdzić, że $\partial _{n-1}\partial _{n}=0,$ zatem grupy łańcuchów wraz z operatorami brzegu tworzą kompleks łańcuchowy, zwany kompleksem singularnym.

Grupy homologii singularnych

Mając ustaloną przestrzeń $\mathrm {X} ,$ możemy określić grupy homologii singularnych $H_{n}(X)$ jako grupy homologii stowarzyszone z kompleksem singularnym.

Dla przykładu, biorąc za $\mathrm {X}$ przestrzeń jednopunktową $\{x_{0}\},$ zauważamy, że dla każdego $n\geqslant 0$ istnieje dokładnie jeden n-sympleks singularny w $\mathrm {X} .$ W związku z tym, grupy łańcuchów $C_{n}(X)$ są izomorficzne z $\mathbb {Z}$ i generowane przez ten jedyny sympleks. Operator brzegu $\partial _{n}\colon C_{n}(X)\to C_{n-1}(X)$ w zależności od parzystości $n$ przeprowadza generator na 0 lub na generator $C_{n-1}(X),$ gdyż w formalnej sumie będącej efektem zastosowania operatora brzegu wszystkie (n-1)-sympleksy są identyczne, a 1 i −1 się redukują, pozostawiając jeden wyraz albo nic.

Mamy zatem następujący kompleks łańcuchowy:

$\ldots \,\xrightarrow {\simeq } \,\mathbb {Z} \,\xrightarrow {0} \,\mathbb {Z} \,\xrightarrow {\simeq } \,\mathbb {Z} \,\xrightarrow {0} \,\mathbb {Z} \,\xrightarrow {\simeq } \,\mathbb {Z} \,\xrightarrow {0} \,\mathbb {Z} \,\xrightarrow {0} \,0.$

Widać natychmiast, że homologie tego kompleksu są równe $H_{n}(X)=0$ dla $n>0$ i $H_{0}(X)=\mathbb {Z} .$

Indukowane morfizmy

Mając dane przekształcenie $f\colon X\to Y$ możemy określić przekształcenia $f_{\bullet }\colon C(X)\to C(Y)$ wzorem

$f_{n}(\sigma )=f\sigma .$

Łatwo zauważyć, że $f_{\bullet }=(f_{n})_{n\in \mathbb {N} }$ jest przekształceniem łańcuchowym, tzn. zachodzi równość:

$\partial _{n}f_{n}=f_{n-1}\partial _{n}.$

Wynika z tego, że $f_{n}$ przeprowadza cykle na cykle i brzegi na brzegi, zatem indukuje homomorfizm na poziomie grup homologii $f_{n}\colon H_{n}(X)\to H_{n}(Y).$

Morfizmy indukowane są użytecznym narzędziem w badaniu przestrzeni i przekształceń pomiędzy nimi. Umożliwia to podstawowa własność morfizmów indukowanych: homotopijne przekształcenia indukują ten sam morfizm na grupach homologii. Razem z innymi własnościami, takimi jak:

$(fg)_{\bullet }=f_{\bullet }g_{\bullet }$

$\mathrm {id} _{\bullet }=\mathrm {id}$

pozwala to na zauważenie, że homotopijnie równoważne przestrzenie muszą mieć izomorficzne grupy homologii. Istotnie, dla przestrzeni $X,Y$ i przekształceń $f\colon X\to Y,g\colon Y\to X,$ takich że $fg\simeq \mathrm {id} _{X},gf\simeq \mathrm {id} _{Y},$ musimy mieć $(fg)_{\bullet }=f_{\bullet }g_{\bullet }=\mathrm {id} _{\bullet }=\mathrm {id} ,$ skąd $f_{n}\colon H_{n}(X)\to H_{n}(Y)$ dla każdego $n\geqslant 0$ jest izomorfizmem z odwrotnością $g\colon H_{n}(Y)\to H_{n}(X).$

Na przykład grupy homologii kuli w przestrzeni euklidesowej (lub ogólnie, przestrzeni ściągalnych) są zerowe we wszystkich wymiarach poza zerem, gdzie są równe $\mathbb {Z} ,$ bo mają typ homotopii punktu.

Homologie relatywne

Definicja

Homologie relatywne są użytecznym narzędziem do badania relacji między przestrzenią a jej podprzestrzenią. Dla danej podprzestrzeń $A\subset X,$ można określić n-tą grupę relatywnych łańcuchów w $A$ względem $X$ jako

$C_{n}(X,A)=C_{n}(X)/C_{n}(A).$

Operator brzegu $\partial _{n}\colon C_{n}(X)\to C_{n-1}(X)$ przeprowadza łańcuchy zawarte w $A$ na łańcuchy zawarte $A,$ a więc indukuje operator brzegu $\partial '_{n}\colon C_{n}(X,A)\to C_{n-1}(X,A).$ Zależność $\partial '_{n-1}\partial '_{n}=0$ jest prawdziwa, bo była prawdziwa przed przejściem do operatorów indukowanych. Grupy łańcuchów relatywnych tworzą więc kompleks łańcuchowy, a jego homologie zapisuje się jako $H_{n}(X,A)$ i nazywa się je homologiami X względem A.

Następujący krótki ciąg dokładny kompleksów łańcuchowych:

$0\to C_{n}(A)\to C_{n}(X)\to C_{n}(X,A)\to 0$

można na podstawie lematu o wężu wyprostować do długiego ciągu dokładnego homologii relatywnych:

$\ldots \to H_{n+1}(X,A)\xrightarrow {\partial } H_{n}(A)\to H_{n}(X)\to H_{n}(X,A)\xrightarrow {\partial } H_{n-1}(A)\to \dots ,$

gdzie $\partial$ to naturalne przekształcenia uzyskane z lematu o wężu.

Własność wycinania

Fundamentalną własnością relatywnych grup homologii jest możliwość wycinania: jeżeli zbiór $Z$ jest zawarty dostatecznie „głęboko” wewnątrz $A,$ to możemy go „wyciąć”, nie zmieniając relatywnych grup homologii.

Bardziej formalnie, jeżeli $Z$ jest takim zbiorem, że jego domknięcie jest zawarte we wnętrzu $A,$ to włożenie $(X-Z,A-Z)\to (X,A)$ indukuje izomorfizm grup homologii relatywnych: $H_{n}(X-Z,A-Z)\simeq H_{n}(X,A).$ Równoważnie, jeżeli wnętrza podprzestrzeni $A,B\subset X$ pokrywają $X$ (tzn. ${\textrm {int}}A\cup {\textrm {int}}B=X$), to włożenie $(B,A\cap B)\to (X,A)$ indukuje izomorfizm $H_{n}(B,A\cap B)\simeq H_{n}(X,A).$

Homologie zredukowane

Definiuje się grupy homologii zredukowanych przestrzeni $X$ poprzez uzupełnienie zwykłego kompleksu łańcuchów singularnych o dodatkowy składnik w $\mathbb {Z}$ w wymiarze −1:

$\ldots \to C_{2}(X)\xrightarrow {\partial _{2}} C_{1}(X)\xrightarrow {\partial _{1}} C_{0}(X)\xrightarrow {\epsilon } \mathbb {Z} \to 0,$

gdzie $\epsilon (\sum _{i}n_{i}\sigma _{i})=\sum _{i}n_{i}.$ Dowodzi się, że tak określone przekształcenie $\epsilon$ spełnia tożsamość $\epsilon \partial _{1}=0.$ Homologie zredukowane ${\tilde {H}}_{n}(X)$ przestrzeni $X$ to wtedy po prostu homologie tego kompleksu. Z zależności $\epsilon \partial _{1}=0$ wynika, że $\epsilon$ indukuje przekształcenie $H_{0}(X)\to \mathbb {Z}$ z jądrem ${\tilde {H}}_{0}(X),$ skąd $H_{0}(X)\simeq {\tilde {H}}_{0}(X)\oplus \mathbb {Z} .$ Oczywiście, $H_{n}(X)={\tilde {H}}_{n}(X)$ dla $n>0.$

Analogicznie do zwykłych homologii relatywnych definiuje się zredukowane homologie relatywne. Istnieje również odpowiednik długiego ciągu dokładnego homologii relatywnych dla homologii zredukowanych. Powstaje on poprzez uzupełnienie krótkiego ciągu dokładnego kompleksów łańcuchowych:

$0\to C_{n}(A)\to C_{n}(X)\to C_{n}(X,A)\to 0$

o dodatkowy ciąg dokładny w wymiarze −1:

$0\to \mathbb {Z} {\xrightarrow {\textrm {id}}}\mathbb {Z} \to 0\to 0.$

W szczególności, oznacza to, że $H_{n}(X,A)\simeq {\tilde {H}}_{n}(X,A),$ o ile $A\neq \emptyset .$

Zapisując długi ciąg dokładny zredukowanych homologii relatywnych dla pary $(X,x_{0}),$ gdzie $x_{0}\in X$ jest dowolnym punktem $X,$ otrzymujemy:

$\ldots \to {\tilde {H}}_{n+1}(X,x_{0})\xrightarrow {\partial } {\tilde {H}}_{n}(x_{0})\to {\tilde {H}}_{n}(X)\to {\tilde {H}}_{n}(X,x_{0})\xrightarrow {\partial } {\tilde {H}}_{n-1}(x_{0})\to \ldots$

otrzymujemy izomorfizm ${\tilde {H}}_{n}(X)\simeq {\tilde {H}}_{n}(X,x_{0})=H_{n}(X,x_{0})$ dla każdego $n,$ ponieważ ${\tilde {H}}_{n}(x_{0})=0$ dla każdego $n.$

Bibliografia

• Allen Hatcher, Algebraic topology. Cambridge University Press, ISBN 0-521-79160-X and ISBN 0-521-79540-0.
• J.P. May, A Concise Course in Algebraic Topology, University of Chicago Press, ISBN 0-226-51183-9.
• Joseph J.J.J. Rotman Joseph J.J.J., An Introduction to Algebraic Topology, New York: Springer-Verlag, 1988, ISBN 0-387-96678-1, OCLC 17383909 .brak strony (książka)