Long exact sequence for cohomology with compact supports 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!
 A: $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).
A: The existence of such an exact sequence can be found in Bredon's book "Sheaf Theory" (version McGraw-Hill 1967, section III.1) for the singular cohomology with compact support where one has to assume that the spaces $X$ and $C$ are HLC which means the following: for each $x \in X$ and neighborhood $U$ of $x$ there is a neighborhood $V \subseteq U$ of $x$ depending on $p$ such that $H_p(V) \to H_p(U)$ is trivial where $H_∗$ is the reduced singular homology.
Another proof can be found in Spanier's book "Algebraic Topology" (version McGraw-Hill 1966, section 6.7), for the Alexander cohomology with compact support, assuming the $X$ is a locally compact Hausdorff space. (In fact, one has to look at the proof of Theorem 15.)
Note that HLC implies that Alexander cohomology coincides with the singular cohomology. Also note that CW-complexes are HLC since they are locally contractible. So the sequence exists for example for complex algebraic varieties and closed subvarieties.
A: For what it's worth, when $X$ is a closed compact oriented manifold and $C$ a closed oriented submanifold of codimension $r$, then by Poincare duality, the sequence is isomorphic to the homology sequence
$$\cdots\to H_k(U)\to H_k(X)\to H_{k-r}(C)\to H_{k-1}(U)\to \cdots$$
which is just the long exact sequence of the pair $(X,U)$ by noticing the Thom isomorphism $$H_{k}(X,U)\cong H_{k-r}(C), ~\alpha\mapsto \alpha\cap C.$$
