The Stacks project

Lemma 73.11.3. Let $S$ be a scheme. Let $X$ be an affine algebraic space over $S$. Set $A = \Gamma (X, \mathcal{O}_ X)$. Then

  1. $Q_ X : \textit{Mod}(\mathcal{O}_ X) \to \mathit{QCoh}(\mathcal{O}_ X)$ is the functor which sends $\mathcal{F}$ to the quasi-coherent $\mathcal{O}_ X$-module associated to the $A$-module $\Gamma (X, \mathcal{F})$,

  2. $RQ_ X : D(\mathcal{O}_ X) \to D(\mathit{QCoh}(\mathcal{O}_ X))$ is the functor which sends $E$ to the complex of quasi-coherent $\mathcal{O}_ X$-modules associated to the object $R\Gamma (X, E)$ of $D(A)$,

  3. restricted to $D_\mathit{QCoh}(\mathcal{O}_ X)$ the functor $RQ_ X$ defines a quasi-inverse to (

Proof. Let $X_0 = \mathop{\mathrm{Spec}}(A)$ be the affine scheme representing $X$. Recall that there is a morphism of ringed sites $\epsilon : X_{\acute{e}tale}\to X_{0, Zar}$ which induces equivalences

\[ \xymatrix{ \mathit{QCoh}(\mathcal{O}_ X) \ar@<1ex>[r]^{{\epsilon _*}} & \mathit{QCoh}(\mathcal{O}_{X_0}) \ar@<1ex>[l]^{{\epsilon ^*}} } \]

see Lemma 73.4.2. Hence we see that $Q_ X = \epsilon ^* \circ Q_{X_0} \circ \epsilon _*$ by uniqueness of adjoint functors. Hence (1) follows from the description of $Q_{X_0}$ in Derived Categories of Schemes, Lemma 36.7.3 and the fact that $\Gamma (X_0, \epsilon _*\mathcal{F}) = \Gamma (X, \mathcal{F})$. Part (2) follows from (1) and the fact that the functor from $A$-modules to quasi-coherent $\mathcal{O}_ X$-modules is exact. The third assertion now follows from the result for schemes (Derived Categories of Schemes, Lemma 36.7.3) and Lemma 73.4.2. $\square$

Comments (1)

Comment #1652 by on

The diagram in this proof doesn't parse. I don't know whether it is due to some XyJax syntax voodoo (which you can often fix by magically adding or removing spaces) or some issue with the HTML that I output. If the former doesn't work I'll put it in the issues list on GitHub.

Post a comment

Your email address will not be published. Required fields are marked.

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

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 08H0. Beware of the difference between the letter 'O' and the digit '0'.