I'm reading the books by Bott & Tu and Milnor & Stasheef simultaneously. The following is my doubt:


The Thom isomorphism in Bott & Tu is obtained as $H\_{cv}^{\*+n}(E)\rightarrow H^\*(M)$, where $\pi\colon E\to M$ is $n$ plane bundle over the manifold of dimension $m$ manifold $M$ and the isomorphism is given by the integration along fiber map $\pi\_\*$. By the projection formula, the Thom isomorphism $\mathscr{T}$, inverse to $\pi\_\*$, is then explicitly given by $\omega\mapsto \pi^\*(\omega)\wedge\Phi$, where $\Phi=\mathscr{T}(1)$ is the Thom class of $E$.


In Milnor & Stasheef, the isomorphism is $\mathscr{T}\colon H^\*(M)\to H^{\*+n}(E,E\_0)$, where $E\_0$ is the complement of zero section and the map factors through $H^\*(E)$ i.e. $H^\*(M)\xrightarrow{\pi^\*} H^\*(E)\xrightarrow{\smile\text{fundamental class}} H^{\*+n}(E,E\_0)$.


I know that $H\_{c}^{\*+n}(E)=\varinjlim H\_{c}^{\*+n}(E, E-K)$ over the directed set of compact subsets of $E$. My question is, how can I relate $H^{\*+n}(E,E\_0)$ and $H\_{cv}^{\*+n}(E)$. 


Any hint would be helpful. Thanks.



Relation between compact vertical cohomology and local cohomology groups
Compactly supported homology can be seen to be equal to the reduced homology of the one point compactification, essentially by definition of the topology on the one point compactification.


A similar argument shows that vertical compactly supported homology is the reduced homology of the space obtained by compactifying the fibers and then identifying each of the points at infinity to a single point.


Excision then relates this to the relative homology $H^\* (E, E\_0)$. $H^\* (E, E\_0) \cong H^\*(D(E),S(E)) \cong \bar{H}^\*(D(E)/S(V))$. Here $D(E),S(E)$ are the disk and sphere bundles. This quotient can be seen to be homeomorphic to the space obtained by compactifying the fibers and then identifying the points at infinity. This space is called the Thom space of E. This then yields the isomorphism between vertical compactly supported homology and the relative homology of the total space and the total space with deleted zero section 


