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.
So, you will wish for to do some shopping before
getting the loan. A leasing company can save you a lot of money
and not just when it comes to leasing costs. In
that case, you are bound to pay huge compensation charges to that car
leasing company including annual taxes, fares, insurance coverage
charges, annual maintenance charges etc.
Pingback: Proof of Hurwitz’s automorphisms theorem – Math Solution