Past exam of the mathematics course of the University of Cambridge / 2023 / iii / Paper 114 / 4

An $R$-orientation of a rank-$r$ vector bundle $E\to B$ is a coherent choice of generator infor every fiber. Equivalently, it is a Thom class $u_E\in H^r(D(E),S(E);R)$ restricting to those generators. The Euler class of a vector bundle iswhere $j:(D(E),\varnothing )\to (D(E),S(E))$ forgets the subspace and $s$ is the zero section.

The Thom isomorphism theorem isInsert these isomorphisms into the long exact cohomology sequence of $(D(E),S(E))$ and use the deformation retraction $D(E)\simeq B$. This gives the Gysin sequence of a sphere bundleTo verify the labelled maps, represent $a$ under the Thom isomorphism by ${\pi }^{\ast }a⌣u_E$. Its image in $H^{\ast }(D(E))$ pulls back along the zero section toThus multiplication by the Euler class is exactly the map from relative to absolute cohomology in the pair sequence.

Now let $M^m\subset S^n$ and let $V$ be its tubular neighborhood. The normal bundle has rank $r=n-m$. With ${\mathbb{F}}_2$ coefficients it is automatically oriented. Since $n>2m+1$, one has $r>m+1$, so its Euler class lies above the dimension of $M$ and vanishes. The Gysin sequence consequently splits into short exact sequences of vector spaces and givesOn the other hand, Alexander duality givesOver the field ${\mathbb{F}}_2$, the latter is naturally dual to ${\tilde{H}}^{n-q-1}(M;{\mathbb{F}}_2)$, which expresses the complement cohomology entirely in terms of that of $M$.