Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/iii/paper-139/1/ii/solution

The Nakai–Moishezon criterion says that a Cartier divisor on a projective scheme is ample exactly when
for every positive-dimensional integral closed subvariety . Kleiman's criterion says that the ample cone is the interior of the nef cone; equivalently, the numerical class of is ample exactly when it is strictly positive on every nonzero element of the closed cone of curves . Positivity merely on individual curves is insufficient: the closure of the cone is essential. A nef divisor has nonnegative intersection number with every integral curve, and its restriction to every closed subscheme is nef.

New to topics? Read the docs here!