The Stacks project

Example 29.43.2. Let $S$ be a scheme. Let $\mathcal{A}$ be a quasi-coherent graded $\mathcal{O}_ S$-algebra generated by $\mathcal{A}_1$ over $\mathcal{A}_0$. Assume furthermore that $\mathcal{A}_1$ is of finite type over $\mathcal{O}_ S$. Set $X = \underline{\text{Proj}}_ S(\mathcal{A})$. In this case $X \to S$ is projective. Namely, the morphism associated to the graded $\mathcal{O}_ S$-algebra map

\[ \text{Sym}_{\mathcal{O}_ X}^*(\mathcal{A}_1) \longrightarrow \mathcal{A} \]

is a closed immersion, see Constructions, Lemma 27.18.5.

Comments (2)

Comment #8109 by Laurent Moret-Bailly on

This is repeated later as Lemma 31.30.5. But the condition on can be relaxed, at least if is quasicompact: by 10.56.2 and 27.11.8 it is enough to assume that is finitely generated over and is finite over . This is useful in practice, but I could not find this statement in SP (or in EGA!).

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.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 07ZS. Beware of the difference between the letter 'O' and the digit '0'.