The Stacks project

Proof. The assumptions on $S$ imply that $S$ is quasi-compact and separated, see Properties, Definition 28.26.1 and Lemma 28.26.11 and Constructions, Lemma 27.8.8. Hence Lemma 29.43.12 applies and we see that (1) implies (2). Let $\mathcal{E}$ be a finite type quasi-coherent $\mathcal{O}_ S$-module. By our definition of projective morphisms it suffices to show that $\mathbf{P}(\mathcal{E}) \to S$ is H-projective. If $\mathcal{E}$ is generated by finitely many global sections, then the corresponding surjection $\mathcal{O}_ S^{\oplus n} \to \mathcal{E}$ induces a closed immersion

as desired. In general, let $\mathcal{L}$ be an ample invertible sheaf on $S$. By Properties, Proposition 28.26.13 there exists an integer $n$ such that $\mathcal{E} \otimes _{\mathcal{O}_ S} \mathcal{L}^{\otimes n}$ is globally generated by finitely many sections. Since $\mathbf{P}(\mathcal{E}) = \mathbf{P}(\mathcal{E} \otimes _{\mathcal{O}_ S} \mathcal{L}^{\otimes n})$ by Constructions, Lemma 27.20.1 this finishes the proof. $\square$