Timeline for $\mathcal{M}_g$ and $\mathcal{A}_g$ have natural structures as quasi-projective varieties
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 9, 2020 at 18:51 | comment | added | Andy Putman | @abx: That's a good point, though if you just care about being quasiprojective it is not a huge deal since the map from $\mathcal{M}_g$ to the Schottky locus is bijective, and thus certainly quasi-finite. | |
| May 9, 2020 at 6:06 | comment | added | abx | Note that it is not at all clear that the Schottky locus is the same as $\mathcal{M}_g$ (the problem is with the hyperelliptic locus). This was proved much later by Oort and Steenbrink. | |
| May 9, 2020 at 4:35 | comment | added | Andy Putman | @Anonymous: These proofs only work over $\mathbb{C}$. I think the GIT proof was the first one that worked over any other fields. | |
| May 9, 2020 at 4:33 | comment | added | Anonymous | Do any of these references work in characteristic p, or was the proof in GIT the first proof in general? | |
| May 9, 2020 at 4:29 | vote | accept | Manoel | ||
| May 9, 2020 at 4:25 | history | answered | Andy Putman | CC BY-SA 4.0 |