This is this blog’s 100th post. Now, not quite my hundredth, nor nearly the hundredth with actual math content, but still, it’s a number which, when expressed in base ten, happens to have some zeros. More importantly, however, tomorrow marks one year since my first post went up. Now that that’s done, we’re going to spend today looking at other numbers. Specifically, the number of elements of any finite group acting on a complete curve.
Fix a complete curve and a finite group . Then we say that acts on if we have a map denoted by such that and for all . We call an action effective if the condition for all implies that is the identity element.
Now, we can take quotients here. We’ll think analytically for a moment. is a Riemann surface, and acts on it effectively. Then we have the space with elements the sets for each , which were a partition of . So is defined as a set. In fact, it’s defined as a topological space by saying that a set is open if and only if its preimage is. Even better, we can actually get a complex structure on it to make it into a Riemann surface, which means that the quotient is again an algebraic curve. The quotient map has degree and at any point , we have is equal to the order of the stabilizer of , that is, the number of group elements fixing the point .
Now we want to apply Hurwitz’s formula to this map. If we have branch points in , then over each of them there are ramification points, each having multiplicity (it all has to be the same, because the group action lets us permute them) so Hurwitz tells us that we have , which can be simplified a bit to . We set . From here on, we assume that has genus .
So now we break it into cases. If , we have two.
If , then there’s no ramification, and so . So . As , we then have . Now if , it must automatically be greater than . Checking this (and a couple of other claims) are elementary and tedious, so we’ll leave those to be done in private, rather than here. So then , and so , which tells us that . But this isn’t the case that gives the universal bound which is valuable.
Now, we look at the case where is zero. Then Hurwitz’s formula becomes . As , we must have . It is again nothing but a tedious check to see that if it is greater than 2, it is greater than . So then , and so .
This gives us Hurwitz’s Theorem on Automorphisms, that a curve of genus has at most automorphisms. This follows from the fact that the automorphism group is finite and must act effectively.
Now for a bit of fun. We call a group a Hurwitz group if it is of order for some and is also the automorphism group of an algebraic curve of that genus. Now, these groups are interesting in and of themselves, algebraically. They’re groups that can be generated by two elements such that . Of course, there are quite a few famous groups which arise this way, not the least of them is the Monster. However, the details of this have been done better than I could do them elsewhere, so I’ll just link to Lieven le Bruyn and Marni Dee Sheppeard.
Hurwitz’s theorem on automorphisms has another good consequence. If we denote by the functor of flat families of genus curves with marked points (that is, specified sections of the family) then for any , we can fix big enough that curves with this many marked points don’t have any automorphisms, because an automorphism would take , but would also have to just permute the marked points. So then for and sufficiently large, we’ll actually get a fine moduli space representing this functor, and it won’t just be a scheme, but it will be a variety! However, if we don’t want to be marking points, because that increases the dimension of the moduli space and can alter it enough that we lose some good geometric data, we still only get a coarse moduli space, because though the automorphism groups are finite, they aren’t zero.
Well, that’s all this week, next week we continue on through some more topics in the theory of curves.