Fixed-part elimination on a K3 surface

ID: fixed-part-elimination-on-a-k3-surface

If is a nontrivial nef divisor on a K3 surface with , its complete linear system of a divisor has no fixed part. Write . Nefness of and gives . But a nonzero fixed part satisfies , while Riemann–Roch theorem for algebraic surfaces and Serre duality would give if . Hence . Two movable members with no common component have intersection zero and are disjoint, so the system is basepoint-free and has Iitaka dimension one.

New to topics? Read the docs here!