Non-commutative formality implies commutative and Lie formality

Bashar Saleh

Over a field of characteristic zero we prove two formality conditions. We prove that a dg Lie algebra is formal if and only if its universal enveloping algebra is formal. We also p…