All Questions
1 question
13
votes
2
answers
3k
views
Interpreting $f^*f_*$
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 ...