Abstract:This paper exhibits fundamental structure underlying Lie algebra homology with coefficients in tensor products of the adjoint representation, mostly focusing upon the case of free Lie algebras. The main result yields a DG category that is constructed from the PROP associated to the Lie operad. Underlying this is a two-term complex of bimodules over this PROP; it is a quotient of the universal Chevalley-Eilenberg complex. The homology of this DG category is intimately related to outer functors over free groups (introduced in earlier joint work with Vespa). This uses the author's previous results relating functors on free groups to representations of the PROP associated to the Lie operad. This gives a direct algebraic explanation as to why the degree one homology should correspond to an outer functor. Hitherto, the only known argument relied upon the relationship with the higher Hochschild homology functors that arise from the work of Turchin and Willwacher.

Free product of operads and free basis of Lie-admissible operad

Operades Lie-admissibles

Bases for free Lie superalgebras

On the free metabelian Novikov and metabelian Lie-admissible algebras

Free objects and Gröbner-Shirshov bases in operated contexts

Monomial bases for free pre-Lie algebras

Operadic Kazhdan-Lusztig-Stanley theory

Anti-commutative Groebner-Shirshov basis of a free Lie algebra

Lattice operads and operad filtrations

Gröbner Bases for Coloured Operads

Fine structures inside the PreLie operad revisited

Operads with trivial $\mathbb{A}$-actions

Unstable algebras over an operad II

Combinatorics of pre-Lie products sharing a Lie bracket

Cofree Com-PreLie algebras

A Poincaré-Birkhoff-Witt criterion for Koszul operads

Operads on graphs: extending the pre-Lie operad and general construction

PD Operads and Explicit Partition Lie Algebras

On fundamental structure underlying Lie algebra homology with coefficients tensor products of the adjoint representation

Operads of Finite Posets