Elementary Question about Adjunction Isomorphism

132 Views Asked by At

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?

1

There are 1 best solutions below

0
On BEST ANSWER

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.