Paper 4, Section II, F
Part II, 2019
(a) Let be a smooth projective plane curve, defined by a homogeneous polynomial of degree over the complex numbers .
(i) Define the divisor , where is a hyperplane in not contained in , and prove that it has degree .
(ii) Give (without proof) an expression for the degree of in terms of .
(iii) Show that does not have genus 2 .
(b) Let be a smooth projective curve of genus over the complex numbers . For let
there is no with , and for all
(i) Define , for a divisor .
(ii) Show that for all ,
(iii) Show that has exactly elements. [Hint: What happens for large ?]
(iv) Now suppose that has genus 2 . Show that or .
[In this question denotes the set of positive integers.]