Nef cones of Hilbert schemes of points on some K3 surfaces

We illustrate the typical usage of Bayer and Macrì’s Positivity Lemma to compute the nef cones of the Hilbert schemes $X^{[n]}$ by combining the Bridgeland stability methods (for large $n$) and classical methods (for small $n$). We use Mori dream K3 surfaces $X$ of Picard rank $2$ as our working example. We also compute the nef cones of the nested Hilbert schemes $X^{[n,n+1]}$ for such $X$, for large $n$.