Lemma 27.16.2. In Situation 27.15.1. Let $F_ d$ be the functor associated to $(d, S, \mathcal{A})$ above. If $S$ is affine, then $F_ d$ is representable by the open subscheme $U_ d$ (27.12.0.1) of the scheme $\text{Proj}(\Gamma (S, \mathcal{A}))$.

**Proof.**
Write $S = \mathop{\mathrm{Spec}}(R)$ and $A = \Gamma (S, \mathcal{A})$. Then $A$ is a graded $R$-algebra and $\mathcal{A} = \widetilde A$. To prove the lemma we have to identify the functor $F_ d$ with the functor $F_ d^{triples}$ of triples defined in Section 27.12.

Let $(d, f : T \to S, \mathcal{L}, \psi )$ be a quadruple. We may think of $\psi $ as a $\mathcal{O}_ S$-module map $\mathcal{A}^{(d)} \to \bigoplus _{n \geq 0} f_*\mathcal{L}^{\otimes n}$. Since $\mathcal{A}^{(d)}$ is quasi-coherent this is the same thing as an $R$-linear homomorphism of graded rings $A^{(d)} \to \Gamma (S, \bigoplus _{n \geq 0} f_*\mathcal{L}^{\otimes n})$. Clearly, $\Gamma (S, \bigoplus _{n \geq 0} f_*\mathcal{L}^{\otimes n}) = \Gamma _*(T, \mathcal{L})$. Thus we may associate to the quadruple the triple $(d, \mathcal{L}, \psi )$.

Conversely, let $(d, \mathcal{L}, \psi )$ be a triple. The composition $R \to A_0 \to \Gamma (T, \mathcal{O}_ T)$ determines a morphism $f : T \to S = \mathop{\mathrm{Spec}}(R)$, see Schemes, Lemma 26.6.4. With this choice of $f$ the map $A^{(d)} \to \Gamma (S, \bigoplus _{n \geq 0} f_*\mathcal{L}^{\otimes n})$ is $R$-linear, and hence corresponds to a $\psi $ which we can use for a quadruple $(d, f : T \to S, \mathcal{L}, \psi )$. We omit the verification that this establishes an isomorphism of functors $F_ d = F_ d^{triples}$. $\square$

## Post a comment

Your email address will not be published. Required fields are marked.

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).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

## Comments (2)

Comment #4328 by Anu on

Comment #4329 by Johan on