Remark 99.15.13. Consider the $2$-fibre product

This fibre product parametrized polarized curves, i.e., families of curves endowed with a relatively ample invertible sheaf. It turns out that the left vertical arrow

is algebraic, smooth, and surjective. Namely, this $1$-morphism is algebraic (as base change of the arrow in Lemma 99.14.6), every point is in the image, and there are no obstructions to deforming invertible sheaves on curves (see proof of Lemma 99.15.9). This gives another approach to the algebraicity of $\mathcal{C}\! \mathit{urves}$. Namely, by Lemma 99.15.12 we see that $\textit{PolarizedCurves}$ is an open and closed substack of the algebraic stack $\mathcal{P}\! \mathit{olarized}$ and any stack in groupoids which is the target of a smooth algebraic morphism from an algebraic stack is an algebraic stack.

## Comments (0)