Skip to main content
1 of 5
Piotr Achinger
  • 16.1k
  • 2
  • 49
  • 90

(Completing my comments above to an answer. Probably one can simplify this quite a bit.)

The ring has exactly two prime ideals, $(0)\subseteq (x)$.

Let $A = k[x, y]_{(x)}$ is the local ring at the generic point of the $y$-axis. This is a discrete valuation ring with maximal ideal $\mathfrak{m}=(x)$ and residue field $A/\mathfrak{m} = k(y)$.

The ring $R$ in question is the preimage of $k\subseteq k(y)= A/\mathfrak{m}$ in $A$. In other words, it is the fiber product $R = A\times_{A/\mathfrak{m}} k$.

By Stacks Project, Tag 07RS https://stacks.math.columbia.edu/tag/07RS, $\operatorname{Spec} R$ is the pushout of $\operatorname{Spec}k \leftarrow \operatorname{Spec} A/\mathfrak{m} \to \operatorname{Spec} A$.

By Theorem 3.4 (and its proof) in Schwede's paper http://www-personal.umich.edu/~kschwede/SchemeWithoutPoints.pdf , we get that the underlying space of $\operatorname{Spec} R$ is the corresponding pushout in spaces. But $\operatorname{Spec} A/\mathfrak{m}\to \operatorname{Spec} k$ is a homeomorphism, and hence so is $\operatorname{Spec} A\to \operatorname{Spec} R$.

Piotr Achinger
  • 16.1k
  • 2
  • 49
  • 90