The operad Lie can be constructed as the operad of primitives Prim As from the operad As of associative algebras. This is reflected by the theorems of Friedrichs, Poincare'-Birkhoff-Witt and Cartier-Milnor-Moore. We replace As by families of free operads P, which include the operad Mag freely generated by a noncommutative non-associative binary operation and the operad of Stasheff polytopes. We obtain Poincare'-Birkhoff-Witt type theorems and collect information about the operads Prim P, e.g. in terms of characteristic functions.
We study P-Hopf algebras with one coassociative cooperation over different operads P. For example, we consider the Loday-Ronco dendriform Hopf algebra and its isomorphisms with the noncommutative planar Connes-Kreimer Hopf algebra and with a Hopf algebra of Brouder and Frabetti. We focus on Hopf algebra structures over free operads, like the operad Mag freely generated by a non-commutative non-associative binary operation, and the operad of Stasheff polytopes. In order to describe the operads of primitive elements we prove an analogon of the Poincare-Birkhoff-Witt theorem. We determine the gen…
Starting from an operad, one can build a family of posets. From this family of posets, one can define an incidence Hopf algebra. By another construction, one can also build a group directly from the operad. We then consider its Hopf algebra of functions. We prove that there exists a surjective morphism from the latter Hopf algebra to the former one. This is illustrated by the case of an operad built on rooted trees, the $\NAP$ operad, where the incidence Hopf algebra is identified with the Connes-Kreimer Hopf algebra of rooted trees.
In 2008, Loday shed light on the existence of Hopf-Boreltheorems for operads. Using the vocabulary of category theory, Livernet,Mesablishvili and Wisbauer extended such theorems to monads. In bothcases, the reasoning was to start from a mixed distributive law andthen to prove that it induces an isomorphism of species to finally geta rigidity theorem. Our reasoning goes here backward: we prove thatfrom an isomorphism of species one can get what we called a confluencelaw, which generalises mixed distributive laws, and that it is enough toobtain a rigidity theorem. This enables us to show that fo…
Coherent unit actions on a binary, quadratic operad were introduced by Loday and were shown by him to give Hopf algebra structures on the free algebras when the operad is also regular with a splitting of associativity. Working with such operads, we characterize coherent unit actions in terms of linear equations of the generators of the operads. We then use these equations to give all possible operad relations that allow such coherent unit actions. We further show that coherent unit actions are preserved under taking products and thus yield Hopf algebras on the free object of the product operad…
The purpose of this paper is two fold: we study the behaviour of the forgetful functor from S-modules to graded vector spaces in the context of algebras over an operad and derive from this theory the construction of combinatorial Hopf algebras. As a byproduct we obtain freeness and cofreeness results for these Hopf algebras. Let O denote the forgetful functor from S-modules to graded vector spaces. Left modules over an operad P are treated as P-algebras in the category of S-modules. We generalize the results obtained by Patras and Reutenauer in the associative case to any operad P: the functor…
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 structure of twisted Hopf P-algebra. Many properties of classical Hopf algebraic structures are then shown to be encapsulated in the twisted Hopf algebraic structure of the corresponding Hopf operad. In particular, various classical theorems of Lie theory relating Lie polynomials to words (i.e. elements of the tensor algebra) are lifted to arbitrary Hopf operad…
The notion of a coherent unit action on algebraic operads was first introduced by Loday for binary quadratic nonsymmetric operads and generalized by Holtkamp, to ensure that the free objects of the operads carry a Hopf algebra structure. There was also a classification of such operads in the binary quadratic nonsymmetric case. We generalize the notion of coherent unit action to braided operads and show that free objects of braided operads with such an action carries a braided Hopf algebra structure. Under the conditions of binary, quadratic and nonsymmetric, we give a characterization and clas…
We introduce two operads which own the set of planar forests as a basis. With its usual product and two other products defined by different types of graftings, the algebra of planar rooted trees H becomes an algebra over these operads. The compatibility with the infinitesimal coproduct of H and these structures is studied. As an application, an inductive way of computing the dual basis of H for its infinitesimal pairing is given. Moreover, three Cartier-Quillen-Milnor-Moore theorems are given for the operads of planar forests and a rigidity theorem for one of them.
We study different algebraic structures associated to an operad and their relations: to any operad $\mathbf{P}$ is attached a bialgebra,the monoid of characters of this bialgebra, the underlying pre-Lie algebra and its enveloping algebra; all of them can be explicitely describedwith the help of the operadic composition. non-commutative versions are also given. We denote by $\mathbf{b\_\infty}$ the operad of $\mathbf{b\_\infty}$ algebras, describing all Hopf algebra structures on a symmetric coalgebra.If there exists an operad morphism from $\mathbf{b\_\infty}$ to $\mathbf{P}$, a pair $(A,B)$ o…
The main ideas developed in this habilitation thesis consist in endowing combinatorial objects (words, permutations, trees, Young tableaux, etc.) with operations in order to construct algebraic structures. This process allows, by studying algebraically the structures thus obtained (changes of bases, generating sets, presentations, morphisms, representations), to collect combinatorial information about the underlying objects. The algebraic structures the most encountered here are magmas, posets, associative algebras, dendriform algebras, Hopf bialgebras, operads, and pros. This work explores th…
Institut de Recherche Mathématique Avancée, UMR 7501, Université de Strasbourg et CNRS（斯特拉斯堡大学与法国国家科学研究中心）；LMPA, Centre Universitaire de la Mi-Voix（拉芒什海峡联合数学实验室）
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 isomorphism implies the existence a finer algebraic structure on the Hopf algebra and on the indecomposables (resp. the primitives). For instance a cofree-cocommutative right-sided combinatorial Hopf algebra is completely determined by its primitive part which is a pre-Lie algebra. The key example is the Connes-Kreimer Hopf algebra. The study of all these co…
The paper follows an operadic approach to provide a bialgebraic description of substitution for Lie-Butcher series. We first show how the well-known bialgebraic description for substitution in Butcher's $B$-series can be obtained from the pre-Lie operad. We then apply the same construction to the post-Lie operad to arrive at a bialgebra $\mathcal{Q}$. By considering a module over the post-Lie operad, we get a cointeraction between $\mathcal{Q}$ and the Hopf algebra $\mathcal{H}_N$ that describes composition for Lie-Butcher series. We use this coaction to describe substitution for Lie-Butcher s…
We introduce a non-symmetric operad $\mathcal{N}$, whose dimension in degree $n$ is given by the Catalan number $c_{n-1}$. It arises naturally in the study of coalgebra structures defined on compatible associative algebras. We prove that any free compatible associative algebra admits a compatible infinitesimal bialgebra structure, whose subspace of primitive elements is a $\mathcal{N}$-algebra. The data $({\rm As},{\rm As}^2, \mathcal{N})$ is a good triple of operads, in J.-L. Loday's sense. Our construction induces another triple of operads $({\rm As},{\rm As}_2,{\rm As})$, where ${\rm As}_2$…
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.
In this paper we use the operadic framework to find Gröbner-Shirshov bases for the free quadri-algebra. We perform computations using the representation of the nonsymmetric operad by planar rooted trees in a very intuitive way. Gröbner-Shirshov bases for the free dendriform algebra are also found with this technique, simplifying the work by Chen and Wang in 2010.
In this paper, we introduce the definition of free product of operads, following the definition of a free product of algebras. There is a given method of finding the basis and dimension of the free product of operads. By anti-commutative operation, Lie-admissible algebra gives Lie algebra. We proved that Lie-admissible operad isomorphic to the free product of Lie and commutative(non-associative) operads.
The aim of this paper is to present remarkable classes of Lie-admissible algebras containing in particular the associative algebras, the Vinberg algebras and pre-Lie algebras. We determine the associated quadratic operads and their dual operads.
This paper studies the operad of linearly compatible di-algebras, denoted by $As^{2}$, which is a nonsymmetric operad encoding the algebras with two binary operations that satisfy individual and sum associativity conditions. We also prove that the operad $As^{2}$ is exactly the Koszul dual operad of the operad $^{2}As$ encoding totally compatible di-algebras. We show that the operads $As^{2}$ and $^{2}As$ are Koszul by rewriting method. We make explicit the Homotopy Transfer Theorem for $As^{2}$-algebras.
The operad of anti-pre-Lie algebras and its Lie elements
Nankai University（南开大学）；Institute of Mathematics, Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院）；Institut de Recherche Mathématique Avancée, UMR7501, Université de Strasbourg et CNRS（斯特拉斯堡大学CNRS联合数学高级研究所）；Université de Strasbourg（斯特拉斯堡大学）
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 $\mathcal{P}$-algebra to be viewed as an $\mathcal{O}$-algebra. We show that the $\mathcal{O}$-algebra (co)homology of a $\mathcal{P}$-algebra may be represented by a certain operadic comodule. Thus filtrations of this comodule result in spectral sequences computing the (co)homology. As a demonstration we study operads with a filtered distributive law; for th…
Let $G$ be a finite group. There is a standard theorem on the classification of $G$-equivariant finite dimensional simple commutative, associative, and Lie algebras (i.e., simple algebras of these types in the category of representations of $G$). Namely, such an algebra is of the form $A={\rm Fun}_H(G,B)$, where $H$ is a subgroup of $G$, and $B$ is a simple algebra of the corresponding type with an $H$-action. We explain that such a result holds in the generality of algebras over a linear operad. This allows one to extend Theorem 5.5 of arXiv:1506.07565 on the classification of simple commutat…
We construct HNN-extensions of Lie di-algebras in the variety of di-algebras and provide a presentation for the replicated HNN-extension of a Lie di-algebras. Then, by applying the method of Gröbner-Shirshov bases for replicated algebras, we obtain a linear basis. As an application of HNN-extensions, we prove that Lie di-algebras are embedded in their HNN-extension.
We study the Hopf algebra of double posets and two of its Hopf subalgebras, the Hopf algebras of plane posets and of posets "without N". We prove that they are free, cofree, self-dual, and we give an explicit Hopf pairing on these Hopf algebras. We also prove that they are free 2-As algebras; in particular, the Hopf algebra of posets "without N" is the free 2-As algebra on one generator. We deduce a description of the operads of 2-As algebras and of B_infty algebras in terms of plane posets.
We study the operad of associative algebras equipped with a derivation. We show that it is determined by polynomials in several variables and substitution. Replacing polynomials by rational functions gives an operad which is isomorphic to the operad of "moulds". It provides an efficient environment for doing integro-differential calculus. Interesting variations are obtained by using formal group laws. The preceding case corresponds to the additive formal group law. We unravel the notion of homotopy associative algebra with derivation in the spirit of Kadeishvili's work.
A Lie-admissible algebra gives by anticommutativity a Lie algebra. In this work we study remarkable classes of Lie-admissible algebras such as Vinberg, PreLie algebras. We compute the corresponding binary quadratic operads and study their Koszul duality. Considering Lie algebras as Lie-admissible algebras we can define for each Lie algebra a cohomology with values in a Lie-admissible module. This permits to study some deformations of Lie algebras in the category of Lie-admissible algebras. Lastly we study the tensor product between these operads and their dual operads. As application we constr…
We study diverse parametrized versions of the operad of associative algebra, where the parameter are taken in an associative semigroup $Ω$ (generalization of matching or family associative algebras) or in its cartesian square (two-parameters associative algebras). We give a description of the free algebras on these operads, study their formal series and prove that they are Koszul when the set of parameters is finite. We also study operadic morphisms between the operad of classical associative algebras and these objects, and links with other types of algebras (diassociative, dendriform, post-Li…
Given a nonsymmetric operad $\mathcal{O}$, we first construct two new nonsymmetric operads $\mathcal{O}^{\mathrm{comp}}$ and $\mathcal{O}^{\mathrm{Dend}}$. These operads are respectively useful to study compatible and split Loday-algebras. As an application of the operad $\mathcal{O}^{\mathrm{comp}}$, we show that the cohomology of a compatible associative algebra carries a Gerstenhaber structure. We give an application of the operad $\mathcal{O}^\mathrm{Dend}$ to dendriform algebras and find generalizations to other Loday-algebras. In the end, we construct another operad $\mathrm{Fam}(\mathca…
A Pre-Lie algebra is a vector space L endowed with a bilinear product * : L \times L to L satisfying the relation (x*y)*z-x*(y*z)= (x*z)*y-x*(z*y), for all x,y,z in L. We give an explicit combinatorial description in terms of rooted trees of the operad associated to this type of algebras and prove that it is a Koszul operad.
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.
The purpose of this paper is to give a characterisation of divided power algebras over a reduced operad. Such a characterisation is given in terms of polynomial operations, following the classical example of divided power algebras. We describe these polynomial operations in two different ways: one way uses invariant elements under the action of the symmetric group, the other coinvariant elements. Our results are then applied to the case of level algebras, which are (non-associative) commutative algebras satisfying the exchange law.
In this paper, we introduce Adem-Cartan operads and prove that the cohomology of any algebra over such an operad is an unstable level algebra over the extended Steenrod algebra. Moreover we prove that this cohomology is endowed with secondary cohomological operations.
We present a study of quadratic operads for n-ary algebras and their dual for n odd. We will focus on the ternary case (i.e n=3). The aim is to underline the problem of computing the dual operad and the fact that this last is in general defined in the graded differential operad framework. We prove that the operad associated to 3-ary partially associative algebra is not Koszul. Recall that, if n is even, the operad of n-ary partially associative algebras is Koszul.
There exists two types of nonassociative algebras whose associator satisfies a symmetric relation associated with a 1-dimensional invariant vector space with respect to the natural action of the symmetric group on three elements. The first one corresponds to the Lie-admissible algebras that we studied in a previous paper. Here we are interested by the second one corresponding to the third power associative algebras.
We provide a very general approach to placing model structures and semi-model structures on algebras over symmetric colored operads. Our results require minimal hypotheses on the underlying model category $\mathcal{M}$, and these hypotheses vary depending on what is known about the colored operads in question. We obtain results for the classes of colored operad which are cofibrant as a symmetric collection, entrywise cofibrant, or arbitrary. As the hypothesis on the operad is weakened, the hypotheses on $\mathcal{M}$ must be strengthened. Via a careful development of the categorical algebra of…
In present paper we develop the deformation theory of operads and algebras over operads. Free resolutions (constructed via Boardman-Vogt approach) are used in order to describe formal moduli spaces of deformations. We apply the general theory to the proof of Deligne's conjecture. The latter says that the Hochschild complex of an associative algebra carries a canonical structure of a dg-algebra over the chain operad of the little discs operad. In the course of the proof we construct an operad of geometric nature which acts on the Hochschild complex. It seems to be different from the brace opera…
The classical Hochschild--Kostant--Rosenberg (HKR) theorem computes the Hochschild homology and cohomology of smooth commutative algebras. In this paper, we generalise this result to other kinds of algebraic structures. Our main insight is that producing HKR isomorphisms for other types of algebras is directly related to computing quasi-free resolutions in the category of left modules over an operad; we establish that an HKR-type result follows as soon as this resolution is diagonally pure. As examples we obtain a permutative and a pre-Lie HKR theorem for smooth commutative and smooth brace al…
Jean-Louis Loday introduced a class of symmetric operads generated by one bilinear operation subject to one relation making each left-normed product of three elements equal to a linear combination of right-normed products: \[ (a_1a_2)a_3=\sum_{σ\in S_3}x_σ\, a_{σ(1)}(a_{σ(2)}a_{σ(3)})\ ; \] such an operad is called a parametrized one-relation operad. For a particular choice of parameters $\{x_σ\}$, this operad is said to be regular if each of its components is the regular representation of the symmetric group; equivalently, the corresponding free algebra on a vector space $V$ is, as a graded v…
