Paper 4, Section II, F

Algebraic Geometry | Part II, 2019

(a) Let XP2X \subseteq \mathbb{P}^{2} be a smooth projective plane curve, defined by a homogeneous polynomial F(x,y,z)F(x, y, z) of degree dd over the complex numbers C\mathbb{C}.

(i) Define the divisor [XH][X \cap H], where HH is a hyperplane in P2\mathbb{P}^{2} not contained in XX, and prove that it has degree dd.

(ii) Give (without proof) an expression for the degree of KX\mathcal{K}_{X} in terms of dd.

(iii) Show that XX does not have genus 2 .

(b) Let XX be a smooth projective curve of genus gg over the complex numbers C\mathbb{C}. For pXp \in X let

G(p)={nNG(p)=\left\{n \in \mathbb{N} \mid\right. there is no fk(X)f \in k(X) with vp(f)=nv_{p}(f)=n, and vq(f)0v_{q}(f) \leqslant 0 for all qp}.\left.q \neq p\right\} .

(i) Define (D)\ell(D), for a divisor DD.

(ii) Show that for all pXp \in X,

(np)={((n1)p) for nG(p)((n1)p)+1 otherwise \ell(n p)= \begin{cases}\ell((n-1) p) & \text { for } n \in G(p) \\ \ell((n-1) p)+1 & \text { otherwise }\end{cases}

(iii) Show that G(p)G(p) has exactly gg elements. [Hint: What happens for large nn ?]

(iv) Now suppose that XX has genus 2 . Show that G(p)={1,2}G(p)=\{1,2\} or G(p)={1,3}G(p)=\{1,3\}.

[In this question N\mathbb{N} denotes the set of positive integers.]

Typos? Please submit corrections to this page on GitHub.