12
$\begingroup$

In studying the birational geometry of $\overline{\mathcal{M}}_g$, it seems standard to work with the coarse space $\overline{M}_g$ rather than the smooth stack $\overline{\mathcal{M}}_g$. Why is this?

More precisely:

(1) In Harris-Mumford's "On the Kodaira Dimension of the Moduli Space of Curves" (1982), it is proven that $\overline{M}_g$ is of general type for odd $g\ge25$ (of course generalized to all $g\ge24$ later by Harris and Eisenbud-Harris). A lot of work is done in the first section showing that differential forms can be extended from the smooth locus of $\overline{M}_g$ to a desingularization of the whole space, so that Kodaira dimension makes sense in the first place, but can one not work with canonical sheaf on the stack $\overline{\mathcal{M}}_g$, which is already smooth? It seems to me that the rest of the proof ought to go through verbatim on the moduli stack, avoiding all the issues with automorphisms.

(2) In Bruno-Verra's "$\mathcal{M}_{15}$ is rationally connected,'' the strategy of proof of the theorem in question is as follows. Let $\Delta_0\subset\overline{\mathcal{M}}_{15}$ be closure of the locus of irreducible nodal curves, or equivalently the image of the clutching map from $\overline{\mathcal{M}}_{14,2}$. Given general points $x_i\in\mathcal{M}_{15}$, $i=1,2$ it is shown that there exist general points $y_i\in \Delta_0$ and rational curves connecting $x_i$ to $y_i$. It is also shown that $M_{14,2}$ is unirational, hence rationally connected, so $y_1$ and $y_2$ are also connected by a rational curve. Thus $x_1$ and $x_2$ are connected by a chain of rational curves.

Some effort is needed to show that the $y_i$ can be taken to be general, in particular, that they are smooth points of $\overline{M}_{15}$, and they correspond to curves with exactly one node (i.e. they don't lie on a self-intersection of $\Delta_0$). But does the argument not go through if the $y_i$ are arbitrary and we work with the moduli stacks? At least on a smooth, projective variety, the condition that a general pair of points are connected by a rational curve implies that an arbitrary pair of points is too. The self-intersections of $\Delta_0$ don't seem to me to be a problem, because a rational curve between arbitrary lifts of $y_1$ and $y_2$ on the smooth stack $\overline{\mathcal{M}}_{14,2}$ maps to a rational curve between $y_1$ and $y_2$ on $\Delta_0$. Is the issue perhaps that the various notions of rational connectedness (rational chain-connectedness, general vs. arbitrary pairs of points being connected, ...) don't all coincide on smooth proper DM stacks?

$\endgroup$
3
  • 2
    $\begingroup$ It is easy to give examples of smooth proper hyperbolic DM stacks, with plenty of effective pluricanonical divisors, whose moduli spaces are rational (this already occurs in dimension 1). $\endgroup$
    – Angelo
    Aug 24, 2020 at 18:52
  • $\begingroup$ Thanks, this seems to answer (1); the issue seems to be that a rational map P^n - -> X may not extend over codim 1 (without passing to a ramified cover) when X is a stack, so forms on X might not pull back to forms on P^n. Conversely if one wants to prove M_g rational (unirational, rationally connected) for g>2 it should suffice to do so for the stack, as it's birational to the coarse space. But maybe the issue here is still that the notions of rational (chain-)connectedness are different for stacks as I speculated above...will wait to see if anyone else has thoughts. $\endgroup$
    – Hans Sachs
    Aug 24, 2020 at 19:28
  • $\begingroup$ @HansSachs one thing to keep in mind is that the ultimate classical motivation for the line of inquiry of which these papers are a part is Severi's false conjecture that $M_g$ is unirational for all $g$. And of course the moduli stack was not a known object in Severi's lifetime. And Harris-Mumford implicitly (or maybe explicitly? it's been a while) works on the stack when computing divisor classes and things of that nature. $\endgroup$ Aug 26, 2020 at 23:27

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.