Lemma 62.7.4. 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. Let $\Lambda$ be a ring. Let $K \in D(X_{\acute{e}tale}, \Lambda )$. There is a distinguished triangle

$j_!j^{-1}K \to K \to i_*i^{-1}K \to j_!j^{-1}K[1]$

in $D(X_{\acute{e}tale}, \Lambda )$.

Proof. Immediate consequence of Étale Cohomology, Lemma 59.70.8 and the fact that the functors $j_!$, $j^{-1}$, $i_*$, $i^{-1}$ are exact and hence their derived versions are computed by applying these functors to any complex of sheaves representing $K$. $\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).