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!