Processing math: 100%

The Stacks project

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

h_{i, j, k}f_{i, j}^{(d - \deg (h_{i, j, k}))/\deg (f_{i, j})}

are sections of \mathcal{F}. By construction \mathcal{F} is a solution. \square


Comments (1)

Comment #9559 by Branislav Sobot on

In the equality there a union missing on the right-hand-side


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.