Koszul duality and the Poincaré-Birkhoff-Witt theorem

Ezra Getzler

Using a homotopy introduced by de Wilde and Lecomte and homological perturbation theory for $A_{\infty }$-algebras, we give an explicit proof that the universal enveloping algebra $UL…