The segre cubic primal $X\subset P^4$ is the GIT quotient of 6 points on $P^1$. Let $M_{0,6}$ the DM compactification of the moduli of 6-pointed rational curves. The Segre primal $X$ is a cubic 3-fold with ten double points and there exists a natural map $M_{0,6}\to X$ that contracts 10 boundary divisors (each iso to $P^1 \times P^1$) to the singular points. Now if I blow up the singular points of $X$, since they are ordinary double points, I get a $P^1 \times P^1$ exceptional divisor over each of them. Call $\tilde{X}$ the blown up variety. Maybe it is a silly question, but it is clear that there exists an iso $\tilde{X}\cong M_{0,6}$? Why?
Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)
|
2
2
|
|
||
|
|
|
2
|
From what you've written you'll get a map $M_{0,6} \to \tilde{X}$ via the universal property of blowups (see Proposition II.7.14 of Hartshorne's Algebraic Geometry). In fact this map is an isomorphism. See the paragraph after Theorem 4.2 of Harvey-Lloyd Philipps, Symmetry and moduli spaces for Riemann surfaces for a short argument: http://books.google.com/books?id=pvKdD74g6UEC&pg=PA164&lpg=PA164 |
||
|
|
You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.
|
3
|
As Steven said, there is a morphism $\overline M_{0,6} \to \tilde{X}$ because the inverse image sheaf of the ideal of double points generates a Cartier divisor. Now $\tilde{X}$ is nonsingular, so to check the fact $\overline{M}_{0,6} \to \tilde{X}$ is an isomorphism it suffices to show injectivity of the map, or show the equality of Picard numbers. In general, the birational morphism $\overline M_{0,n} \to (\mathbb{P}^1)^n//SL_2$ is a composition of smooth blow-ups and Kirwan's desingularization. Consult http://arxiv.org/abs/1002.2461. |
|||||||||
|
