Lemma 85.2.1. Choose a category of schemes $\mathit{Sch}_\alpha $ as in Sets, Lemma 3.9.2. Given a formal scheme $\mathfrak X$ let

be its functor of points. Then we have

provided the size of $\mathfrak X$ is not too large.

In this section we review the construction of formal schemes in [EGA]. This notion, although very useful in algebraic geometry, may not always be the correct one to consider. Perhaps it is better to say that in the setup of the theory a number of choices are made, where for different purposes others might work better. And indeed in the literature one can find many different closely related theories adapted to the problem the authors may want to consider. Still, one of the major advantages of the theory as sketched here is that one gets to work with definite geometric objects.

Before we start we should point out an issue with the sheaf condition for sheaves of topological rings or more generally sheaves of topological spaces. Namely, the big categories

category of topological spaces,

category of topological groups,

category of topological rings,

category of topological modules over a given topological ring,

endowed with their natural forgetful functors to $\textit{Sets}$ are not examples of types of algebraic structures as defined in Sheaves, Section 6.15. Thus we cannot blithely apply to them the machinery developed in that chapter. On the other hand, each of the categories listed above has limits and equalizers and the forgetful functor to sets, groups, rings, modules commutes with them (see Topology, Lemmas 5.14.1, 5.30.3, 5.30.8, and 5.30.11). Thus we can define the notion of a sheaf as in Sheaves, Definition 6.9.1 and the underlying presheaf of sets, groups, rings, or modules is a sheaf. The key difference is that for an open covering $U = \bigcup _{i \in I} U_ i$ the diagram

\[ \xymatrix{ \mathcal{F}(U) \ar[r] & \prod \nolimits _{i\in I} \mathcal{F}(U_ i) \ar@<1ex>[r] \ar@<-1ex>[r] & \prod \nolimits _{(i_0, i_1) \in I \times I} \mathcal{F}(U_{i_0} \cap U_{i_1}) } \]

has to be an equalizer diagram in the category of topological spaces, topological groups, topological rings, topological modules, i.e., that the first map identifies $\mathcal{F}(U)$ with a subspace of $\prod _{i \in I} \mathcal{F}(U_ i)$ which is endowed with the product topology.

The stalk $\mathcal{F}_ x$ of a sheaf $\mathcal{F}$ of topological spaces, topological groups, topological rings, or topological modules at a point $x \in X$ is defined as the colimit over open neighbourhoods

\[ \mathcal{F}_ x = \mathop{\mathrm{colim}}\nolimits _{x\in U} \mathcal{F}(U) \]

in the corresponding category. This is the same as taking the colimit on the level of sets, groups, rings, or modules (see Topology, Lemmas 5.29.1, 5.30.6, 5.30.9, and 5.30.12) but comes equipped with a topology. Warning: the topology one gets depends on which category one is working with, see Examples, Section 108.73. One can sheafify presheaves of topological spaces, topological groups, topological rings, or topological modules and taking stalks commutes with this operation, see Remark 85.2.4.

Let $f : X \to Y$ be a continuous map of topological spaces. There is a functor $f_*$ from the category of sheaves of topological spaces, topological groups, topological rings, topological modules, to the corresponding category of sheaves on $Y$ which is defined by setting $f_*\mathcal{F}(V) = \mathcal{F}(f^{-1}V)$ as usual. (We delay discussing the pullback in this setting till later.) We define the notion of an $f$-map $\xi : \mathcal{G} \to \mathcal{F}$ between a sheaf of topological spaces $\mathcal{G}$ on $Y$ and a sheaf of topological spaces $\mathcal{F}$ on $X$ in exactly the same manner as in Sheaves, Definition 6.21.7 with the additional constraint that $\xi _ V : \mathcal{G}(V) \to \mathcal{F}(f^{-1}V)$ be continuous for every open $V \subset Y$. We have

\[ \{ f\text{-maps from }\mathcal{G}\text{ to }\mathcal{F}\} = \mathop{Mor}\nolimits _{\mathop{\mathit{Sh}}\nolimits (Y, \textit{Top})}(\mathcal{G}, f_*\mathcal{F}) \]

as in Sheaves, Lemma 6.21.8. Similarly for sheaves of topological groups, topological rings, topological modules. Finally, let $\xi : \mathcal{G} \to \mathcal{F}$ be an $f$-map as above. Then given $x \in X$ with image $y = f(x)$ there is a continuous map

\[ \xi _ x : \mathcal{G}_ y \longrightarrow \mathcal{F}_ x \]

of stalks defined in exactly the same manner as in the discussion following Sheaves, Definition 6.21.9.

Using the discussion above, we can define a category $LTRS$ of “locally topologically ringed spaces”. An object is a pair $(X, \mathcal{O}_ X)$ consisting of a topological space $X$ and a sheaf of topological rings $\mathcal{O}_ X$ whose stalks $\mathcal{O}_{X, x}$ are local rings (if one forgets about the topology). A morphism $(X, \mathcal{O}_ X) \to (Y, \mathcal{O}_ Y)$ of $LTRS$ is a pair $(f, f^\sharp )$ where $f : X \to Y$ is a continuous map of topological spaces and $f^\sharp : \mathcal{O}_ Y \to \mathcal{O}_ X$ is an $f$-map such that for every $x \in X$ the induced map

\[ f^\sharp _ x : \mathcal{O}_{Y, f(x)} \longrightarrow \mathcal{O}_{X, x} \]

is a local homomorphism of local rings (forgetting about the topologies). The composition works in exactly the same manner as composition of morphisms of locally ringed spaces.

Assume now that the topological space $X$ has a basis consisting of quasi-compact opens. Given a sheaf $\mathcal{F}$ of sets, groups, rings, modules over a ring, one can endow $\mathcal{F}$ with the structure of a sheaf of topological spaces, topological groups, topological rings, topological modules. Namely, if $U \subset X$ is quasi-compact open, we endow $\mathcal{F}(U)$ with the discrete topology. If $U \subset X$ is arbitrary, then we choose an open covering $U = \bigcup _{i \in I} U_ i$ by quasi-compact opens and we endow $\mathcal{F}(U)$ with the induced topology from $\prod _{i \in I} \mathcal{F}(U_ i)$ (as we should do according to our discussion above). The reader may verify (omitted) that we obtain a sheaf of topological spaces, topological groups, topological rings, topological modules in this fashion. Let us say that a sheaf of topological spaces, topological groups, topological rings, topological modules is *pseudo-discrete* if the topology on $\mathcal{F}(U)$ is discrete for every quasi-compact open $U \subset X$. Then the construction given above is an adjoint to the forgetful functor and induces an equivalence between the category of sheaves of sets and the category of pseudo-discrete sheaves of topological spaces (similarly for groups, rings, modules).

Grothendieck and Dieudonné first define formal affine schemes. These correspond to admissible topological rings $A$, see More on Algebra, Definition 15.36.1. Namely, given $A$ one considers a fundamental system $I_\lambda $ of ideals of definition for the ring $A$. (In any admissible topological ring the family of all ideals of definition forms a fundamental system.) For each $\lambda $ we can consider the scheme $\mathop{\mathrm{Spec}}(A/I_\lambda )$. For $I_\lambda \subset I_\mu $ the induced morphism

\[ \mathop{\mathrm{Spec}}(A/I_\mu ) \to \mathop{\mathrm{Spec}}(A/I_\lambda ) \]

is a thickening because $I_\mu ^ n \subset I_\lambda $ for some $n$. Another way to see this, is to notice that the image of each of the maps

\[ \mathop{\mathrm{Spec}}(A/I_\lambda ) \to \mathop{\mathrm{Spec}}(A) \]

is a homeomorphism onto the set of open prime ideals of $A$. This motivates the definition

\[ \text{Spf}(A) = \{ \text{open prime ideals }\mathfrak p \subset A\} \]

endowed with the topology coming from $\mathop{\mathrm{Spec}}(A)$. For each $\lambda $ we can consider the structure sheaf $\mathcal{O}_{\mathop{\mathrm{Spec}}(A/I_\lambda )}$ as a sheaf on $\text{Spf}(A)$. Let $\mathcal{O}_\lambda $ be the corresponding pseudo-discrete sheaf of topological rings, see above. Then we set

\[ \mathcal{O}_{\text{Spf}(A)} = \mathop{\mathrm{lim}}\nolimits \mathcal{O}_\lambda \]

where the limit is taken in the category of sheaves of topological rings. The pair $(\text{Spf}(A), \mathcal{O}_{\text{Spf}(A)})$ is called the *formal spectrum* of $A$.

At this point one should check several things. The first is that the stalks $\mathcal{O}_{\text{Spf}(A), x}$ are local rings (forgetting about the topology). The second is that given $f \in A$, for the corresponding open $D(f) \cap \text{Spf}(A)$ we have

\[ \Gamma (D(f) \cap \text{Spf}(A), \mathcal{O}_{\text{Spf}(A)}) = A_{\{ f\} } = \mathop{\mathrm{lim}}\nolimits (A/I_\lambda )_ f \]

as topological rings where $I_\lambda $ is a fundamental system of ideals of definition as above. Moreover, the ring $A_{\{ f\} }$ is admissible too and $(\text{Spf}(A_ f), \mathcal{O}_{\text{Spf}(A_{\{ f\} })})$ is isomorphic to $(D(f) \cap \text{Spf}(A), \mathcal{O}_{\text{Spf}(A)}|_{D(f) \cap \text{Spf}(A)})$. Finally, given a pair of admissible topological rings $A, B$ we have

85.2.0.1

\begin{equation} \label{formal-spaces-equation-morphisms-affine-formal-schemes} \mathop{Mor}\nolimits _{LTRS}((\text{Spf}(B), \mathcal{O}_{\text{Spf}(B)}), (\text{Spf}(A), \mathcal{O}_{\text{Spf}(A)})) = \mathop{\mathrm{Hom}}\nolimits _{cont}(A, B) \end{equation}

where $LTRS$ is the category of “locally topologically ringed spaces” as defined above.

Having said this, in [EGA] a *formal scheme* is defined as a pair $(\mathfrak X, \mathcal{O}_\mathfrak X)$ where $\mathfrak X$ is a topological space and $\mathcal{O}_\mathfrak X$ is a sheaf of topological rings such that every point has an open neighbourhood isomorphic (in $LTRS$) to an affine formal scheme. A *morphism of formal schemes* $f : (\mathfrak X, \mathcal{O}_\mathfrak X) \to (\mathfrak Y, \mathcal{O}_\mathfrak Y)$ is a morphism in the category $LTRS$.

Let $A$ be a ring endowed with the discrete topology. Then $A$ is admissible and the formal scheme $\text{Spf}(A)$ is equal to $\mathop{\mathrm{Spec}}(A)$. The structure sheaf $\mathcal{O}_{\text{Spf}(A)}$ is the pseudo-discrete sheaf of topological rings associated to $\mathcal{O}_{\mathop{\mathrm{Spec}}(A)}$, in other words, its underlying sheaf of rings is equal to $\mathcal{O}_{\mathop{\mathrm{Spec}}(A)}$ and the ring $\mathcal{O}_{\text{Spf}(A)}(U) = \mathcal{O}_{\mathop{\mathrm{Spec}}(A)}(U)$ over a quasi-compact open $U$ has the discrete topology, but not in general. Thus we can associate to every affine scheme a formal affine scheme. In exactly the same manner we can start with a general scheme $(X, \mathcal{O}_ X)$ and associate to it $(X, \mathcal{O}'_ X)$ where $\mathcal{O}'_ X$ is the pseudo-discrete sheaf of topological rings whose underlying sheaf of rings is $\mathcal{O}_ X$. This construction is compatible with morphisms and defines a functor

85.2.0.2

\begin{equation} \label{formal-spaces-equation-compare-schemes-formal-schemes} \textit{Schemes} \longrightarrow \textit{Formal Schemes} \end{equation}

It follows in a straightforward manner from (85.2.0.1) that this functor is fully faithful.

Let $\mathfrak X$ be a formal scheme. Let us define the *size* of the formal scheme by the formula $\text{size}(\mathfrak X) = \max (\aleph _0, \kappa _1, \kappa _2)$ where $\kappa _1$ is the cardinality of the formal affine opens of $\mathfrak X$ and $\kappa _2$ is the supremum of the cardinalities of $\mathcal{O}_\mathfrak X(\mathfrak U)$ where $\mathfrak U \subset \mathfrak X$ is such a formal affine open.

Lemma 85.2.1. Choose a category of schemes $\mathit{Sch}_\alpha $ as in Sets, Lemma 3.9.2. Given a formal scheme $\mathfrak X$ let

\[ h_\mathfrak X : (\mathit{Sch}_\alpha )^{opp} \longrightarrow \textit{Sets},\quad h_\mathfrak X(S) = \mathop{Mor}\nolimits _{\textit{Formal Schemes}}(S, \mathfrak X) \]

be its functor of points. Then we have

\[ \mathop{Mor}\nolimits _{\textit{Formal Schemes}}(\mathfrak X, \mathfrak Y) = \mathop{Mor}\nolimits _{\textit{PSh}(\mathit{Sch}_\alpha )}(h_\mathfrak X, h_\mathfrak Y) \]

provided the size of $\mathfrak X$ is not too large.

**Proof.**
First we observe that $h_\mathfrak X$ satisfies the sheaf property for the Zariski topology for any formal scheme $\mathfrak X$ (see Schemes, Definition 26.15.3). This follows from the local nature of morphisms in the category of formal schemes. Also, for an open immersion $\mathfrak V \to \mathfrak W$ of formal schemes, the corresponding transformation of functors $h_\mathfrak V \to h_\mathfrak W$ is injective and representable by open immersions (see Schemes, Definition 26.15.3). Choose an open covering $\mathfrak X = \bigcup \mathfrak U_ i$ of a formal scheme by affine formal schemes $\mathfrak U_ i$. Then the collection of functors $h_{\mathfrak U_ i}$ covers $h_\mathfrak X$ (see Schemes, Definition 26.15.3). Finally, note that

\[ h_{\mathfrak U_ i} \times _{h_\mathfrak X} h_{\mathfrak U_ j} = h_{\mathfrak U_ i \cap \mathfrak U_ j} \]

Hence in order to give a map $h_\mathfrak X \to h_\mathfrak Y$ is equivalent to giving a family of maps $h_{\mathfrak U_ i} \to h_\mathfrak Y$ which agree on overlaps. Thus we can reduce the bijectivity (resp. injectivity) of the map of the lemma to bijectivity (resp. injectivity) for the pairs $(\mathfrak U_ i, \mathfrak Y)$ and injectivity (resp. nothing) for $(\mathfrak U_ i \cap \mathfrak U_ j, \mathfrak Y)$. In this way we reduce to the case where $\mathfrak X$ is an affine formal scheme. Say $\mathfrak X = \text{Spf}(A)$ for some admissible topological ring $A$. Also, choose a fundamental system of ideals of definition $I_\lambda \subset A$.

We can also localize on $\mathfrak Y$. Namely, suppose that $\mathfrak V \subset \mathfrak Y$ is an open formal subscheme and $\varphi : h_\mathfrak X \to h_\mathfrak Y$. Then

\[ h_\mathfrak V \times _{h_\mathfrak Y, \varphi } h_\mathfrak X \to h_\mathfrak X \]

is representable by open immersions. Pulling back to $\mathop{\mathrm{Spec}}(A/I_\lambda )$ for all $\lambda $ we find an open subscheme $U_\lambda \subset \mathop{\mathrm{Spec}}(A/I_\lambda )$. However, for $I_\lambda \subset I_\mu $ the morphism $\mathop{\mathrm{Spec}}(A/I_\lambda ) \to \mathop{\mathrm{Spec}}(A/I_\mu )$ pulls back $U_\mu $ to $U_\lambda $. Thus these glue to give an open formal subscheme $\mathfrak U \subset \mathfrak X$. A straightforward argument (omitted) shows that

\[ h_\mathfrak U = h_\mathfrak V \times _{h_\mathfrak Y} h_\mathfrak X \]

In this way we see that given an open covering $\mathfrak Y = \bigcup \mathfrak V_ j$ and a transformation of functors $\varphi : h_\mathfrak X \to h_\mathfrak Y$ we obtain a corresponding open covering of $\mathfrak X$. Since $\mathfrak X$ is affine, we can refine this covering by a finite open covering $\mathfrak X = \mathfrak U_1 \cup \ldots \cup \mathfrak U_ n$ by affine formal subschemes. In other words, for each $i$ there is a $j$ and a map $\varphi _ i : h_{\mathfrak U_ i} \to h_{\mathfrak V_ j}$ such that

\[ \xymatrix{ h_{\mathfrak U_ i} \ar[r]_{\varphi _ i} \ar[d] & h_{\mathfrak V_ j} \ar[d] \\ h_{\mathfrak X} \ar[r]^\varphi & h_\mathfrak Y } \]

commutes. With a few additional arguments (which we omit) this implies that it suffices to prove the bijectivity of the lemma in case both $\mathfrak X$ and $\mathfrak Y$ are affine formal schemes.

Assume $\mathfrak X$ and $\mathfrak Y$ are affine formal schemes. Say $\mathfrak X = \text{Spf}(A)$ and $\mathfrak Y = \text{Spf}(B)$. Let $\varphi : h_\mathfrak X \to h_\mathfrak Y$ be a transformation of functors. Let $I_\lambda \subset A$ be a fundamental system of ideals of definition. The canonical inclusion morphism $i_\lambda : \mathop{\mathrm{Spec}}(A/I_\lambda ) \to \mathfrak X$ maps to a morphism $\varphi (i_\lambda ) : \mathop{\mathrm{Spec}}(A/I_\lambda ) \to \mathfrak Y$. By (85.2.0.1) this corresponds to a continuous map $\chi _\lambda : B \to A/I_\lambda $. Since $\varphi $ is a transformation of functors it follows that for $I_\lambda \subset I_\mu $ the composition $B \to A/I_\lambda \to A/I_\mu $ is equal to $\chi _\mu $. In other words we obtain a ring map

\[ \chi = \mathop{\mathrm{lim}}\nolimits \chi _\lambda : B \longrightarrow \mathop{\mathrm{lim}}\nolimits A/I_\lambda = A \]

This is a continuous homomorphism because the inverse image of $I_\lambda $ is open for all $\lambda $ (as $A/I_\lambda $ has the discrete topology and $\chi _\lambda $ is continuous). Thus we obtain a morphism $\text{Spf}(\chi ) : \mathfrak X \to \mathfrak Y$ by (85.2.0.1). We omit the verification that this construction is the inverse to the map of the lemma in this case.

Set theoretic remarks. To make this work on the given category of schemes $\mathit{Sch}_\alpha $ we just have to make sure all the schemes used in the proof above are isomorphic to objects of $\mathit{Sch}_\alpha $. In fact, a careful analysis shows that it suffices if the schemes $\mathop{\mathrm{Spec}}(A/I_\lambda )$ occurring above are isomorphic to objects of $\mathit{Sch}_\alpha $. For this it certainly suffices to assume the size of $\mathfrak X$ is at most the size of a scheme contained in $\mathit{Sch}_\alpha $. $\square$

Lemma 85.2.2. Let $\mathfrak X$ be a formal scheme. The functor of points $h_\mathfrak X$ (see Lemma 85.2.1) satisfies the sheaf condition for fpqc coverings.

**Proof.**
Topologies, Lemma 34.9.13 reduces us to the case of a Zariski covering and a covering $\{ \mathop{\mathrm{Spec}}(S) \to \mathop{\mathrm{Spec}}(R)\} $ with $R \to S$ faithfully flat. We observed in the proof of Lemma 85.2.1 that $h_\mathfrak X$ satisfies the sheaf condition for Zariski coverings.

Suppose that $R \to S$ is a faithfully flat ring map. Denote $\pi : \mathop{\mathrm{Spec}}(S) \to \mathop{\mathrm{Spec}}(R)$ the corresponding morphism of schemes. It is surjective and flat. Let $f : \mathop{\mathrm{Spec}}(S) \to \mathfrak X$ be a morphism such that $f \circ \text{pr}_1 = f \circ \text{pr}_2$ as maps $\mathop{\mathrm{Spec}}(S \otimes _ R S) \to \mathfrak X$. By Descent, Lemma 35.10.1 we see that as a map on the underlying sets $f$ is of the form $f = g \circ \pi $ for some (set theoretic) map $g : \mathop{\mathrm{Spec}}(R) \to \mathfrak X$. By Morphisms, Lemma 29.25.12 and the fact that $f$ is continuous we see that $g$ is continuous.

Pick $y \in \mathop{\mathrm{Spec}}(R)$. Choose $\mathfrak U \subset \mathfrak X$ an affine formal open subscheme containing $g(y)$. Say $\mathfrak U = \text{Spf}(A)$ for some admissible topological ring $A$. By the above we may choose an $r \in R$ such that $y \in D(r) \subset g^{-1}(\mathfrak U)$. The restriction of $f$ to $\pi ^{-1}(D(r))$ into $\mathfrak U$ corresponds to a continuous ring map $A \to S_ r$ by (85.2.0.1). The two induced ring maps $A \to S_ r \otimes _{R_ r} S_ r = (S \otimes _ R S)_ r$ are equal by assumption on $f$. Note that $R_ r \to S_ r$ is faithfully flat. By Descent, Lemma 35.3.6 the equalizer of the two arrows $S_ r \to S_ r \otimes _{R_ r} S_ r$ is $R_ r$. We conclude that $A \to S_ r$ factors uniquely through a map $A \to R_ r$ which is also continuous as it has the same (open) kernel as the map $A \to S_ r$. This map in turn gives a morphism $D(r) \to \mathfrak U$ by (85.2.0.1).

What have we proved so far? We have shown that for any $y \in \mathop{\mathrm{Spec}}(R)$ there exists a standard affine open $y \in D(r) \subset \mathop{\mathrm{Spec}}(R)$ such that the morphism $f|_{\pi ^{-1}(D(r))} : \pi ^{-1}(D(r)) \to \mathfrak X$ factors uniquely though some morphism $D(r) \to \mathfrak X$. We omit the verification that these morphisms glue to the desired morphism $\mathop{\mathrm{Spec}}(R) \to \mathfrak X$. $\square$

Remark 85.2.3 (McQuillan's variant). There is a variant of the construction of formal schemes due to McQuillan, see [McQuillan]. He suggests a slight weakening of the condition of admissibility. Namely, recall that an admissible topological ring is a complete (and separated by our conventions) topological ring $A$ which is linearly topologized such that there exists an ideal of definition: an open ideal $I$ such that any neighbourhood of $0$ contains $I^ n$ for some $n \geq 1$. McQuillan works with what we will call *weakly admissible* topological rings. A weakly admissible topological ring $A$ is a complete (and separated by our conventions) topological ring which is linearly topologized such that there exists an *weak ideal of definition*: an open ideal $I$ such that for all $f \in I$ we have $f^ n \to 0$ for $n \to \infty $. Similarly to the admissible case, if $I$ is a weak ideal of definition and $J \subset A$ is an open ideal, then $I \cap J$ is a weak ideal of definition. Thus the weak ideals of definition form a fundamental system of open neighbourhoods of $0$ and one can proceed along much the same route as above to define a larger category of formal schemes based on this notion. The analogues of Lemmas 85.2.1 and 85.2.2 still hold in this setting (with the same proof).

Remark 85.2.4 (Sheafification of presheaves of topological spaces). In this remark we briefly discuss sheafification of presheaves of topological spaces. The exact same arguments work for presheaves of topological abelian groups, topological rings, and topological modules (over a given topological ring). In order to do this in the correct generality let us work over a site $\mathcal{C}$. The reader who is interested in the case of (pre)sheaves over a topological space $X$ should think of objects of $\mathcal{C}$ as the opens of $X$, of morphisms of $\mathcal{C}$ as inclusions of opens, and of coverings in $\mathcal{C}$ as coverings in $X$, see Sites, Example 7.6.4. Denote $\mathop{\mathit{Sh}}\nolimits (\mathcal{C}, \textit{Top})$ the category of sheaves of topological spaces on $\mathcal{C}$ and denote $\textit{PSh}(\mathcal{C}, \textit{Top})$ the category of presheaves of topological spaces on $\mathcal{C}$. Let $\mathcal{F}$ be a presheaf of topological spaces on $\mathcal{C}$. The sheafification $\mathcal{F}^\# $ should satisfy the formula

\[ \mathop{Mor}\nolimits _{\textit{PSh}(\mathcal{C}, \textit{Top})}(\mathcal{F}, \mathcal{G}) = \mathop{Mor}\nolimits _{\mathop{\mathit{Sh}}\nolimits (\mathcal{C}, \textit{Top})}(\mathcal{F}^\# , \mathcal{G}) \]

functorially in $\mathcal{G}$ from $\mathop{\mathit{Sh}}\nolimits (\mathcal{C}, \textit{Top})$. In other words, we are trying to construct the left adjoint to the inclusion functor $\mathop{\mathit{Sh}}\nolimits (\mathcal{C}, \textit{Top}) \to \textit{PSh}(\mathcal{C}, \textit{Top})$. We first claim that $\mathop{\mathit{Sh}}\nolimits (\mathcal{C}, \textit{Top})$ has limits and that the inclusion functor commutes with them. Namely, given a category $\mathcal{I}$ and a functor $i \mapsto \mathcal{G}_ i$ into $\mathop{\mathit{Sh}}\nolimits (\mathcal{C}, \textit{Top})$ we simply define

\[ (\mathop{\mathrm{lim}}\nolimits \mathcal{G}_ i)(U) = \mathop{\mathrm{lim}}\nolimits \mathcal{G}_ i(U) \]

where we take the limit in the category of topological spaces (Topology, Lemma 5.14.1). This defines a sheaf because limits commute with limits (Categories, Lemma 4.14.10) and in particular products and equalizers (which are the operations used in the sheaf axiom). Finally, a morphism of presheaves from $\mathcal{F} \to \mathop{\mathrm{lim}}\nolimits \mathcal{G}_ i$ is clearly the same thing as a compatible system of morphisms $\mathcal{F} \to \mathcal{G}_ i$. In other words, the object $\mathop{\mathrm{lim}}\nolimits \mathcal{G}_ i$ is the limit in the category of presheaves of topological spaces and a fortiori in the category of sheaves of topological spaces. Our second claim is that any morphism of presheaves $\mathcal{F} \to \mathcal{G}$ with $\mathcal{G}$ an object of $\mathop{\mathit{Sh}}\nolimits (\mathcal{C}, \textit{Top})$ factors through a subsheaf $\mathcal{G}' \subset \mathcal{G}$ whose size is bounded. Here we define the *size* $|\mathcal{H}|$ of a sheaf of topological spaces $\mathcal{H}$ to be the cardinal $\sup _{U \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})} |\mathcal{H}(U)|$. To prove our claim we let

\[ \mathcal{G}'(U) = \left\{ \quad s \in \mathcal{G}(U) \quad \middle | \quad \begin{matrix} \text{there exists a covering }\{ U_ i \to U\} _{i \in I}
\\ \text{such that } s|_{U_ i} \in \mathop{\mathrm{Im}}(\mathcal{F}(U_ i) \to \mathcal{G}(U_ i))
\end{matrix} \quad \right\} \]

We endow $\mathcal{G}'(U)$ with the induced topology. Then $\mathcal{G}'$ is a sheaf of topological spaces (details omitted) and $\mathcal{G}' \to \mathcal{G}$ is a morphism through which the given map $\mathcal{F} \to \mathcal{G}$ factors. Moreover, the size of $\mathcal{G}'$ is bounded by some cardinal $\kappa $ depending only on $\mathcal{C}$ and the presheaf $\mathcal{F}$ (hint: use that coverings in $\mathcal{C}$ form a set by our conventions). Putting everything together we see that the assumptions of Categories, Theorem 4.25.3 are satisfied and we obtain sheafification as the left adjoint of the inclusion functor from sheaves to presheaves. Finally, let $p$ be a point of the site $\mathcal{C}$ given by a functor $u : \mathcal{C} \to \textit{Sets}$, see Sites, Definition 7.32.2. For a topological space $M$ the presheaf defined by the rule

\[ U \mapsto \text{Map}(u(U), M) = \prod \nolimits _{x \in u(U)} M \]

endowed with the product topology is a sheaf of topological spaces. Hence the exact same argument as given in the proof of Sites, Lemma 7.32.5 shows that $\mathcal{F}_ p = \mathcal{F}^\# _ p$, in other words, sheafification commutes with taking stalks at a point.

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like `$\pi$`

). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

## Comments (12)

Comment #1010 by Matthew Emerton on

Comment #1026 by Johan on

Comment #1064 by S. Carnahan on

Comment #1065 by Johan on

Comment #1310 by Keenan Kidwell on

Comment #1311 by Johan on

Comment #1312 by Keenan Kidwell on

Comment #1313 by Johan on

Comment #1315 by Keenan Kidwell on

Comment #1317 by Johan on

Comment #1326 by Keenan Kidwell on

Comment #1348 by Johan on