omologia, gruppi di
omologia, gruppi di
omologia, gruppi di in topologia algebrica, sequenza di gruppi abeliani, solitamente denotati con Hn(C) (un gruppo per ogni numero intero n), che si associa a un qualsiasi complesso di catene C. I gruppi di omologia sono oggetti algebrici fondamentali in topologia perché forniscono degli invarianti omotopici (→ omotopia) e quindi degli invarianti topologici che, in alcuni casi, risultano essere i più semplici da utilizzare per mostrare che due spazi topologici non sono topologicamente equivalenti. Dato un complesso di catene C = ... → Cn+1 → Cn → Cn−1 → ..., dove le frecce indicano dei morfismi bordo ∂n (con n intero), il gruppo dei cicli di dimensione n e il gruppo dei bordi di dimensione n sono, rispettivamente, il nucleo del morfismo ∂n e l’immagine del morfismo ∂n+1 e vengono solitamente denotati con Zn(C) e Bn(C). Entrambi sono sottogruppi di Cn e, dal momento che la composizione ∂n ○ ∂n+1 è il morfismo nullo, Bn(C) è un sottogruppo di Zn(C). L’ennesimo gruppo di omologia Hn(C) del complesso C è il gruppo quoziente Hn(C) = Zn(C)/Bn(C). È comune usare il termine omologia di dimensione i al posto di i-esimo gruppo di omologia. Esempi di gruppi di omologia sono i gruppi di omologia simpliciale che vengono associati a un qualsiasi complesso simpliciale CX e, quindi, allo spazio topologico X di cui CX fornisce una triangolazione (→ spazio topologico, triangolazione di uno). Storicamente essi sono stati alla base dello sviluppo dei metodi omologici. La loro definizione si ottiene attraverso il concetto di complesso delle catene simpliciali ... →Cn+1 →Cn →Cn−1 → ... di un complesso simpliciale C. Il gruppo Cn delle catene simpliciali orientate di dimensione n è il gruppo delle combinazioni lineari a coefficienti interi (o, più in generale, a coefficienti in un qualsiasi anello) dei simplessi euclidei orientati di dimensione n di C, con l’identificazione σ = −σ′ se σ e σ′ sono lo stesso simplesso con orientazione opposta. Il morfismo bordo ∂n è l’unico morfismo definito su un n-simplesso orientato σ nel seguente modo: denotato con [v0, v1, v2, ..., vn] il simplesso σ con orientazione v0 < v1 < v2 < ... < vn dei suoi vertici, il bordo di σ è la catena simpliciale
(in cui v̂i significa che vi non appare).
La composizione ∂n ○ ∂n+1 è il morfismo nullo. I gruppi di omologia simpliciale del complesso simpliciale C sono i gruppi di omologia del complesso delle catene simpliciali di C. Essi costituiscono degli invarianti omotopici: dati due spazi topologici X e Y omotopicamente equivalenti e due qualsiasi complessi simpliciali CX e CY che forniscono una triangolazione, rispettivamente, di X e Y, i gruppi di omologia simpliciale di CX e di CY sono isomorfi per ogni n. I gruppi di omologia simpliciale di uno spazio topologico triangolabile X sono strettamente correlati ai gruppi di coomologia simpliciale di X, che sono ottenuti attraverso un processo di dualizzazione applicato al complesso delle catene simpliciali (→ coomologia, gruppi di). I gruppi di coomologia simpliciale sono determinati dai gruppi di omologia simpliciale e viceversa; conoscere gli uni è dunque equivalente a conoscere gli altri e le proprietà intrinseche di uno spazio topologico X deducibili dai suoi gruppi di omologia simpliciale coincidono con quelle deducibili dai suoi gruppi di coomologia simpliciale. Per la sfera (di dimensione 2) gli unici gruppi di omologia simpliciale non banali sono H0 = Z e H2 = Z; per la circonferenza, il cilindro, il nastro di Möbius sono H0 = Z e H1 = Z; per la bottiglia di Klein sono H0 = Z e H1 = Z ⊕ Z2 (dove il simbolo ⊕ indica la somma diretta); per il toro sono H0 = Z, H1 = Z ⊕ Z e H2 = Z. Il simbolo di uguaglianza qui utilizzato indica più precisamente la relazione di isomorfismo tra gruppi.