Lemma 31.31.4. Let $S$ be a quasi-compact and quasi-separated scheme. Let $\mathcal{A}$ be a quasi-coherent graded $\mathcal{O}_ S$-algebra. Let $p : X = \underline{\text{Proj}}_ S(\mathcal{A}) \to S$ be the relative Proj of $\mathcal{A}$. Let $i : Z \to X$ be a closed subscheme. If $p$ is quasi-compact and $i$ of finite presentation, then there exists a $d > 0$ and a quasi-coherent finite type $\mathcal{O}_ S$-submodule $\mathcal{F} \subset \mathcal{A}_ d$ such that $Z = \underline{\text{Proj}}_ S(\mathcal{A}/\mathcal{F}\mathcal{A})$.

**Proof.**
By Lemma 31.31.1 we know there exists a quasi-coherent graded sheaf of ideals $\mathcal{I} \subset \mathcal{A}$ such that $Z = \underline{\text{Proj}}(\mathcal{A}/\mathcal{I})$. Since $S$ is quasi-compact we can choose a finite affine open covering $S = U_1 \cup \ldots \cup U_ n$. Say $U_ i = \mathop{\mathrm{Spec}}(R_ i)$. Let $\mathcal{A}|_{U_ i}$ correspond to the graded $R_ i$-algebra $A_ i$ and $\mathcal{I}|_{U_ i}$ to the graded ideal $I_ i \subset A_ i$. Note that $p^{-1}(U_ i) = \text{Proj}(A_ i)$ as schemes over $R_ i$. Since $p$ is quasi-compact we can choose finitely many homogeneous elements $f_{i, j} \in A_{i, +}$ such that $p^{-1}(U_ i) = D_{+}(f_{i, j})$. The condition on $Z \to X$ means that the ideal sheaf of $Z$ in $\mathcal{O}_ X$ is of finite type, see Morphisms, Lemma 29.21.7. Hence we can find finitely many homogeneous elements $h_{i, j, k} \in I_ i \cap A_{i, +}$ such that the ideal of $Z \cap D_{+}(f_{i, j})$ is generated by the elements $h_{i, j, k}/f_{i, j}^{e_{i, j, k}}$. Choose $d > 0$ to be a common multiple of all the integers $\deg (f_{i, j})$ and $\deg (h_{i, j, k})$. By Properties, Lemma 28.22.3 there exists a finite type quasi-coherent $\mathcal{F} \subset \mathcal{I}_ d$ such that all the local sections

are sections of $\mathcal{F}$. By construction $\mathcal{F}$ is a solution. $\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 (0)