Stability of some vector bundles on Hilbert schemes of points on \(K3\) surfaces (Q2126067)

Let \(X\) be a \(K3\) surface and consider a fine moduli space of sheaves \(M\) on \(X\). One might hope that moduli spaces of sheaves on \(M\) inherit good properties from \(M\) itself. In this paper, the authors show that under certain conditions this does happen as a connected component of specified moduli spaces of sheaves on \(M\) are isomorphic to \(X\) itself. The first obstacle to solving this problem is providing stable sheaves on \(M\). Assuming that \(M\) has a universal family, one can restrict the universal family to the fibers over a point \(p \in X\) in the product \(X\times M\). The authors show that in some cases, these ``wrong way'' fibers are stable sheaves on \(M\). This paper's main result is the construction of an explicit moduli space \(M\) on a \(K3\) surface of Picard rank 1 or 2 (with a certain specified intersection matrix in both cases) with a universal family such that the ``wrong way'' fibers identify a connected component of a moduli spaces of sheaves on \(M\) with \(X\) itself. In order to prove this, the authors generalize a technique to prove stability first given by \textit{D. Stapleton} [Algebra Number Theory 10, No. 6, 1173--1190 (2016; Zbl 1359.14040)] and utilize a theorem of \textit{N. Addington} [Algebr. Geom. 3, No. 2, 223--260 (2016; Zbl 1372.14009)] to give the isomorphism.