Related papers: An operad is never free as a pre-Lie algebra
We prove that every automorphism of the category of free Lie algebras is a semi-inner automorphism.
We investigate the action of Schur algebra on the Lie algebras of derivations of free Lie algebras and operad structures constructed from it. We also show that the Lie algebra of derivations is generated by quadratic derivations together…
An explicit vertex operator algebra construction is given of a class of irreducible modules for toroidal Lie algebras.
In this paper, first we show that $(\g,[\cdot,\cdot],\alpha)$ is a hom-Lie algebra if and only if $(\Lambda \g^*,\alpha^*,d)$ is an $(\alpha^*,\alpha^*)$-differential graded commutative algebra. Then, we revisit representations of hom-Lie…
Using methods of computer algebra, especially Gr\"obner bases for submodules of free modules over polynomial rings, we solve a classification problem in theory of algebraic operads: we show that the only nontrivial (possibly inhomogeneous)…
Operads are algebraic devices offering a formalization of the concept of operations with several inputs and one output. Such operations can be naturally composed to form bigger and more complex ones. Coming historically from algebraic…
We show that there is an equivalence of $\infty$-categories between Lie algebroids and certain kinds of curved Lie algebras. For this we develop a method to study the $\infty$-category of curved Lie algebras using the homotopy theory of…
We study the existence of post-Lie algebra structures on pairs of Lie algebras $(\mathfrak{g},\mathfrak{n})$, where one of the algebras is perfect non-semisimple, and the other one is abelian, nilpotent non-abelian, solvable non-nilpotent,…
The operad $\mathrm{FMan}$ encodes the algebraic structure on vector fields of Frobenius manifolds, in the same way as the operad $\mathrm{Lie}$ encodes the algebraic structure on vector fields of a smooth manifold. It is well known that…
Let $\mathcal A$ be a Banach algebra for which the group of invertible elements is connected. A subspace $\mathcal L \subseteq \mathcal A$ is a Lie ideal in $\mathcal A$ if, and only if, it is invariant under inner automorphisms. This…
We show that a $PL_{\infty}$-algebra $V$ can be described by a nilpotent coderivation of degree $-1$ on coalgebra $P^*V$. Based on this result, we can generalise the result of T. Lada and show that every $A_{\infty}$-algebra carries a…
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…
We introduce a notion of unstable algebra over an operad in general characteristic. We show that the unstable algebra freely generated by an unstable module is itself a free algebra under suitable conditions. We introduce a family of…
In this article is studied the construction of free operads functor, for the symmetric and non-symmetric case. In order to do this, the operads are seen as monoids on the differential graded modules category. In the last part we show some…
We prove that all definable pre-orders are atomic, in a finitely generated free algebra of a discriminator variety of finite similarity type which is generated by its finite members.
Zusmanovich gave a fundamental result on the structure of $\omega$-Lie algebras. But up to now, the classification of $\omega$-Lie algebras is still open. In this paper, we give a complete classification of $\omega$-Lie algebras over…
We prove that the Lie algebra of primitive elements of a graded and connected bialgebra, free as an associative algebra, over a eld of characteristic zero, is a free Lie algebra. The main tool is a ltration, which allows to embed the…
We study pre-Lie pairs, by which we mean a pair of a homotopy Lie algebra and a pre-Lie algebra with a compatible pre-Lie action. Such pairs provide a wealth of algebraic structure, which in particular can be used to analyze the homotopy…
A general notion of operad is given, which includes as instances, the operads originally conceived to study loop spaces, as well as the higher operads that arise in the globular approach to higher dimensional algebra. In the framework of…
We characterize prelie algebras in words of left ideals of the enveloping algebras and in words of modules, and use this result to prove that a simple complex finite-dimensional Lie algebra is not prelie, with the possible exception of f4.