Formality conjecture for K3 surfaces

We give a proof of the formality conjecture of Kaledin and Lehn: on a complex projective K3 surface, the differential graded (DG) algebra $\operatorname{RHom}^{\bullet }(F,F)$ is formal for any sheaf $F$ polystable with respect to an ample line bundle. Our main tool is the uniqueness of the DG enhancement of the bounded derived category of coherent sheaves. We also extend the formality result to derived objects that are polystable with respect to a generic Bridgeland stability condition.

[1]  Model Categories,et al.  Model Categories , 2020, Foundations of Stable Homotopy Theory.

[2]  Nero Budur.  Rational Singularities, Quiver Moment Maps, and Representations of Surface Groups , 2018, International Mathematics Research Notices.

[3]  K. Ueda,et al.  Homological mirror symmetry for K3 surfaces via moduli of A∞-structure , 2018 .

[4]  K. Ueda,et al.  Homological mirror symmetry for K3 surfaces via moduli of $A_\infty$-structures , 2018 .

[5]  Yukinobu Toda.  Moduli stacks of semistable sheaves and representations of Ext–quivers , 2017, Geometry & Topology.

[6]  K. Yoshioka.  Fourier–Mukai duality for K3 surfaces via Bridgeland stability condition , 2017 .

[7]  Yukinobu Toda.  Non-commutative thickening of moduli spaces of stable sheaves , 2015, Compositio Mathematica.

[8]  G. Bellamy,et al.  Symplectic resolutions of Quiver varieties and character varieties , 2016, 1602.00164.

[9]  Ziyu Zhang,et al.  Birational geometry of singular moduli spaces of O'Grady type , 2014, 1404.6783.

[10]  E. Arbarello,et al.  Singularities of moduli spaces of sheaves on K3 surfaces and Nakajima quiver varieties , 2015, 1505.00759.

[11]  Arend Bayer,et al.  MMP for moduli of sheaves on K3s via wall-crossing: nef and movable cones, Lagrangian fibrations , 2013, Inventiones mathematicae.

[12]  Arend Bayer,et al.  Projectivity and birational geometry of Bridgeland moduli spaces , 2012, 1203.4613.

[13]  Toën Bertrand,et al.  Lectures on DG-Categories , 2011 .

[14]  Ziyu Zhang.  A Note on Formality and Singularities of Moduli Spaces , 2010, 1011.4689.

[15]  Rubén J. Sánchez-García,et al.  Topics in Algebraic and Topological K-Theory , 2010 .

[16]  D. Orlov,et al.  Uniqueness of enhancement for triangulated categories , 2009, 0908.4187.

[17]  K. Yoshioka.  Stability and the Fourier–Mukai transform II , 2009, Compositio Mathematica.

[18]  D. Huybrechts,et al.  Stability conditions for generic K3 categories , 2006, Compositio Mathematica.

[19]  Daniel Huybrechts,et al.  Fourier-Mukai transforms in algebraic geometry , 2006 .

[20]  M. Lehn,et al.  Singular symplectic moduli spaces , 2005, math/0504202.

[21]  Goncalo Tabuada.  Une structure de catgorie de modles de Quillen sur la catgorie des dg-catgories , 2005 .

[22]  M. Lehn,et al.  Local structure of hyperkaehler singularities in O'Grady's examples , 2004, math/0405575.

[23]  P. Seidel.  Homological mirror symmetry for the quartic surface , 2003, math/0310414.

[24]  K. Yoshioka.  Stability and the Fourier-Mukai transform I , 2003 .

[25]  T. Bridgeland.  Stability conditions on $K3$ surfaces , 2003, math/0307164.

[26]  K. Yoshioka.  Moduli spaces of stable sheaves on abelian surfaces , 2000, math/0009001.

[27]  M. Kontsevich.  Deformation Quantization of Poisson Manifolds , 1997, q-alg/9709040.

[28]  D. Huybrechts,et al.  The geometry of moduli spaces of sheaves , 1997 .

[29]  M. Kapranov,et al.  ENHANCED TRIANGULATED CATEGORIES , 1991 .

[30]  J. Millson,et al.  The deformation theory of representations of fundamental groups of compact Kähler manifolds , 1988 .

[31]  D. Sullivan,et al.  Real homotopy theory of Kähler manifolds , 1975 .