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