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 .
Pingback: Hurwitz’s Theorem on Automorphisms « Rigorous Trivialities
sure that to
Pingback: Set of branch points isn’t discrete, but branch points are isolated? – Math Solution