Lemma 82.7.2. Let $S$ be a scheme. Let $X$ be an algebraic space over $S$. For $\mathcal{F}$ a quasi-coherent $\mathcal{O}_ X$-module the maps

\[ \pi _ X^*\mathcal{F} \longrightarrow R\epsilon _{X, *}(a_ X^*\mathcal{F}) \quad \text{and}\quad \mathcal{F} \longrightarrow Ra_{X, *}(a_ X^*\mathcal{F}) \]

are isomorphisms.

## Comments (0)