Affine principal-parts interpolation for a locally free sheaf
ID: affine-principal-parts-interpolation-for-a-locally-free-sheaf
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.
New to topics? Read the docs here!