Formality of spaces with Lusternik-Schnirelmann category 1
arXiv:2111.06167
Abstract
It is a well known fact that formal dg-algebras admit no non-trivial Massey products, while the converse fails. We prove that by restricting to dg-algebras whose induced product on cohomology is trivial, we do in fact get this converse. This allows us to prove that spaces of Lusternik-Schnirelmann category 1 are formal spaces.
arXiv comment8 pages