Lemma 48.3.7. Let $f : X \to Y$ be a morphism of quasi-separated and quasi-compact schemes. For all $L \in D_\mathit{QCoh}(\mathcal{O}_ X)$ and $K \in D_\mathit{QCoh}(\mathcal{O}_ Y)$ (48.3.5.1) induces an isomorphism $R\mathop{\mathrm{Hom}}\nolimits _ X(L, a(K)) \to R\mathop{\mathrm{Hom}}\nolimits _ Y(Rf_*L, K)$ of global derived homs.

Proof. By the construction in Cohomology, Section 20.40 we have

$R\mathop{\mathrm{Hom}}\nolimits _ X(L, a(K)) = R\Gamma (X, R\mathop{\mathcal{H}\! \mathit{om}}\nolimits _{\mathcal{O}_ X}(L, a(K))) = R\Gamma (Y, Rf_*R\mathop{\mathcal{H}\! \mathit{om}}\nolimits _{\mathcal{O}_ X}(L, a(K)))$

and

$R\mathop{\mathrm{Hom}}\nolimits _ Y(Rf_*L, K) = R\Gamma (Y, R\mathop{\mathcal{H}\! \mathit{om}}\nolimits _{\mathcal{O}_ X}(Rf_*L, a(K)))$

Thus the lemma is a consequence of Lemma 48.3.6. $\square$

Comment #4925 by awllower on

The last formula should be

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