Enriched pre-Lie operads and freeness theorems (Q2154779)

The main motivation of this paper is the to study the \({\mathcal C}\)-enriched pre-Lie operad defined by \textit{D. Calaque} and \textit{T. Willwacher} [Proc. Am. Math. Soc. 143, No. 12, 5181--5193 (2015; Zbl 1328.18013)] for any Hopf cooperad \({\mathcal C}\) in order to produce conceptual constructions of the operads acting on various deformation complexes. Taking into account that maps between Hopf cooperads lead to maps between the corresponding enriched pre-Lie operads, in this paper the authors prove a criteria for the module action of the domain on the codomain to be free, on the left and on the right. As a consequence, they obtain a new functorial Poincaré-Birkhoff-Witt type theorem for universal enveloping brace algebras of pre-Lie algebras.