[Math] Long exact sequence for cohomology with compact supports

algebraic-topologyhomology-cohomologyreference-request

Related to my previous question here. Let $X$ be a topological space and let $H_c^{\bullet}(X)$ denote its singular cohomology with compact supports (rational coefficients). Let $U$ be an open subset of $X$ and $C$ be its complement (which is then closed). I am trying to prove the existence of a long exact sequence

$$ \cdots \to H^i_c(U) \to H^i_c (X) \to H^i_c (C) \to H^{i+1}_c (U) \to \cdots$$

Can someone help me prove this or provide a reference? I know such a sequence follows if there is a short exact sequence of chain complexes: $$ 0 \to C^{\bullet}_C(U) \to C^{\bullet}_C(X) \to C^{\bullet}_C(C) \to 0.$$

Inclusion could perhaps be the first non-zero map, but what could the other one be? Or is this approach not good. Thanks for any help!

Best Answer

$H_c(X)=\tilde H(X^*)$ where $X^*$ is the one-point compactification of $X$ — so theorems about cohomology with compact can be deduced from theorems about ordinary cohomology.

In particular, the long exact sequence for the pair $(X^*,C^*)$ in ordinary cohomology gives the desired exact sequence ($H(X^*,C^*)\cong H_c(U)$ by excision).


Anyway, the map $C_c(X)\to C_c(C)$ is the usual restriction. And the kernel of this restriction is $C_c(X,C)$ which is quasiisomorphic to $C_c(U)$ (by excision: $C(X,(X-K)\cup C)\cong C(U,X-(K\cap U))$; cf. «extension by zero» in the de Rham case).

Related Question