If a divisor on an algebraic curve on a smooth projective curve has negative degree of a divisor, then its Riemann-Roch space is zero. Otherwise a nonzero would make an effective divisor of degree , since a principal divisor has degree zero. This is impossible. In genus one the Riemann-Roch theorem consequently gives for every divisor of positive degree.
Articles by others on the same topic
There are currently no matching articles.