The Stacks project

Lemma 66.20.4. Let $S$ be a scheme. Let $X$ be an algebraic space over $S$. Let $\mathcal{F}$ be an abelian sheaf on $X_{\acute{e}tale}$. Let $U \in \mathop{\mathrm{Ob}}\nolimits (X_{\acute{e}tale})$ and $\sigma \in \mathcal{F}(U)$.

1. The support of $\sigma$ is closed in $|X|$.

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

3. If $\varphi : \mathcal{F} \to \mathcal{G}$ is a map of abelian sheaves on $X_{\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}$.