Lemma 71.11.6. In Situation 71.11.1 the morphism \pi : \underline{\text{Proj}}_ X(\mathcal{A}) \to X is separated.
Proof. By Morphisms of Spaces, Lemma 67.4.12 and the construction of the relative Proj this follows from the case of schemes which is Constructions, Lemma 27.16.9. \square
Comments (0)