B3.10

Algebraic Curves
Part II, 2004

(i) Let f:XYf: X \rightarrow Y be a morphism of smooth projective curves. Define the divisor f(D)f^{*}(D) if DD is a divisor on YY, and state the "finiteness theorem".

(ii) Suppose f:XP1f: X \rightarrow \mathbb{P}^{1} is a morphism of degree 2 , that XX is smooth projective, and that XP1X \neq \mathbb{P}^{1}. Let P,QXP, Q \in X be distinct ramification points for ff. Show that, as elements of cl(X)c l(X), we have [P][Q][P] \neq[Q], but 2[P]=2[Q]2[P]=2[Q].