Lemma 62.2.1. Let $X$ be a scheme. Let $\mathcal{F}$ be an abelian sheaf on $X_{\acute{e}tale}$. Let $\varphi : U' \to U$ be a morphism of $X_{\acute{e}tale}$. Let $Z' \subset U'$ be a closed subscheme such that $Z' \to U' \to U$ is a closed immersion with image $Z \subset U$. Then there is a canonical bijection

$\{ s \in \mathcal{F}(U) \mid \text{Supp}(s) \subset Z\} = \{ s' \in \mathcal{F}(U') \mid \text{Supp}(s') \subset Z'\}$

which is given by restriction if $\varphi ^{-1}(Z) = Z'$.

Proof. Consider the closed subscheme $Z'' = \varphi ^{-1}(Z)$ of $U'$. Then $Z' \subset Z''$ is closed because $Z'$ is closed in $U'$. On the other hand, $Z' \to Z''$ is an étale morphism (as a morphism between schemes étale over $Z$) and hence open. Thus $Z'' = Z' \amalg T$ for some closed subset $T$. The open covering $U' = (U' \setminus T) \cup (U' \setminus Z')$ shows that

$\{ s' \in \mathcal{F}(U') \mid \text{Supp}(s') \subset Z'\} = \{ s' \in \mathcal{F}(U' \setminus T) \mid \text{Supp}(s') \subset Z'\}$

and the étale covering $\{ U' \setminus T \to U, U \setminus Z \to U\}$ shows that

$\{ s \in \mathcal{F}(U) \mid \text{Supp}(s) \subset Z\} = \{ s' \in \mathcal{F}(U' \setminus T) \mid \text{Supp}(s') \subset Z'\}$

This finishes the proof. $\square$

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).