Brief aside on schemes

Let us briefly review some definitions. 

{{BeginDefinition|title=|number=10.1|anchor=Definition10_1}}
A ''presheaf''<math>\mathcal{O}_X</math> of sets (rings/modules) on a topological space <math>X</math> is a set (ring/module) <math>\mathcal{O}_X(U)</math> for every open set <math>U \subset X</math> , together with the following data:

#For every inclusion of open sets <math>V \subset U</math> in <math>X</math> we have a ''restriction map''<math>\rho_{UV}: \mathcal{O}_X(U) \rightarrow \mathcal{O}_X(V)</math> which is a map of sets (rings/modules).
#For open sets <math>W \subset V \subset U</math> in <math>X</math>, <math>\rho_{VW} \circ \rho_{UV} = \rho_{UW}</math>.
#For all open sets <math>U \subset X</math>, the restriction map <math>\rho_{UU}</math> is the identity.

A presheaf is a ''sheaf'' if we have an additional two axioms:

#Identity axiom: If <math>U \subset X</math> is an open set, <math>f, g \in \mathcal{O}_X(U)</math>, and <math>\{V_i: i \in I\}</math> is an open covering of <math>U</math>, such that for all <math>i \in I</math>, 
<math display="block">\rho_{UV_i}(f)=\rho_{UV_i}(g),</math> 
then <math>f=g</math>.
#Gluability axiom: If <math>U</math> is an open set in <math>X</math>, and  <math>\{V_i: i \in I\}</math> is an open covering of <math>U</math>, and for every <math>V_i</math> we have <math>f_i \in \mathcal{O}_X(V_i)</math> such that for all <math>i, j \in I</math>,
<math display="block">\rho_{V_i V_i \cap V_j}(f_i)=\rho_{V_j V_i \cap V_j}(f_j),</math>
then there exists an <math>f \in \mathcal{O}_X(U)</math> such that <math>\rho_{U V_i}(f)=f_i</math> for all <math>i \in I</math>.

A ''morphism of sheaves''<math>\phi: \mathcal{F} \rightarrow \mathcal{G}</math> is a morphism <math>\phi(U): \mathcal{F}(U) \rightarrow \mathcal{G}(U)</math> for every open set<math>U \subset X</math>, such that for every inclusion of open sets <math>V \subset U</math> in <math>X</math> the following diagram commutes:

[[File:Tikz diagram 4.png|center|315x315px]]
{{EndDefinition}}

For <math>x \in X</math>, the ''stalk'' at <math>x</math> is the set of equivalence classes <math>\{[(f, U)]: f \in \mathcal{O}_X(U), x \in U\}</math> under the equivalence relation <math>(f, U) \sim (g, V)</math> if there exists an open <math>x \in W \subset U \cap V</math> such that <math>\rho_{UW}(f)=\rho_{VW}(g)</math>. We denote the germ <math>[(f,U)]</math> as <math>f_x</math>.

Presheaves can be made into sheaves by sheafification. This can be expressed by a universal property, and hence is unique up to unique isomorphism. 

Let <math>\pi: X \rightarrow Y</math> be a continuous map of topological spaces, and <math>\mathcal{O}_X</math> a sheaf on <math>X</math>. The ''direct image''<math>\pi_*(\mathcal{O}_X)</math> of <math>\mathcal{O}_X</math> is the presheaf on <math>Y</math> given by, for <math>V \subset Y</math> open, <math>\pi_*\mathcal{O}_X(V)=\mathcal{O}_X(\pi^{-1}(V))</math>. This is in fact a sheaf. There is also a pullback of a sheaf, <math>\pi^* \mathcal{O}_Y</math>.

{{BeginDefinition|title=|number=10.2|anchor=Definition10_2}}
A ringed space is a topological space <math>X</math> together with a sheaf of rings <math>\mathcal{O}_X</math> on <math>X</math>. A morphism of ringed spaces <math>(\pi, \pi_\#): (X, \mathcal{O}_X) \rightarrow (Y, \mathcal{O}_Y)</math> is a continuous map of topological spaces <math>\pi: X \rightarrow Y</math>, and a morphism of sheaves on <math>Y</math>, <math>\pi_\#: \mathcal{O}_Y \rightarrow \pi_*\mathcal{O}_X</math>. Equivalently, we could define <math>\pi_\#</math> to be a morphism of sheaves  on <math>X</math>, <math>\pi^*(\mathcal{O}_Y) \rightarrow \mathcal{O}_X</math>. A ''locally ringed space'' is a ringed space such that ring of germs at each point is local. A ''morphism of locally ringed spaces'' is a morphism of ringed spaces, with the additional requirement that it takes the maximal ideal of the germ in <math>X</math> to the maximal ideal of the germ in <math>Y</math> for every <math>x \in X</math>. Morphisms of locally ringed spaces induce maps of stalks. That is, if <math>x \in X, y=\pi(x)</math>, there is induced morphism of rings <math>\mathcal{O}_{Y,y} \rightarrow \mathcal{O}_{X,x}</math>,  <math>[(f,U)] \mapsto [(\pi_\#(U)(f),\pi^{-1}(U))]</math> where <math>\pi_\#(U)(f) \in \pi_*\mathcal{O}_X(U)=\mathcal{O}_X(\pi^{-1}(U))</math> as needed.
{{EndDefinition}}

A commutative ring with unity can be made into a locally ringed space using the Spec functor. Let <math>R</math> be a ring. As a topological space, let <math>Spec\, =\{p : p \text{ is a prime ideal of } R\}</math>. Define maps <math display="block">Z(-): \{\text{ideals in } R\} \longrightarrow \{\text{ sets in } Spec\,\}, Z(S)=\{p \in Spec\, | S \subset p\},</math><math display="block">I(-): \{\text{sets in } Spec\,\} \longrightarrow \{\text{ideals in } R\}, I(K)=\{f \in R | f \in p \text{ for all } p \in K\}.</math>
The ''Zariski topology'' on <math>Spec\,</math> is defined by saying <math>Z(S)</math> is closed for every <math>S \subset R</math>. 
The following lemma lists some well-known facts about these maps.

{{BeginLemma|title=|number=10.1|anchor=Lemma10_1}}
Let <math>R</math> be a ring, <math>J \subset R</math> an ideal in <math>R</math>, and <math>K \subset Spec\,</math> a closed set. 

#<math>J \subset I(Z(J)).</math>
#<math>K = Z(I(K)).</math>
#<math>I(Z(J))=\sqrt{J}</math>, where <math>\sqrt{J}=\{f | \text{ there exists } n \in \mathbb{N} \text{ such that } f^n \in J\}</math>.
{{EndLemma}}

The topology on <math>Spec\,</math> has as an open basis <math>D(f) = \{p \in Spec\, | f \not \in p\}</math> for all <math>f \in R</math>.  We think of elements in <math>R</math> as functions on <math>Spec\,</math>, where the value of <math>f</math> at <math>p</math> is the projection of <math>f</math> in <math>R/p</math>. However, because of nilpotents (which are precisely elements in <math>\bigcap_{p \in Spec\, }p</math>), functions may not be determined by their values at points. In the particular case of the ring <math>R=K[X_1,\dots ,X_n]</math>, where <math>K</math> is an algebraically closed field, functions (elements in <math>R</math>) are determined by their values on the spectrum, and moreover, they are determined by their value at the maximal ideals of <math>R</math>, which are in one to one correspondence with elements in <math>K^n</math>.

The ringed space <math>Spec\, =(X, \mathcal{O}_R)</math> is <math>X=Spec\,</math> as a topological space, together with the sheaf on the base of distinguished open set (sets of the form <math>D(f), f \in R</math>), where <math>\mathcal{O}_R(D(f))</math> is the localization of <math>R</math> at the set of all elements <math>g \in R : D(f) \subset D(g)</math>. This in fact defines a sheaf on a base. An affine scheme is a ringed space which is isomorphic to <math>(Spec\, , \mathcal{O}_R)</math> for some ring <math>R</math>. A scheme is a ringed space <math>(X, \mathcal{O}_X)</math> which can be covered by open sets such that <math>(U, \mathcal{O}_X|_U)</math> is an affine scheme.  If <math>\phi: R \rightarrow S</math> is a morphism of commutative rings, then it induces a morphisms of affine sheaves <math>Spec\, \rightarrow Spec\,</math>. We want morphisms of schemes to locally look like the morphisms that arise in this way. One can define morphisms of schemes like this, but equivalently, morphisms of locally ringed spaces coincide with them, which gives an alternative definition.