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