Remark 46.10.2. Let $S$ be a scheme. The morphism $f$ see (46.10.0.1) induces adjoint functors $Rf_* : D_{\textit{Adeq}}(\mathcal{O}) \to D_\mathit{QCoh}(S)$ and $Lf^* : D_\mathit{QCoh}(S) \to D_{\textit{Adeq}}(\mathcal{O})$. Moreover $Rf_* Lf^* \cong \text{id}_{D_\mathit{QCoh}(S)}$.
We sketch the proof. By Remark 46.10.1 we may assume the topology $\tau $ is the Zariski topology. We will use the existence of the unbounded total derived functors $Lf^*$ and $Rf_*$ on $\mathcal{O}$-modules and their adjointness, see Cohomology on Sites, Lemma 21.19.1. In this case $f_*$ is just the restriction to the subcategory $S_{Zar}$ of $(\mathit{Sch}/S)_{Zar}$. Hence it is clear that $Rf_* = f_*$ induces $Rf_* : D_{\textit{Adeq}}(\mathcal{O}) \to D_\mathit{QCoh}(S)$. Suppose that $\mathcal{G}^\bullet $ is an object of $D_\mathit{QCoh}(S)$. We may choose a system $\mathcal{K}_1^\bullet \to \mathcal{K}_2^\bullet \to \ldots $ of bounded above complexes of flat $\mathcal{O}_ S$-modules whose transition maps are termwise split injectives and a diagram
with the properties (1), (2), (3) listed in Derived Categories, Lemma 13.29.1 where $\mathcal{P}$ is the collection of flat $\mathcal{O}_ S$-modules. Then $Lf^*\mathcal{G}^\bullet $ is computed by $\mathop{\mathrm{colim}}\nolimits f^*\mathcal{K}_ n^\bullet $, see Cohomology on Sites, Lemmas 21.18.1 and 21.18.2 (note that our sites have enough points by Étale Cohomology, Lemma 59.30.1). We have to see that $H^ i(Lf^*\mathcal{G}^\bullet ) = \mathop{\mathrm{colim}}\nolimits H^ i(f^*\mathcal{K}_ n^\bullet )$ is adequate for each $i$. By Lemma 46.5.11 we conclude that it suffices to show that each $H^ i(f^*\mathcal{K}_ n^\bullet )$ is adequate.
The adequacy of $H^ i(f^*\mathcal{K}_ n^\bullet )$ is local on $S$, hence we may assume that $S = \mathop{\mathrm{Spec}}(A)$ is affine. Because $S$ is affine $D_\mathit{QCoh}(S) = D(\mathit{QCoh}(\mathcal{O}_ S))$, see the discussion in Derived Categories of Schemes, Section 36.3. Hence there exists a quasi-isomorphism $\mathcal{F}^\bullet \to \mathcal{K}_ n^\bullet $ where $\mathcal{F}^\bullet $ is a bounded above complex of flat quasi-coherent modules. Then $f^*\mathcal{F}^\bullet \to f^*\mathcal{K}_ n^\bullet $ is a quasi-isomorphism, and the cohomology sheaves of $f^*\mathcal{F}^\bullet $ are adequate.
The final assertion $Rf_* Lf^* \cong \text{id}_{D_\mathit{QCoh}(S)}$ follows from the explicit description of the functors above. (In plain English: if $\mathcal{F}$ is quasi-coherent and $p > 0$, then $L_ pf^*\mathcal{F}$ is a parasitic adequate module.)
Comments (0)