Endofunctors and Poincaré-Birkhoff-Witt theorems

Abstract

We determine what appears to be the bare-bones categorical framework for Poincaré-Birkhoff-Witt type theorems about universal enveloping algebras of various algebraic structures. Our language is that of endofunctors; we establish that a natural transformation of monads enjoys a Poincaré-Birkhoff-Witt property only if that transformation makes its codomain a free right module over its domain. We conclude with a number of applications to show how this unified approach proves various old and new Poincaré-Birkhoff-Witt type theorems. In particular, we prove a PBW type result for universal enveloping dendriform algebras of pre-Lie algebras, answering a question of Loday.

arXiv comment18 pages, final version before submission for peer review, to appear in IMRN

References in corpus (10)

• Gröbner bases for operads
• Algebraic structures of $F$-manifolds via pre-Lie algebras
• On operads, bimodules and analytic functors
• Free pre-Lie algebras are free as Lie algebras
• Gröbner-Shirshov bases method for Gelfand-Dorfman-Novikov algebras
• Word operads and admissible orderings
• Groebner-Shirshov bases for pre-associative algebras
• Groebner---Shirshov bases for replicated algebras
• Functorial PBW theorems for post-Lie algebras
• Universal enveloping commutative Rota-Baxter algebras of precommutative and postcommutative algebras

Cited by in corpus (7)

• An effective criterion for Nielsen-Schreier varieties
• DT invariants from vertex algebras
• On Pre-Novikov Algebras and Derived Zinbiel Variety
• On the pre-commutative envelopes of commutative algebras
• The three graces in the Tits--Kantor--Koecher category
• Stable homology of Lie algebras of derivations and homotopy invariants of wheeled operads
• The Tamarkin--Tsygan calculus of an algebra a la Stasheff