The Stacks project

Lemma 27.19.1. With assumptions and notation as above. The morphism $\psi $ induces a canonical morphism of schemes over $S$

together with a map of graded $\mathcal{O}_{U(\psi )}$-algebras

characterized by the following properties:

1. For every open $V \subset S$ and every $d \geq 0$ the diagram

   \[ \xymatrix{ \mathcal{A}_ d(V) \ar[d]_{\psi } \ar[r]_{\psi } & \Gamma (f^{-1}(V), \mathcal{L}^{\otimes d}) \ar[d]^{restrict} \\ \Gamma (\pi ^{-1}(V), \mathcal{O}_{\underline{\text{Proj}}_ S(\mathcal{A})}(d)) \ar[r]^{\theta } & \Gamma (f^{-1}(V) \cap U(\psi ), \mathcal{L}^{\otimes d}) } \]

   is commutative.

2. For any $d \geq 1$ and any open subscheme $W \subset X$ such that $\psi |_ W : f^*\mathcal{A}_ d|_ W \to \mathcal{L}^{\otimes d}|_ W$ is surjective the restriction of the morphism $r_{\mathcal{L}, \psi }$ agrees with the morphism $W \to \underline{\text{Proj}}_ S(\mathcal{A})$ which exists by the construction of the relative homogeneous spectrum, see Definition 27.16.7.

3. For any affine open $V \subset S$, the restriction

   \[ (U(\psi ) \cap f^{-1}(V), r_{\mathcal{L}, \psi }|_{U(\psi ) \cap f^{-1}(V)}, \theta |_{U(\psi ) \cap f^{-1}(V)}) \]

   agrees via $i_ V$ (see Lemma 27.15.4) with the triple $(U(\psi '), r_{\mathcal{L}, \psi '}, \theta ')$ of Lemma 27.14.1 associated to the map $\psi ' : A = \mathcal{A}(V) \to \Gamma _*(f^{-1}(V), \mathcal{L}|_{f^{-1}(V)})$ induced by $\psi $.