Smoothness of the moduli space of complexes of coherent sheaves on an Abelian or a projective K3 surface (Q555591): Difference between revisions

In the paper under review the author proves that the moduli space of objects \(E\) in the bounded derived category of an abelian or a projective K3 surface \(X\) over an algebraically closed field \(k\), which satisfy \(\text{Ext}^{-1}(E,E)=0\) and \(\text{Hom}(E,E)=k\), is smooth and has a symplectic structure. This result is a generalisation of a theorem of \textit{S. Mukai} [Invent.\ Math.\ 77, 101--116 (1984; Zbl 0565.14002)], who proved this statement for moduli spaces of simple sheaves. The main idea, which is similar to Mukai's original argument, is to use the trace map and to calculate the image under this map of the obstruction class for the deformation of complexes of coherent sheaves. In order to do this, the author first reconsiders the definition of the said obstruction class and using this description, he is able to calculate the trace map.