Uniform high-degree vanishing on a smooth projective curve

ID: uniform-high-degree-vanishing-on-a-smooth-projective-curve

For a fixed coherent sheaf on a smooth projective curve, one degree bound works for all divisors on an algebraic curve, rather than just powers of one ample divisor. Choose a point . The complement of is affine, so the surjective transition maps on the finite-dimensional groups eventually kill every class. The Euler characteristic of a coherent sheaf gives . Every divisor of sufficiently large degree is therefore linearly equivalent to with effective. The point-supported quotient for adding transfers vanishing to that divisor. Torsion is first removed so that the relevant inclusions are injections of locally free sheaves.

New to topics? Read the docs here!