Remark 75.6.3. Let $S$ be a scheme. Let $f : X \to Y$ be a morphism of representable algebraic spaces $X$ and $Y$ over $S$. Let $f_0 : X_0 \to Y_0$ be a morphism of schemes representing $f$ (awkward but temporary notation). Then the diagram
(Lemma 75.5.5 and Derived Categories of Schemes, Lemma 36.3.8) is commutative. This follows as the equivalences $D_\mathit{QCoh}(\mathcal{O}_{X_0}) \to D_\mathit{QCoh}(\mathcal{O}_ X)$ and $D_\mathit{QCoh}(\mathcal{O}_{Y_0}) \to D_\mathit{QCoh}(\mathcal{O}_ Y)$ of Lemma 75.4.2 come from pulling back by the (flat) morphisms of ringed sites $\epsilon : X_{\acute{e}tale}\to X_{0, Zar}$ and $\epsilon : Y_{\acute{e}tale}\to Y_{0, Zar}$ and the diagram of ringed sites
is commutative (details omitted). If $f$ is quasi-compact and quasi-separated, equivalently if $f_0$ is quasi-compact and quasi-separated, then we claim
(Lemma 75.6.1 and Derived Categories of Schemes, Lemma 36.4.1) is commutative as well. This also follows from the commutative diagram of sites displayed above as the proof of Lemma 75.4.2 shows that the functor $R\epsilon _*$ gives the equivalences $D_\mathit{QCoh}(\mathcal{O}_ X) \to D_\mathit{QCoh}(\mathcal{O}_{X_0})$ and $D_\mathit{QCoh}(\mathcal{O}_ Y) \to D_\mathit{QCoh}(\mathcal{O}_{Y_0})$.
Comments (0)