For a morphism of schemes $f: X\rightarrow Y$, one often considers the function $f^\*f\_\*$ on sheaves. For example, this appears in adjunction for sheaves of $\mathcal{O}\_X$-modules, the projection formula, and other relatively abstract places. As a somewhat vague question, I'd like to see some non-trivial examples of how to interpret $f^\*f\_\* \mathcal{F}$, or typical examples where this is an important construction. How about the $f^\*f\_\*$ map on sheaves in other sites, such as the etale site?

Some context:

1.) Pullback of coherent sheaves is a fairly natural operation. I'm also perfectly happy with the pushforwards and higher pushforwards. Specifically, Mumford (in "Abelian Varieties") gives some fairly general results about how to interpret stalks of such sheaves (if $f$ is proper flat and $\mathcal{F}$ is locally free or more generally flat over $Y$) in terms of cohomology groups of $\mathcal{F}$ on fibers. More generally the Leray spectral sequence gives you a context to "interpret" higher pushforwards. If the pushforward of the structure sheaf is again the structure sheaf then Stein factorization gives us information about the fibers. More generally we have the theorem of formal functions.

2.) For finite degree $n$ maps of smooth proper curves over $\bar{k}$, the related map$f\_\*f^\*$ can be defined at the level of the Picard group, where it is the multiplication by $n$ map.

$\textbf{Question}$ How should I think about Thm III.8.8 of Hartshorne (below)? Is this just a useful technical result (and where?), or is it more than that? Are there good examples? Affine locally one can certainly describe the natural map $f^\*f\_\*(\mathcal{F}) \rightarrow \mathcal{F}$ explicitly. Is this how one "works" with it in practice, or are there better ways (I hope)?

$\textbf{Thm}$ III.8.8: If $f:X \rightarrow Y$ is a projective map of noetherian schemes, $\mathcal{F}$ coherent on $X$ and $\mathcal{O}\_X(1)$ a very ample sheaf on $X$ over $Y$, then $\forall n>> 0$, the natural map $f^\*f\_\*(\mathcal{F}(n)) \rightarrow \mathcal{F(n)}$ is surjective.