
Lemma 54.69.6. Let $X$ be a scheme. Let $Z \subset X$ be a closed subscheme and let $U \subset X$ be the complement. Denote $i : Z \to X$ and $j : U \to X$ the inclusion morphisms. For every abelian sheaf $\mathcal{F}$ on $X_{\acute{e}tale}$ there is a canonical short exact sequence

$0 \to j_!j^{-1}\mathcal{F} \to \mathcal{F} \to i_*i^{-1}\mathcal{F} \to 0$

on $X_{\acute{e}tale}$.

Proof. We obtain the maps by the adjointness properties of the functors involved. For a geometric point $\overline{x}$ in $X$ we have either $\overline{x} \in U$ in which case the map on the left hand side is an isomorphism on stalks and the stalk of $i_*i^{-1}\mathcal{F}$ is zero or $\overline{x} \in Z$ in which case the map on the right hand side is an isomorphism on stalks and the stalk of $j_!j^{-1}\mathcal{F}$ is zero. Here we have used the description of stalks of Lemma 54.46.3 and Proposition 54.69.3. $\square$

Comment #3249 by William Chen on

To make it slightly easier to read maybe F should be included in the statement of the lemma before the displaymath? Ie, "For every abelian sheaf F on X_etale..."

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