Lemma 66.30.6. A flat morphism locally of finite presentation is universally open.

Proof. Let $f : X \to Y$ be a flat morphism locally of finite presentation of algebraic spaces over $S$. Choose a diagram

$\xymatrix{ U \ar[r]_\alpha \ar[d] & V \ar[d] \\ X \ar[r] & Y }$

where $U$ and $V$ are schemes and the vertical arrows are surjective and étale, see Spaces, Lemma 64.11.6. By Lemmas 66.30.5 and 66.28.4 the morphism $\alpha$ is flat and locally of finite presentation. Hence by Morphisms, Lemma 29.25.10 we see that $\alpha$ is universally open. Hence $X \to Y$ is universally open according to Lemma 66.6.5. $\square$

There are also:

• 2 comment(s) on Section 66.30: Flat morphisms

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