Lemma 59.101.2. Let $S$ be a scheme. For $\mathcal{F}$ a quasi-coherent $\mathcal{O}_ S$-module on $S_{\acute{e}tale}$ the maps
\[ \pi _ S^*\mathcal{F} \longrightarrow R\epsilon _{S, *}(a_ S^*\mathcal{F}) \quad \text{and}\quad \mathcal{F} \longrightarrow Ra_{S, *}(a_ S^*\mathcal{F}) \]
are isomorphisms with $a_ S : \mathop{\mathit{Sh}}\nolimits ((\mathit{Sch}/S)_{fppf}) \to \mathop{\mathit{Sh}}\nolimits (S_{\acute{e}tale})$ as above.
Comments (0)