Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Marco: any smooth rational curve on K3 has square -2. Conversely, using Riemann-Roch, you can prove that any line bundle $L$ with $c_1^2=-2$ satisfies $H^2(L)\neq 0$ or $H^2(L^*)'\neq 0$, and the zero divisor of its section contains a smooth rational curve as a component
Jason: for McMullen's nonprojective K3 surfaces, the Picard lattice is either degenerate or negative definite, and such lattices are easy to construct in any rank.