Lemma 109.16.6. The morphisms \mathcal{M} \to \mathop{\mathrm{Spec}}(\mathbf{Z}) and \mathcal{M}_ g \to \mathop{\mathrm{Spec}}(\mathbf{Z}) are smooth.
Proof. Since \mathcal{M} is an open substack of \mathcal{C}\! \mathit{urves}^{lci+} this follows from Lemma 109.15.2. \square
Comments (0)