Lemma 27.10.7. Let $S$ be a graded ring. Set $X = \text{Proj}(S)$. Let $\mathcal{F}$ be a quasi-coherent $\mathcal{O}_ X$-module. Set $M = \bigoplus _{n \in \mathbf{Z}} \Gamma (X, \mathcal{F}(n))$ as a graded $S$-module, using (27.10.1.4) and (27.10.1.3). Then there is a canonical $\mathcal{O}_ X$-module map

$\widetilde{M} \longrightarrow \mathcal{F}$

functorial in $\mathcal{F}$ such that the induced map $M_0 \to \Gamma (X, \mathcal{F})$ is the identity.

Proof. Let $f \in S$ be homogeneous of degree $d > 0$. Recall that $\widetilde{M}|_{D_{+}(f)}$ corresponds to the $S_{(f)}$-module $M_{(f)}$ by Lemma 27.8.4. Thus we can define a canonical map

$M_{(f)} \longrightarrow \Gamma (D_+(f), \mathcal{F}),\quad m/f^ n \longmapsto m|_{D_+(f)} \otimes f|_{D_+(f)}^{-n}$

which makes sense because $f|_{D_+(f)}$ is a trivializing section of the invertible sheaf $\mathcal{O}_ X(d)|_{D_+(f)}$, see Lemma 27.10.2 and its proof. Since $\widetilde{M}$ is quasi-coherent, this leads to a canonical map

$\widetilde{M}|_{D_+(f)} \longrightarrow \mathcal{F}|_{D_+(f)}$

via Schemes, Lemma 26.7.1. We obtain a global map if we prove that the displayed maps glue on overlaps. Proof of this is omitted. We also omit the proof of the final statement. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).