?
Rigid hyperholomorphic sheaves remain rigid along twistor deformations of the underlying hyparkähler manifold
Let S be a K3 surface and M a smooth and projective 2n-dimensional moduli space of stable coherent sheaves on S. Over 𝑀×𝑀 there exists a rank 2𝑛−2 reflexive hyperholomorphic sheaf 𝐸_𝑀, whose fiber over a non-diagonal point (𝐹_1, 𝐹_2) is Ext^1_𝑆 (𝐹_1, 𝐹_2). The sheaf 𝐸_𝑀 can be deformed along some twistor path to a sheaf 𝐸_𝑋 over the Cartesian square 𝑋×𝑋 of every Kähler manifold X deformation equivalent to M. We prove that 𝐸_𝑋 is infinitesimally rigid, and the isomorphism class of the Azumaya algebra End(E_X) is independent of the twistor path chosen. This verifies conjectures in Markman and Mehrotra (A global Torelli theorem for rigid hyperholomorphic sheaves, 2013. arXiv:1310.5782v1; Integral transforms and deformations of K3 surfaces, 2015. arXiv:1507.03108v1) and renders the results of these two papers unconditional.