The Stacks project

Proof. We use the same trick as in the proof of Lemma 71.16.2 to reduce to the case of schemes. Let $\mathcal{I} \subset \mathcal{A}$ be the quasi-coherent graded ideal cutting out $Z$ of Lemma 71.16.1. Choose an affine scheme $W$ and a surjective étale morphism $W \to X$, see Properties of Spaces, Lemma 66.6.3. By the case of schemes (Divisors, Lemma 31.31.5) there exists a $d > 0$ and a quasi-coherent finite type $\mathcal{O}_ W$-submodule $\mathcal{F}' \subset \mathcal{I}_ d|_ W \subset \mathcal{A}_ d|_ W$ such that (a) $Z \times _ X W$ is equal to $\underline{\text{Proj}}_ W(\mathcal{A}|_ W/\mathcal{F}'\mathcal{A}|_ W)$ and (b) the support of $\mathcal{A}_ d|_ W/\mathcal{F}'$ is disjoint from $U \times _ X W$. By Limits of Spaces, Lemma 70.9.2 we can find a finite type quasi-coherent submodule $\mathcal{F} \subset \mathcal{I}_ d$ such that $\mathcal{F}' \subset \mathcal{F}|_ W$. Let $Z' = \underline{\text{Proj}}_ X(\mathcal{A}/\mathcal{F}\mathcal{A})$. Then $Z' \to P$ is a closed immersion (Lemma 71.12.5) and $Z \subset Z'$ as $\mathcal{F}\mathcal{A} \subset \mathcal{I}$. On the other hand, $Z' \times _ X W \subset Z \times _ X W$ by our choice of $\mathcal{F}$. Thus $Z = Z'$. Finally, we see that $\mathcal{A}_ d/\mathcal{F}$ is supported on $X \setminus U$ as $\mathcal{A}_ d|_ W/\mathcal{F}|_ W$ is a quotient of $\mathcal{A}_ d|_ W/\mathcal{F}'$ which is supported on $W \setminus U \times _ X W$. Thus the lemma follows. $\square$