Pretty much everything in this post is in Mumford’s “Curves and their Jacobians,” but I do a couple of things slightly differently, and I intend to supply a bit more detail in some places. The goal here is to construct the moduli of curves of genus for small .

Let’s start with some definitions. The set is the set of where is a genus curve and are distinct. Now, sadly, is not a variety. It can be realized as a smooth stack, however, but that’s a bit more than we are going to even try to handle. Instead, we’ll quote a very good, powerful and classical theorem, which is true (and clearly so, because I am using a boldface for the word theorem):

**Theorem**: There exists a unique normal quasiprojective variety such that it is in bijection with and if is a proper smooth map whose fibers are genus curves and are disjoint sections, then the induced map of sets is a morphism of varieties.

Rather, the above is true when . When it’s smaller, then the space has expected dimension negative (this only happens for genus 0 with at most 2 points, and genus 1 with no points) and we really need the stacky interpretation to make sense of things.

So why is this the dimension? The computation is fairly quick: first off, each point is a degree of freedom, so , and is just deformations of a curve. It can be shown that the tangent space to at a curve is just , so we must compute this dimension, which by Riemann-Roch is for . For , we need to check things carefully because of the aforementioned stacky problems (it amounts to positive dimensional families of automorphisms for these curves), but the result works out.

We’re really only going to have one example, and then the others will follow from it. We’ll directly compute for . There’s only one genus zero curve, and that’s , so we’re looking at sets of ordered points in . The automorphisms let us take the first three to , so we have points to pick, and there are no automorphisms left once we’ve done this, so , because the points are distinct.

Next, we’ll look at , as this is the next simplest that has positive dimension. There are a few ways we can attack this. The simplest is by using Weierstrass form and the -invariant, and this works for characteristic not , and we’re going to imagine ourselves over , so it’s fine. Every elliptic curve can be written as for some , with . However, this representation isn’t unique. So whatever our curve is, it’s covered by . There’s a function , and it takes the same values at , , , , , and , which all give the same elliptic curve! Even better, no other will give the same curve, so is a surjective map. And because can take any value, it shows that .

A slightly different presentation is that every elliptic curve can be written as a double cover of ramified at four points. These points are unordered, and so we can look at quartic polynomials on with no repeated roots . However, automorphisms of let us take the roots to , so we have and its discriminant is nonzero, and we have to identify the same ‘s as above.

This approach is fruitful for identifying a certain subvariety of for . This is the locus of hyperelliptic curves. These are the curve which double cover and thus are uniquely determined by their branch points. For a genus hyperelliptic curve, we have ramification points. The second approach above is predicated on the fact that for , every curve is hyperelliptic. We’ll denote the hyperelliptic locus by .

Now, it’s a fairly easy theorem that , so we should be able to handle finding a description of this family of curves. By the above, they branch at six points, so we have to look at six distinct points in , which is an open subset of the sextic polynomials. Then, we need to take . We can achieve this by looking at ordered sextuples of points on , and having an extension of by (or perhaps extension in the other direction? I never quite *got* that bit of language) act by first permuting the points, and then transforming so that the first three are . This can actually be calculated directly, and it’s a quotient of . The points that need to be identified are the ones where, if is a primitive fifth root of unity, we have gives the same curve as . It’s very straightforward to compute the invariants, and they are , and give a map which factors through the quotient, thus giving us inside of .

In general, we have that can be written as a quotient of , though computing this quotient is not always easy. This is also less useful in higher genus, because starting in genus 3, there are nonhyperelliptic curves. In fact, the moduli space can be described in two pieces: the hyperelliptic locus can be worked out as above. For the nonhyperelliptic curves, the canonical map gives them as quartic plane curves, so we have the open subset of the linear system of quartics consisting of smooth curves, and we have to take , the automorphism group of the plane. This is plainly unirational (for those who know the term), and I vaguely recall seeing a paper proving that it’s actually rational, but I can’t find it at the moment. So starting at , these moduli spaces can be very hard to construct directly, and that’s a big part of why this subject is interesting, and why it is so difficult.

November 12, 2010 at 9:50 pm

Speaking of moduli of curves, in our student AG seminar it came up that we needed to take (sheaf) cohomology on a stack of moduli of curves.

Now our guess was that we could choose a suitably nice hypercover since it was a DM stack and compute that way and get the right answer.

I’ve been asking people and searching the internet for any mention of this, but I can’t seem to find anyone or anywhere that says this can be done. Do you know of any references, or off the top of your head whether there are nice conditions that allow you to do this?

November 13, 2010 at 7:05 am

I don’t, actually. I mostly deal with the coarse moduli varieties involved, and sometimes I deal with them as Teichmuller space modulo the mapping class group. This seems like a good thing to ask on MO.

January 13, 2011 at 12:45 pm

Don’t you need to divide out by the S_3 action on the points x,y,z in you genus 2 computation?