Deformations of Polystable Sheaves on Surfaces: Quadraticity Implies Formality

Abstract

We study relations between the quadraticity of the Kuranishi family of a coherent sheaf on a complex projective scheme and the formality of the DG-Lie algebra of its derived endomorphisms. In particular, we prove that for a polystable coherent sheaf on a smooth complex projective surface the DG-Lie algebra of derived endomorphisms is formal if and only if the Kuranishi family is quadratic.