# Riemann-Roch for Zero Cycles on a Surface

As far as I understand, it is not difficult to formulate a the theorem of Riemann-Roch for divisors on any variety. I have been given the impression, that one can still formulate such theorems for cycles of arbitrary codimension. What I'd really be interested to know is:

What is meant by the Riemann-Roch theorem for zero cycles on a surface?

At this point, I will truly show my ignorance, I am aware that there is such a thing as the Grothendieck-Riemann-Roch theorem which, I do not understand, but know makes some statement involving some objects I do have vague familiarity with: vector bundles, genus, chern classes,... I am also aware that there are well known procedures for going between line bundles and divisors. So, in my naive mind, this makes me suspect there is some route between vector bundles and cycles of higher codimension and that the Grothendieck-Riemann-Roch theorem in the context of codimension 2 on a surface is what I am looking for. How far from the actual situation is this? I would truly appreciate if anyone could clarify any relationships between vector bundles of rank r and cycles of codimension n-r, if such a thing exists!

-

The Hirzebruch-Riemann-Roch theorem gives a formula for the Euler characteristic of a vector bundle $E$ on a projective variety $X$ in terms of the Chern classes of $E$ and the Chern classes of the tangent bundle $T_X$. The Grothendieck-Riemann-Roch theorem is a stronger theorem which generalizes this to the relative case of a family of varieties $\mathcal X/S$; the Hirzebruch-Riemann-Roch theorem is the special case where $S$ is a point.

More generally, Chern classes are defined not just for vector bundles, but for any coherent sheaf: given a coherent sheaf, we can choose a resolution by vector bundles, and define the Chern classes of the sheaf by requiring that the Whitney sum formula hold for the exact sequence. The theorems are then naturally extended to this setting as well.

Now zero cycles can be associated with either their structure sheaf or their ideal sheaf, and we can perhaps compute the associated Chern classes by computing a resolution. Then the Hirzebruch-Riemann-Roch theorem will tell you the Euler characteristic of these sheaves.

Basically, the thing that makes the study of curves so easy is that points are codimension 1, so that the ideal sheaf of a point is actually a line bundle, and in particular locally free. When dealing with higher codimension objects, it is absolutely necessary to deal with non-locally free objects.

-
Thus, one can compute the correct Riemann-Roch formula for $0$-cycles on surfaces the same way one computes the Riemann-Roch formula for $0$-cycles on curves. If $C$ is an effective zero−cycle, $\chi_a(\mathcal O_c)=\operatorname{deg} C$, so $\chi_a(I(C))=\chi_a(\mathcal O_X)-\operatorname{deg} C$. It is not clear to me whether ideal sheaves are well-defined for ineffective zero-cycles. –  Will Sawin Oct 22 '12 at 17:03
Yes, for ineffective zero-cycles it is less clear what one should do; however, these cycles are also much less useful in higher dimensions than they are in the curve case. In order to get "new" sections by allowing poles, you must allow poles along a codimension 1 subvariety; allowing poles at points does not give any new sections. –  Jack Huizenga Oct 22 '12 at 17:57