Remark 114.8.22. This tag used to be in the chapter on étale cohomology, but is no longer suitable there because of a reorganization. The content of the tag was the following: Étale Cohomology, Lemma 59.77.3 can be used to prove that if $f : X \to Y$ is a separated, finite type morphism of schemes and $Y$ is Noetherian, then $Rf_!$ induces a functor $D_{ctf}(X_{\acute{e}tale}, \Lambda ) \to D_{ctf}(Y_{\acute{e}tale}, \Lambda )$. An example of this argument, when $Y$ is the spectrum of a field and $X$ is a curve is given in The Trace Formula, Proposition 63.13.1.

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