3
$\begingroup$

Let $f: (X, O_X) \rightarrow (Y, O_Y)$ be a scheme morphism, $F$ - module over $O_X$, $G$ - module over $O_Y$. How to prove, that $ Hom_{O_X}(f^*G, F) = Hom_{O_Y}(G, f_* F). $ Please give the most detailed proof.

  • 1
    Note that, if $X$ and $Y$ are affine, this follows from the tensor-hom adjunction. So it is sufficient to reduce to affine patches.2016-01-17

0 Answers 0