Lemma 63.11.6. Let f : X \to Y be a separated finite type morphism of quasi-separated and quasi-compact schemes. Let \Lambda be a torsion ring. For every K \in D(Y_{\acute{e}tale}, \Lambda ) and L \in D(X_{\acute{e}tale}, \Lambda ) the map (63.11.4.1) induces an isomorphism
R\mathop{\mathrm{Hom}}\nolimits _ X(L, Rf^!K) \longrightarrow R\mathop{\mathrm{Hom}}\nolimits _ Y(Rf_!L, K)
of global derived homs.
Proof.
By the construction in Cohomology on Sites, Section 21.36 we have
R\mathop{\mathrm{Hom}}\nolimits _ X(L, Rf^!K) = R\Gamma (X, R\mathop{\mathcal{H}\! \mathit{om}}\nolimits _\Lambda (L, Rf^!K)) = R\Gamma (Y, Rf_*R\mathop{\mathcal{H}\! \mathit{om}}\nolimits _\Lambda (L, Rf^!K))
(the second equality by Leray) and
R\mathop{\mathrm{Hom}}\nolimits _ Y(Rf_!L, K) = R\Gamma (Y, R\mathop{\mathcal{H}\! \mathit{om}}\nolimits _\Lambda (Rf_!L, K))
Thus the lemma is a consequence of Lemma 63.11.5.
\square
Comments (0)