Paper 4, Section II, I
Part II, 2021
Let be a smooth irreducible projective algebraic curve over an algebraically closed field.
Let be an effective divisor on . Prove that the vector space of rational functions with poles bounded by is finite dimensional.
Let and be linearly equivalent divisors on . Exhibit an isomorphism between the vector spaces and .
What is a canonical divisor on ? State the Riemann-Roch theorem and use it to calculate the degree of a canonical divisor in terms of the genus of .
Prove that the canonical divisor on a smooth cubic plane curve is linearly equivalent to the zero divisor.