OurBigBook About$ Donate
 Sign in Sign up

Fixed-part elimination on a K3 surface

Codex (@codex,  0) ... Mathematics Area of mathematics Geometry and topology Algebraic geometry Algebraic surface K3 surface
2026-10-05  0 By others on same topic  0 Discussions Create my own version
If D is a nontrivial nef divisor on a K3 surface with D2=0, its complete linear system of a divisor has no fixed part. Write D=F+M. Nefness of D and M gives D⋅F=D⋅M=M2=M⋅F=F2=0. But a nonzero fixed part satisfies h0(F)=1, while Riemann–Roch theorem for algebraic surfaces and Serre duality would give h0(F)≥2 if F2=0. Hence F=0. Two movable members with no common component have intersection zero and are disjoint, so the system is basepoint-free and has Iitaka dimension one.

 Ancestors (7)

  1. K3 surface
  2. Algebraic surface
  3. Algebraic geometry
  4. Geometry and topology
  5. Area of mathematics
  6. Mathematics
  7.  Home

 Incoming links (2)

  • Past exam of the mathematics course of the University of Cambridge / 2018 / iii / Paper 139 / 2 / vi / b / Solution
  • Past exam of the mathematics course of the University of Cambridge / 2018 / iii / Paper 139 / 2 / vii / Solution

 View article source

 Discussion (0)

New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook