The Stacks project

Lemma 7.38.2. Let $\mathcal{C}$ be a site and let $\{ p_ i\} _{i\in I}$ be a conservative family of points. Then

  1. Given any map of sheaves $\varphi : \mathcal{F} \to \mathcal{G}$ we have $\forall i, \varphi _{p_ i}$ injective implies $\varphi $ injective.

  2. Given any map of sheaves $\varphi : \mathcal{F} \to \mathcal{G}$ we have $\forall i, \varphi _{p_ i}$ surjective implies $\varphi $ surjective.

  3. Given any pair of maps of sheaves $\varphi _1, \varphi _2 : \mathcal{F} \to \mathcal{G}$ we have $\forall i, \varphi _{1, p_ i} = \varphi _{2, p_ i}$ implies $\varphi _1 = \varphi _2$.

  4. Given a finite diagram $\mathcal{G} : \mathcal{J} \to \mathop{\mathit{Sh}}\nolimits (\mathcal{C})$, a sheaf $\mathcal{F}$ and morphisms $q_ j : \mathcal{F} \to \mathcal{G}_ j$ then $(\mathcal{F}, q_ j)$ is a limit of the diagram if and only if for each $i$ the stalk $(\mathcal{F}_{p_ i}, (q_ j)_{p_ i})$ is one.

  5. Given a finite diagram $\mathcal{F} : \mathcal{J} \to \mathop{\mathit{Sh}}\nolimits (\mathcal{C})$, a sheaf $\mathcal{G}$ and morphisms $e_ j : \mathcal{F}_ j \to \mathcal{G}$ then $(\mathcal{G}, e_ j)$ is a colimit of the diagram if and only if for each $i$ the stalk $(\mathcal{G}_{p_ i}, (e_ j)_{p_ i})$ is one.

Proof. We will use over and over again that all the stalk functors commute with any finite limits and colimits and hence with products, fibred products, etc. We will also use that injective maps are the monomorphisms and the surjective maps are the epimorphisms. A map of sheaves $\varphi : \mathcal{F} \to \mathcal{G}$ is injective if and only if $\mathcal{F} \to \mathcal{F} \times _\mathcal {G} \mathcal{F}$ is an isomorphism. Hence (1). Similarly, $\varphi : \mathcal{F} \to \mathcal{G}$ is surjective if and only if $\mathcal{G} \amalg _\mathcal {F} \mathcal{G} \to \mathcal{G}$ is an isomorphism. Hence (2). The maps $a, b : \mathcal{F} \to \mathcal{G}$ are equal if and only if $\text{Equalizer}(a, b : \mathcal{F} \to \mathcal{G}) \to \mathcal{F}$ is an isomorphism1. Hence (3). The assertions (4) and (5) follow immediately from the definitions and the remarks at the start of this proof. $\square$

[1] The equalizer can be expressed in terms of products and fibre products, see proof of Categories, Lemma 4.18.4.

Comments (2)

Comment #8356 by ZL on

A minor problem. In the proof for , let and , we have which is not isomorphic to . Maybe we can use the fact that iff is an isomorphism?


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 00YL. Beware of the difference between the letter 'O' and the digit '0'.