Pluriassociative algebras II: The polydendriform operad and related operads

Dendriform algebras form a category of algebras recently introduced by Loday. A dendriform algebra is a vector space endowed with two nonassociative binary operations satisfying some relations. Any dendriform algebra is an algebra over the dendriform operad, the Koszul dual of the diassociative operad. We introduce here, by adopting the point of view and the tools offered by the theory of operads, a generalization on a nonnegative integer parameter γ of dendriform algebras, called γ-polydendriform algebras, so that 1-polydendriform algebras are dendriform algebras. For that, we consider the operads obtained as the Koszul duals of the γ-pluriassociative operads introduced by the author in a previous work. In the same manner as dendriform algebras are suitable devices to split associative operations into two parts, γ-polydendriform algebras seem adapted structures to split associative operations into 2γ operation so that some partial sums of these operations are associative. We provide a complete study of the γ-polydendriform operads, the underlying operads of the category of γ-polydendriform algebras. We exhibit several presentations by generators and relations, compute their Hilbert series, and construct free objects in the corresponding categories. We also provide consistent generalizations on a nonnegative integer parameter of the duplicial, triassociative and tridendriform operads, and of some operads of the operadic butterfly.     

Operads and varieties of algebras defined by polylinear identities

We show that varieties of algebras over abstract clones and over the corresponding operads are rationally equivalent. We introduce the class of operads (which we call commutative for definiteness) such that the varieties of algebras over these operads resemble in a sense categories of modules over commutative rings. In particular, the notions of a polylinear mapping and the tensor product of algebras. The categories of modules over commutative rings and the category of convexors are examples of varieties over commutative operads. By analogy with the theory of linear multioperator algebras, we develop a theory of C-linear multioperator algebras; in particular, of algebras, defined by C-polylinear identities (here C is a commutative operad). We introduce and study symmetric C-linear operads. The main result of this article is as follows: A variety of C-linear multioperator algebras is defined by C-polylinear identities if and only if it is rationally equivalent to a variety of algebras over a symmetric C-linear operad.     

The Category and Operad of Matching Dialgebras

This paper gives a systematic study of matching dialgebras corresponding to the operad As ⁽²⁾ in Zinbiel (2012) as the only Koszul self dual operad there other than the operads of associative algebras and Poisson algebras. The close relationship of matching dialgebras with semi-homomorphisms and matched pairs of associative algebras are established. By anti-symmetrizing, matching dialgerbas are also shown to give compatible Lie algebras, pre-Lie algebras and PostLie algebras. By the rewriting method, the operad of matching dialgebras is shown to be Koszul and the free objects are constructed in terms of tensor algebras. The operadic complex computing the homology of the matching dialgebras is made explicit.     

A Poincaré–Birkhoff–Witt criterion for Koszul operads

The aim of this article is to give a criterion, generalizing the criterion introduced by Priddy for algebras, to prove that an operad is Koszul. We define the notion of Poincaré–Birkhoff–Witt basis in the context of operads. Then we show that an operad having a Poincaré–Birkhoff–Witt basis is Koszul. Besides, we obtain that the Koszul dual operad has also a Poincaré–Birkhoff–Witt basis. We check that the classical examples of Koszul operads (commutative, associative, Lie, Poisson) have a Poincaré–Birkhoff–Witt basis. We also prove by our methods that new operads are Koszul.     

Compatible associative bialgebras

We introduce a non-symmetric operad 𝒩, 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 𝒩-algebra. The data (As,As²,𝒩) is a good triple of operads, in J.-L. Loday’s sense. Our construction induces another triple of operads (As,As₂,As), where As₂ is the operad of matching dialgebras. Motivated by A. Goncharov’s Hopf algebra of paths P(S), we introduce the notion of bi-matching dialgebras and show that the Hopf algebra P(S) is a bi-matching dialgebras.     

Symmetrisation of n-operads and compactification of real configuration spaces

It is well known that the forgetful functor from symmetric operads to nonsymmetric operads has a left adjoint Sym₁ given by product with the symmetric group operad. It is also well known that this functor does not affect the category of algebras of the operad. From the point of view of the author's theory of higher operads, the nonsymmetric operads are 1-operads and Sym₁ is the first term of the infinite series of left adjoint functors Symn, called symmetrisation functors, from n-operads to symmetric operads with the property that the category of one object, one arrow, …, one (n−1)-arrow algebras of an n-operad A is isomorphic to the category of algebras of Symn(A).In this paper we consider some geometrical and homotopical aspects of the symmetrisation of n-operads. We follow Getzler and Jones and consider their decomposition of the Fulton-Macpherson operad of compactified real configuration spaces. We construct an n-operadic counterpart of this compactification which we call the Getzler-Jones operad. We study the properties of Getzler-Jones operad and find that it is contractible and cofibrant in an appropriate model category. The symmetrisation of the Getzler-Jones operad turns out to be exactly the operad of Fulton and Macpherson. These results should be considered as an extension of Stasheff's theory of 1-fold loop spaces to n-fold loop spaces n?2. We also show that a space X with an action of a contractible n-operad has a natural structure of an algebra over an operad weakly equivalent to the little n-disks operad. A similar result holds for chain operads. These results generalise the classical Eckman-Hilton argument to arbitrary dimension.Finally, we apply the techniques to the Swiss-Cheese type operads introduced by Voronov and prove analogous results in this case.     

Curved Koszul duality theory

We extend the bar–cobar adjunction to operads and properads, not necessarily augmented. Due to the default of augmentation, the objects of the dual category are endowed with a curvature. As usual, the bar–cobar construction gives a cofibrant resolution for any properad. Applied to the properad encoding unital and counital Frobenius algebras, notion which appears in 2d-TQFT, it defines the associated notion up to homotopy. We further define a curved Koszul duality theory for operads or properads presented with quadratic, linear and constant relations. This provides smaller resolutions. We apply this new theory to study the homotopy theory and the cohomology theory of unital associative algebras.     

Curved Koszul duality of algebras over unital versions of binary operads

We develop a curved Koszul duality theory for algebras presented by quadratic-linear-constant relations over unital versions of binary quadratic operads. As an application, we study Poisson n-algebras given by polynomial functions on a standard shifted symplectic space. We compute explicit resolutions of these algebras using curved Koszul duality. We use these resolutions to compute derived enveloping algebras and factorization homology on parallelized simply connected closed manifolds with coefficients in these Poisson n-algebras.     

Embedding of dendriform algebras into Rota-Baxter algebras

Following a recent work [Bai C., Bellier O., Guo L., Ni X., Splitting of operations, Manin products, and Rota-Baxter operators, Int. Math. Res. Not. IMRN (in press), DOI: 10.1093/imrn/rnr266] we define what is a dendriform dior trialgebra corresponding to an arbitrary variety Var of binary algebras (associative, commutative, Poisson, etc.). We call such algebras di- or tri-Var-dendriform algebras, respectively. We prove in general that the operad governing the variety of di- or tri-Var-dendriform algebras is Koszul dual to the operad governing di- or trialgebras corresponding to Var^!. We also prove that every di-Var-dendriform algebra can be embedded into a Rota-Baxter algebra of weight zero in the variety Var, and every tri-Var-dendriform algebra can be embedded into a Rota-Baxter algebra of nonzero weight in Var.     

André–Quillen cohomology of algebras over an operad

We study the André–Quillen cohomology with coefficients of an algebra over an operad. Using resolutions of algebras coming from the Koszul duality theory, we make this cohomology theory explicit and we give a Lie theoretic interpretation. For which operads is the associated André–Quillen cohomology equal to an Ext-functor? We give several criteria, based on the cotangent complex, to characterize this property. We apply it to homotopy algebras, which gives a new homotopy stable property for algebras over cofibrant operads.     

On the operad of bigraft algebras

In this paper, we study the notion of a bigraft algebra, generalizing the notions of left and right graft algebras. We construct the free bigraft algebra on one generator in terms of certain planar rooted trees with decorated edges, and therefore describe explicitly the bigraft operad. We then compute its Koszul dual and show that the bigraft operad is Koszul. Moreover, we endow the free bigraft algebra on one generator with a universal Hopf algebra structure and a pairing. Finally, we prove an analogue of the Poincaré–Birkhoff–Witt and Cartier–Milnor–Moore theorems. For this, we define the notion of infinitesimal bigraft bialgebras and we prove the existence of a new good triple of operads.     

On a Plus-Construction for Algebras over an Operad

We prove a analogous to Quillen's plus-construction in the category of algebras over an operad. For that purpose we prove that this category is a closed model category and prove the existence of an obstruction theory. We apply further this plus-construction for the specific cases of Lie algebras and Leibniz algebras which are a noncommutative version of Lie algebras: let sl(A) be the kernel of the trace map gl(A)A/[A,A], where A is an associative algebra with unit and gl(A) is the Lie algebra of matrices over A. Then the homotopy of slA)⁺ in the category of Lie algebras is the cyclic homology of A whereas it is the Hochschild homology of A in the category of Leibniz algebras.     

A Koszul duality for props

The notion of prop models the operations with multiple inputs and multiple outputs, acting on some algebraic structures like the bialgebras or the Lie bialgebras. In this paper, we generalize the Koszul duality theory of associative algebras and operads to props.

     

On Hopf algebra structures over free operads

The operad Lie can be constructed as the operad of primitives PrimAs from the operad As of associative algebras. This is reflected by the theorems of Friedrichs, Poincaré-Birkhoff-Witt and Cartier-Milnor-Moore. We replace the operad As by families of free operads P, which include the operad Mag freely generated by a non-commutative non-associative binary operation and the operad of Stasheff polytopes. We obtain Poincaré-Birkhoff-Witt type theorems and collect information about the operads PrimP, e.g., in terms of characteristic functions.     

Algebras with bracket

An algebra with bracket is an associative algebra A equipped with a bilinear operation [−,−] satisfying [a · b, c] = [a, c]·b+a · [b, c]. Our main result claims that the operad corresponding to algebras with bracket is Koszul.     

On tortkara triple systems

The commutator [a,b] = ab?ba in a free Zinbiel algebra (dual Leibniz algebra) is an anticommutative operation which satisfies no new relations in arity 3. Dzhumadildaev discovered a relation T(a,b,c,d) which he called the tortkara identity and showed that it implies every relation satisfied by the Zinbiel commutator in arity 4. Kolesnikov constructed examples of anticommutative algebras satisfying T(a,b,c,d) which cannot be embedded into the commutator algebra of a Zinbiel algebra. We consider the tortkara triple product [a,b,c] = [[a,b],c] in a free Zinbiel algebra and use computer algebra to construct a relation TT(a,b,c,d,e) which implies every relation satisfied by [a,b,c] in arity 5. Thus, although tortkara algebras are defined by a cubic binary operad (with no Koszul dual), the corresponding triple systems are defined by a quadratic ternary operad (with a Koszul dual). We use computer algebra to construct a relation in arity 7 satisfied by [a,b,c] which does not follow from the relations of lower arity. It remains an open problem to determine whether there are further new identities in arity n≥9.     

Cogroups in algebras over an operad are free algebras

Let be an operad defined over a field of characteristic zero. Let R be a cogroup in the category of complete -algebras. In this article, we show that R is necessarily the completion of a free -algebra. We also handle the case of cogroups in connected graded algebras over an operad, and the case of groups in connected graded coalgebras over an operad. Received: August 26, 1996 and final version, February 4, 1998     

𝒪-Operators of Loday Algebras and Analogues of the Classical Yang–Baxter Equation

We introduce notions of 𝒪-operators of the Loday algebras including the dendriform algebras and quadri-algebras as a natural generalization of Rota–Baxter operators. The invertible 𝒪-operators give a sufficient and necessary condition on the existence of the 2 ⁿ⁺¹ operations on an algebra with the 2 ⁿ operations in an associative cluster. The analogues of the classical Yang–Baxter equation in these algebras can be understood as the 𝒪-operators associated to certain dual bimodules. As a byproduct, the constraint conditions (invariances) of nondegenerate bilinear forms on these algebras are given.