En utilisant une homotopie introduite par de Wilde et Lecomte et la théorie des perturbations homologiques pour les algèbres A_ -algebra, nous prouvons explicitement que l'algèbre enveloppante universelle UL d'une algèbre de Lie graduée différentielle L est Koszul, via une homotopie de contraction explicite de la construction cobar CL de la coalgèbre chain Chevalley–Eilenberg CL de L à UL. Cela peut être considéré comme une extension du théorème de Poincaré–Birkhoff–Witt aux algèbres L_ -algebras.
Ezra Getzler (mar,) a étudié cette question.