Some ways to reconstruct a sheaf from its tautological image on a Hilbert scheme of points

Abstract

For $X$ a smooth quasi-projective variety and $X^{[n]}$ its associated Hilbert scheme of $n$ points, we study two canonical Fourier--Mukai transforms $D(X)\to D(X^{[n]})$, the one along the structure sheaf and the one along the ideal sheaf of the universal family. For $\dim X\ge 2$, we prove that both functors admit a left-inverse. This means in particular that both functors are faithful and injective on isomorphism classes of objects. Using another method, we also show in the case of an elliptic curve that the Fourier--Mukai transform along the structure sheaf of the universal family is faithful and injective on isomorphism classes. Furthermore, we prove that the universal family of $X^{[n]}$ is always flat over $X$, which implies that the Fourier--Mukai transform along its structure sheaf maps coherent sheaves to coherent sheaves.

arXiv commentAdded Jørgen Rennemo as co-author. Conjecture 1.6 in the previous version is now resolved, see Theorem 1.2 in this version

Cited by in corpus (5)

• Hilbert squares: derived categories and deformations
• Admissible subcategories in derived categories of moduli of vector bundles on curves
• Stability of some vector bundles on Hilbert schemes of points on K3 surfaces
• Fourier-Mukai transformation and logarithmic Higgs bundles on punctual Hilbert schemes
• Smooth components on special iterated Hilbert schemes