The Stacks project

Lemma 5.23.3. Let $f : X \to Y$ be a spectral map of spectral spaces. Then

  1. $f$ is continuous in the constructible topology,

  2. the fibres of $f$ are quasi-compact, and

  3. the image is closed in the constructible topology.

Proof. Let $X'$ and $Y'$ denote $X$ and $Y$ endowed with the constructible topology which are quasi-compact Hausdorff spaces by Lemma 5.23.2. Part (1) says $X' \to Y'$ is continuous and follows immediately from the definitions. Part (3) follows as $f(X')$ is a quasi-compact subset of the Hausdorff space $Y'$, see Lemma 5.12.4. We have a commutative diagram

\[ \xymatrix{ X' \ar[r] \ar[d] & X \ar[d] \\ Y' \ar[r] & Y } \]

of continuous maps of topological spaces. Since $Y'$ is Hausdorff we see that the fibres $X'_ y$ are closed in $X'$. As $X'$ is quasi-compact we see that $X'_ y$ is quasi-compact (Lemma 5.12.3). As $X'_ y \to X_ y$ is a surjective continuous map we conclude that $X_ y$ is quasi-compact (Lemma 5.12.7). $\square$


Comments (2)

Comment #5058 by Laurent Moret-Bailly on

In fact, (1) is an equivalence in the sense that if is continuous, then it is spectral iff it is continuous for the constructible topology. Proof of "if": if is quasicompact open, then it is constructibly clopen and so is , which is therefore constructibly compact, hence quasicompact in .

There are also:

  • 4 comment(s) on Section 5.23: Spectral spaces

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