Now, the way that the Riemann-Roch theorem was phrased before, the geometry wasn’t obvious. We had to extract it in terms of rational functions with poles given by a divisor. Now that we’ve talked about canonical curves, we can use them to give a more obviously geometric form of the Riemann-Roch Theorem.
To get to the geometric statement, we start by taking an effective divisor with the not necessarily distinct. If is a map of the curve into projective space, we define to be the intersection of all the hyperplanes which contain . What that means is that the divisor on the curve given by has an effective divisor. We also say that contains .
What this really means is that if all the points are distinct, then we just take the intersection of all hyperplanes containing them all. But if some have multiplicities, we require that the planes intersect the curve in that point with multiplicity, so if two are equal, then the hyperplanes must be at least simply tangent to the point, etc.
Now, the divisors in the linear system are the same as those cut out by hyperplanes on the canonical curve. Now, for a given divisor in to contain is just a set of linear conditions, so we have a linear subsystem of . Every divisor in this system contains , so is the base locus of this system. We can remove the base locus by looking at the system , so every hyperplane containing is in . But if , then , so the elements of are in 1-1 correspondence with the hyperplanes containing .
The set of hyperplanes containing is a subspace of , and the dimension of this space will be complementary to that of . So we have (the is because we want to lift them to affine -dimensional space, in which case we get the left hand side, plus two, is equal to ). Solving this, we get . Plugging this into the Riemann-Roch Theorem, we get
Geometric Riemann-Roch: Let be a curve of genus , and an effective divisor. Then .
The word general gets thrown around a lot, so remember that it gets defined in specific contexts, though usually means that a statement holds for some dense open subset of the objects being considered. Here, we’ll say a divisor is general if has maximum possible dimension. Then, for a general effective divisor with , we have and , so that . This is because the dimension of the span of points will be a plane, and so Geometric Riemann-Roch says .
Similarly, if , we have and , because , so we get .
Geometric Riemann-Roch simplifies quite a few arguments, and is used often in proving things about curves. Plus, it really brings out the moral that the geometry of the canonical curve is intrinsic.