Lemma 84.34.2. Let $S$ be a scheme. Let $X$ be an algebraic space over $S$. Let $U$ be a simplicial algebraic space over $S$. Let $a : U \to X$ be an augmentation. If $a : U \to X$ is an fppf hypercovering of $X$, then

$a^* : \mathit{QCoh}(\mathcal{O}_ X) \to \mathit{QCoh}(\mathcal{O}_ U)$

is an equivalence fully faithful with quasi-inverse given by $a_*$. Here $a : \mathop{\mathit{Sh}}\nolimits (U_{\acute{e}tale}) \to \mathop{\mathit{Sh}}\nolimits (X_{\acute{e}tale})$ is as in Section 84.32.

Proof. Consider the diagram of Lemma 84.34.1. In the proof of this lemma we have seen that $h_{-1}$ is the morphism $a_ X$ of More on Cohomology of Spaces, Section 83.7. Thus it follows from More on Cohomology of Spaces, Lemma 83.7.1 that

$(h_{-1})^* : \mathit{QCoh}(\mathcal{O}_ X) \longrightarrow \mathit{QCoh}(\mathcal{O}_{big})$

is an equivalence with quasi-inverse $h_{-1, *}$. The same holds true for the components $h_ n$ of $h$. Recall that $\mathit{QCoh}(\mathcal{O}_ U)$ and $\mathit{QCoh}(\mathcal{O}_{big, total})$ consist of cartesian modules whose components are quasi-coherent, see Lemma 84.12.10. Since the functors $h^*$ and $h_*$ of Lemma 84.7.2 agree with the functors $h_ n^*$ and $h_{n, *}$ on components we conclude that

$h^* : \mathit{QCoh}(\mathcal{O}_ U) \longrightarrow \mathit{QCoh}(\mathcal{O}_{big, total})$

is an equivalence with quasi-inverse $h_*$. Observe that $U$ is a hypercovering of $X$ in $(\textit{Spaces}/S)_{fppf}$ as defined in Section 84.21. By Lemma 84.22.1 we see that $a_{fppf}^*$ is fully faithful with quasi-inverse $a_{fppf, *}$ and with essential image the cartesian sheaves of $\mathcal{O}_{fppf, total}$-modules. Thus, by the description of $\mathit{QCoh}(\mathcal{O}_{big})$ and $\mathit{QCoh}(\mathcal{O}_{big, total})$ of Lemma 84.12.10, we get an equivalence

$a_{fppf}^* : \mathit{QCoh}(\mathcal{O}_{big}) \longrightarrow \mathit{QCoh}(\mathcal{O}_{big, total})$

with quasi-inverse given by $a_{fppf, *}$. A formal argument (chasing around the diagram) now shows that $a^*$ is fully faithful on $\mathit{QCoh}(\mathcal{O}_ X)$ and has image contained in $\mathit{QCoh}(\mathcal{O}_ U)$.

Finally, suppose that $\mathcal{G}$ is in $\mathit{QCoh}(\mathcal{O}_ U)$. Then $h^*\mathcal{G}$ is in $\mathit{QCoh}(\mathcal{O}_{big, total})$. Hence $h^*\mathcal{G} = a_{fppf}^*\mathcal{H}$ with $\mathcal{H} = a_{fppf, *}h^*\mathcal{G}$ in $\mathit{QCoh}(\mathcal{O}_{big})$ (see above). In turn we see that $\mathcal{H} = (h_{-1})^*\mathcal{F}$ with $\mathcal{F} = h_{-1, *}\mathcal{H}$ in $\mathit{QCoh}(\mathcal{O}_ X)$. Going around the diagram we deduce that $h^*\mathcal{G} \cong h^*a^*\mathcal{F}$. By fully faithfulness of $h^*$ we conclude that $a^*\mathcal{F} \cong \mathcal{G}$. Since $\mathcal{F} = h_{-1, *}a_{fppf, *}h^*\mathcal{G} = a_*h_*h^*\mathcal{G} = a_*\mathcal{G}$ we also obtain the statement that the quasi-inverse is given by $a_*$. $\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).