Let $D$ be a divisor on a (complex) K3 surface.
Suppose $D^2\geq0$. In general, $D$ is nef if $D\cdot C\geq0$ for all irreducible curves on the surface.
Is it sufficient in our case to check this for smooth rational curves (i.e. the (-2) curves) ?
2 of 2
Add the subject of a sentence
Nefness on a K3 surface
Heitor
- 761
- 3
- 14