Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $\mathcal F$ be a sheaf of $\mathcal O_X$ modules on a scheme $X$. Fix an affine open subset $U$. If $M$ is a module over the coordinate ring of $U$, we let $\tilde{M}$ denote the associated sheaf of modules.

Why do we have a morphism of sheaves

$$\mathcal F (U)^\tilde{} \rightarrow \mathcal F|_U?$$

Of course on the set $U$ this is obvious (it's the identity), but I don't see how to define the morphism on subsets $V\subset U$. It suffices to do it just on principal open subsets. On these, we know that $ F (U)^\tilde{}$ has a nice description: on $D(f)$, it is $F (U)^\tilde{}_f$. But I don't know what $\mathcal F_U$ is on such sets, so I don't see how to define the homomorphism.

(Perhaps I am missing something obvious -- it is quite late...)

A reference to this morphism appears on page 160 of Liu.

share|cite|improve this question
up vote 1 down vote accepted

Note that it suffices to take $X = \mathrm{Spec}(A)$ and to construct a homomorphism $$ (\Gamma(X, \mathscr{F}))^\sim \longrightarrow \mathscr{F}. $$ On an open subset $U = D(f)$ $(f \in A)$, the homomorphism $$ \Gamma(X, \mathscr{F})_f \to \Gamma(D(f), \mathscr{F}) $$ is induced by the restriction homomorphism $\Gamma(X,\mathscr{F}) \to \Gamma(U,\mathscr{F})$. To see this, note that $U$ is precisely the set of points $x \in X$ such that $f_x \in \mathscr{O}_x$ is invertible.

share|cite|improve this answer

More generally, if $X$ is an arbitrary ringed space, $M$ is a module over $\mathcal{O}_X(X)$, then $\tilde{M} := M \otimes_{\mathcal{O}_X(X)} \mathcal{O}_X$, the sheaf associated to the presheaf $U \mapsto M \otimes_{\mathcal{O}_X(X)} \mathcal{O}_X(U)$, is a sheaf of modules on $X$, and it enjoys the universal property that $M \mapsto \tilde{M}$ is left adjoint to the section functor. See Stacks Project, Lemma 16.10.5. The unit of this adjunction is a natural map $\widetilde{F(X)} \to F$, where $F$ is a sheaf of modules on $X$. It is induced by the restriction maps $F(X) \otimes_{\mathcal{O}_X(X)} \mathcal{O}_X(U) \to F(U)$, $s \otimes \lambda \mapsto s|_U \lambda$.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.