# By excision and Thom isomorphism…

I am reading Claire Voisin's presentation of the Hodge structure of a blowup. It is somewhat faithfully copied on page 76-78 of these notes (except compared to the notation below, which follows Voisin's, $Z$ becomes $Y$ -- most of the time, at least). My question is about the second-to-last displayed line on page 77 of those notes.

Let $X$ be a Kahler manifold, $Z$ a submanifold of (complex) codimension $r$, and $U=X-Z$. Then she claims that by excision and Thom isomorphism, $$H^{k-1}(X,U)\cong H^{k-2r}(Z),$$ coefficients in $\mathbf Z$ throughout.

I could understand this isomorphism if the index $k-1$ were replaced by $k$ in the following way: excision to a tubular neighborhood of $Z\subset X$ gives an isomorphism $H^k(X,U)\cong H^k(N_{Z/X},N_{Z/X}-\{0\})$, where $N_{Z/X}$ is the normal bundle of $Z$ in $X$ and $N_{Z/X}-\{0\}$ is that same bundle minus the zero section. Then as $Z$ has complex codimension $r$, $N_{Z/X}$ is an oriented vector bundle of real rank $2r$. The Thom isomorphism then gives $$H^k(N_{Z/X},N_{Z/X}-\{0\})\cong H^{k-2r}(Z).$$

The issue is that the claimed isomorphism is $H^{k-1}(X,U)\cong H^{k-2r}(Z)$, not $H^k(X,U)\cong H^{k-2r}(Z)$.

• Indeed, it should be $H^k(X,U)=H^{k-2r}(Z)$ – Doug Liu Sep 27 '20 at 16:31