English

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 AA_\infty-algebras, we give an explicit proof that the universal enveloping algebra ULUL of a differential graded Lie algebra LL is Koszul, via an explicit contracting homotopy from the cobar construction ΩCL\Omega CL of the Chevalley-Eilenberg chain coalgebra CLCL of LL to ULUL.

Keywords

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

R2 v1 2026-06-28T16:37:39.810Z