Proposition 10.41.8. Let $R \to S$ be flat and of finite presentation. Then $\mathop{\mathrm{Spec}}(S) \to \mathop{\mathrm{Spec}}(R)$ is open. More generally this holds for any ring map $R \to S$ of finite presentation which satisfies going down.

Proof. Assume that $R \to S$ has finite presentation and satisfies going down. It suffices to prove that the image of a standard open $D(f)$ is open. Since $S \to S_ f$ satisfies going down as well, we see that $R \to S_ f$ satisfies going down. Thus after replacing $S$ by $S_ f$ we see it suffices to prove the image is open. By Chevalley's theorem (Theorem 10.29.10) the image is a constructible set $E$. And $E$ is stable under generalization because $R \to S$ satisfies going down, see Topology, Lemmas 5.19.2 and 5.19.6. Hence $E$ is open by Lemma 10.41.7. $\square$

Comment #519 by Fred Rohrer on

In the statement of the result the map between the spectra goes the wrong way.

Comment #6538 by Jonas Ehrhard on

Suggested slogan: "Flat maps locally of finite presentation are open".

Comment #6539 by Jonas Ehrhard on

As it turns out, this is also the content of Lemma 01UA, I missed this at first.

Comment #6590 by on

If you click on the "xx tags refer to this tag" link on the right, then you can find results that use this particular lemma. So this way you could have found Lemma 29.25.10. Hope that helps.

There are also:

• 4 comment(s) on Section 10.41: Going up and going down

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