Lemma 36.7.1. Let $f : X \to Y$ be an affine morphism of schemes. Then $f_*$ defines a derived functor $f_* : D(\mathit{QCoh}(\mathcal{O}_ X)) \to D(\mathit{QCoh}(\mathcal{O}_ Y))$. This functor has the property that

$\xymatrix{ D(\mathit{QCoh}(\mathcal{O}_ X)) \ar[d]_{f_*} \ar[r] & D_\mathit{QCoh}(\mathcal{O}_ X) \ar[d]^{Rf_*} \\ D(\mathit{QCoh}(\mathcal{O}_ Y)) \ar[r] & D_\mathit{QCoh}(\mathcal{O}_ Y) }$

commutes.

Proof. The functor $f_* : \mathit{QCoh}(\mathcal{O}_ X) \to \mathit{QCoh}(\mathcal{O}_ Y)$ is exact, see Cohomology of Schemes, Lemma 30.2.3. Hence $f_*$ defines a derived functor $f_* : D(\mathit{QCoh}(\mathcal{O}_ X)) \to D(\mathit{QCoh}(\mathcal{O}_ Y))$ by simply applying $f_*$ to any representative complex, see Derived Categories, Lemma 13.16.9. The diagram commutes by Lemma 36.5.1. $\square$

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