Solution

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

Choose an ample divisor . The Hodge index theorem for algebraic surfaces implies : if it were zero, would force the numerical class of to be zero. Consequently cannot be effective, because every nonzero effective divisor has positive intersection with , while .
The Riemann–Roch theorem for algebraic surfaces and the preceding computation give . By Serre duality, . Thus

New to topics? Read the docs here!