Related papers: Fine structures inside the PreLie operad
We prove a conjecture of Chapoton from 2010 stating that the pre-Lie operad, as a Lie algebra in the symmetric monoidal category of linear species, is freely generated by the free operad on the species of cyclic Lie elements.
We prove that free pre-Lie algebras, when considered as Lie algebras, are free. Working in the category of S-modules, we define a natural filtration on the space of generators. We also relate the symmetric group action on generators with…
We generalize the construction of multitildes in the aim to provide multitilde operators for regular languages. We show that the underliying algebraic structure involves the action of some operads. An operad is an algebraic structure that…
A new anticyclic operad Mould is introduced, on spaces of functions in several variables. It is proved that the Dendriform operad is an anticyclic suboperad of this operad. Many operations on the free Mould algebra on one generator are…
An operad is naturally endowed with a pre-Lie structure. We prove that as a pre-Lie algebra an operad is not free. The proof holds on defining a non-vanishing linear operation in the pre-Lie algebra which is zero in any operad.
The overall aim of this paper is to define a structure of graph operads, thus generalizing the celebrated pre-Lie operad on rooted trees. More precisely, we define two operads on multigraphs, and exhibit a non trivial link between them and…
In this paper, we introduce the notion of compatible anti-pre-Lie algebras and study relationship between them and the related structures such as anti-$\mathcal{O}$-operators, commutative $2$-cocycles on compatible Lie algebras. Moreover,…
We prove that the pre-Lie operad is a free non-symmetric operad.
We study in detail the operad controlling several pre-Lie algebra structures sharing the same Lie bracket. Specifically, we show that this operad admits a combinatorial description similar to that of Chapoton and Livernet for the pre-Lie…
Some binary quadratic operads are endowed with anticyclic structures and their characteristic functions as anticyclic operads are determined, or conjectured in one case.
The pre-Lie operad can be realized as a space T of labelled rooted trees. A result of F. Chapoton shows that the pre-Lie operad is a free twisted Lie algebra. That is, the S-module T is obtained as the plethysm of the S-module Lie with an…
We give a simple characterization of Lie elements in free pre-Lie algebras as elements of the kernel of a map between spaces of trees. We explain how this result is related to natural operations on the Chevalley-Eilenberg complex of a Lie…
As observed by Joyal, the cohomology groups of the partition posets are naturally identified with the components of the operad encoding Lie algebras. This connection was explained in terms of operadic Koszul duality by Fresse, and later…
We relate the operad FMan controlling the algebraic structure on the tangent sheaf of an $F$-manifold (weak Frobenius manifold) defined by Hertling and Manin to the operad PreLie of pre-Lie algebras: for the filtration of PreLie by powers…
We study algebraic structures on the free commutative twisted algebra generated by a positive operad $\mathbf q$, in the framework of vector species. Given a nonunital commutative twisted algebra structure $\mu$ on $\mathbf q$, we introduce…
Using the combinatorial species setting, we propose two new operad structures on multigraphs and on pointed oriented multigraphs. The former can be considered as a canonical operad on multigraphs, directly generalizing the…
The theory of operads (May, cyclic, modular, PROPs, etc) is extended to include higher dimensional phenomena, i.e. operations between operations, mimicking the algebraic structure on varieties of arbitrary dimensions, having marked…
We recall several categories of graphs which are useful for describing homotopy-coherent versions of generalized operads (e.g. cyclic operads, modular operads, properads, and so on), and give new, uniform definitions for their morphisms.…
In this paper, we study the C-enriched pre-Lie operad defined by Calaque and Willwacher for any Hopf cooperad C to produce conceptual constructions of the operads acting on various deformation complexes. Maps between Hopf cooperads lead to…
A theorem of Pridham and Lurie provides an equivalence between formal moduli problems and Lie algebras in characteristic zero. We prove a generalization of this correspondence, relating formal moduli problems parametrized by algebras over a…