The Stacks project

58.23 Examples of sheaves

Let $S$ and $\tau $ be as in Section 58.20. We have already seen that any representable presheaf is a sheaf on $(\mathit{Sch}/S)_\tau $ or $S_\tau $, see Lemma 58.15.8 and Remark 58.15.9. Here are some special cases.

Definition 58.23.1. On any of the sites $(\mathit{Sch}/S)_\tau $ or $S_\tau $ of Section 58.20.

  1. The sheaf $T \mapsto \Gamma (T, \mathcal{O}_ T)$ is denoted $\mathcal{O}_ S$, or $\mathbf{G}_ a$, or $\mathbf{G}_{a, S}$ if we want to indicate the base scheme.

  2. Similarly, the sheaf $T \mapsto \Gamma (T, \mathcal{O}^*_ T)$ is denoted $\mathcal{O}_ S^*$, or $\mathbf{G}_ m$, or $\mathbf{G}_{m, S}$ if we want to indicate the base scheme.

  3. The constant sheaf $\underline{\mathbf{Z}/n\mathbf{Z}}$ on any site is the sheafification of the constant presheaf $U \mapsto \mathbf{Z}/n\mathbf{Z}$.

The first is a sheaf by Theorem 58.17.4 for example. The second is a sub presheaf of the first, which is easily seen to be a sheaf itself. The third is a sheaf by definition. Note that each of these sheaves is representable. The first and second by the schemes $\mathbf{G}_{a, S}$ and $\mathbf{G}_{m, S}$, see Groupoids, Section 39.4. The third by the finite étale group scheme $\mathbf{Z}/n\mathbf{Z}_ S$ sometimes denoted $(\mathbf{Z}/n\mathbf{Z})_ S$ which is just $n$ copies of $S$ endowed with the obvious group scheme structure over $S$, see Groupoids, Example 39.5.6 and the following remark.

Remark 58.23.2. Let $G$ be an abstract group. On any of the sites $(\mathit{Sch}/S)_\tau $ or $S_\tau $ of Section 58.20 the sheafification $\underline{G}$ of the constant presheaf associated to $G$ in the Zariski topology of the site already gives

\[ \Gamma (U, \underline{G}) = \{ \text{Zariski locally constant maps }U \to G\} \]

This Zariski sheaf is representable by the group scheme $G_ S$ according to Groupoids, Example 39.5.6. By Lemma 58.15.8 any representable presheaf satisfies the sheaf condition for the $\tau $-topology as well, and hence we conclude that the Zariski sheafification $\underline{G}$ above is also the $\tau $-sheafification.

Definition 58.23.3. Let $S$ be a scheme. The structure sheaf of $S$ is the sheaf of rings $\mathcal{O}_ S$ on any of the sites $S_{Zar}$, $S_{\acute{e}tale}$, or $(\mathit{Sch}/S)_\tau $ discussed above.

If there is some possible confusion as to which site we are working on then we will indicate this by using indices. For example we may use $\mathcal{O}_{S_{\acute{e}tale}}$ to stress the fact that we are working on the small étale site of $S$.

Remark 58.23.4. In the terminology introduced above a special case of Theorem 58.22.4 is

\[ H_{fppf}^ p(X, \mathbf{G}_ a) = H_{\acute{e}tale}^ p(X, \mathbf{G}_ a) = H_{Zar}^ p(X, \mathbf{G}_ a) = H^ p(X, \mathcal{O}_ X) \]

for all $p \geq 0$. Moreover, we could use the notation $H^ p_{fppf}(X, \mathcal{O}_ X)$ to indicate the cohomology of the structure sheaf on the big fppf site of $X$.


Comments (0)


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