Paper 4, Section II, I

Algebraic Geometry
Part II, 2021

Let CC be a smooth irreducible projective algebraic curve over an algebraically closed field.

Let DD be an effective divisor on CC. Prove that the vector space L(D)L(D) of rational functions with poles bounded by DD is finite dimensional.

Let DD and EE be linearly equivalent divisors on CC. Exhibit an isomorphism between the vector spaces L(D)L(D) and L(E)L(E).

What is a canonical divisor on CC ? State the Riemann-Roch theorem and use it to calculate the degree of a canonical divisor in terms of the genus of CC.

Prove that the canonical divisor on a smooth cubic plane curve is linearly equivalent to the zero divisor.