The Stacks project

Morphisms whose image contains the generic points are dominant

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$.

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

\[ f' : \coprod \nolimits _{i = 1, \ldots , n} U_ i \longrightarrow V. \]

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$

Comments (1)

Comment #1655 by Matthieu Romagny on

Suggested slogan: Morphism whose image contains the generic points are dominant

There are also:

  • 5 comment(s) on Section 29.8: Dominant morphisms

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).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 01RL. Beware of the difference between the letter 'O' and the digit '0'.