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.
Articles by others on the same topic
There are currently no matching articles.