Semiampleness of a square-zero rational curve

ID: semiampleness-of-a-square-zero-rational-curve

A smooth rational curve with on a smooth projective surface is semiample and has Iitaka dimension one. Its normal bundle is trivial, so the restriction sequences for have quotient and zero quotient . The finite dimensions of decrease and stabilize. Restriction of sections to is then surjective; a lift of and the canonical section generate globally. Exactness also gives eventually.

New to topics? Read the docs here!