Past exam of the mathematics course of the University of Cambridge / 2006 / iii / Paper 16 / 2 / b / Solution

Let the integer degree of a map between oriented manifolds be $d\ne 0$, so $f_{\ast }[X]=d[Y]$. For any nonzero $\alpha \in H^k(Y;\mathbb{Q})$, nondegeneracy of the Poincare duality pairing supplies $\gamma \in H^{n-k}(Y;\mathbb{Q})$ with $⟨\alpha ⌣\gamma ,[Y]⟩\ne 0$. Naturality of the cup product and its evaluation givesThus $f^{\ast }\alpha \ne 0$, proving injectivity of pullback on rational cohomology. By the universal coefficient theorem for cohomology, these finite-dimensional rational cohomology groups are the duals of the corresponding homology groups, and the dual of $f_{\ast }$ is $f^{\ast }$. Injectivity of the dual map therefore provesOne can see the surjection constructively. Given $u\in H_k(Y;\mathbb{Q})$, choose its Poincare dual $\eta \in H^{n-k}(Y;\mathbb{Q})$ with $\eta \cap [Y]=u$. Then $v=d^{-1}(f^{\ast }\eta \cap [X])$ satisfies $f_{\ast }v=d^{-1}(\eta \cap f_{\ast }[X])=u$ by naturality of the cap product. Division by $d$ is the reason rational coefficients suffice.