Definition 62.3.3. Let $f : X \to Y$ be a morphism of schemes which is separated (!) and locally of finite type. Let $\mathcal{F}$ be an abelian sheaf on $X_{\acute{e}tale}$. The subsheaf $f_!\mathcal{F} \subset f_*\mathcal{F}$ constructed in Lemma 62.3.1 is called the direct image with compact support.

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