Lemma 29.25.11. Let $f : X \to Y$ be a morphism of schemes. Let $\mathcal{F}$ be a quasi-coherent $\mathcal{O}_ X$-module. Assume $f$ locally finite presentation, $\mathcal{F}$ of finite type, $X = \text{Supp}(\mathcal{F})$, and $\mathcal{F}$ flat over $Y$. Then $f$ is universally open.

Proof. By Lemmas 29.25.7, 29.21.4, and 29.5.3 the assumptions are preserved under base change. By Lemma 29.23.2 it suffices to show that generalizations lift along $f$. This follows from Algebra, Lemma 10.41.12. $\square$

There are also:

• 4 comment(s) on Section 29.25: 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).