Modular sheaves on hyperkähler varieties

Abstract

A torsion free sheaf on a hyperkähler variety $X$ is modular if the discriminant satisfies a certain condition, for example if it is a multiple of $c_2(X)$ the sheaf is modular. The definition is taylor made for torsion-free sheaves on a polarized hyperkähler variety (X,h) which deform to all small deformations of (X,h). For hyperkählers deformation equivalent to $K{3}^{[2]}$ we prove an existence and uniqueness result for slope-stable modular vector bundles with certain ranks, $c_1$ and $c_2$. As a consequence we get uniqueness up to isomorphism of the tautological quotient rank $4$ vector bundles on the variety of lines on a generic cubic $4$-dimensional hypersurface, and on the Debarre-Voisin variety associated to a generic skew-symmetric $3$-form on a $10$-dimensional complex vector space. The last result implies that the period map from the moduli space of Debarre-Voisin varieties to the relevant period space is birational.

We have followed the many corrections suggested by the (anonymous) referee. In particular Subsection 5.5, due to the referee, replaces the original proof