Koszul duality and the Poincar\'e-Birkhoff-Witt theorem
K-Theory and Homology
2025-07-09 v4
Abstract
Using a homotopy introduced by de Wilde and Lecomte and homological perturbation theory for -algebras, we give an explicit proof that the universal enveloping algebra of a differential graded Lie algebra is Koszul, via an explicit contracting homotopy from the cobar construction of the Chevalley-Eilenberg chain coalgebra of to .
Cite
@article{arxiv.2405.14798,
title = {Koszul duality and the Poincar\'e-Birkhoff-Witt theorem},
author = {Ezra Getzler},
journal= {arXiv preprint arXiv:2405.14798},
year = {2025}
}
Comments
31 pages. New appendix with summary of a different contracting homotopy constructed by Dippell et al. arXiv:2410.15903. Several errors corrected