The Stacks project

59.31 Supports of abelian sheaves

First we talk about supports of local sections.

Lemma 59.31.1. Let $S$ be a scheme. Let $\mathcal{F}$ be a subsheaf of the final object of the étale topos of $S$ (see Sites, Example 7.10.2). Then there exists a unique open $W \subset S$ such that $\mathcal{F} = h_ W$.

Proof. The condition means that $\mathcal{F}(U)$ is a singleton or empty for all $\varphi : U \to S$ in $\mathop{\mathrm{Ob}}\nolimits (S_{\acute{e}tale})$. In particular local sections always glue. If $\mathcal{F}(U) \not= \emptyset $, then $\mathcal{F}(\varphi (U)) \not= \emptyset $ because $\{ \varphi : U \to \varphi (U)\} $ is a covering. Hence we can take $W = \bigcup _{\varphi : U \to S, \mathcal{F}(U) \not= \emptyset } \varphi (U)$. $\square$

Lemma 59.31.2. Let $S$ be a scheme. Let $\mathcal{F}$ be an abelian sheaf on $S_{\acute{e}tale}$. Let $\sigma \in \mathcal{F}(U)$ be a local section. There exists an open subset $W \subset U$ such that

  1. $W \subset U$ is the largest Zariski open subset of $U$ such that $\sigma |_ W = 0$,

  2. for every $\varphi : V \to U$ in $S_{\acute{e}tale}$ we have

    \[ \sigma |_ V = 0 \Leftrightarrow \varphi (V) \subset W, \]
  3. for every geometric point $\overline{u}$ of $U$ we have

    \[ (U, \overline{u}, \sigma ) = 0\text{ in }\mathcal{F}_{\overline{s}} \Leftrightarrow \overline{u} \in W \]

    where $\overline{s} = (U \to S) \circ \overline{u}$.

Proof. Since $\mathcal{F}$ is a sheaf in the étale topology the restriction of $\mathcal{F}$ to $U_{Zar}$ is a sheaf on $U$ in the Zariski topology. Hence there exists a Zariski open $W$ having property (1), see Modules, Lemma 17.5.2. Let $\varphi : V \to U$ be an arrow of $S_{\acute{e}tale}$. Note that $\varphi (V) \subset U$ is an open subset and that $\{ V \to \varphi (V)\} $ is an étale covering. Hence if $\sigma |_ V = 0$, then by the sheaf condition for $\mathcal{F}$ we see that $\sigma |_{\varphi (V)} = 0$. This proves (2). To prove (3) we have to show that if $(U, \overline{u}, \sigma )$ defines the zero element of $\mathcal{F}_{\overline{s}}$, then $\overline{u} \in W$. This is true because the assumption means there exists a morphism of étale neighbourhoods $(V, \overline{v}) \to (U, \overline{u})$ such that $\sigma |_ V = 0$. Hence by (2) we see that $V \to U$ maps into $W$, and hence $\overline{u} \in W$. $\square$

Let $S$ be a scheme. Let $s \in S$. Let $\mathcal{F}$ be a sheaf on $S_{\acute{e}tale}$. By Remark 59.29.8 the isomorphism class of the stalk of the sheaf $\mathcal{F}$ at a geometric points lying over $s$ is well defined.

Definition 59.31.3. Let $S$ be a scheme. Let $\mathcal{F}$ be an abelian sheaf on $S_{\acute{e}tale}$.

  1. The support of $\mathcal{F}$ is the set of points $s \in S$ such that $\mathcal{F}_{\overline{s}} \not= 0$ for any (some) geometric point $\overline{s}$ lying over $s$.

  2. Let $\sigma \in \mathcal{F}(U)$ be a section. The support of $\sigma $ is the closed subset $U \setminus W$, where $W \subset U$ is the largest open subset of $U$ on which $\sigma $ restricts to zero (see Lemma 59.31.2).

In general the support of an abelian sheaf is not closed. For example, suppose that $S = \mathbf{A}^1_{\mathbf{C}}$. Let $i_ t : \mathop{\mathrm{Spec}}(\mathbf{C}) \to S$ be the inclusion of the point $t \in \mathbf{C}$. We will see later that $\mathcal{F}_ t = i_{t, *}(\mathbf{Z}/2\mathbf{Z})$ is an abelian sheaf whose support is exactly $\{ t\} $, see Section 59.46. Then

\[ \bigoplus \nolimits _{n \in \mathbf{N}} \mathcal{F}_ n \]

is an abelian sheaf with support $\{ 1, 2, 3, \ldots \} \subset S$. This is true because taking stalks commutes with colimits, see Lemma 59.29.9. Thus an example of an abelian sheaf whose support is not closed. Here are some basic facts on supports of sheaves and sections.

Lemma 59.31.4. Let $S$ be a scheme. Let $\mathcal{F}$ be an abelian sheaf on $S_{\acute{e}tale}$. Let $U \in \mathop{\mathrm{Ob}}\nolimits (S_{\acute{e}tale})$ and $\sigma \in \mathcal{F}(U)$.

  1. The support of $\sigma $ is closed in $U$.

  2. The support of $\sigma + \sigma '$ is contained in the union of the supports of $\sigma , \sigma ' \in \mathcal{F}(U)$.

  3. If $\varphi : \mathcal{F} \to \mathcal{G}$ is a map of abelian sheaves on $S_{\acute{e}tale}$, then the support of $\varphi (\sigma )$ is contained in the support of $\sigma \in \mathcal{F}(U)$.

  4. The support of $\mathcal{F}$ is the union of the images of the supports of all local sections of $\mathcal{F}$.

  5. If $\mathcal{F} \to \mathcal{G}$ is surjective then the support of $\mathcal{G}$ is a subset of the support of $\mathcal{F}$.

  6. If $\mathcal{F} \to \mathcal{G}$ is injective then the support of $\mathcal{F}$ is a subset of the support of $\mathcal{G}$.

Proof. Part (1) holds by definition. Parts (2) and (3) hold because they holds for the restriction of $\mathcal{F}$ and $\mathcal{G}$ to $U_{Zar}$, see Modules, Lemma 17.5.2. Part (4) is a direct consequence of Lemma 59.31.2 part (3). Parts (5) and (6) follow from the other parts. $\square$

Lemma 59.31.5. The support of a sheaf of rings on $S_{\acute{e}tale}$ is closed.

Proof. This is true because (according to our conventions) a ring is $0$ if and only if $1 = 0$, and hence the support of a sheaf of rings is the support of the unit section. $\square$


Comments (4)

Comment #7515 by Andrea Panontin on

Small typo: after Definition 04FS the sheaf is denoted first by and then by (mathbf first and mathcal later).

Comment #8712 by XBH on

Seems like a typo: After Defn. 04FS, is the base scheme just instead of its ?


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