Lemma 45.10.8. Assume given (D0), (D1), (D2), and (D3) satisfying (A), (B), and (C). Let $f : X \to Y$ be a dominant morphism of irreducible smooth projective schemes over $k$. Then $H^*(Y) \to H^*(X)$ is injective.
Proof. There exists an integral closed subscheme $Z \subset X$ of the same dimension as $Y$ mapping onto $Y$. Thus $f_*[Z] = m[Y]$ for some $m > 0$. Then $f_* \gamma ([Z]) = m \gamma ([Y]) = m$ in $H^*(Y)$ because of Lemma 45.9.5. Hence by the projection formula (Lemma 45.9.1) we have $f_*(f^*a \cup \gamma ([Z])) = m a$ and we conclude. $\square$
Comments (0)