Lemma 109.25.2. Let $g \geq 2$. The stack $\overline{\mathcal{M}}_ g$ is quasi-compact.
Proof. We will use the notation from Section 109.4. Consider the subset
\[ T \subset |\textit{PolarizedCurves}| \]
of points $\xi $ such that there exists a field $k$ and a pair $(X, \mathcal{L})$ over $k$ representing $\xi $ with the following two properties
$X$ is a stable genus $g$ curve, and
$\mathcal{L} = \omega _ X^{\otimes 3}$.
Clearly, under the continuous map
\[ |\textit{PolarizedCurves}| \longrightarrow |\mathcal{C}\! \mathit{urves}| \]
the image of the set $T$ is exactly the open subset
\[ |\overline{\mathcal{M}}_ g| \subset |\mathcal{C}\! \mathit{urves}| \]
Thus it suffices to show that $T$ is quasi-compact. By Lemma 109.4.1 we see that
\[ |\textit{PolarizedCurves}| \subset |\mathcal{P}\! \mathit{olarized}| \]
is an open and closed immersion. Thus it suffices to prove quasi-compactness of $T$ as a subset of $|\mathcal{P}\! \mathit{olarized}|$. For this we use the criterion of Moduli Stacks, Lemma 108.11.3. First, we observe that for $(X, \mathcal{L})$ as above the Hilbert polynomial $P$ is the function $P(t) = (6g - 6)t + (1 - g)$ by Riemann-Roch, see Algebraic Curves, Lemma 53.5.2. Next, we observe that $H^1(X, \mathcal{L}) = 0$ and $\mathcal{L}$ is very ample by Algebraic Curves, Lemma 53.24.3. This means exactly that with $n = P(3) - 1$ there is a closed immersion
\[ i : X \longrightarrow \mathbf{P}^ n_ k \]
such that $\mathcal{L} = i^*\mathcal{O}_{\mathbf{P}^1_ k}(1)$ as desired. $\square$
Post a comment
Your email address will not be published. Required fields are marked.
In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).
All contributions are licensed under the GNU Free Documentation License.
Comments (0)