N Budur, Z Zhang - Compositio Mathematica, 2019 - cambridge.org
We give a proof of the formality conjecture of Kaledin and Lehn: on a complex projective K3
surface, the differential graded (DG) algebra polystable with respect to an ample line bundle …