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