Lemma 108.7.2. The morphism \mathrm{Hilb}_{X/B} \to B is separated and locally of finite presentation.
Proof. To check \mathrm{Hilb}_{X/B} \to B is separated we have to show that its diagonal is a closed immersion. This is true by Lemma 108.7.1. The second statement is part of Quot, Proposition 99.9.4. \square
Comments (0)