L-quadri代数

Quadri代数是由Aguiar和Loday引入的一类著名的Loday代数.在本文中,我们引入具有4个运算的L-quadri代数的概念,它满足广义左对称性,其4个运算的和的换位运算是Lie代数,并且是quadri代数的Lie代数类似结构.任何quadri代数是L-quadri代数,并且L-quadri代数可以放在Lod...     

（Co）Homology and Universal Central Extension of Hom-Leibniz Algebras

Hom-Leibniz algebra is a natural generalization of Leibniz algebras and Hom-Lie algebras. In this paper, we develop some structure theory (such as (co)homology groups, universal central extensions) of Hom-Leibniz algebras based on some works of Loday and Pirashvili.     

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.     

Cyclic Homology of Hopf Algebras

A cyclic cohomology theory adapted to Hopf algebras has been introduced recently by Connes and Moscovici. In this paper, we consider this object in the homological framework, in the spirit of Loday and Quillen and Karoubi's work on the cyclic homology of associative algebras. In the case of group algebras, we interpret the decomposition of the classical cyclic homology of a group algebra in terms of this homology. We also compute both cyclic homologies for truncated quiver algebras.     

Ext groups in the category of bimodules over a simple Leibniz algebra

In this article, we generalize Loday and Pirashvili's [11] computation of the Ext-category of Leibniz bimodules for a simple Lie algebra to the case of a simple (non Lie) Leibniz algebra. Most of the arguments generalize easily, while the main new ingredient is the Feldvoss-Wagemann's cohomology vanishing theorem for semi-simple Leibniz algebras.     

Cocommutative Hopf Algebras of Permutations and Trees

Consider the coradical filtrations of the Hopf algebras of planar binary trees of Loday and Ronco and of permutations of Malvenuto and Reutenauer. We give explicit isomorphisms showing that the associated graded Hopf algebras are dual to the cocommutative Hopf algebras introduced in the late 1980's by Grossman and Larson. These Hopf algebras are constructed from ordered trees and heap-ordered trees, respectively. These results follow from the fact that whenever one starts from a Hopf algebra that is a cofree graded coalgebra, the associated graded Hopf algebra is a shuffle Hopf algebra. Aguiar supported in part by NSF grant DMS-0302423. Sottile supported in part by NSF CAREER grant DMS-0134860, the Clay Mathematics Institute, and MSRI.     

𝒪-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.     

Algebraic structures on Grothendieck groups of a tower of algebras

The Grothendieck group of the tower of symmetric group algebras has a self-dual graded Hopf algebra structure. Inspired by this, we introduce by way of axioms, a general notion of a tower of algebras and study two Grothendieck groups on this tower linked by a natural paring. Using representation theory, we show that our axioms give a structure of graded Hopf algebras on each Grothendieck groups and these structures are dual to each other. We give some examples to indicate why these axioms are necessary. We also give auxiliary results that are helpful to verify the axioms. We conclude with some remarks on generalized towers of algebras leading to a structure of generalized bialgebras (in the sense of Loday) on their Grothendieck groups.     

Compatible actions of Lie algebras

Abstract

We study compatible actions (introduced by Brown and Loday in their work on the non-abelian tensor product of groups) in the category of Lie algebras over a fixed ring. We describe the Peiffer product via a new diagrammatic approach, which specializes to the known definitions both in the case of groups and of Lie algebras. We then use this approach to transfer a result linking compatible actions and pairs of crossed modules over a common base object L from groups to Lie algebras. Finally, we show that the Peiffer product, naturally endowed with a crossed module structure, has the universal property of the coproduct in XMod_L(Lie_R).     

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.     

Comparison of Hopf algebras on trees

Several Hopf algebra structures on vector spaces of trees can be found in the literature (cf. [10], [8], [2]). In this paper, we compare the corresponding notions of trees, the multiplications and comultiplications. The Hopf algebras are connected graded or, equivalently, complete Hopf algebras. The Hopf algebra structure on planar binary trees introduced by Loday and Ronco [10] is noncommutative and not cocommutative. We show that this Hopf algebra is isomorphic to the noncommutative version of the Hopf algebra of Connes and Kreimer [3]. We compute its first Lie algebra structure constants in the sense of [7], and show that there is no cogroup structure compatible with the Hopf algebra on planar binary trees.     

Algèbres de Hopf colibres

We prove a structure theorem for the cofree Hopf algebras: such a Hopf algebra is the universal enveloping dipterous algebra of its primitive part. A dipterous algebra is an associative algebra equipped with a structure of left module over itself. This theorem is a consequence of an analogue, in the non-cocommutative framework, of the Poincaré–Birkhoff–Witt theorem and of the Milnor–Moore theorem. To cite this article: J.-L. Loday, M. Ronco, C. R. Acad. Sci. Paris, Ser. I 337 (2003).     

Structure of relatively free dimonoids

Loday introduced the notion of a dimonoid and constructed the free dimonoid. The paper concerns the variety theory of dimonoids. We recall and summarize the results obtained by Loday, the author as well as others on the structure of some relatively free dimonoids. This part of the paper should be viewed as a survey, however we include some new ideas in the last sections. Namely, we construct a free (?z;rs)-dimonoid, a free (rs;rz)-dimonoid, a free rs-dimonoid, a free (rb;rs)-dimonoid, a free (rs;rb)-dimonoid and characterize the least (?z;rs)-congruence, the least (rs;rz)-congruence, the least rs-congruence, the least (rb;rs)-congruence and the least (rs;rb)-congruence on the free dimonoid. We also establish that the automorphism groups of constructed free algebras are isomorphic to the symmetric group and the semigroups of the free rs-dimonoid are anti-isomorphic.     

Modular classes of Loday algebroids

We introduce the concept of Loday algebroids, a generalization of Courant algebroids. We define the naive cohomology and modular class of a Loday algebroid, and we show that the modular class of the double of a Lie bialgebroid vanishes. For Courant algebroids, we describe the relation between the naive and standard cohomologies and we conjecture that they are isomorphic when the Courant algebroid is transitive. To cite this article: M. Stiénon, P. Xu, C. R. Acad. Sci. Paris, Ser. I 346 (2008).     

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.     

Locally Vacant Double Lie Groupoids and the Integration of Matched Pairs of Lie Algebroids

We prove a general integrability result for matched pairs of Lie algebroids. (Matched pairs of Lie algebras are also known as double Lie algebras or twilled extensions of Lie algebras.) The method used is an extension of a method introduced by Lu and Weinstein in the case of Poisson Lie groups, and yields double groupoids which satisfy an étale form of the vacancy condition.     

Degree bounds for Gröbner bases in algebras of solvable type

We establish doubly-exponential degree bounds for Gröbner bases in certain algebras of solvable type over a field (as introduced by Kandri-Rody and Weispfenning). The class of algebras considered here includes commutative polynomial rings, Weyl algebras, and universal enveloping algebras of finite-dimensional Lie algebras. For the computation of these bounds, we adapt a method due to Dubé based on a generalization of Stanley decompositions. Our bounds yield doubly-exponential degree bounds for ideal membership and syzygies, generalizing the classical results of Hermann and Seidenberg (in the commutative case) and Grigoriev (in the case of Weyl algebras).     

Varieties of algebras arising from K-perfect m-cycle systems

A class of algebras forms a variety if it is characterised by a collection of identities. There is a well-known method, often called the standard construction, which gives rise to algebras from m-cycle systems. It is known that the algebras arising from {1}-perfect m-cycle systems form a variety for m∈{3,5} only, and that the algebras arising from {1,2}-perfect m-cycle systems form a variety for m∈{3,5,7} only. Here we give, for any set K of positive integers, necessary and sufficient conditions under which the algebras arising from K-perfect m-cycle systems form a variety.     

Certain congruences on free trioids

Loday and Ronco introduced the notion of a trioid and constructed the free trioid of rank 1. This paper is devoted to the study of congruences on trioids. We characterize the least dimonoid congruences and the least semigroup congruence on the free (commutative, rectangular) trioid.