Nero Budur, Ziyu Zhang
Published 2018-03-11Version 1
On a complex projective K3 surface, we apply the uniqueness of DG enhancement of the bounded derived category of coherent sheaves to give a proof of the formality conjecture of Kaledin and Lehn: the DG algebra RHom(F,F) is formal for any sheaf F polystable with respect to an ample line bundle. We also extend the formality result to objects that are polystable with respect to a generic Bridgeland stability condition.
Comments: 23 pages, comments are welcome
Ample line bundles on certain toric fibered 3-folds
Ample line bundles, global generation and $K_0$ on quasi-projective derived schemes
Tilting generators via ample line bundles
![QR code for arXiv:1803.03974 [math.AG]](http://oss.arxitics.com/images/favicon.svg)