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!