{
  "id": "1803.03974",
  "version": "v1",
  "published": "2018-03-11T15:08:38.000Z",
  "updated": "2018-03-11T15:08:38.000Z",
  "title": "Formality conjecture for K3 surfaces",
  "authors": [
    "Nero Budur",
    "Ziyu Zhang"
  ],
  "comment": "23 pages, comments are welcome",
  "categories": [
    "math.AG"
  ],
  "abstract": "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.",
  "revisions": [
    {
      "version": "v1",
      "updated": "2018-03-11T15:08:38.000Z"
    }
  ],
  "analyses": {
    "subjects": [
      "14D20",
      "16E45",
      "14B05",
      "14J28"
    ],
    "keywords": [
      "formality conjecture",
      "generic bridgeland stability condition",
      "complex projective k3 surface",
      "dg algebra rhom",
      "ample line bundle"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 23,
      "language": "en",
      "license": "arXiv",
      "status": "editable"
    }
  }
}