The fibers of M_{g,n} \to M_g and the Fulton-MacPherson compactification - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T06:44:41Z http://mathoverflow.net/feeds/question/26606 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/26606/the-fibers-of-m-g-n-to-m-g-and-the-fulton-macpherson-compactification The fibers of M_{g,n} \to M_g and the Fulton-MacPherson compactification Dan Petersen 2010-05-31T17:31:05Z 2010-07-24T21:16:27Z <p>Let $g \geq 2$, and consider the moduli space $\bar M_{g,n}$ of stable <em>n</em>-pointed curves of genus <em>g</em>. There is a natural forgetful map to $\bar M_g$, which forgets the markings and contracts any resulting unstable component. I am thinking about what the fibers of this map look like. Consider first the <em>n</em>-fold fibered product of the universal curve over $\bar M_g$ -- this would be a moduli space of curves of genus <em>g</em> with <em>n</em> not necessarily distinct markings. We know that this product is singular <strike>at all points where more than one of the markings coincide</strike>, or when a marking is placed on a node of a singular base curve. Moreover, we know that $\bar M_{g,n}$ is a desingularization. </p> <p>Of course, the difference between the two spaces is that on $\bar M_{g,n}$, whenever two markings or a marking and a node come together, one ''bubbles off'' a rational curve, and this can be seen as a blow-up of an ambient space in which the curve is embedded. My question is: can one in a similar way explicitly realize the total space $\bar M_{g,n}$ as a sequence of blow-ups of the <em>n</em>-fold fibered product of the universal curve, or a similar construction?</p> <p>And a related naive question, which may or may not be equivalent to the one above: given a point <em>[C]</em> in the interior of $\bar M_g$, the fiber over it in $\bar M_{g,n} \to \bar M_g$ is a compactification of the configuration space of <em>n</em> distinct ordered points on <em>C</em>. Is this fiber isomorphic to the Fulton-MacPherson compactification of this configuration space?</p> http://mathoverflow.net/questions/26606/the-fibers-of-m-g-n-to-m-g-and-the-fulton-macpherson-compactification/26873#26873 Answer by Michael Thaddeus for The fibers of M_{g,n} \to M_g and the Fulton-MacPherson compactification Michael Thaddeus 2010-06-02T22:00:27Z 2010-06-03T14:28:32Z <p>You don't mean that the forgetful map contracts any rational component, only those touching less than three nodes. Also, the n-fold fibered power is not singular where several markings coincide at a smooth point. After all, a fibered product of smooth morphisms is smooth. It will, however, disagree with <code>$\overline{M}_{g,n}$</code> at the locus where three or more markings coincide, so blow-ups will indeed be required. </p> <p>However, what you wish for in the last paragraph is indeed true. One has to assume that the automorphism group of <code>$C$</code> is trivial, for otherwise, even the fiber of <code>$\overline{M}_{g,1}$</code> over <code>$\overline{M}_g$</code> will be not $C$ but $C/ Aut C$. (Working with moduli stacks rather than moduli spaces would cure this problem.) But assuming this, the fiber of <code>$\overline{M}_{g,n} \to \overline{M}_g$</code> is indeed the Fulton-MacPherson configuration space. Indeed, that space is described in the original F-Mac paper as a moduli space of stable configurations of distinct smooth points on a fixed curve <code>$C$</code> with nodal trees of projective lines attached, modulo projective equivalence on the lines. Here "stable" means that the pointed nodal curve has finite automorphism group, that is, each line carries at least three distinguished points. Those are exactly the configurations that you see in your fiber.</p> <p>As for your earlier question, it is true in some sense, but it would be quite subtle in practice. Fulton-MacPherson explain how to obtain their space from the product <code>$C^n$</code> by an explicit sequence of blow-ups. One blows up first the "small diagonal" where all the points come together, and then proper transforms of other diagonals. You could try to blow up all the corresponding loci in the fibered power of <code>$\overline{M}_{g,n}$</code> over <code>$\overline{M}_g$</code>. </p> <p>But you would have to resolve other loci over the boundary too: if two markings coincide with a node, for example, you want to pull apart the node, glue in an extra line, and draw the two markings on that line. But since there is a 1-parameter family of ways to do this (due to the cross-ratio of the two nodes and the two markings), you want to replace the corresponding points in the fibered power with a <code>$P^1$</code>. Even worse, this would not be a blow-up in the obvious sense. The fibered product of two nodes, in local analytic coordinates, looks like <code>$xy = t = wz$</code>, that is, <code>$xy-wz=0$</code>, the cone on a smooth quadric surface. You can resolve this singularity by blowing up the origin, but then the exceptional divisor is <code>$P^1 \times P^1$</code>, not <code>$P^1$</code> as you wish. Instead, you should perform one of the "small resolutions" obtained by blowing up one of the Weil divisors <code>$x=w=0$</code> or <code>$x=z=0$</code>.</p> <p>Since any birational morphism is the blow-up at some sheaf of ideals, in some abstract sense you are guaranteed that <code>$\overline{M}_{g,n}$</code> is obtained from the fibered power by blowing up. But that doesn't mean that you can give an explicit list of smooth centers to be blown up in turn. The example with the two markings at the node suggests that this will be a thorny problem.</p> http://mathoverflow.net/questions/26606/the-fibers-of-m-g-n-to-m-g-and-the-fulton-macpherson-compactification/33229#33229 Answer by Eugene Eisenstein for The fibers of M_{g,n} \to M_g and the Fulton-MacPherson compactification Eugene Eisenstein 2010-07-24T21:16:27Z 2010-07-24T21:16:27Z <p>It may be worth mentioning briefly that the special case of $\overline{M_{0,n}}$ can be constructed fairly explicitly by blow-ups. The Fulton-MacPherson construction works. There are at least two additional constructions: an inductive one by Sean Keel in "Intersection theory on moduli space of stable N-pointed curves of genus zero" and the construction of Kapranov using what he calls Veronese curves towards the end of <a href="http://arxiv.org/PS_cache/alg-geom/pdf/9210/9210002v1.pdf" rel="nofollow">this paper</a> and in an earlier paper not on the arXiv that he sites. Kapranov's construction expresses $\overline{M_{0,n}}$ as a composition of blow-ups of $\mathbb{P}^{n-3}$ at an explicit sequence of (strict transforms of) linear subspaces.</p>