On the homotopy of simplicial algebras over an operad

According to a result of H. Cartan, the homotopy of a simplicial commutative algebra is equipped with divided power operations. In this article, we show how to extend this result to other kinds of algebras. For instance, we prove that the homotopy of a simplicial Lie algebra is equipped with the structure of a restricted Lie algebra.

     

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     

Pluriassociative algebras I: The pluriassociative operad

Diassociative algebras form a category of algebras recently introduced by Loday. A diassociative algebra is a vector space endowed with two associative binary operations satisfying some very natural relations. Any diassociative algebra is an algebra over the diassociative operad, and, among its most notable properties, this operad is the Koszul dual of the dendriform 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 diassociative algebras, called γ-pluriassociative algebras, so that 1-pluriassociative algebras are diassociative algebras. Pluriassociative algebras are vector spaces endowed with 2γ associative binary operations satisfying some relations. We provide a complete study of the γ-pluriassociative operads, the underlying operads of the category of γ-pluriassociative algebras. We exhibit a realization of these operads, establish several presentations by generators and relations, compute their Hilbert series, show that they are Koszul, and construct the free objects in the corresponding categories. We also study several notions of units in γ-pluriassociative algebras and propose a general way to construct such algebras. This paper ends with the introduction of an analogous generalization of the triassociative operad of Loday and Ronco.     

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.     

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.     

Character formulas for the operad of two compatible brackets and for the bi-Hamiltonian operad

We compute the dimensions of the components for the operad of two compatible brackets and for the bi-Hamiltonian operad. We also obtain character formulas for the representations of symmetric groups and SL ₂ in these spaces.     

The operad Lie is free

We show that the operad Lie is free as a non-symmetric operad. Then we study the generating series counting the operadic generators. We find a recursive formula for the coefficients of the series and show that the asymptotic density of the operadic generators is 1/e.     

Classifying vectoids and operad kinds

A new generalisation of the notion of space, called vectoid, is suggested. Basic definitions, examples and properties are presented, as well as a construction of direct product of vectoids. Proofs of more complicated properties not used later are just sketched. Classifying vectoids of simplest algebraic structures, such as objects, algebras and coalgebras, are studied in some detail afterwards. Such classifying vectoids give interesting examples of vectoids not coming from spaces known before (such as ringed topoi). Moreover, monoids in the endomorphism categories of these classifying vectoids turn out to provide a systematic approach to constructing different versions of the notion of an operad, as well as its generalisations, unknown before.     

The operad of finite labeled tournaments

We study the operad of finite labeled tournaments. We describe the structure of suboperads of this operad generated by simple tournaments. We prove that a suboperad generated by a tournament with two vertices (i.e., the operad of finite linearly ordered sets) is isomorphic to the operad of symmetric groups, and a suboperad generated by a simple tournament with more that two vertices is isomorphic to the quotient operad of the free operad with respect to a certain congruence. We obtain this congruence explicitly.     

On the toroidal Leibniz algebras

Toroidal Leibniz algebras are the universal central extensions of the iterated loop algebras g×C[t1^±1,...,tv^±1] in the category of Leibniz algebras. In this paper, some properties and representations of toroidal Leibniz algebras are studied. Some general theories of central extensions of Leibniz algebras are also obtained.     

On Lie algebras associated with representation-directed algebras

Let B be a representation-finite C-algebra. The Z-Lie algebra L(B) associated with B has been defined by Riedtmann in [Ch. Riedtmann, Lie algebras generated by indecomposables, J. Algebra 170 (1994) 526-546]. If B is representation-directed, there is another Z-Lie algebra associated with B defined by Ringel in [C.M. Ringel, Hall Algebras, vol. 26, Banach Center Publications, Warsaw, 1990, pp. 433-447] and denoted by K(B).We prove that the Lie algebras L(B) and K(B) are isomorphic for any representation-directed C-algebra B.     

On integro-differential algebras

The concept of integro-differential algebra has been introduced recently in the study of boundary problems of differential equations. We generalize this concept to that of integro-differential algebra with a weight, in analogy to the differential Rota–Baxter algebra. We construct free commutative integro-differential algebras with weight generated by a differential algebra. This gives in particular an explicit construction of the integro-differential algebra on one generator. Properties of the free objects are studied.     

On the radical of Brauer algebras

The radical of the Brauer algebra is known to be non-trivial when the parameter x is an integer subject to certain conditions (with respect to f). In these cases, we display a wide family of elements in the radical, which are explicitly described by means of the diagrams of the usual basis of . The proof is by direct approach for x  =  0, and via classical Invariant Theory in the other cases, exploiting then the well-known representation of Brauer algebras as centralizer algebras of orthogonal or symplectic groups acting on tensor powers of their standard representation. This also gives a great part of the radical of the generic indecomposable -modules. We conjecture that this part is indeed the whole radical in the case of modules, and it is the whole part in a suitable step of the standard filtration in the case of the algebra. As an application, we find some more precise results for the module of pointed chord diagrams, and for the Temperley–Lieb algebra—realised inside —acting on it.

“Ahi quanto a dir che sia è cosa dura lo radical dell’algebra di Brauer pur se’l pensier già muove a congettura” N. Barbecue, “Scholia”

Partially supported by the European RTN “LieGrits”, contract no. MRTN-CT-2003-505078, and by the Italian PRIN 2005 “Moduli e teorie di Lie”.