Formality conjecture for minimal surfaces of Kodaira dimension 0 (1907.10690v2)
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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Collections
Sign up for free to add this paper to one or more collections.