In Lazarsfeld's article "Brill Noether Petri without degenerations" he mentions the fact that for any integer $g \geq 2$, one may find a K3 surface $X$ and a curve $C$ of genus $g$ on $X$ such that the Picard group of $X$ is generated by $[C]$. How does one prove that ?
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

This is equivalent to saying that there exists a K3 surface with an ample generator (a polarization) $L$, with $L^2=2g2$ and $L$ has a smooth member. There are various geometric ways to construct such surfaces, e.g., by using double covers or quartic surfaces in $\mathbb P^3$ containing special curves. You will find this in VIII.15 in Beauville's book 'Complex Algebraic Surfaces". Given this, one can show the existence of a K3 where $L$ is a generator of the Picard group, using the fact that a generic K3 surface has Picard number 1. 

