7
$\begingroup$

Does there exist an exceptional collection of coherent sheaves on the Hilbert scheme of points on projective plane? If so, Could it be a strong full collection?

$\endgroup$
2
  • $\begingroup$ Maybe. I would look in Nakajima's book or his papers on quiver varieties, where he constructs a resolution of the diagonal for at least some quiver varieties. Probably the answer to your question can be dug out of some statement about a basis for $K_0$. $\endgroup$
    – Chris Brav
    Commented Aug 4, 2010 at 7:38
  • $\begingroup$ Could you give the definitions for 'exceptional collection' and 'strong full collection' or a pointer please? For the Hilbert scheme of points on the affine (not projective) plane, there is a derived equivalence of categories to symmetric-group-equivariant sheaves on affine 2n space. This might help. $\endgroup$ Commented Aug 5, 2010 at 2:16

2 Answers 2

10
$\begingroup$

It's more than 7 years after the question, but better late than never. The result of @Sasha holds for any number of points, and for surfaces more general than $\mathbb{P}^2$: once $\mathbf{D}^{\mathrm{b}}(S)$ has a full exceptional collection, then so does $\mathbf{D}^{\mathrm{b}}(\mathop{\mathrm{Hilb}}^nS)$. This is proposition 1.3 of

Krug, Andreas; Sosna, Pawel, On the derived category of the Hilbert scheme of points on an Enriques surface, Sel. Math., New Ser. 21, No. 4, 1339-1360 (2015). ZBL1331.18015.

$\endgroup$
7
$\begingroup$

One can easily check the case of $Hilb_2(P^2)$ --- there is a map $Hilb_2(P^2) \to (P^2)^\vee$ (the dual plane) which takes a subscheme to the unique line containing it. The fibers are $Hilb_2(P^1) = P^2$, so $Hilb^2(P^2)$ is a $P^2$ bundle over $(P^2)^\vee$, hence has an exceptional collection.

$\endgroup$
2
  • $\begingroup$ Can the higher $Hilb_d(P^2)$'s also be expressed as projective bundles? $\endgroup$
    – ssx
    Commented Nov 1, 2018 at 16:16
  • 1
    $\begingroup$ @SaS: I don't think so. $\endgroup$
    – Sasha
    Commented Nov 2, 2018 at 7:47

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .