Riemann-Roch via elementary modifications
ID: riemann-roch-via-elementary-modifications
For a closed point on a smooth projective curve, the quotient in has -dimension . Additivity of Euler characteristic therefore changes by that residue-field degree. Every line bundle is associated with a divisor, so iteration proves the displayed formula. The dualizing sheaf on a smooth projective curve identifies with and converts this Euler-characteristic formula into the usual divisor form of Riemann-Roch theorem.
New to topics? Read the docs here!