Formality conjecture for K3 surfaces

Nero Budur; Ziyu Zhang

Formality conjecture for K3 surfaces

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1803.03974 v4 pith:EDH7W74W submitted 2018-03-11 math.AG

Nero Budur , Ziyu Zhang This is my paper · ORCID

classification math.AG

keywords formalityconjecturederivedpolystablerespectalgebraamplebounded

verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments

read the original 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.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

The Kodaira dimension and singularities of moduli of stable sheaves on some elliptic surfaces
math.AG 2019-08 conditional novelty 6.0 of 10

For elliptic surfaces with two multiple fibers of multiplicities 2 and m at least 3 and with chi equal to 1, every singular point of the moduli space M(c2) is canonical, and for compact M(c2) the Kodaira dimension is ...

Pith tools