Lemma 62.7.1. Let $f : X \to Y$ be a locally quasi-finite morphism of schemes. Let $\Lambda$ be a ring. The functors $f_!$ and $f^!$ of Definition 62.4.4 and Lemma 62.6.1 induce adjoint functors $f_! : D(X_{\acute{e}tale}, \Lambda ) \to D(Y_{\acute{e}tale}, \Lambda )$ and $Rf^! : D(Y_{\acute{e}tale}, \Lambda ) \to D(X_{\acute{e}tale}, \Lambda )$ on derived categories.

Proof. This follows immediately from Derived Categories, Lemma 13.30.3, the fact that $f_!$ is exact (Lemma 62.4.5) and hence $Lf_! = f_!$ and the fact that we have enough K-injective complexes of $\Lambda$-modules on $Y_{\acute{e}tale}$ so that $Rf^!$ is defined. $\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).