Proof. [03GH]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Proof.
The Gysin sequence associated to (2.13) yields
| (2.14) |
Since the Euler class of the bundle is times a generator of , the mapping is just multiplication by , so this mapping is an isomorphism. Consequently, is also an isomorphism. Since is a compact orientable -manifold, Poincaré duality implies that . ∎