Lemma 27.26.9. Let $X$ be a scheme. Let $\mathcal{L}$ be an invertible $\mathcal{O}_ X$-module. Set $S = \Gamma _*(X, \mathcal{L})$ as a graded ring. If every point of $X$ is contained in one of the open subschemes $X_ s$, for some $s \in S_{+}$ homogeneous, then there is a canonical morphism of schemes

$f : X \longrightarrow Y = \text{Proj}(S),$

to the homogeneous spectrum of $S$ (see Constructions, Section 26.8). This morphism has the following properties

1. $f^{-1}(D_{+}(s)) = X_ s$ for any $s \in S_{+}$ homogeneous,

2. there are $\mathcal{O}_ X$-module maps $f^*\mathcal{O}_ Y(n) \to \mathcal{L}^{\otimes n}$ compatible with multiplication maps, see Constructions, Equation (26.10.1.1),

3. the composition $S_ n \to \Gamma (Y, \mathcal{O}_ Y(n)) \to \Gamma (X, \mathcal{L}^{\otimes n})$ is the identity map, and

4. for every $x \in X$ there is an integer $d \geq 1$ and an open neighbourhood $U \subset X$ of $x$ such that $f^*\mathcal{O}_ Y(dn)|_ U \to \mathcal{L}^{\otimes dn}|_ U$ is an isomorphism for all $n \in \mathbf{Z}$.

Proof. Denote $\psi : S \to \Gamma _*(X, \mathcal{L})$ the identity map. We are going to use the triple $(U(\psi ), r_{\mathcal{L}, \psi }, \theta )$ of Constructions, Lemma 26.14.1. By assumption the open subscheme $U(\psi )$ of equals $X$. Hence $r_{\mathcal{L}, \psi } : U(\psi ) \to Y$ is defined on all of $X$. We set $f = r_{\mathcal{L}, \psi }$. The maps in part (2) are the components of $\theta$. Part (3) follows from condition (2) in the lemma cited above. Part (1) follows from (3) combined with condition (1) in the lemma cited above. Part (4) follows from the last statement in Constructions, Lemma 26.14.1 since the map $\alpha$ mentioned there is an isomorphism. $\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).