# Relation between compact vertical cohomology and local cohomology groups

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.

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
• @AlekosRobotis First off, let me mention everything I wrote should be in cohomology not homology. Now, suppose that our space $X$ behaves nice enough so that there is a well behaved contractible neighborhood of the point at infinity in the compactification (maybe this is always true). Excision type results will imply that the inclusion of cochains that are zero valued in some neighborhood of infinity into cochains that are zero valued at infinity is an isomorphism on cohomology. But such a complex is isomorphic to the complex of compactly supported cochains, just by forgetting $\infty$. Mar 27, 2021 at 6:30