If is an effective Cartier divisor on a projective scheme and is ample, then is semiample. The divisor restriction exact sequence and Serre vanishing make surjective for large . Their finite dimensions stabilize, so restriction on global sections is eventually surjective. Lift generators on ; off , the canonical section of generates. Together these generate , including on nonreduced .
Articles by others on the same topic
There are currently no matching articles.