Alexanderin–Spanierin kohomologia

Wikipedia

Algebrallisessa geometriassa Alexanderin–Spanierin kohomologia on kohomologiteoria, joka esiintyy monistojen differentiaalimuotojen, joilla on kompakti kantaja, teoriassa. Teoria on samantapaista ja jossain määrin duaalista de Rhamin kohomologian kanssa. Kohomologia on saanut nimensä J. W. Alexanderin ja Edwin Henry Spanierin (1921-1996) mukaan.

Olkoon X annettu monisto. Olkoon $\Omega^k_{\mathrm c}(X)$ reaalinen X:n k-muotojen vektoriavaruus joilla on kompakti kantaja ja olkoon d ulkoinen derivaatta. Tällöin Alexanderin–Spanierin kohomologiaryhmät $H^k_{\mathrm c}(X)$ ovat homologisia ketjukompleksin $(\Omega^\bullet_{\mathrm c}(X),d)$ :

$0 \to \Omega^0_{\mathrm c}(X) \to \Omega^1_{\mathrm c}(X) \to \Omega^2_{\mathrm c}(X) \to \ldots$ ;

kanssa, eli $H^k_{\mathrm c}(X)$ on suljettuja k-muotoja modulo eksakti k-muoto.

Huolimatta niiden määritelmästä homologiakompleksina, Alexanderin–Spanierin ryhmät käyttäytyvät kovariantisti. Esimerkiksi jos on annettu inkluusiokuvaus X:n avoimelle joukolle U, on laajennus U:lta X:ään $\Omega^\bullet_{\mathrm c}(U) \to \Omega^\bullet_{\mathrm c}(X)$ , joka indusoi kuvauksen

$H^k_{\mathrm c}(U) \to H^k_{\mathrm c}(X)$ .

Ne antavat myös esimerkin kontravariantista kunnollisten kuvausten suhteen, eli kuvauksen kompaktien joukkojen alkukuvat ovat kompakteja. Olkoon F: U → X tällainen kuvaus. Tällöin pullback

$f^*: \Omega^k_{\mathrm c}(X) \to \Omega^k_{\mathrm c}(U): \sum_I g_I \, dx_{i_1} \wedge \ldots \wedge dx_{i_k} \mapsto (g \circ f) \, d(x_{i_1} \circ f) \wedge \ldots \wedge d(x_{i_k} \circ f)$