4 Schemes

(4.1) Ringed spaces, locally ringed spaces

Recall that we have attached to every ring $R$ the topological space $X= \operatorname{Spec}(R)$ and the structure sheaf ${\mathscr O}_X$. From these data we can recover the ring $R$ as $R={\mathscr O}_X(X)$, so in some sense we have reached our goal to attach to $R$ a “geometric object” without losing any information. This leads to the following definition.

Definition 4.1

A ringed space is a pair $(X, {\mathscr O}_X)$ where $X$ is a topological space and ${\mathscr O}_X$ is a sheaf of rings on $X$.

Often one writes $X$ instead of $(X, {\mathscr O}_X)$. The sheaf ${\mathscr O}_X$ is usually called the structure sheaf of $X$. As we will see soon, however, this is not yet the “good” notion of geometric object that we should use in order to talk about spectra of rings; the problem lies in the notion of morphism. In order to understand this, we first define the natural notion of morphisms of ringed spaces. To define a morphism $(X, {\mathscr O}_X)\to (Y, {\mathscr O}_Y)$ of ringed spaces, it is natural to start with a continuous map $f\colon X\to Y$. But in addition, the structure sheaves should also be related. For this, recall that we think of the ring ${\mathscr O}_X(U)$ as the ring of functions defined on $U$. Then it is natural to expect that for every function defined on $V \subseteq Y$, by “composition with $f$” we obtain a function on $f^{-1}(V)$. We need to put this in quotes because there is no reason why the elements of the ring ${\mathscr O}_Y(V)$ should really be function on $V$, so “composition” does not really make sense. However, we can still ask that the morphism $(X, {\mathscr O}_X)\to (Y,{\mathscr O}_Y)$ comes with maps ${\mathscr O}_Y(V)\to {\mathscr O}_X(f^{-1}(V))$ for every open $V \subseteq Y$. Clearly, these should be compatible with the restriction maps of these sheaves. Putting everything together, we arrive at the following definition.

Definition 4.2

A morphism $f\colon (X, {\mathscr O}_X)\to (Y, {\mathscr O}_Y)$ of ringed spaces is a pair $(f, f^\flat )$ where $f\colon X\to Y$ is a continuous map and $f^\flat \colon {\mathscr O}_Y\to f_*{\mathscr O}_X$ is a morphism of sheaves of rings.

There are obvious notions of identity morphisms and composition of morphisms, and we obtain the category ${\rm (Ringed Spaces)}$ of ringed spaces.

Dec. 10, 2025

By adjunction, the morphism $f^\flat $ corresponds to a morphism $f^\sharp \colon f^{-1}{\mathscr O}_Y\to {\mathscr O}_X$ of sheaves of rings on $X$. In particular, for every $x\in X$, we obtain a ring homomorphism $f^\sharp _x\colon {\mathscr O}_{Y, f(x)} = (f^{-1}{\mathscr O}_Y)_x\to {\mathscr O}_{X, x}$ between the stalks. One checks that this ring homomorphism may also be constructed explicitly by using the universal property of the colimit ${\mathscr O}_{Y, f(x)}$ for the maps ${\mathscr O}_Y(V)\to {\mathscr O}_{X, x}$ (for $V \subseteq Y$ open, $f(x)\in V$) obtained as the composition

\[ {\mathscr O}_Y(V)\to (f_*{\mathscr O}_X)(V) = {\mathscr O}_X(f^{-1}(V))\to {\mathscr O}_{X, x} \]

where the first map is obtained from $f^\flat $, and the final map is the natural map into the stalk, using that $f(x)\in V$ implies $x\in f^{-1}(V)$.

With this definition of the category of ringed spaces, we obtain a functor

\[ {\rm (Rings)}^{\rm opp}\longrightarrow {\rm (Ringed Spaces)}. \]

In fact, to every ring $R$ we may attach its spectrum $(\operatorname{Spec}(R), {\mathscr O}_{\operatorname{Spec}(R)})$ with the structure sheaf. If $\varphi \colon R\to S$ is a ring homomorphism, we have the continuous map ${}^a\varphi \colon \operatorname{Spec}(S)\to \operatorname{Spec}(R)$ between the spectra. Furthermore, for every principal open $D(s) \subseteq \operatorname{Spec}(R)$, $s\in R$, we have $({}^a\varphi )^{-1}(D(s)) = D(\varphi (s))$, and thus the natural homomorphism $R_s\to S_{\varphi (s)}$ is a ring homomorphism ${\mathscr O}_{\operatorname{Spec}(R)}(D(s))\to {\mathscr O}_{\operatorname{Spec}(S)}(({}^a\varphi )^{-1}(D(s)))$. Since the $D(s)$ form a basis of the topology, these define the desired sheaf homomorphism ${\mathscr O}_{\operatorname{Spec}(R)}\to {}^a \varphi _*{\mathscr O}_{\operatorname{Spec}(S)}$. (Cf. Proposition 3.10.)

From now on we usually write $\operatorname{Spec}(R)$ for the ringed space $(\operatorname{Spec}(R), {\mathscr O}_{\operatorname{Spec}(R)})$.

However, it turns out that this functor is not fully faithful. Therefore, passing from rings to ringed spaces remains problematic, because there are morphisms between spectra as ringed spaces that we “do not want to allow”.

In fact, morphisms coming from ring homomorphisms have a special property that we can see by inspecting the stalks.

Proposition 4.3

Let $R$ be a ring, $X=\operatorname{Spec}(R)$ (as a ringed space). For every $x\in X$, the stalk ${\mathscr O}_{X, x}$ is isomorphic to the localization $R_{x}$ of $R$ with respect to the prime ideal $x$. In particular, the stalk is a local ring (i.e., it has a unique maximal ideal).
Let $\varphi \colon R \to S$ be a ring homomorphism, let $X=\operatorname{Spec}(S)$, $Y=\operatorname{Spec}(R)$ and let $f\colon X\to Y$ be the morphism of ringed spaces attached to $\varphi $ as above. Then for every $x\in X$ the ring homomorphism ${\mathscr O}_{Y, f(x)}\to {\mathscr O}_{X, x}$ is a local homomorphism of local rings, i.e., it maps the maximal ideal of ${\mathscr O}_{Y, f(x)}$ into the maximal ideal of ${\mathscr O}_{X, x}$.

Proof

We have already seen the first point. For the second one, note that $\varphi $ induces a commutative diagram

$\begin{tikzcd} \Oscr_Y(Y)\ar[r]\ar[d] & \Oscr_X(X)\ar[d]\\ \Oscr_{Y, f(x)}\ar[r] & \Oscr_{X, x} \end{tikzcd}$

which we may rewrite as

$\begin{tikzcd} R\ar[r, "\varphi"]\ar[d] & S\ar[d]\\ R_{f(x)}\ar[r] & S_x. \end{tikzcd}$

This means that the homomorphism $R_{f(x)}\to S_x$ is simply the natural homomorphism between localizations induced by $\varphi $, i.e., $\frac{a}{s}\mapsto \frac{\varphi (a)}{\varphi (s)}$. In particular, it maps the maximal ideal $f(x) R_{f(x)} = \varphi ^{-1}(x) R_{\varphi ^{-1}(x)}$ into the maximal ideal $x S_x$.

Definition 4.4

A locally ringed space is a ringed space $(X, {\mathscr O}_X)$ such that for every $x\in X$ the stalk ${\mathscr O}_{X,x}$ is a local ring (also called the local ring of $X$).
Let $X$, $Y$ be locally ringed spaces. A morphism $X\to Y$ of locally ringed spaces is a morphism $X\to Y$ of ringed spaces such that for every $x\in X$ the induced ring homomorphism $f^\sharp _x\colon {\mathscr O}_{Y, f(x)}\to {\mathscr O}_{X,x}$ is a local homomorphism.

The above discussion shows that $\operatorname{Spec}$ actually is a contravariant functor from the category of rings to the category of locally ringed spaces.

Theorem 4.5

The contravariant functor $R\mapsto (\operatorname{Spec}(R), {\mathscr O}_{\operatorname{Spec}(R)})$ from the category of rings to the category of locally ringed spaces is fully faithful.

Proof

Let $R$, $S$ be rings and let $X=\operatorname{Spec}(S)$, $Y=\operatorname{Spec}(R)$ (considered as locally ringed spaces). We have natural maps

\[ \operatorname{Spec}\colon \operatorname{Hom}(R, S)\to \operatorname{Hom}(X, Y),\quad \Gamma \colon \operatorname{Hom}(X, Y)\to \operatorname{Hom}(R, S), \]

and we want to show that they are inverse to each other. It follows directly from the construction of $\operatorname{Spec}(\varphi )$ that $\varphi \mapsto \operatorname{Spec}(\varphi ) \mapsto \Gamma (\operatorname{Spec}(\varphi ))$ is the identity morphism.

Now consider the composition $f\mapsto \Gamma (f)\mapsto \operatorname{Spec}(\Gamma (f))$. We write $f = (f, f^\flat )$ and $\operatorname{Spec}(\Gamma (f)) = (g, g^\flat )$. For every $x\in X$, we have the commutative diagram

$\begin{tikzcd} \Oscr_Y(Y) \ar[r]\ar[d] & (f_*\Oscr_X)(Y)\ar[d] & =\Oscr_X(X)\\ \Oscr_{Y, f(x)}\ar[r] & \Oscr_{X,x}. \end{tikzcd}$

In terms of the rings $R$, $S$ this diagram may be written as

$\begin{tikzcd} R \ar[r, "\Gamma(f)"]\ar[d] & S\ar[d]\\ R_{f(x)}\ar[r] & S_x. \end{tikzcd}$

Now $f$ is a morphism of locally ringed spaces, so the ring homomorphism in the lower row of this diagram is local. This implies that the preimage of the maximal ideal of $S_x$ is the maximal ideal of $R_{f(x)}$. It follows that $f(x) = \Gamma (f)^{-1}(x)$. In other words, as continuous maps we have $f = g$. It then follows from the above diagram that the sheaf morphisms $f^\flat $ and $g^\flat $ induce the same maps between the stalks $R_{f(x)}$ and $S_x$ for all $x$. Therefore they coincide by Proposition 3.28.

AM: M. Atiyah, I. Macdonald, Introduction to Commutative Algebra, Addison-Wesley.
Alg2: U. Görtz, Kommutative Algebra, Vorlesungsskript, SS 2023.
GW1: U. Görtz, T. Wedhorn, Algebraic Geometry I: Schemes, 2nd ed., Springer Spektrum (2020).
Ha: R. Hartshorne, Algebraic Geometry, Springer Graduate Texts in Math.
Mu: D. Mumford, The Red Book on Varieties and Schemes, 2nd expanded ed., Springer Lecture Notes in Math. 1358 (1999).
Kn: A. Knapp, Elliptic Curves, Princeton Univ. Press 1992.
Si: J. Silverman, The Arithmetic of Elliptic Curves, 2nd ed., Springer Graduate Textes in Math.
ST: J. Silverman, J. Tate, Rational Points on Elliptic Curves, 2nd ed., Springer

Algebraic Geometry 1, Winter term 2025/26.
Lecture notes.

Content

4 Schemes