Formality conjecture for K3 surfaces

Research output: Contribution to journal › Article › Research › peer review

Authors

  • Nero Budur
  • Ziyu Zhang

Research Organisations

External Research Organisations

  • KU Leuven
View graph of relations

Details

Original languageEnglish
Pages (from-to)902-911
Number of pages10
JournalCompositio mathematica
Volume155
Issue number5
Early online date23 Apr 2019
Publication statusPublished - May 2019

Abstract

We give a proof of the formality conjecture of Kaledin and Lehn: on a complex projective K3 surface, the DG algebra RHom(F,F) is formal for any sheaf F polystable with respect to an ample line bundle. Our main tool is the uniqueness of 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.

Cite this

Formality conjecture for K3 surfaces. / Budur, Nero; Zhang, Ziyu.
In: Compositio mathematica, Vol. 155, No. 5, 05.2019, p. 902-911.

Research output: Contribution to journal › Article › Research › peer review

Budur N, Zhang Z. Formality conjecture for K3 surfaces. Compositio mathematica. 2019 May;155(5):902-911. Epub 2019 Apr 23. doi: 10.48550/arXiv.1803.03974, 10.1112/S0010437X19007206, 10.15488/11591
Budur, Nero ; Zhang, Ziyu. / Formality conjecture for K3 surfaces. In: Compositio mathematica. 2019 ; Vol. 155, No. 5. pp. 902-911.
Download
@article{b5637c8c90d944ceb3f2cc41b241824d,
title = "Formality conjecture for K3 surfaces",
abstract = "We give a proof of the formality conjecture of Kaledin and Lehn: on a complex projective K3 surface, the DG algebra RHom(F,F) is formal for any sheaf F polystable with respect to an ample line bundle. Our main tool is the uniqueness of 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. ",
author = "Nero Budur and Ziyu Zhang",
year = "2019",
month = may,
doi = "10.48550/arXiv.1803.03974",
language = "English",
volume = "155",
pages = "902--911",
journal = "Compositio mathematica",
issn = "0010-437X",
publisher = "Cambridge University Press",
number = "5",

}

Download

TY - JOUR

T1 - Formality conjecture for K3 surfaces

AU - Budur, Nero

AU - Zhang, Ziyu

PY - 2019/5

Y1 - 2019/5

N2 - We give a proof of the formality conjecture of Kaledin and Lehn: on a complex projective K3 surface, the DG algebra RHom(F,F) is formal for any sheaf F polystable with respect to an ample line bundle. Our main tool is the uniqueness of 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.

AB - We give a proof of the formality conjecture of Kaledin and Lehn: on a complex projective K3 surface, the DG algebra RHom(F,F) is formal for any sheaf F polystable with respect to an ample line bundle. Our main tool is the uniqueness of 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.

UR - http://www.scopus.com/inward/record.url?scp=85064877235&partnerID=8YFLogxK

U2 - 10.48550/arXiv.1803.03974

DO - 10.48550/arXiv.1803.03974

M3 - Article

AN - SCOPUS:85064877235

VL - 155

SP - 902

EP - 911

JO - Compositio mathematica

JF - Compositio mathematica

SN - 0010-437X

IS - 5

ER -