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
Articles by others on the same topic
There are currently no matching articles.