Lemma 106.14.3. Let $p : \mathcal{X} \to Y$ be a morphism from an algebraic stack to an algebraic space. Assume
$\mathcal{I}_\mathcal {X} \to \mathcal{X}$ is finite,
$p$ is proper, and
$Y$ is locally Noetherian.
Let $f : \mathcal{X} \to M$ be the moduli space constructed in Theorem 106.13.9. Then $M \to Y$ is proper.
Comments (0)