Lemma 59.70.4. Let $j : U \to X$ be an open immersion of schemes. For any abelian sheaf $\mathcal{F}$ on $U_{\acute{e}tale}$, the adjunction mappings $j^{-1}j_*\mathcal{F} \to \mathcal{F}$ and $\mathcal{F} \to j^{-1}j_!\mathcal{F}$ are isomorphisms. In fact, $j_!\mathcal{F}$ is the unique abelian sheaf on $X_{\acute{e}tale}$ whose restriction to $U$ is $\mathcal{F}$ and whose stalks at geometric points of $X \setminus U$ are zero.

Proof. We encourage the reader to prove the first statement by working through the definitions, but here we just use that it is a special case of the very general Modules on Sites, Lemma 18.19.8. For the second statement, observe that if $\mathcal{G}$ is an abelian sheaf on $X_{\acute{e}tale}$ whose restriction to $U$ is $\mathcal{F}$, then we obtain by adjointness a map $j_!\mathcal{F} \to \mathcal{G}$. This map is then an isomorphism at stalks of geometric points of $U$ by Proposition 59.70.3. Thus if $\mathcal{G}$ has vanishing stalks at geometric points of $X \setminus U$, then $j_!\mathcal{F} \to \mathcal{G}$ is an isomorphism by Theorem 59.29.10. $\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).