The Stacks project

Proof. Combine Lemma 36.4.2 with Cohomology of Schemes, Lemma 30.2.3. An alternative proof is to work affine locally on $S$ and use Lemma 36.3.7. $\square$

Proof. The statement means that a morphism $\alpha : E \to F$ of $D_\mathit{QCoh}(\mathcal{O}_ X)$ is an isomorphism if $Rf_*\alpha$ is an isomorphism. We may check this on cohomology sheaves. In particular, the question is local on $S$. Hence we may assume $S$ and therefore $X$ is affine. In this case the statement is clear from the description of the derived categories $D_\mathit{QCoh}(\mathcal{O}_ X)$ and $D_\mathit{QCoh}(\mathcal{O}_ S)$ given in Lemma 36.3.5. Some details omitted. $\square$

Proof. Since $f$ is affine the map $f_*\mathcal{O}_ X \to Rf_*\mathcal{O}_ X$ is an isomorphism (Cohomology of Schemes, Lemma 30.2.3). There is a canonical map $E \otimes ^\mathbf {L} f_*\mathcal{O}_ X = E \otimes ^\mathbf {L} Rf_*\mathcal{O}_ X \to Rf_* Lf^* E$ adjoint to the map

coming from $1 : Lf^*E \to Lf^*E$ and the canonical map $Lf^*Rf_*\mathcal{O}_ X \to \mathcal{O}_ X$. To check the map so constructed is an isomorphism we may work locally on $S$. Hence we may assume $S$ and therefore $X$ is affine. In this case the statement is clear from the description of the derived categories $D_\mathit{QCoh}(\mathcal{O}_ X)$ and $D_\mathit{QCoh}(\mathcal{O}_ S)$ and the functor $Lf^*$ given in Lemmas 36.3.5 and 36.3.8. Some details omitted. $\square$

Proof. Recall that $Rf_*$ is computed on an object $K \in D_\mathit{QCoh}(\mathcal{O}_ X)$ by choosing a K-injective complex $\mathcal{I}^\bullet$ of $\mathcal{O}_ X$-modules representing $K$ and taking $f_*\mathcal{I}^\bullet$. Thus we let $\Phi (K)$ be the complex $f_*\mathcal{I}^\bullet$ viewed as a complex of $f_*\mathcal{O}_ X$-modules. Denote $g : (X, \mathcal{O}_ X) \to (Y, f_*\mathcal{O}_ X)$ the obvious morphism of ringed spaces. Then $g$ is a flat morphism of ringed spaces (see below for a description of the stalks) and $\Phi$ is the restriction of $Rg_*$ to $D_\mathit{QCoh}(\mathcal{O}_ X)$. We claim that $Lg^*$ is a quasi-inverse. First, observe that $Lg^*$ sends $D_\mathit{QCoh}(f_*\mathcal{O}_ X)$ into $D_\mathit{QCoh}(\mathcal{O}_ X)$ because $g^*$ transforms quasi-coherent modules into quasi-coherent modules (Modules, Lemma 17.10.4). To finish the proof it suffices to show that the adjunction mappings

are isomorphisms for $K \in D_\mathit{QCoh}(\mathcal{O}_ X)$ and $M \in D_\mathit{QCoh}(f_*\mathcal{O}_ X)$. This is a local question, hence we may assume $Y$ and therefore $X$ are affine.

Assume $Y = \mathop{\mathrm{Spec}}(B)$ and $X = \mathop{\mathrm{Spec}}(A)$. Let $\mathfrak p = x \in \mathop{\mathrm{Spec}}(A) = X$ be a point mapping to $\mathfrak q = y \in \mathop{\mathrm{Spec}}(B) = Y$. Then $(f_*\mathcal{O}_ X)_ y = A_\mathfrak q$ and $\mathcal{O}_{X, x} = A_\mathfrak p$ hence $g$ is flat. Hence $g^*$ is exact and $H^ i(Lg^*M) = g^*H^ i(M)$ for any $M$ in $D(f_*\mathcal{O}_ X)$. For $K \in D_\mathit{QCoh}(\mathcal{O}_ X)$ we see that

by the vanishing of higher direct images (Cohomology of Schemes, Lemma 30.2.3) and Lemma 36.3.4 (small detail omitted). Thus it suffice to show that

are isomorphisms where $\mathcal{F}$ is a quasi-coherent $\mathcal{O}_ X$-module and $\mathcal{G}$ is a quasi-coherent $f_*\mathcal{O}_ X$-module. This follows from Morphisms, Lemma 29.11.6. $\square$