Skip to main content
1 of 4
Jack Huizenga
  • 5.9k
  • 1
  • 28
  • 42

This is very much a question of recent research, solved with varying degrees of generality in the papers listed below. Here is a summary.

The rational map $\mathbb{P}^{2[8]}\dashrightarrow \mathbb{P}^2$ from the Hilbert scheme of $8$ points in $\mathbb{P}^2$ is the map corresponding to an extremal effective divisor on the Hilbert scheme. This suggests that you should run the minimal model program for the Hilbert scheme, studying the birational modifications that arise on the way from the standard model of the Hilbert scheme until you reach the model where the map to $\mathbb{P}^2$ becomes a morphism. (Note that the Hilbert scheme is a Mori dream space, so this goal is actually realistic.)

Along the way, you'll find that the models you obtain can be realized as moduli spaces of certain Bridgeland semistable objects. The domain of the final map to $\mathbb{P}^2$ will be isomorphic to a certain Grassmannian bundle over $\mathbb{P}^2$, where $\mathbb{P}^2$ is most naturally interpreted as a certain moduli space of representations of a Kronecker quiver.

I've stated the previous paragraph in the way that generalizes to Hilbert scheme of $n$ points; there may very well be a description for $8$ points that is more to your liking. If I have some time I will try to remember what the exact numerical data is in this case, but the general picture is also quite pretty and worth learning; figuring out how the $n=8$ point case fits into the general picture would be a good exercise.

The references are:

Arcara, Bertram, Coskun, H., "The minimal model program for the Hilbert scheme of points on P2 and Bridgeland stability." (Explicitly runs the MMP for $n\leq 9$ points, so your question is a special case.)

Coskun, H., Woolf, "The effective cone of the moduli space of sheaves on the plane."

H., "Effective divisors on the Hilbert scheme of points in the plane and interpolation for stable bundles."

Also there is a survey which might help get you started:

Coskun, H., "The birational geometry of the moduli spaces of sheaves on P2."

Jack Huizenga
  • 5.9k
  • 1
  • 28
  • 42