143
$\begingroup$

Suppose we have two schemes $X, Y$ and a map $f\colon 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).

$\endgroup$
8
  • 35
    $\begingroup$ 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". $\endgroup$
    – Matt E
    Oct 10, 2010 at 3:39
  • 4
    $\begingroup$ 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) $\endgroup$
    – fosco
    Oct 23, 2010 at 17:28
  • 3
    $\begingroup$ Here is a condition when that is true, but the reason is stupid. Let's assume your sheaf upstairs $\mathcal{F}$ is a pullback of a sheaf $\mathcal{G}$ downstairs, and assume moreover that the map $f: X \to Y$ has the property that $f_{*}\mathcal{O}_X=\mathcal{O}_Y$ which will be implied, for example, by requiring the map to be proper with geometrically connected fibres (as Charles Staats) said in his comment. Then your unlikely-happening-cancelation actually hold. And it's just projection formula. $\endgroup$
    – lee
    Feb 4, 2017 at 3:24
  • 3
    $\begingroup$ In general the counit is an isomorphism if and only if the right adjoint is fully faithful. So you have to ask yourself when the pushforward is fully faithful. I cannot come up and prove any good conditions at the moment for when this is true, but on first glance it apperas to be very rare $\endgroup$ Aug 17, 2019 at 13:09
  • 1
    $\begingroup$ When $f$ is a closed immersion, the adjunction counit is an isomorphism. As in Rene's answer, in this case the pushforward is fully faithful! $\endgroup$
    – Pacifism
    Mar 27, 2023 at 12:05

0

You must log in to answer this question.

Browse other questions tagged .