Ok, back to curves. We’d wandered a bit in the direction of this topic before, having discussed Bezout’s Theorem and the Riemann-Roch Theorem. Today we’ll talk about the Hurwitz formula, also called the Riemann-Hurwitz formula. It’s a rather nice result, and combined with Riemann-Roch can be used to prove a huge amount about curves and maps between curves.
We’re going to be very specifically working over here, and will use some analytic tools. The first one of which is that, given a map of smooth curves which is nonconstant, and pick a point . We can choose a coordinate on and on in a neighborhood of and of (note, neighborhood in the usual topology, not the Zariski topology) such that for some . Even better, the number is uniquely determined by the map. This is called the local normal form for a map between curves. We define the multiplicity of a map to be this , and we say that is a ramification point for if . The images of ramification points are called branch points.
Now, the ramification and branch points must form a discrete set, and so if we have a projective curve (ie, a compact Riemann surface) there are only finitely many.
Now let’s take a moment and consider what the geometry of a ramification point is. Say just simple ramification, a point where . Well, the map locally looks like projected onto . So near the ramification point, it’s just two sheets coming together, but there it needs to be counted twice, just like the intersection of the parabola and the line needs to be counted twice in Bezout’s Theorem. A related way to look at it is given by the fact that the number doesn’t depend on . So then most points will have preimages, but the branch points have fewer because some points are counting extra. We call this the degree of .
To show that these definitions can be useful, we note that if a map is of degree 1, then it’s a one-to-one map, unramified. Thus, is an isomorphism between and . However, if we restrict to the projective case for both and , it’s better, because the image must be closed, nonconstant, and connected. Thus, , and so is an isomorphism . So that means that maps of degree 1 are isomorphisms, because we’re going to restrict to projective curves (well, complete curves, which are still compact Riemann surfaces, but all happen to be projective because curves are nice and as a consequence of Riemann-Roch) and so we can get a really nice corollary immediately. Say a curve has a rational function on it with just a single simple pole. Then automatically the curve is . The rational function extends to a morphism , and it sends a single point to with multiplicity 1, so the degree is one. Now, we’ll state Hurwitz’s Theorem:
Hurwitz’s Theorem: Let be a nonconstant morphism of smooth complete curves. Then .
The last term is a finite sum, and is called the ramification number of the map. It’s also the degree of a divisor , called the ramification divisor. Before proving the theorem, let’s talk a bit more about ramification divisors and other ways to obtain the same divisor.
Way back, we talked about the relative cotangent sheaf, which depends on our morphism. In fact, because is a closed subscheme of , we can look at its structure sheaf, and even push it forward onto . Call this . It turns out to be isomorphic to , which means that we can use to compute ramification numbers of points, though right now we want this isomorphism only because there’s a short exact sequence . We can tensor this with , and we get an exact sequence . So then is isomorphic to the kernel of the map , which is just the ideal sheaf of .
Now, for any divisor , the ideal sheaf defining it is actually going to be . So here we have . Tensoring with , we get , which in terms of divisors tells us that .
Now, Hurwitz is a trivial consequence of this fact, because we take degrees. We know that , and that , so this becomes , as desired.
Now we should explore some consequences of this fact. This does show immediately that if we have a nonconstant morphism of curves, then , so there aren’t any interesting maps unless is itself.
Hurwitz gives us a new way to compute the genus of a plane curve. Let be a plane curve, and look at the morphism given by projection onto a line. This is a map , and so Hurwitz becomes . Assuming that we choose the point of the projection to be nice enough (ie, it doesn’t lie on any line that is tangent to the curve at two points, etc) then , so we get . The is just the number of simple tangent lines of which pass through the point we are projecting from.
Another thing that Hurwitz tells us is that for , we always have isomorphisms, never anything else. If we drop the ramification divisor, we get an inequality , which is really . The only way this can happen with a positive integer is if , so we have an isomorphism to begin with.
Next time we’ll use Hurwitz’s Theorem to prove Hurwitz’s Theorem on Automorphisms, which bounds the size of a finite group that can act on curves of genus .