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)