Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Suppose we have two schemes $X, Y$ and a map $f: X\to Y$. Then we know that $\operatorname{Hom}_X(f^*\mathcal{G}, \mathcal{F})\simeq \operatorname{Hom}_Y(\mathcal{G}, f_*\mathcal{F})$, where $\mathcal{F}$ is an $\mathcal{O}_X$-module and $\mathcal{G}$ an $\mathcal{O}_Y$-module (and the Homs are in the category of $\mathcal{O}_X$-modules etc). This gives a natural map $f^* f_* \mathcal{F}\to \mathcal{F}$, just by setting $\mathcal{G}=f_* \mathcal{F}$ and looking at where the identity map goes.

Are there any well-known conditions on the map or sheaves that give this is an isomorphism? For instance, I was looking through a book and saw that the map is surjective if $\mathcal{F}$ is a very ample invertible sheaf (and maybe some more hypothesis on the map and $X$ and $Y$ were assumed as well).

share|cite|improve this question
Have you thought about the case when $Y$ is just a point, say Spec $k$, so that $f_*$ is the same as computing global sections. You are then asking when the natural map $\mathcal O_X\otimes_k H^0(X,\mathcal F)\to \mathcal F$ is an isomorphism. This then becomes a useful exercise; once you solve it, you will see that the answer to your question as to when this map is an isomorphism is "not often". – Matt E Oct 10 '10 at 3:39
I'm the last person in this Grothendieck-universe which can talk about schemes, but if you write $Hom(f^* \mathcal F,\mathcal G)\cong Hom(\mathcal G,f_*\mathcal F)$ I think about some kind of adjunction. Then you're looking for its counity to be an isomorphism, am I right? (sorry for the stupid contro-question) – Fosco Loregian Oct 23 '10 at 17:28
If $\mathcal F = \mathcal O_X$, then the stereotypical example of when this is true is when $X = \mathbb P^n_Y$. More generally (but still with the $\mathcal F = \mathcal O_X$), the condition that "$f$ is proper and all fibers are geometrically connected" may suffice, although I am not at all confident of that. – Charles Staats Aug 14 '12 at 1:25
See also exercise 5.1.1.(a) on page 171 of Q. Liu's "Algebraic Geometry and Arithmetic Curves". – Servaes May 19 '13 at 0:43

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.