Suppose $X$ is a smooth projective surface over $\mathbb{C}$ with irregularity $0$ $(q_1(X)=0)$. I want to understand the curves on the Hilbert scheme of $n$-points on $X$.
By the work of Fogarty, we know that $X^{[n]}$ is a smooth projective variety of dimension $2n$. Given a curve $C$ on $X$, there are two ways we can get a curve on $X^{[n]}$:
- The curve given by fixing $n-1$ general points on $X$ and letting an $n$-th point move along $C$.
- If $C$ admits a $g^1_n$, then the fibers of the map $C\to \mathbb{P}^1$ give a rational curve on $X^{[n]}$.
Lastly, we have those curve classes contracted by the Hilbert-Chow morphism. Are there other constructions of curves on $X^{[n]}$ not coming from $X$?
Motive: In my recent paper, I have encountered a divisor on $X^{[n]}$. Now I am trying to determine whether that is nef or not. To show it is NOT nef, I am trying to intersect it with different curve classes on $X^{[n]}$, but so far the intersection has been non-negative.