Let be an irreducible affine curve, , , and be locally free. Given finitely many classes in , choose one nonzero clearing denominators of representatives. The ring is Artinian and is the product of its finitely many local factors. Hence . Prescribe modulo at the requested points and zero at the other zeros of . Lift this tuple to ; the section has exactly the requested rational principal parts and no others. This proves surjectivity without assuming the curve is nonsingular.

Articles by others on the same topic (0)

There are currently no matching articles.