Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/iii/paper-139/2/i/b/solution

The relevant invariant of a divisor is its Iitaka dimension, also called its Kodaira dimension. If two linearly independent global sections occur in , their ratio is a nonconstant rational function. The sections are linearly independent, because a nonconstant rational function over an algebraically closed field is transcendental over that field. Thus some complete linear system of a divisor has positive-dimensional image, contradicting .
Consequently for every ; the nonemptiness of supplies a nonzero section in every multiple. Its unique divisor is entirely fixed. Hence every movable part is zero.

New to topics? Read the docs here!