The Stacks project

Lemma 7.10.8. The map $\theta : \mathcal{F} \to \mathcal{F}^+$ has the following property: For every object $U$ of $\mathcal{C}$ and every section $s \in \mathcal{F}^+(U)$ there exists a covering $\{ U_ i \to U\} $ such that $s|_{U_ i}$ is in the image of $\theta : \mathcal{F}(U_ i) \to \mathcal{F}^{+}(U_ i)$.

Proof. Namely, let $\{ U_ i \to U\} $ be a covering such that $s$ arises from the element $(s_ i) \in H^0(\{ U_ i \to U\} , \mathcal{F})$. According to Lemma 7.10.6 we may consider the covering $\{ U_ i \to U_ i\} $ and the (obvious) morphism of coverings $\{ U_ i \to U_ i\} \to \{ U_ i \to U\} $ to compute the pullback of $s$ to an element of $\mathcal{F}^+(U_ i)$. And indeed, using this covering we get exactly $\theta (s_ i)$ for the restriction of $s$ to $U_ i$. $\square$


Comments (2)

Comment #8573 by Alejandro González Nevado on

SS: The canonical map between a presheaf of sets on a site and its corresponding zeroth Čech cohomology admits, for every object and every section of the zeroth Čech cohomology over that object, a covering such that each restriction of the section corresponding to that covering is in the image of this canonical map when applied over the object generating such restriction.

There are also:

  • 8 comment(s) on Section 7.10: Sheafification

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