The Stacks project

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$


Comments (5)

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

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 00I1. Beware of the difference between the letter 'O' and the digit '0'.