Lemma 36.22.1. Let $f : X \to Y$ be a quasi-compact and quasi-separated morphism of schemes. For $E$ in $D_\mathit{QCoh}(\mathcal{O}_ X)$ and $K$ in $D_\mathit{QCoh}(\mathcal{O}_ Y)$ the map

$Rf_*(E) \otimes _{\mathcal{O}_ Y}^\mathbf {L} K \longrightarrow Rf_*(E \otimes _{\mathcal{O}_ X}^\mathbf {L} Lf^*K)$

defined in Cohomology, Equation (20.54.2.1) is an isomorphism.

Proof. To check the map is an isomorphism we may work locally on $Y$. Hence we reduce to the case that $Y$ is affine.

Suppose that $K = \bigoplus K_ i$ is a direct sum of some complexes $K_ i \in D_\mathit{QCoh}(\mathcal{O}_ Y)$. If the statement holds for each $K_ i$, then it holds for $K$. Namely, the functors $Lf^*$ and $\otimes ^\mathbf {L}$ preserve direct sums by construction and $Rf_*$ commutes with direct sums (for complexes with quasi-coherent cohomology sheaves) by Lemma 36.4.5. Moreover, suppose that $K \to L \to M \to K[1]$ is a distinguished triangle in $D_\mathit{QCoh}(Y)$. Then if the statement of the lemma holds for two of $K, L, M$, then it holds for the third (as the functors involved are exact functors of triangulated categories).

Assume $Y$ affine, say $Y = \mathop{\mathrm{Spec}}(A)$. The functor $\widetilde{\ } : D(A) \to D_\mathit{QCoh}(\mathcal{O}_ Y)$ is an equivalence (Lemma 36.3.5). Let $T$ be the property for $K \in D(A)$ that the statement of the lemma holds for $\widetilde{K}$. The discussion above and More on Algebra, Remark 15.59.11 shows that it suffices to prove $T$ holds for $A[k]$. This finishes the proof, as the statement of the lemma is clear for shifts of the structure sheaf. $\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).