6
$\begingroup$

I would like to ask whether given a topological space $X$, we can find a commutative ring with unity $R$ such that $\operatorname{Spec} R$ (together with the Zariski topology) is homeomorphic to $X$.

Since the spectrum is a compact space, this is obviously only possible if $X$ is compact. Furthermore, from this answer we obtain that for spectra, $T_1$ already implies Hausdorff.

How many more restrictions must we impose? Can we give a characterisation of when a topological space is a spectrum of a ring?

$\endgroup$
5
  • 1
    $\begingroup$ en.wikipedia.org/wiki/Spectral_space $\endgroup$ Apr 14, 2016 at 8:23
  • $\begingroup$ Not exactly: $X$ is quasi-*compact and *Kolmogorov (T0). Melvin Hochster's dissertation for his Ph. D. at Princeton was about this problem (1967). $\endgroup$
    – Bernard
    Apr 14, 2016 at 8:29
  • $\begingroup$ @Bernard There are different terminologies. I call a space compact iff you call it quasi-compact. $\endgroup$
    – Cloudscape
    Apr 14, 2016 at 8:30
  • 1
    $\begingroup$ Sure. I use Bourbaki's terminology. $\endgroup$
    – Bernard
    Apr 14, 2016 at 8:31
  • $\begingroup$ Bourbaki books are great! And of course, in their terminology, you are quite right. $\endgroup$
    – Cloudscape
    Apr 14, 2016 at 8:38

2 Answers 2

8
$\begingroup$

A topological space which is homeomorphic to the spectrum of a ring is called a spectral space. Spectral spaces were characterized intrinsically by Melvin Hochster in his thesis:

Theorem (Hochster): Let $X$ be a topological space. Then $X$ is spectral iff it satisfies the following conditions:

  • $X$ is sober.

  • $X$ is compact.

  • If $U,V\subseteq X$ are compact open sets, then $U\cap V$ is also compact.

  • The compact open subsets of $X$ form a basis for the topology of $X$.

It is not hard to show that every spectral space satisfies these conditions (note that the compact open subsets of $\operatorname{Spec} A$ are just the finite unions of distinguished open sets). The reverse direction is much more difficult; see Theorem 6 of this paper of Hochster's for details.

$\endgroup$
2
  • $\begingroup$ Now both answers are correct, but I can only accept one... $\endgroup$
    – Cloudscape
    Apr 14, 2016 at 8:39
  • $\begingroup$ In any case, I upvoted both answers. $\endgroup$
    – Cloudscape
    Apr 14, 2016 at 8:43
0
$\begingroup$

You can check this page : https://en.wikipedia.org/wiki/Spectral_space which provides a pretty satisfactory answer.

$\endgroup$
0

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .