Budur, Nero; Zhang, Ziyu
(Cambridge : Cambridge Univ. Press, 2019)
We give a proof of the formality conjecture of Kaledin and Lehn: on a complex projective K3 surface, the differential graded (DG) algebra RHom*(F; F) is formal for any sheaf F polystable with respect to an ample line bundle. ...