The Stacks project

6.30 Bases and sheaves

Sometimes there exists a basis for the topology consisting of opens that are easier to work with than general opens. For convenience we give here some definitions and simple lemmas in order to facilitate working with (pre)sheaves in such a situation.

Definition 6.30.1. Let $X$ be a topological space. Let $\mathcal{B}$ be a basis for the topology on $X$.

  1. A presheaf $\mathcal{F}$ of sets on $\mathcal{B}$ is a rule which assigns to each $U \in \mathcal{B}$ a set $\mathcal{F}(U)$ and to each inclusion $V \subset U$ of elements of $\mathcal{B}$ a map $\rho ^ U_ V : \mathcal{F}(U) \to \mathcal{F}(V)$ such that $\rho ^ U_ U = \text{id}_{\mathcal{F}(U)}$ for all $U \in \mathcal{B}$ whenever $W \subset V \subset U$ in $\mathcal{B}$ we have $\rho ^ U_ W = \rho ^ V_ W \circ \rho ^ U_ V$.

  2. A morphism $\varphi : \mathcal{F} \to \mathcal{G}$ of presheaves of sets on $\mathcal{B}$ is a rule which assigns to each element $U \in \mathcal{B}$ a map of sets $\varphi : \mathcal{F}(U) \to \mathcal{G}(U)$ compatible with restriction maps.

As in the case of usual presheaves we use the terminology of sections, restrictions of sections, etc. In particular, we may define the stalk of $\mathcal{F}$ at a point $x \in X$ by the colimit

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

As in the case of the stalk of a presheaf on $X$ this limit is directed. The reason is that the collection of $U\in \mathcal{B}$, $x \in U$ is a fundamental system of open neighbourhoods of $x$.

It is easy to make examples to show that the notion of a presheaf on $X$ is very different from the notion of a presheaf on a basis for the topology on $X$. This does not happen in the case of sheaves. A much more useful notion therefore, is the following.

Definition 6.30.2. Let $X$ be a topological space. Let $\mathcal{B}$ be a basis for the topology on $X$.

  1. A sheaf $\mathcal{F}$ of sets on $\mathcal{B}$ is a presheaf of sets on $\mathcal{B}$ which satisfies the following additional property: Given any $U \in \mathcal{B}$, and any covering $U = \bigcup _{i \in I} U_ i$ with $U_ i \in \mathcal{B}$, and any coverings $U_ i \cap U_ j = \bigcup _{k \in I_{ij}} U_{ijk}$ with $U_{ijk} \in \mathcal{B}$ the sheaf condition holds:

    • For any collection of sections $s_ i \in \mathcal{F}(U_ i)$, $i \in I$ such that $\forall i, j\in I$, $\forall k\in I_{ij}$

      \[ s_ i|_{U_{ijk}} = s_ j|_{U_{ijk}} \]

      there exists a unique section $s \in \mathcal{F}(U)$ such that $s_ i = s|_{U_ i}$ for all $i \in I$.

  2. A morphism of sheaves of sets on $\mathcal{B}$ is simply a morphism of presheaves of sets.

First we explain that it suffices to check the sheaf condition $(**)$ on a cofinal system of coverings. In the situation of the definition, suppose $U \in \mathcal{B}$. Let us temporarily denote $\text{Cov}_\mathcal {B}(U)$ the set of all coverings of $U$ by elements of $\mathcal{B}$. Note that $\text{Cov}_\mathcal {B}(U)$ is preordered by refinement. A subset $C \subset \text{Cov}_\mathcal {B}(U)$ is a cofinal system, if for every $\mathcal{U} \in \text{Cov}_\mathcal {B}(U)$ there exists a covering $\mathcal{V} \in C$ which refines $\mathcal{U}$.

Lemma 6.30.3. With notation as above. For each $U \in \mathcal{B}$, let $C(U) \subset \text{Cov}_\mathcal {B}(U)$ be a cofinal system. For each $U \in \mathcal{B}$, and each $\mathcal{U} : U = \bigcup U_ i$ in $C(U)$, let coverings $\mathcal{U}_{ij} : U_ i \cap U_ j = \bigcup U_{ijk}$, $U_{ijk} \in \mathcal{B}$ be given. Let $\mathcal{F}$ be a presheaf of sets on $\mathcal{B}$. The following are equivalent

  1. The presheaf $\mathcal{F}$ is a sheaf on $\mathcal{B}$.

  2. For every $U \in \mathcal{B}$ and every covering $\mathcal{U} : U = \bigcup U_ i$ in $C(U)$ the sheaf condition $(**)$ holds (for the given coverings $\mathcal{U}_{ij}$).

Proof. We have to show that (2) implies (1). Suppose that $U \in \mathcal{B}$, and that $\mathcal{U} : U = \bigcup _{i\in I} U_ i$ is an arbitrary covering by elements of $\mathcal{B}$. Because the system $C(U)$ is cofinal we can find an element $\mathcal{V} : U = \bigcup _{j \in J} V_ j$ in $C(U)$ which refines $\mathcal{U}$. This means there exists a map $\alpha : J \to I$ such that $V_ j \subset U_{\alpha (j)}$.

Note that if $s, s' \in \mathcal{F}(U)$ are sections such that $s|_{U_ i} = s'|_{U_ i}$, then

\[ s|_{V_ j} = (s|_{U_{\alpha (j)}})|_{V_ j} = (s'|_{U_{\alpha (j)}})|_{V_ j} = s'|_{V_ j} \]

for all $j$. Hence by the uniqueness in $(**)$ for the covering $\mathcal{V}$ we conclude that $s = s'$. Thus we have proved the uniqueness part of $(**)$ for our arbitrary covering $\mathcal{U}$.

Suppose furthermore that $U_ i \cap U_{i'} = \bigcup _{k \in I_{ii'}} U_{ii'k}$ are arbitrary coverings by $U_{ii'k} \in \mathcal{B}$. Let us try to prove the existence part of $(**)$ for the system $(\mathcal{U}, \mathcal{U}_{ij})$. Thus let $s_ i \in \mathcal{F}(U_ i)$ and suppose we have

\[ s_ i|_{U_{ii'k}} = s_{i'}|_{U_{ii'k}} \]

for all $i, i', k$. Set $t_ j = s_{\alpha (j)}|_{V_ j}$, where $\mathcal{V}$ and $\alpha $ are as above.

There is one small kink in the argument here. Namely, let $\mathcal{V}_{jj'} : V_ j \cap V_{j'} = \bigcup _{l \in J_{jj'}} V_{jj'l}$ be the covering given to us by the statement of the lemma. It is not a priori clear that

\[ t_ j|_{V_{jj'l}} = t_{j'}|_{V_{jj'l}} \]

for all $j, j', l$. To see this, note that we do have

\[ t_ j|_ W = t_{j'}|_ W \text{ for all } W \in \mathcal{B}, W \subset V_{jj'l} \cap U_{\alpha (j)\alpha (j')k} \]

for all $k \in I_{\alpha (j)\alpha (j')}$, by our assumption on the family of elements $s_ i$. And since $V_ j \cap V_{j'} \subset U_{\alpha (j)} \cap U_{\alpha (j')}$ we see that $t_ j|_{V_{jj'l}}$ and $t_{j'}|_{V_{jj'l}}$ agree on the members of a covering of $V_{jj'l}$ by elements of $\mathcal{B}$. Hence by the uniqueness part proved above we finally deduce the desired equality of $t_ j|_{V_{jj'l}}$ and $t_{j'}|_{V_{jj'l}}$. Then we get the existence of an element $t \in \mathcal{F}(U)$ by property $(**)$ for $(\mathcal{V}, \mathcal{V}_{jj'})$.

Again there is a small snag. We know that $t$ restricts to $t_ j$ on $V_ j$ but we do not yet know that $t$ restricts to $s_ i$ on $U_ i$. To conclude this note that the sets $U_ i \cap V_ j$, $j \in J$ cover $U_ i$. Hence also the sets $U_{i \alpha (j) k} \cap V_ j$, $j\in J$, $k \in I_{i\alpha (j)}$ cover $U_ i$. We leave it to the reader to see that $t$ and $s_ i$ restrict to the same section of $\mathcal{F}$ on any $W \in \mathcal{B}$ which is contained in one of the open sets $U_{i \alpha (j) k} \cap V_ j$, $j\in J$, $k \in I_{i\alpha (j)}$. Hence by the uniqueness part seen above we win. $\square$

Lemma 6.30.4. Let $X$ be a topological space. Let $\mathcal{B}$ be a basis for the topology on $X$. Assume that for every triple $U, U', U'' \in \mathcal{B}$ with $U' \subset U$ and $U'' \subset U$ we have $U' \cap U'' \in \mathcal{B}$. For each $U \in \mathcal{B}$, let $C(U) \subset \text{Cov}_\mathcal {B}(U)$ be a cofinal system. Let $\mathcal{F}$ be a presheaf of sets on $\mathcal{B}$. The following are equivalent

  1. The presheaf $\mathcal{F}$ is a sheaf on $\mathcal{B}$.

  2. For every $U \in \mathcal{B}$ and every covering $\mathcal{U} : U = \bigcup U_ i$ in $C(U)$ and for every family of sections $s_ i \in \mathcal{F}(U_ i)$ such that $s_ i|_{U_ i \cap U_ j} = s_ j|_{U_ i \cap U_ j}$ there exists a unique section $s \in \mathcal{F}(U)$ which restricts to $s_ i$ on $U_ i$.

Proof. This is a reformulation of Lemma 6.30.3 above in the special case where the coverings $\mathcal{U}_{ij}$ each consist of a single element. But also this case is much easier and is an easy exercise to do directly. $\square$

Lemma 6.30.5. Let $X$ be a topological space. Let $\mathcal{B}$ be a basis for the topology on $X$. Let $U \in \mathcal{B}$. Let $\mathcal{F}$ be a sheaf of sets on $\mathcal{B}$. The map

\[ \mathcal{F}(U) \to \prod \nolimits _{x \in U} \mathcal{F}_ x \]

identifies $\mathcal{F}(U)$ with the elements $(s_ x)_{x\in U}$ with the property

  • For any $x \in U$ there exists a $V \in \mathcal{B}$, with $x \in V \subset U$ and a section $\sigma \in \mathcal{F}(V)$ such that for all $y \in V$ we have $s_ y = (V, \sigma )$ in $\mathcal{F}_ y$.

Proof. First note that the map $\mathcal{F}(U) \to \prod \nolimits _{x \in U} \mathcal{F}_ x$ is injective by the uniqueness in the sheaf condition of Definition 6.30.2. Let $(s_ x)$ be any element on the right hand side which satisfies $(*)$. Clearly this means we can find a covering $U = \bigcup U_ i$, $U_ i \in \mathcal{B}$ such that $(s_ x)_{x \in U_ i}$ comes from certain $\sigma _ i \in \mathcal{F}(U_ i)$. For every $y \in U_ i \cap U_ j$ the sections $\sigma _ i$ and $\sigma _ j$ agree in the stalk $\mathcal{F}_ y$. Hence there exists an element $V_{ijy} \in \mathcal{B}$, $y \in V_{ijy}$ such that $\sigma _ i|_{V_{ijy}} = \sigma _ j|_{V_{ijy}}$. Thus the sheaf condition $(**)$ of Definition 6.30.2 applies to the system of $\sigma _ i$ and we obtain a section $s \in \mathcal{F}(U)$ with the desired property. $\square$

Let $X$ be a topological space. Let $\mathcal{B}$ be a basis for the topology on $X$. There is a natural restriction functor from the category of sheaves of sets on $X$ to the category of sheaves of sets on $\mathcal{B}$. It turns out that this is an equivalence of categories. In down to earth terms this means the following.

Lemma 6.30.6. Let $X$ be a topological space. Let $\mathcal{B}$ be a basis for the topology on $X$. Let $\mathcal{F}$ be a sheaf of sets on $\mathcal{B}$. There exists a unique sheaf of sets $\mathcal{F}^{ext}$ on $X$ such that $\mathcal{F}^{ext}(U) = \mathcal{F}(U)$ for all $U \in \mathcal{B}$ compatibly with the restriction mappings.

Proof. We first construct a presheaf $\mathcal{F}^{ext}$ with the desired property. Namely, for an arbitrary open $U \subset X$ we define $\mathcal{F}^{ext}(U)$ as the set of elements $(s_ x)_{x \in U}$ such that $(*)$ of Lemma 6.30.5 holds. It is clear that there are restriction mappings that turn $\mathcal{F}^{ext}$ into a presheaf of sets. Also, by Lemma 6.30.5 we see that $\mathcal{F}(U) = \mathcal{F}^{ext}(U)$ whenever $U$ is an element of the basis $\mathcal{B}$. To see $\mathcal{F}^{ext}$ is a sheaf one may argue as in the proof of Lemma 6.17.1. $\square$

Note that we have

\[ \mathcal{F}_ x = \mathcal{F}_ x^{ext} \]

in the situation of the lemma. This is so because the collection of elements of $\mathcal{B}$ containing $x$ forms a fundamental system of open neighbourhoods of $x$.

Lemma 6.30.7. Let $X$ be a topological space. Let $\mathcal{B}$ be a basis for the topology on $X$. Denote $\mathop{\mathit{Sh}}\nolimits (\mathcal{B})$ the category of sheaves on $\mathcal{B}$. There is an equivalence of categories

\[ \mathop{\mathit{Sh}}\nolimits (X) \longrightarrow \mathop{\mathit{Sh}}\nolimits (\mathcal{B}) \]

which assigns to a sheaf on $X$ its restriction to the members of $\mathcal{B}$.

Proof. The inverse functor in given in Lemma 6.30.6 above. Checking the obvious functorialities is left to the reader. $\square$

This ends the discussion of sheaves of sets on a basis $\mathcal{B}$. Let $(\mathcal{C}, F)$ be a type of algebraic structure. At the end of this section we would like to point out that the constructions above work for sheaves with values in $\mathcal{C}$. Let us briefly define the relevant notions.

Definition 6.30.8. Let $X$ be a topological space. Let $\mathcal{B}$ be a basis for the topology on $X$. Let $(\mathcal{C}, F)$ be a type of algebraic structure.

  1. A presheaf $\mathcal{F}$ with values in $\mathcal{C}$ on $\mathcal{B}$ is a rule which assigns to each $U \in \mathcal{B}$ an object $\mathcal{F}(U)$ of $\mathcal{C}$ and to each inclusion $V \subset U$ of elements of $\mathcal{B}$ a morphism $\rho ^ U_ V : \mathcal{F}(U) \to \mathcal{F}(V)$ in $\mathcal{C}$ such that $\rho ^ U_ U = \text{id}_{\mathcal{F}(U)}$ for all $U \in \mathcal{B}$ and whenever $W \subset V \subset U$ in $\mathcal{B}$ we have $\rho ^ U_ W = \rho ^ V_ W \circ \rho ^ U_ V$.

  2. A morphism $\varphi : \mathcal{F} \to \mathcal{G}$ of presheaves with values in $\mathcal{C}$ on $\mathcal{B}$ is a rule which assigns to each element $U \in \mathcal{B}$ a morphism of algebraic structures $\varphi : \mathcal{F}(U) \to \mathcal{G}(U)$ compatible with restriction maps.

  3. Given a presheaf $\mathcal{F}$ with values in $\mathcal{C}$ on $\mathcal{B}$ we say that $U \mapsto F(\mathcal{F}(U))$ is the underlying presheaf of sets.

  4. A sheaf $\mathcal{F}$ with values in $\mathcal{C}$ on $\mathcal{B}$ is a presheaf with values in $\mathcal{C}$ on $\mathcal{B}$ whose underlying presheaf of sets is a sheaf.

At this point we can define the stalk at $x \in X$ of a presheaf with values in $\mathcal{C}$ on $\mathcal{B}$ as the directed colimit

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

It exists as an object of $\mathcal{C}$ because of our assumptions on $\mathcal{C}$. Also, we see that the underlying set of $\mathcal{F}_ x$ is the stalk of the underlying presheaf of sets on $\mathcal{B}$.

Note that Lemmas 6.30.3, 6.30.4 and 6.30.5 refer to the sheaf property which we have defined in terms of the associated presheaf of sets. Hence they generalize without change to the notion of a presheaf with values in $\mathcal{C}$. The analogue of Lemma 6.30.6 need some care. Here it is.

Lemma 6.30.9. Let $X$ be a topological space. Let $(\mathcal{C}, F)$ be a type of algebraic structure. Let $\mathcal{B}$ be a basis for the topology on $X$. Let $\mathcal{F}$ be a sheaf with values in $\mathcal{C}$ on $\mathcal{B}$. There exists a unique sheaf $\mathcal{F}^{ext}$ with values in $\mathcal{C}$ on $X$ such that $\mathcal{F}^{ext}(U) = \mathcal{F}(U)$ for all $U \in \mathcal{B}$ compatibly with the restriction mappings.

Proof. By the conditions imposed on the pair $(\mathcal{C}, F)$ it suffices to come up with a presheaf $\mathcal{F}^{ext}$ which does the correct thing on the level of underlying presheaves of sets. Thus our first task is to construct a suitable object $\mathcal{F}^{ext}(U)$ for all open $U \subset X$. We could do this by imitating Lemma 6.18.1 in the setting of presheaves on $\mathcal{B}$. However, a slightly different method (but basically equivalent) is the following: Define it as the directed colimit

\[ \mathcal{F}^{ext}(U) := \mathop{\mathrm{colim}}\nolimits _\mathcal {U} FIB(\mathcal{U}) \]

over all coverings $\mathcal{U} : U = \bigcup _{i\in I} U_ i$ by $U_ i \in \mathcal{B}$ of the fibre product

\[ \xymatrix{ FIB(\mathcal{U}) \ar[r] \ar[d] & \prod \nolimits _{x\in U} \mathcal{F}_ x \ar[d] \\ \prod \nolimits _{i\in I} \mathcal{F}(U_ i) \ar[r] & \prod \nolimits _{i \in I} \prod \nolimits _{x\in U_ i} \mathcal{F}_ x } \]

By the usual arguments, see Lemma 6.15.4 and Example 6.15.5 it suffices to show that this construction on underlying sets is the same as the definition using $(**)$ above. Details left to the reader. $\square$

Note that we have

\[ \mathcal{F}_ x = \mathcal{F}_ x^{ext} \]

as objects in $\mathcal{C}$ in the situation of the lemma. This is so because the collection of elements of $\mathcal{B}$ containing $x$ forms a fundamental system of open neighbourhoods of $x$.

Lemma 6.30.10. Let $X$ be a topological space. Let $\mathcal{B}$ be a basis for the topology on $X$. Let $(\mathcal{C}, F)$ be a type of algebraic structure. Denote $\mathop{\mathit{Sh}}\nolimits (\mathcal{B}, \mathcal{C})$ the category of sheaves with values in $\mathcal{C}$ on $\mathcal{B}$. There is an equivalence of categories

\[ \mathop{\mathit{Sh}}\nolimits (X, \mathcal{C}) \longrightarrow \mathop{\mathit{Sh}}\nolimits (\mathcal{B}, \mathcal{C}) \]

which assigns to a sheaf on $X$ its restriction to the members of $\mathcal{B}$.

Proof. The inverse functor in given in Lemma 6.30.9 above. Checking the obvious functorialities is left to the reader. $\square$

Finally we come to the case of (pre)sheaves of modules on a basis. We will use the easy fact that the category of presheaves of sets on a basis has products and that they are described by taking products of values on elements of the bases.

Definition 6.30.11. Let $X$ be a topological space. Let $\mathcal{B}$ be a basis for the topology on $X$. Let $\mathcal{O}$ be a presheaf of rings on $\mathcal{B}$.

  1. A presheaf of $\mathcal{O}$-modules $\mathcal{F}$ on $\mathcal{B}$ is a presheaf of abelian groups on $\mathcal{B}$ together with a morphism of presheaves of sets $\mathcal{O} \times \mathcal{F} \to \mathcal{F}$ such that for all $U \in \mathcal{B}$ the map $\mathcal{O}(U) \times \mathcal{F}(U) \to \mathcal{F}(U)$ turns the group $\mathcal{F}(U)$ into an $\mathcal{O}(U)$-module.

  2. A morphism $\varphi : \mathcal{F} \to \mathcal{G}$ of presheaves of $\mathcal{O}$-modules on $\mathcal{B}$ is a morphism of abelian presheaves on $\mathcal{B}$ which induces an $\mathcal{O}(U)$-module homomorphism $\mathcal{F}(U) \to \mathcal{G}(U)$ for every $U \in \mathcal{B}$.

  3. Suppose that $\mathcal{O}$ is a sheaf of rings on $\mathcal{B}$. A sheaf $\mathcal{F}$ of $\mathcal{O}$-modules on $\mathcal{B}$ is a presheaf of $\mathcal{O}$-modules on $\mathcal{B}$ whose underlying presheaf of abelian groups is a sheaf.

We can define the stalk at $x \in X$ of a presheaf of $\mathcal{O}$-modules on $\mathcal{B}$ as the directed colimit

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

It is a $\mathcal{O}_ x$-module.

Note that Lemmas 6.30.3, 6.30.4 and 6.30.5 refer to the sheaf property which we have defined in terms of the associated presheaf of sets. Hence they generalize without change to the notion of a presheaf of $\mathcal{O}$-modules. The analogue of Lemma 6.30.6 is as follows.

Lemma 6.30.12. Let $X$ be a topological space. Let $\mathcal{B}$ be a basis for the topology on $X$. Let $\mathcal{O}$ be a sheaf of rings on $\mathcal{B}$. Let $\mathcal{F}$ be a sheaf of $\mathcal{O}$-modules on $\mathcal{B}$. Let $\mathcal{O}^{ext}$ be the sheaf of rings on $X$ extending $\mathcal{O}$ and let $\mathcal{F}^{ext}$ be the abelian sheaf on $X$ extending $\mathcal{F}$, see Lemma 6.30.9. There exists a canonical map

\[ \mathcal{O}^{ext} \times \mathcal{F}^{ext} \longrightarrow \mathcal{F}^{ext} \]

which agrees with the given map over elements of $\mathcal{B}$ and which endows $\mathcal{F}^{ext}$ with the structure of an $\mathcal{O}^{ext}$-module.

Proof. It suffices to construct the multiplication map on the level of presheaves of sets. Perhaps the easiest way to see this is to prove directly that if $(f_ x)_{x \in U}$, $f_ x \in \mathcal{O}_ x$ and $(m_ x)_{x \in U}$, $m_ x \in \mathcal{F}_ x$ satisfy $(*)$, then the element $(f_ xm_ x)_{x \in U}$ also satisfies $(*)$. Then we get the desired result, because in the proof of Lemma 6.30.6 we construct the extension in terms of families of elements of stalks satisfying $(*)$. $\square$

Note that we have

\[ \mathcal{F}_ x = \mathcal{F}_ x^{ext} \]

as $\mathcal{O}_ x$-modules in the situation of the lemma. This is so because the collection of elements of $\mathcal{B}$ containing $x$ forms a fundamental system of open neighbourhoods of $x$, or simply because it is true on the underlying sets.

Lemma 6.30.13. Let $X$ be a topological space. Let $\mathcal{B}$ be a basis for the topology on $X$. Let $\mathcal{O}$ be a sheaf of rings on $X$. Denote $\textit{Mod}(\mathcal{O}|_\mathcal {B})$ the category of sheaves of $\mathcal{O}|_\mathcal {B}$-modules on $\mathcal{B}$. There is an equivalence of categories

\[ \textit{Mod}(\mathcal{O}) \longrightarrow \textit{Mod}(\mathcal{O}|_\mathcal {B}) \]

which assigns to a sheaf of $\mathcal{O}$-modules on $X$ its restriction to the members of $\mathcal{B}$.

Proof. The inverse functor in given in Lemma 6.30.12 above. Checking the obvious functorialities is left to the reader. $\square$

Finally, we address the question of the relationship of this with continuous maps. This is now very easy thanks to the work above. First we do the case where there is a basis on the target given.

Lemma 6.30.14. Let $f : X \to Y$ be a continuous map of topological spaces. Let $(\mathcal{C}, F)$ be a type of algebraic structures. Let $\mathcal{F}$ be a sheaf with values in $\mathcal{C}$ on $X$. Let $\mathcal{G}$ be a sheaf with values in $\mathcal{C}$ on $Y$. Let $\mathcal{B}$ be a basis for the topology on $Y$. Suppose given for every $V \in \mathcal{B}$ a morphism

\[ \varphi _ V : \mathcal{G}(V) \longrightarrow \mathcal{F}(f^{-1}V) \]

of $\mathcal{C}$ compatible with restriction mappings. Then there is a unique $f$-map (see Definition 6.21.7 and discussion of $f$-maps in Section 6.23) $\varphi : \mathcal{G} \to \mathcal{F}$ recovering $\varphi _ V$ for $V \in \mathcal{B}$.

Proof. This is trivial because the collection of maps amounts to a morphism between the restrictions of $\mathcal{G}$ and $f_*\mathcal{F}$ to $\mathcal{B}$. By Lemma 6.30.10 this is the same as giving a morphism from $\mathcal{G}$ to $f_*\mathcal{F}$, which by Lemma 6.21.8 is the same as an $f$-map. See also Lemma 6.23.1 and the discussion preceding it for how to deal with the case of sheaves of algebraic structures. $\square$

Here is the analogue for ringed spaces.

Lemma 6.30.15. Let $(f, f^\sharp ) : (X, \mathcal{O}_ X) \to (Y, \mathcal{O}_ Y)$ be a morphism of ringed spaces. Let $\mathcal{F}$ be a sheaf of $\mathcal{O}_ X$-modules. Let $\mathcal{G}$ be a sheaf of $\mathcal{O}_ Y$-modules. Let $\mathcal{B}$ be a basis for the topology on $Y$. Suppose given for every $V \in \mathcal{B}$ a $\mathcal{O}_ Y(V)$-module map

\[ \varphi _ V : \mathcal{G}(V) \longrightarrow \mathcal{F}(f^{-1}V) \]

(where $\mathcal{F}(f^{-1}V)$ has a module structure using $f^\sharp _ V : \mathcal{O}_ Y(V) \to \mathcal{O}_ X(f^{-1}V)$) compatible with restriction mappings. Then there is a unique $f$-map (see discussion of $f$-maps in Section 6.26) $\varphi : \mathcal{G} \to \mathcal{F}$ recovering $\varphi _ V$ for $V \in \mathcal{B}$.

Proof. Same as the proof of the corresponding lemma for sheaves of algebraic structures above. $\square$

Lemma 6.30.16. Let $f : X \to Y$ be a continuous map of topological spaces. Let $(\mathcal{C}, F)$ be a type of algebraic structures. Let $\mathcal{F}$ be a sheaf with values in $\mathcal{C}$ on $X$. Let $\mathcal{G}$ be a sheaf with values in $\mathcal{C}$ on $Y$. Let $\mathcal{B}_ Y$ be a basis for the topology on $Y$. Let $\mathcal{B}_ X$ be a basis for the topology on $X$. Suppose given for every $V \in \mathcal{B}_ Y$, and $U \in \mathcal{B}_ X$ such that $f(U) \subset V$ a morphism

\[ \varphi _ V^ U : \mathcal{G}(V) \longrightarrow \mathcal{F}(U) \]

of $\mathcal{C}$ compatible with restriction mappings. Then there is a unique $f$-map (see Definition 6.21.7 and the discussion of $f$-maps in Section 6.23) $\varphi : \mathcal{G} \to \mathcal{F}$ recovering $\varphi _ V^ U$ as the composition

\[ \mathcal{G}(V) \xrightarrow {\varphi _ V} \mathcal{F}(f^{-1}(V)) \xrightarrow {\text{restr.}} \mathcal{F}(U) \]

for every pair $(U, V)$ as above.

Proof. Let us first proves this for sheaves of sets. Fix $V \subset Y$ open. Pick $s \in \mathcal{G}(V)$. We are going to construct an element $\varphi _ V(s) \in \mathcal{F}(f^{-1}V)$. We can define a value $\varphi (s)_ x$ in the stalk $\mathcal{F}_ x$ for every $x \in f^{-1}V$ by picking a $U \in \mathcal{B}_ X$ with $x \in U \subset f^{-1}V$ and setting $\varphi (s)_ x$ equal to the equivalence class of $(U, \varphi _ V^ U(s))$ in the stalk. Clearly, the family $(\varphi (s)_ x)_{x \in f^{-1}V}$ satisfies condition $(*)$ because the maps $\varphi _ V^ U$ for varying $U$ are compatible with restrictions in the sheaf $\mathcal{F}$. Thus, by the proof of Lemma 6.30.6 we see that $(\varphi (s)_ x)_{x \in f^{-1}V}$ corresponds to a unique element $\varphi _ V(s)$ of $\mathcal{F}(f^{-1}V)$. Thus we have defined a set map $\varphi _ V : \mathcal{G}(V) \to \mathcal{F}(f^{-1}V)$. The compatibility between $\varphi _ V$ and $\varphi _ V^ U$ follows from Lemma 6.30.5.

We leave it to the reader to show that the construction of $\varphi _ V$ is compatible with restriction mappings as we vary $V \in \mathcal{B}_ Y$. Thus we may apply Lemma 6.30.14 above to “glue” them to the desired $f$-map.

Finally, we note that the map of sheaves of sets so constructed satisfies the property that the map on stalks

\[ \mathcal{G}_{f(x)} \longrightarrow \mathcal{F}_ x \]

is the colimit of the system of maps $\varphi _ V^ U$ as $V \in \mathcal{B}_ Y$ varies over those elements that contain $f(x)$ and $U \in \mathcal{B}_ X$ varies over those elements that contain $x$. In particular, if $\mathcal{G}$ and $\mathcal{F}$ are the underlying sheaves of sets of sheaves of algebraic structures, then we see that the maps on stalks is a morphism of algebraic structures. Hence we conclude that the associated map of sheaves of underlying sets $f^{-1}\mathcal{G} \to \mathcal{F}$ satisfies the assumptions of Lemma 6.23.1. We conclude that $f^{-1}\mathcal{G} \to \mathcal{F}$ is a morphism of sheaves with values in $\mathcal{C}$. And by adjointness this means that $\varphi $ is an $f$-map of sheaves of algebraic structures. $\square$

Lemma 6.30.17. Let $(f, f^\sharp ) : (X, \mathcal{O}_ X) \to (Y, \mathcal{O}_ Y)$ be a morphism of ringed spaces. Let $\mathcal{F}$ be a sheaf of $\mathcal{O}_ X$-modules. Let $\mathcal{G}$ be a sheaf of $\mathcal{O}_ Y$-modules. Let $\mathcal{B}_ Y$ be a basis for the topology on $Y$. Let $\mathcal{B}_ X$ be a basis for the topology on $X$. Suppose given for every $V \in \mathcal{B}_ Y$, and $U \in \mathcal{B}_ X$ such that $f(U) \subset V$ a $\mathcal{O}_ Y(V)$-module map

\[ \varphi _ V^ U : \mathcal{G}(V) \longrightarrow \mathcal{F}(U) \]

compatible with restriction mappings. Here the $\mathcal{O}_ Y(V)$-module structure on $\mathcal{F}(U)$ comes from the $\mathcal{O}_ X(U)$-module structure via the map $f^\sharp _ V : \mathcal{O}_ Y(V) \to \mathcal{O}_ X(f^{-1}V) \to \mathcal{O}_ X(U)$. Then there is a unique $f$-map of sheaves of modules (see Definition 6.21.7 and the discussion of $f$-maps in Section 6.26) $\varphi : \mathcal{G} \to \mathcal{F}$ recovering $\varphi _ V^ U$ as the composition

\[ \mathcal{G}(V) \xrightarrow {\varphi _ V} \mathcal{F}(f^{-1}(V)) \xrightarrow {\text{restr.}} \mathcal{F}(U) \]

for every pair $(U, V)$ as above.

Proof. Similar to the above and omitted. $\square$


Comments (6)

Comment #2518 by Ammar Y. Kılıç on

Why not using projective limits in order to define the extended presheaf (instead of stalks)? This would then work for any category (admitting projective limits).

Comment #2583 by Dario Weißmann on

In Lemma 6.30.12: should be a sheaf of -modules on . It would also make sense to swap the second and third sentence.

Comment #2589 by Ammar Y. Kılıç on

What I meant was that starting with a base-presheaf defined on a basis of a topological space (with values in some category that admits small limits), one can define an associated presheaf on by setting (with ranging in the elements of contained in ). This 'extended presheaf' is a sheaf if and only if the initial base-presheaf is a base-sheaf. (This also works if does not admit direct limits.)

Comment #2591 by Dario Weißmann on

Typo in the proof of lemma 6.30.3: should be defined as instead of

Comment #2618 by on

@#2583, @#2591 Thanks for the typos. Fixed here.

@#2589: OK, yes, you could do this and of course we do this in the chapter of sites all the time.


Post a comment

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.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 009H. Beware of the difference between the letter 'O' and the digit '0'.