The Stacks project

Lemma 5.23.13. Let $W$ be the topological space with two points, one closed, the other not. A topological space is spectral if and only if it is homeomorphic to a subspace of a product of copies of $W$ which is closed in the constructible topology.

Proof. Write $W = \{ 0, 1\} $ where $0$ is a specialization of $1$ but not vice versa. Let $I$ be a set. The space $\prod _{i \in I} W$ is spectral by Lemma 5.23.12. Thus we see that a subspace of $\prod _{i \in I} W$ closed in the constructible topology is a spectral space by Lemma 5.23.5.

For the converse, let $X$ be a spectral space. Let $U \subset X$ be a quasi-compact open. Consider the continuous map

\[ f_ U : X \longrightarrow W \]

which maps every point in $U$ to $1$ and every point in $X \setminus U$ to $0$. Taking the product of these maps we obtain a continuous map

\[ f = \prod f_ U : X \longrightarrow \prod \nolimits _ U W \]

By construction the map $f : X \to Y$ is spectral. By Lemma 5.23.3 the image of $f$ is closed in the constructible topology. If $x', x \in X$ are distinct, then since $X$ is sober either $x'$ is not a specialization of $x$ or conversely. In either case (as the quasi-compact opens form a basis for the topology of $X$) there exists a quasi-compact open $U \subset X$ such that $f_ U(x') \not= f_ U(x)$. Thus $f$ is injective. Let $Y = f(X)$ endowed with the induced topology. Let $y' \leadsto y$ be a specialization in $Y$ and say $f(x') = y'$ and $f(x) = y$. Arguing as above we see that $x' \leadsto x$, since otherwise there is a $U$ such that $x \in U$ and $x' \not\in U$, which would imply $f_ U(x') \not\leadsto f_ U(x)$. We conclude that $f : X \to Y$ is a homeomorphism by Lemma 5.23.11. $\square$

Comments (2)

Comment #1161 by Zhang on

Do you mean any spectral space is homeomorphic to a closed subset of under the constructible topology of rather thatn the spectral topology? In Hochster's thesis, his claim was any spectral space is homeomorphic to a patch of some .

I doubt the lemma, stated in the present form, is not ture. Think about (special point in each component): the only open neighborhood of in , under the product topology, is itself. Thus all points in specializes to . Were the lemma, stated in the present form, true, then a discrete finite set of cardinal larger than 2 cannot be embedded in any as a closed subspace under the spectral topology, because must lie in its closure.

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