Related papers: An operad is never free as a pre-Lie algebra
We prove that the bar construction of an $E_\infty$ algebra forms an $E_\infty$ algebra. To be more precise, we provide the bar construction of an algebra over the surjection operad with the structure of a Hopf algebra over the…
We organize colored aromatic trees into a pre-Lie-Rinehart algebra (i.e. a flat torsion-free Lie-Rinehart algebra) endowed with a natural trace map, and show the freeness of this object among pre-Lie-Rinehart algebras with trace. This…
The notion of an F-manifold algebra is the underlying algebraic structure of an $F$-manifold. We introduce the notion of pre-Lie formal deformations of commutative associative algebras and show that F-manifold algebras are the corresponding…
We construct an action of a free resolution of the Frobenius properad on the differential forms of a closed oriented manifold. As a consequence, the forms of a manifold with values in a semi-simple Lie algebra have an additional structure…
We study an analogue of the notion of p-restricted Lie-algebra and of the notion of divided power algebra for PreLie-algebras. We deduce our definitions from the general theory of operads. We consider two variants \Lambda(P,-) and…
An operad describes a category of algebras and a (co)homology theory for these algebras may be formulated using the homological algebra of operads. A morphism of operads $f:\mathcal{O}\rightarrow\mathcal{P}$ describes a functor allowing a…
We construct the Lie algebra of an n-Lie algebra and we also define the notion of cohomology of an n-Lie algebra.
For any morphism of $\infty$-operads $\mathcal{P} \to \mathcal{O}$, we show that the free $\mathcal{O}$-algebra on a $\mathcal{P}$-algebra admits an explicit formula as the colimit over the $\mathcal{O}$-monoidal envelope of $\mathcal{P}$,…
We provide a novel mathematical implementation of tree-adjoining grammars using two combinatorial definitions of graphs. With this lens, we demonstrate that the adjoining operation defines a pre-Lie operation and subsequently forms a Lie…
This is a list of some problems and conjectures related to various types of algebras, that is to algebraic operads. Some comments and hints are included.
We will define an operad $\mathcal{B}^0$ on planar rooted trees. $\mathcal{B}^0$ is analgous to the $NAP$-operad in the non-planar tree setting. We will define a family of "current-preserving" operads $\mathcal{B}^\lambda$ depending on a…
We give a general account of family algebras over a finitely presented linear operad, this operad together with its presentation naturally defining an algebraic structure on the set of parameters.
In this paper, we first recall the construction of a twisted pre-Lie algebra structure on the species of finite connected topological spaces. Then we construct the corresponding nonassociative permutative coproduct, and we prove that the…
We define a "combinatorial Hopf algebra" as a Hopf algebra which is free (or cofree) and equipped with a given isomorphism to the free algebra over the indecomposables (resp. the cofree coalgebra over the primitives). The choice of such an…
This paper contains an elementary proof of the existence of the classical model structure on the category of unbounded DG-Lie algebras over a field of characteristic zero, with an emphasis on the properties of free and semifree extensions,…
We show how to use Groebner bases for operads to prove various freeness theorems: freeness of certain operads as nonsymmetric operads, freeness of an operad Q as a P-module for an inclusion P into Q, freeness of a suboperad. This gives new…
We give an example of a non-trivial linear operad that only admits trivial coalgebras and give sufficient conditions ensuring that the cofree coalgebra functor be faithful.
We show that every Lie algebra or superLie algebra has a canonical braiding on it, and that in terms of this its enveloping algebra appears as a flat space with braided-commuting coordinate functions. This also gives a new point of view…
The present article takes advantage of the properties of algebras in the category of S-modules (twisted algebras) to investigate further the fine algebraic structure of Hopf operads. We prove that any Hopf operad P carries naturally the…
In this article we give a construction of a polynomial 2-monad from an operad and describe the algebras of the 2-monads which then arise. This construction is different from the standard construction of a monad from an operad in that the…