{ "id": "1907.10690", "version": "v1", "published": "2019-07-24T20:00:50.000Z", "updated": "2019-07-24T20:00:50.000Z", "title": "Formality conjecture for minimal surfaces of Kodaira dimension 0", "authors": [ "Ruggero Bandiera", "Marco Manetti", "Francesco Meazzini" ], "categories": [ "math.AG" ], "abstract": "Let F be a polystable sheaf on a smooth minimal projective surface of Kodaira dimension 0. Then the DG-Lie algebra RHom(F,F) of derived endomorphisms of F is formal. The proof is based on the study of equivariant $L_{\\infty}$ minimal models of DG-Lie algebras equipped with a cyclic structure of degree 2 which is non-degenerate in cohomology, and does not rely (even for K3 surfaces) on previous results on the same subject.", "revisions": [ { "version": "v1", "updated": "2019-07-24T20:00:50.000Z" } ], "analyses": { "subjects": [ "14F05", "14D15", "16W50", "18G55" ], "keywords": [ "kodaira dimension", "minimal surfaces", "formality conjecture", "smooth minimal projective surface", "dg-lie algebra rhom" ], "note": { "typesetting": "TeX", "pages": 0, "language": "en", "license": "arXiv", "status": "editable" } } }