Lemma 70.11.11. Let $S$ be a scheme. Let $X$ be an algebraic space over $S$. Let $\mathcal{A}$ be a quasi-coherent sheaf of graded $\mathcal{O}_ X$-modules generated as an $\mathcal{A}_0$-algebra by $\mathcal{A}_1$. With $P = \underline{\text{Proj}}_ X(\mathcal{A})$ we have

1. $P$ represents the functor $F_1$ which associates to $T$ over $S$ the set of isomorphism classes of triples $(f, \mathcal{L}, \psi )$, where $f : T \to X$ is a morphism over $S$, $\mathcal{L}$ is an invertible $\mathcal{O}_ T$-module, and $\psi : f^*\mathcal{A} \to \bigoplus _{n \geq 0} \mathcal{L}^{\otimes n}$ is a map of graded $\mathcal{O}_ T$-algebras inducing a surjection $f^*\mathcal{A}_1 \to \mathcal{L}$,

2. the canonical map $\pi ^*\mathcal{A}_1 \to \mathcal{O}_ P(1)$ is surjective, and

3. each $\mathcal{O}_ P(n)$ is invertible and the multiplication maps induce isomorphisms $\mathcal{O}_ P(n) \otimes _{\mathcal{O}_ P} \mathcal{O}_ P(m) = \mathcal{O}_ P(n + m)$.

Proof. Omitted. See Constructions, Lemma 27.16.11 for the case of schemes. $\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).