Lemma 29.8.3. Let $f : X \to S$ be a quasi-compact morphism of schemes. Then $f$ is dominant if and only if for every irreducible component $Z \subset S$ the generic point of $Z$ is in the image of $f$.
Morphisms whose image contains the generic points are dominant
Proof.
Let $V \subset S$ be an affine open. Because $f$ is quasi-compact we may choose finitely many affine opens $U_ i \subset f^{-1}(V)$, $i = 1, \ldots , n$ covering $f^{-1}(V)$. Consider the morphism of affines
A disjoint union of affines is affine, see Schemes, Lemma 26.6.8. Generic points of irreducible components of $V$ are exactly the generic points of the irreducible components of $S$ that meet $V$. Also, $f$ is dominant if and only if $f'$ is dominant no matter what choices of $V, n, U_ i$ we make above. Thus we have reduced the lemma to the case of a morphism of affine schemes. The affine case is Algebra, Lemma 10.30.6.
$\square$
\[ f' : \coprod \nolimits _{i = 1, \ldots , n} U_ i \longrightarrow V. \]
Post a comment
Your email address will not be published. Required fields are marked.
In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).
All contributions are licensed under the GNU Free Documentation License.
Comments (1)
Comment #1655 by Matthieu Romagny on
There are also: