The Stacks project

Proof. The $\mathcal{O}$-module structure on the presheaf is defined as follows. If $f \in \mathcal{O}(V)$ and $s \in \mathcal{G}(V \xrightarrow {\varphi } U)$, then we define $f \cdot s = fs$ where $f \in \mathcal{O}_ U(\varphi : V \to U) = \mathcal{O}(V)$ (because $\mathcal{O}_ U$ is the restriction of $\mathcal{O}$ to $\mathcal{C}/U$).

Similarly, let $\alpha : \mathcal{G} \to \mathcal{F}|_ U$ be a morphism of $\mathcal{O}_ U$-modules. In this case we can define a map from the presheaf of the lemma into $\mathcal{F}$ by mapping

by the rule that $s \in \mathcal{G}(V \xrightarrow {\varphi } U)$ maps to $\alpha (s) \in \mathcal{F}(V)$. It is clear that this is $\mathcal{O}$-linear, and hence induces a morphism of $\mathcal{O}$-modules $\alpha ' : j_{U!}\mathcal{G} \to \mathcal{F}$ by the properties of sheafification of modules (Lemma 18.11.1).

Conversely, let $\beta : j_{U!}\mathcal{G} \to \mathcal{F}$ by a map of $\mathcal{O}$-modules. Recall from Sites, Section 7.25 that there exists an extension by the empty set $j^{Sh}_{U!} : \mathop{\mathit{Sh}}\nolimits (\mathcal{C}/U) \to \mathop{\mathit{Sh}}\nolimits (\mathcal{C})$ on sheaves of sets which is left adjoint to $j_ U^{-1}$. Moreover, $j^{Sh}_{U!}\mathcal{G}$ is the sheaf associated to the presheaf

Hence there is a natural map $j^{Sh}_{U!}\mathcal{G} \to j_{U!}\mathcal{G}$ of sheaves of sets. Hence precomposing $\beta$ by this map we get a map of sheaves of sets $j^{Sh}_{U!}\mathcal{G} \to \mathcal{F}$ which by adjunction corresponds to a map of sheaves of sets $\beta ' : \mathcal{G} \to \mathcal{F}|_ U$. We claim that $\beta '$ is $\mathcal{O}_ U$-linear. Namely, suppose that $\varphi : V \to U$ is an object of $\mathcal{C}/U$ and that $s, s' \in \mathcal{G}(\varphi : V \to U)$, and $f \in \mathcal{O}(V) = \mathcal{O}_ U(\varphi : V \to U)$. Then by the discussion above we see that $\beta '(s + s')$, resp. $\beta '(fs)$ in $\mathcal{F}|_ U(\varphi : V \to U)$ correspond to $\beta (s + s')$, resp. $\beta (fs)$ in $\mathcal{F}(V)$. Since $\beta$ is a homomorphism we conclude.

To conclude the proof of the lemma we have to show that the constructions $\alpha \mapsto \alpha '$ and $\beta \mapsto \beta '$ are mutually inverse. We omit the verifications. $\square$