7
$\begingroup$

The following question occurred to me while doing exercises in Hartshorne. If $A \to B$ is a homomorphism of (commutative, unital) rings and $f : \text{Spec } B \to \text{Spec } A$ is the corresponding morphism on spectra, does $f$ bijective imply that $f$ is a homeomorphism? If not, can anyone provide a counterexample? The reason this seems reasonable to me is because I think that the inverse set map should preserve inclusions of prime ideals, which is the meaning of continuity in the Zariski topology, but I can't make this rigorous.

  • 0
    @Arturo: bijectivity on prime ideals is a weaker condition than bijectivity on the elements of the rings themselves.2011-06-17
  • 0
    @Qiaochu: Oh, I see; the only $f$ here is the induced map on Specs. Sorry! I thought "$f$ bijective" meant the original map $A\to B$ was bijective. I'll delete my first comment.2011-06-17
  • 0
    This is an interesting question! Justin's intuition for why it should be true makes sense to me. Just wanted to mention a random thought: this seems to be, in some sense, asking for a version of [invariance of domain](http://en.wikipedia.org/wiki/Invariance_of_domain) to hold for schemes.2011-06-17
  • 0
    @Zev: I hadn't thought of that. An analogous statement which I did have in mind is that a bijective continuous map of compact Hausdorff spaces is a homeomorphism.2011-06-17
  • 0
    One observation is that you can reduce to the case where $A\to B$ is an embedding: the result clearly holds if $A\to B$ is onto, because then $P\subseteq Q$ implies $\varphi(P)\subseteq \varphi(Q)$. The map $\mathrm{Spec}(B)\to\mathrm{Spec}(A)$ factors through $\mathrm{Spec}(\varphi(A))$, and the conditions ensure that the contraction map to $\varphi(A)$ is also a bijection, while the map $\mathrm{Spec}(\varphi(A))\to\mathrm{Spec}(A)$ is also a bijection and thus a homeomorphism. So you want to know if the bijection of primes means if $A\subseteq B$, $P\cap A\subseteq Q\cap A$ then $P\leq Q$.2011-06-17

1 Answers 1

9

No. Let $A$ be a DVR. Let $k$ be the residue field, $K$ the quotient field. There is a map $\mathrm{Spec} k \sqcup \mathrm{Spec} K \to \mathrm{Spec} A$ which is bijective, but not a homeomorphism (one side is discrete and the other is not). Note that $\mathrm{Spec} k \sqcup \mathrm{Spec}K = \mathrm{Spec} k \times K$, so this is an affine scheme.

As Matt E observes below in the comments, one can construct more geometric examples of this phenomenon (e.g. the coproduct of a punctured line plus a point mapping to a line): the point is that things can go very wrong with the topology.

  • 0
    Incidentally, this also gives an example of noetherian topological spaces $X, Y$ and a surjective map $f: X \to Y$ such that the dimension of $Y$ is greater than that of $X$ (this can't happen for varieties over an algebraically closed field, for instance).2011-06-18
  • 2
    Dear Akhil, One could also give a more geometric example of the same kind, i.e. one that involves varieties rather than "exotic" schemes like the Spec of a DVR. E.g. $\mathbb A^1$ minus a closed point union $\Spec k$ mapping to $\mathbb A^1$ in the obvious way. Best wishes,2011-06-18
  • 0
    @Matt: Dear Matt, thanks for pointing that out.2011-06-18
  • 2
    Dear Akhil, Of course my example doesn't exhibit the dimension-theoretic feature that yours does! (This goes hand-in-hand with its "less exotic" nature.) Best wishes,2011-06-18