1
$\begingroup$

One knows by standard Algebraic Geometry that for any morphism $f:X \rightarrow Y$ of schemes one has canonical bijections

$\operatorname{Hom}_X(f*G,F)\simeq \operatorname{Hom}_Y(G,f_{*}F).$

Question: is it right that this map sends isomorphisms to isomorphisms?

  • 0
    What are $F, G$ here? (From the answer I guess that they are sheaves, but it's worth clarifying.)2011-10-25

1 Answers 1

1

No. Take a closed immersion $f$ and $G=O_Y$, $F=O_X$. Then $f^*G=F$, but $G$ can't be isomorphic to $f_*F$ if $f$ is not an isomorphism.