Lemma 62.10.3. Let $f : X \to Y$ be a quasi-finite separated morphism of quasi-compact and quasi-separated schemes. Then the functors $Rf_!$ constructed in Section 62.9 agree with the restriction of the functor $f_! : D(X_{\acute{e}tale}, \Lambda ) \to D(Y_{\acute{e}tale}, \Lambda )$ constructed in Section 62.7 to their common domains of definition.

Proof. By Zariski's main theorem (More on Morphisms, Lemma 37.43.3) we can find an open immersion $j : X \to \overline{X}$ and a finite morphism $\overline{f} : \overline{X} \to Y$ with $f = \overline{f} \circ j$. By construction we have $Rf_! = R\overline{f}_* \circ j_!$. Since $\overline{f}$ is finite, we have $R\overline{f}_* = \overline{f}_*$ by Étale Cohomology, Proposition 59.55.2. The lemma follows because $\overline{f}_* \circ j_! = f_!$ for example by Lemma 62.3.6. $\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).