Lemma 6.26.2. Let $(f, f^\sharp ) : (X, \mathcal{O}_ X) \to (Y, \mathcal{O}_ Y)$ be a morphism of ringed spaces. Let $\mathcal{F}$ be a sheaf of $\mathcal{O}_ X$-modules. Let $\mathcal{G}$ be a sheaf of $\mathcal{O}_ Y$-modules. There is a canonical bijection
\[ \mathop{\mathrm{Hom}}\nolimits _{\mathcal{O}_ X}(f^*\mathcal{G}, \mathcal{F}) = \mathop{\mathrm{Hom}}\nolimits _{\mathcal{O}_ Y}(\mathcal{G}, f_*\mathcal{F}). \]
In other words: the functor $f^*$ is the left adjoint to $f_*$.
Proof.
This follows from the work we did before:
\begin{eqnarray*} \mathop{\mathrm{Hom}}\nolimits _{\mathcal{O}_ X}(f^*\mathcal{G}, \mathcal{F}) & = & \mathop{\mathrm{Mor}}\nolimits _{\textit{Mod}(\mathcal{O}_ X)}( \mathcal{O}_ X \otimes _{f^{-1}\mathcal{O}_ Y} f^{-1}\mathcal{G}, \mathcal{F}) \\ & = & \mathop{\mathrm{Mor}}\nolimits _{\textit{Mod}(f^{-1}\mathcal{O}_ Y)}( f^{-1}\mathcal{G}, \mathcal{F}_{f^{-1}\mathcal{O}_ Y}) \\ & = & \mathop{\mathrm{Hom}}\nolimits _{\mathcal{O}_ Y}(\mathcal{G}, f_*\mathcal{F}). \end{eqnarray*}
Here we use Lemmas 6.20.2 and 6.24.7.
$\square$
Comments (0)
There are also: