Timeline for $\mathcal{M}_{g,n}$ a scheme for $n \gg 0$? [duplicate]
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 22, 2015 at 22:45 | comment | added | Ariyan Javanpeykar | @TimoKeller To answer your question in the comments of the other question, see Corollary 8.1.1 in the book Champs Algebriques by Laumon and Moret-Bailly: Any DM stack with trivial stabilizers is an alg space. To see that an alg space is a scheme you can apply Knudson's criterion sometimes and use properties of the coarse moduli space as S. Carnahan mentions. (For Knudson's criterion see Cor. II.6.16 of his book on Alg Spaces.) | |
| Mar 21, 2015 at 19:23 | comment | added | S. Carnahan♦ | Bjorn's comment under JSE's answer addresses the representability question. The absence of automorphisms automatically yields an algebraic space, but the coarse moduli space is known to be a quasi-projective variety, so you get a scheme. | |
| Mar 21, 2015 at 18:12 | comment | added | user19475 | In this thread, Emerton only addresses this question for elliptic curves, and JSE only the question about automorphism groups (not the representability by a scheme). | |
| Mar 21, 2015 at 17:19 | history | closed | S. Carnahan♦ | Duplicate of Existence of fine moduli space for curves and elliptic curves | |
| Mar 21, 2015 at 17:06 | comment | added | S. Carnahan♦ | This is covered in mathoverflow.net/questions/11253/… . See in particular JSE's answer. | |
| Mar 21, 2015 at 15:33 | history | asked | user19475 | CC BY-SA 3.0 |