The Stacks project

Proof. Since $Y$ is affine we have $(Y, \mathcal{O}_ Y) \cong (\mathop{\mathrm{Spec}}(R), \mathcal{O}_{\mathop{\mathrm{Spec}}(R)})$ for some ring $R$. During the proof we will use facts about $Y$ and its structure sheaf which are direct consequences of things we know about the spectrum of a ring, see e.g. Lemma 26.5.4.

Motivated by the lemmas above we construct the inverse map. Let $\psi _ Y : \Gamma (Y, \mathcal{O}_ Y) \to \Gamma (X, \mathcal{O}_ X)$ be a ring map. First, we define the corresponding map of spaces

by the rule of Lemma 26.6.1. In other words, given $x \in X$ we define $\Psi (x)$ to be the point of $Y$ corresponding to the prime in $\Gamma (Y, \mathcal{O}_ Y)$ which is the inverse image of $\mathfrak m_ x$ under the composition $ \Gamma (Y, \mathcal{O}_ Y) \xrightarrow {\psi _ Y} \Gamma (X, \mathcal{O}_ X) \to \mathcal{O}_{X, x} $.

We claim that the map $\Psi : X \to Y$ is continuous. The standard opens $D(g)$, for $g \in \Gamma (Y, \mathcal{O}_ Y)$ are a basis for the topology of $Y$. Thus it suffices to prove that $\Psi ^{-1}(D(g))$ is open. By construction of $\Psi $ the inverse image $\Psi ^{-1}(D(g))$ is exactly the set $D(\psi _ Y(g)) \subset X$ which is open by Lemma 26.6.2. Hence $\Psi $ is continuous.

Next we construct a $\Psi $-map of sheaves from $\mathcal{O}_ Y$ to $\mathcal{O}_ X$. By Sheaves, Lemma 6.30.14 it suffices to define ring maps $\psi _{D(g)} : \Gamma (D(g), \mathcal{O}_ Y) \to \Gamma (\Psi ^{-1}(D(g)), \mathcal{O}_ X)$ compatible with restriction maps. We have a canonical isomorphism $\Gamma (D(g), \mathcal{O}_ Y) = \Gamma (Y, \mathcal{O}_ Y)_ g$, because $Y$ is an affine scheme. Because $\psi _ Y(g)$ is invertible on $D(\psi _ Y(g))$ we see that there is a canonical map

extending the map $\psi _ Y$ by the universal property of localization. Note that there is no choice but to take the canonical map here! And we take this, combined with the canonical identification $\Gamma (D(g), \mathcal{O}_ Y) = \Gamma (Y, \mathcal{O}_ Y)_ g$, to be $\psi _{D(g)}$. This is compatible with localization since the restriction mapping on the affine schemes are defined in terms of the universal properties of localization also, see Lemmas 26.5.4 and 26.5.1.

Thus we have defined a morphism of ringed spaces $(\Psi , \psi ) : (X, \mathcal{O}_ X) \to (Y, \mathcal{O}_ Y)$ recovering $\psi _ Y$ on global sections. To see that it is a morphism of locally ringed spaces we have to show that the induced maps on local rings

are local. This follows immediately from the commutative diagram of the proof of Lemma 26.6.1 and the definition of $\Psi $.

Finally, we have to show that the constructions $(\Psi , \psi ) \mapsto \psi _ Y$ and the construction $\psi _ Y \mapsto (\Psi , \psi )$ are inverse to each other. Clearly, $\psi _ Y \mapsto (\Psi , \psi ) \mapsto \psi _ Y$. Hence the only thing to prove is that given $\psi _ Y$ there is at most one pair $(\Psi , \psi )$ giving rise to it. The uniqueness of $\Psi $ was shown in Lemma 26.6.1 and given the uniqueness of $\Psi $ the uniqueness of the map $\psi $ was pointed out during the course of the proof above. $\square$