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!
 A: 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.
