Proposition 73.11.5. Let $S$ be a scheme. Let $X$ be a quasi-compact algebraic space over $S$ with affine diagonal. Then the functor (73.5.1.1)

$D(\mathit{QCoh}(\mathcal{O}_ X)) \longrightarrow D_\mathit{QCoh}(\mathcal{O}_ X)$

is an equivalence with quasi-inverse given by $RQ_ X$.

Proof. Let $V \to W$ be an étale morphism with $V$ affine and $W$ a quasi-compact open subspace of $X$. Then the morphism $V \to W$ is affine as $V$ is affine and $W$ has affine diagonal (Morphisms of Spaces, Lemma 65.20.11). Lemma 73.11.1 then guarantees that the assumption of Lemma 73.11.4 holds. Hence we conclude. $\square$

Comment #450 by on

It's a silly remark, but there is no reference made to $S$ in the remainder of the statement, probably you wish to say $X$ is over $S$. Moreover, the first line has "faithfu" instead of "faithful".

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).