Definition 59.35.4. Let $f: X \to Y$ be a morphism of schemes. The right derived functors $\{ R^ pf_*\} _{p \geq 1}$ of $f_* : \textit{Ab}(X_{\acute{e}tale}) \to \textit{Ab}(Y_{\acute{e}tale})$ are called higher direct images.

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