The Stacks project

Proposition 96.26.4. Let $S$ be a scheme. Let $\mathcal{X} \to (\mathit{Sch}/S)_{fppf}$ be a category fibred in groupoids. Assume $\mathcal{X}$ is representable by an algebraic space $X$. Then $\mathit{QC}(\mathcal{X})$ is canonically equivalent to $D_\mathit{QCoh}(\mathcal{O}_ X)$.

Proof. Denote $X_{affine}$ the category of affine schemes étale over $X$ endowed with the chaotic topology and its structure sheaf $\mathcal{O}_ X$, see Derived Categories of Spaces, Section 75.30. The functor $u : X_{\acute{e}tale}\to \mathcal{X}_{\acute{e}tale}$ of Lemma 96.10.1 gives rise to a functor $X_{affine} \to \mathcal{X}_{affine}$. This is compatible with structure sheaves and produces a functor

\[ G : \mathit{QC}(\mathcal{X}) = \mathit{QC}(\mathcal{X}_{affine}, \mathcal{O}) \longrightarrow \mathit{QC}(X_{affine}, \mathcal{O}_ X) \]

See Cohomology on Sites, Lemma 21.43.10. By Derived Categories of Spaces, Lemma 75.30.1 the triangulated category $\mathit{QC}(X_{affine}, \mathcal{O}_ X)$ is equivalent to $D_\mathit{QCoh}(\mathcal{O}_ X)$. Hence it suffices to prove that $G$ is an equivalence.

Consider the flat comparison morphisms $\epsilon _\mathcal {X} : \mathcal{X}_{affine, {\acute{e}tale}} \to \mathcal{X}_{affine}$ and $\epsilon _ X : X_{affine, {\acute{e}tale}} \to X_{affine}$ of ringed sites. Lemma 96.26.3 and (the proof of) Derived Categories of Spaces, Lemma 75.30.1 show that the functors $\epsilon _\mathcal {X}^*$ and $\epsilon _ X^*$ identify $\mathit{QC}(\mathcal{X}_{affine}, \mathcal{O})$ and $\mathit{QC}(X_{affine}, \mathcal{O}_ X)$ with subcategories $Q_\mathcal {X} \subset D(\mathcal{X}_{affine, {\acute{e}tale}}, \mathcal{O})$ and $Q_ X \subset D(X_{affine, {\acute{e}tale}}, \mathcal{O}_ X)$. With these identifications the functor $G$ in the first paragraph is induced by the functor

\[ Li_ X^* = R\pi _{X, *}: D(\mathcal{X}_{affine, {\acute{e}tale}}, \mathcal{O}) \longrightarrow D(X_{affine, {\acute{e}tale}}, \mathcal{O}_ X) \]

where $i_ X$ and $\pi _ X$ are the morphisms from Lemma 96.10.1 but with the étale sites replaced by the corresponding affine ones. The reader can show that this replacement is permissible either by reproving the lemma for the affine sites directly or by using the equivalences of topoi $\mathop{\mathit{Sh}}\nolimits (\mathcal{X}_{affine, {\acute{e}tale}}) = \mathop{\mathit{Sh}}\nolimits (\mathcal{X}_{\acute{e}tale})$ and $\mathop{\mathit{Sh}}\nolimits (X_{affine, {\acute{e}tale}}) = \mathop{\mathit{Sh}}\nolimits (X_{\acute{e}tale})$. The lemma also tells us $Li_ X^*$ has a left adjoint

\[ L\pi _ X^*: D(X_{affine, {\acute{e}tale}}, \mathcal{O}_ X) \longrightarrow D(\mathcal{X}_{affine, {\acute{e}tale}}, \mathcal{O}) \]

and moreover we have $Li_ X^* \circ L\pi _ X^* = \text{id}$ since $\pi _ X \circ i_ X$ is the identity. Thus it suffices to show that (a) $L\pi _ X^*$ sends $Q_ X$ into $Q_\mathcal {X}$ and (b) the kernel of $Li_ X^*$ is $0$. See Derived Categories, Lemma 13.7.2.

Proof of (a). By Derived Categories of Spaces, Lemma 75.30.1 we have $Q_ X = D_\mathit{QCoh}(X_{affine, {\acute{e}tale}}, \mathcal{O}_ X)$. Let $K$ be an object of $Q_ X$. Let $x$ be an object of $\mathcal{X}_{affine, {\acute{e}tale}}$ lying over the affine scheme $U = p(x)$. Denote $f : U \to X$ the morphism corresponding to $x$. Then we see that

\[ R\Gamma (x, L\pi _ X^*K) = R\Gamma (U, Lf^*K) \]

This follows from transitivity of pullbacks; see discussion in Section 96.10. Next, suppose that $x \to x'$ is a morphism of $\mathcal{X}_{affine, {\acute{e}tale}}$ lying over the morphism $h : U \to U'$ of affine schemes. As before denote $f : U \to X$ and $f' : U' \to X$ the morphisms corresponding to $x$ and $x'$ so that we have $f = f' \circ h$. Then

\begin{align*} R\Gamma (x, L\pi _ X^*K) & = R\Gamma (U, Lf^*K) \\ & = R\Gamma (U, Lh^*L(f')^*K) \\ & = R\Gamma (U', L(f')^*K) \otimes _{\mathcal{O}(U')}^\mathbf {L} \mathcal{O}(U) \\ & = R\Gamma (x', L\pi _ X^*K) \otimes _{\mathcal{O}(x')}^\mathbf {L} \mathcal{O}(x) \end{align*}

and hence we have (a) by the footnote in the statement of Cohomology on Sites, Lemma 21.43.12. The third equality is Derived Categories of Schemes, Lemma 36.3.8.

Proof of (b). Let $M$ be an object of $Q_\mathcal {X}$ such that $Li_ X^*M = 0$. Let $x'$ be an object of $\mathcal{X}_{affine, {\acute{e}tale}}$ lying over the affine scheme $U' = p(x')$ and assume that the corresponding morphism $f' : U' \to X$ is étale. Then $f' : U' \to X$ is an object of $X_{affine, {\acute{e}tale}}$ and the condition $Li_ X^*M = 0$ implies that $M|_{U'_{\acute{e}tale}} = 0$. In particular, we see that $R\Gamma (x', M) = 0$. However, for an arbitrary object $x$ of the site $\mathcal{X}_{affine, {\acute{e}tale}}$ there exists a covering $\{ x_ i \to x\} $ such that for each $i$ there is a morphism $x_ i \to x'_ i$ with $x'_ i$ corresponding to an object of $X_{affine, {\acute{e}tale}}$. Now since $M$ is in $Q_\mathcal {X}$ we have

\[ R\Gamma (x_ i, M) = R\Gamma (x_ i', M) \otimes _{\mathcal{O}(x_ i')}^\mathbf {L} \mathcal{O}(x_ i) = 0 \]

and we conclude that $M$ is zero as desired. $\square$


Comments (0)


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 0H0K. Beware of the difference between the letter 'O' and the digit '0'.