Showing 1–28 of 28 results for author: Loday, J

Exponential series without denominators

Authors: Jean-Louis Loday

Abstract: For a commutative algebra which comes from a Zinbiel algebra the exponential series can be written without denominators. When lifted to dendriform algebras this new series satisfies a functional equation analogous to the Baker-Campbell-Hausdorff formula. We make it explicit by showing that the obstruction series is the sum of the brace products. In the multilinear case we show that the role the Eu… ▽ More For a commutative algebra which comes from a Zinbiel algebra the exponential series can be written without denominators. When lifted to dendriform algebras this new series satisfies a functional equation analogous to the Baker-Campbell-Hausdorff formula. We make it explicit by showing that the obstruction series is the sum of the brace products. In the multilinear case we show that the role the Eulerian idempotent is played by the iterated pre-Lie product. △ Less

Submitted 24 January, 2012; originally announced January 2012.

Comments: 13 p

MSC Class: 17A30; 16W60

Free loop space and homology

Authors: Jean-Louis Loday

Abstract: The aim of this paper is to explain the relationship between the (co)homology of the free loop space and the Hochschild homology of its singular cochain algebra. We introduce all the relevant technical tools, namely simplicial and cyclic objects, and we provide the various steps of the proofs, which are scattered around in the literature. This paper can be seen as a companion to the paper "Cyclic… ▽ More The aim of this paper is to explain the relationship between the (co)homology of the free loop space and the Hochschild homology of its singular cochain algebra. We introduce all the relevant technical tools, namely simplicial and cyclic objects, and we provide the various steps of the proofs, which are scattered around in the literature. This paper can be seen as a companion to the paper "Cyclic homology and equivariant homology" by J.D.S. Jones dealing with the cyclic case. △ Less

Submitted 3 October, 2011; originally announced October 2011.

Comments: 20 p. Part of a book on symplectic geometry edited by Alex Oancea

MSC Class: 19D55; 55P35

Some problems in operad theory

Authors: Jean-Louis Loday

Abstract: 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. 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. △ Less

Submitted 15 September, 2011; originally announced September 2011.

Comments: 8 pages

MSC Class: 18D50; 55P

Dichotomy of the addition of natural numbers

Authors: Jean-Louis Loday

Abstract: This is an elementary presentation of the arithmetic of trees. We show how it is related to the Tamari poset. In the last part we investigate various ways of realizing this poset as a polytope (associahedron), including one inferred from Tamari's thesis. This is an elementary presentation of the arithmetic of trees. We show how it is related to the Tamari poset. In the last part we investigate various ways of realizing this poset as a polytope (associahedron), including one inferred from Tamari's thesis. △ Less

Submitted 31 August, 2011; originally announced August 2011.

Comments: 15 pages (final version)

MSC Class: 16W10

The YY game

Authors: Jean-Louis Loday

Abstract: We introduce a new one-person game similar to the Sudoku game. It is based on combinatorial objects called planar binary rooted trees. It is related to the four color conjecture. Its mathematical analysis makes use of the Tamari poset, hence the Stasheff associahedron. We introduce a new one-person game similar to the Sudoku game. It is based on combinatorial objects called planar binary rooted trees. It is related to the four color conjecture. Its mathematical analysis makes use of the Tamari poset, hence the Stasheff associahedron. △ Less

Submitted 29 August, 2011; originally announced August 2011.

Comments: 7 pages

MSC Class: 05C10; 05C57; 91A43

Permutads

Authors: Jean-Louis Loday, Maria Ronco

Abstract: We unravel the algebraic structure which controls the various ways of computing the word ((xy)(zt)) and its siblings. We show that it gives rise to a new type of operads, that we call permutads. It turns out that this notion is equivalent to the notion of "shuffle algebra" introduced by the second author. It is also very close to the notion of "shuffle operad" introduced by V. Dotsenko and A. Khor… ▽ More We unravel the algebraic structure which controls the various ways of computing the word ((xy)(zt)) and its siblings. We show that it gives rise to a new type of operads, that we call permutads. It turns out that this notion is equivalent to the notion of "shuffle algebra" introduced by the second author. It is also very close to the notion of "shuffle operad" introduced by V. Dotsenko and A. Khoroshkin. It can be seen as a noncommutative version of the notion of nonsymmetric operads. We show that the role of the associahedron in the theory of operads is played by the permutohedron in the theory of permutads. △ Less

Submitted 20 March, 2012; v1 submitted 26 May, 2011; originally announced May 2011.

Comments: Same results, re-arranged and more details. 38 pages

MSC Class: 18D50; 52B11

The symmetric operation in a free pre-Lie algebra is magmatic

Authors: Nantel Bergeron, Jean-Louis Loday

Abstract: A pre-Lie product is a binary operation whose associator is symmetric in the last two variables. As a consequence its antisymmetrization is a Lie bracket. In this paper we study the symmetrization of the pre-Lie product. We show that it does not satisfy any other universal relation than commutativity. It means that the map from the free commutative-magmatic algebra to the free pre-Lie algebra indu… ▽ More A pre-Lie product is a binary operation whose associator is symmetric in the last two variables. As a consequence its antisymmetrization is a Lie bracket. In this paper we study the symmetrization of the pre-Lie product. We show that it does not satisfy any other universal relation than commutativity. It means that the map from the free commutative-magmatic algebra to the free pre-Lie algebra induced by the symmetrization of the pre-Lie product is injective. This result is in contrast with the associative case, where the symmetrization gives rise to the notion of Jordan algebra. We first give a self-contained proof. Then we give a proof which uses the properties of dendriform and duplicial algebras. △ Less

Submitted 3 October, 2010; v1 submitted 7 April, 2010; originally announced April 2010.

Comments: View in color, 12 pages

MSC Class: 16A24; 16W30; 17A30; 18D50; 81R60

Journal ref: Proc. Amer. Math. Soc. 139-5 (2011), 1585-1597

On the operad of associative algebras with derivation

Authors: Jean-Louis Loday

Abstract: 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… ▽ More 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. △ Less

Submitted 22 February, 2010; v1 submitted 25 June, 2009; originally announced June 2009.

Comments: 20 p

MSC Class: 12H; 13N; 14L05; 18D

Parastatistics Algebra, Young Tableaux and the Super Plactic Monoid

Authors: Jean-Louis Loday, Todor Popov

Abstract: The parastatistics algebra is a superalgebra with (even) parafermi and (odd) parabose creation and annihilation operators. The states in the parastatistics Fock-like space are shown to be in one-to-one correspondence with the Super Semistandard Young Tableaux (SSYT) subject to further constraints. The deformation of the parastatistics algebra gives rise to a monoidal structure on the SSYT which… ▽ More The parastatistics algebra is a superalgebra with (even) parafermi and (odd) parabose creation and annihilation operators. The states in the parastatistics Fock-like space are shown to be in one-to-one correspondence with the Super Semistandard Young Tableaux (SSYT) subject to further constraints. The deformation of the parastatistics algebra gives rise to a monoidal structure on the SSYT which is a super-counterpart of the plactic monoid. △ Less

Submitted 5 October, 2008; originally announced October 2008.

Comments: Presented at the International Workshop "Differential Geometry, Noncommutative Geometry, Homology and Fundamental Interactions" in honour of Michel Dubois-Violette, Orsay, April 8-10, 2008

Combinatorial Hopf algebras

Authors: Jean-Louis Loday, Maria O. Ronco

Abstract: 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-coc… ▽ More 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 combinatorial Hopf algebra types gives rise to several good triples of operads. It involves the operads: dendriform, pre-Lie, brace, and variations of them. △ Less

Submitted 22 December, 2009; v1 submitted 2 October, 2008; originally announced October 2008.

Comments: The second part, dealing with right-sided combinatorial Hopf algebras, has been completely modified in this new version

MSC Class: 16A24; 16W30; 18D50; 05C05

The diagonal of the Stasheff polytope

Authors: Jean-Louis Loday

Abstract: We construct an A-infinity structure on the tensor product of two A-infinity algebras by using the simplicial decomposition of the Stasheff polytope. The key point is the construction of an operad AA-infinity based on the simplicial Stasheff polytope. The operad AA-infinity admits a coassociative diagonal and the operad A-infinity is a retract by deformation of it. We compare these constructions… ▽ More We construct an A-infinity structure on the tensor product of two A-infinity algebras by using the simplicial decomposition of the Stasheff polytope. The key point is the construction of an operad AA-infinity based on the simplicial Stasheff polytope. The operad AA-infinity admits a coassociative diagonal and the operad A-infinity is a retract by deformation of it. We compare these constructions with analogous constructions due to Saneblidze-Umble and Markl-Shnider based on the Boardman-Vogt cubical decomposition of the Stasheff polytope. △ Less

Submitted 23 October, 2007; v1 submitted 2 October, 2007; originally announced October 2007.

Comments: Complete modification of the last part, that is the map p':AA-infinity -> A-infinity

MSC Class: 18D10; 55S99

Generalized bialgebras and triples of operads

Authors: Jean-Louis Loday

Abstract: We introduce the notion of generalized bialgebra, which includes the classical notion of bialgebra (Hopf algebra) and many others. We prove that, under some mild conditions, a connected generalized bialgebra is completely determined by its primitive part. This structure theorem extends the classical Poincaré-Birkhoff-Witt theorem and the Cartier-Milnor-Moore theorem, valid for cocommutative bial… ▽ More We introduce the notion of generalized bialgebra, which includes the classical notion of bialgebra (Hopf algebra) and many others. We prove that, under some mild conditions, a connected generalized bialgebra is completely determined by its primitive part. This structure theorem extends the classical Poincaré-Birkhoff-Witt theorem and the Cartier-Milnor-Moore theorem, valid for cocommutative bialgebras, to a large class of generalized bialgebras. Technically we work in the theory of operads which permits us to give a conceptual proof of our main theorem. It unifies several results, generalizing PBW and CMM, scattered in the literature. We treat many explicit examples and suggest a few conjectures. △ Less

Submitted 16 December, 2008; v1 submitted 28 November, 2006; originally announced November 2006.

Comments: Slight modification of the quotient triple proposition (3.1.1). Typos corrected. 110 pages

MSC Class: 16A24; 16W30; 17A30; 18D50; 81R60

Journal ref: Aste'risque 320 (2008), vi+114 pp.

Coassociative magmatic bialgebras and the Fine numbers

Authors: Ralf Holtkamp, Jean-Louis Loday, Maria Ronco

Abstract: We prove a structure theorem for the connected coassociative magmatic bialgebras. The space of primitive elements is an algebra over an operad called the primitive operad. We prove that the primitive operad is magmatic generated by n-2 operations of arity n. The dimension of the space of all the n-ary operations of this primitive operad turns out to be the Fine number F_{n-1}. In short, the trip… ▽ More We prove a structure theorem for the connected coassociative magmatic bialgebras. The space of primitive elements is an algebra over an operad called the primitive operad. We prove that the primitive operad is magmatic generated by n-2 operations of arity n. The dimension of the space of all the n-ary operations of this primitive operad turns out to be the Fine number F_{n-1}. In short, the triple of operads (As, Mag, MagFine) is good. △ Less

Submitted 5 September, 2006; originally announced September 2006.

Comments: 17 pages

MSC Class: 16A24; 16W30; 17A30; 18D50; 81R60

Journal ref: J. Algebraic Combin. 28 (2008), no. 1, 97-114

Parking functions and triangulation of the associahedron

Authors: Jean-Louis Loday

Abstract: We show that a minimal triangulation of the associahedron (Stasheff polytope) of dimension n is made of (n+1)^{n-1} simplices. We construct a natural bijection with the set of parking functions from a new interpretation of parking functions in terms of shuffles. We show that a minimal triangulation of the associahedron (Stasheff polytope) of dimension n is made of (n+1)^{n-1} simplices. We construct a natural bijection with the set of parking functions from a new interpretation of parking functions in terms of shuffles. △ Less

Submitted 18 October, 2005; originally announced October 2005.

Comments: 15 pages

MSC Class: 16A24; 16W30; 17A30; 18D50; 81R60

On the algebra of quasi-shuffles

Authors: Jean-Louis Loday

Abstract: For any commutative algebra $R$ the shuffle product on the tensor module $T(R)$ can be deformed to a new product. It is called the quasi-shuffle algebra, or stuffle algebra, and denoted $T^q(R)$. We show that if $R$ is the polynomial algebra, then $T^q(R)$ is free for some algebraic structure called Commutative TriDendriform (CTD-algebras). This result is part of a structure theorem for CTD-bial… ▽ More For any commutative algebra $R$ the shuffle product on the tensor module $T(R)$ can be deformed to a new product. It is called the quasi-shuffle algebra, or stuffle algebra, and denoted $T^q(R)$. We show that if $R$ is the polynomial algebra, then $T^q(R)$ is free for some algebraic structure called Commutative TriDendriform (CTD-algebras). This result is part of a structure theorem for CTD-bialgebras which are associative as coalgebras and whose primitive part is commutative. In other words, there is a good triple of operads $(As, CTD, Com)$ analogous to $(Com, As, Lie)$. △ Less

Submitted 15 February, 2007; v1 submitted 24 June, 2005; originally announced June 2005.

Comments: 13 pages

MSC Class: 16A24; 16W30; 17A30; 18D50; 81R60

Journal ref: Manuscripta Mathematica 123 (2007), no. 1, 79--93

On restricted Leibniz algebras

Authors: Ioannis Dokas, Jean-Louis Loday

Abstract: In this paper we prove that in prime characteristic there is a functor $-_{p-Leib}$ from the category of diassociative algebras to the category of restricted Leibniz algebras, generalizing the functor from associative algebras to restricted Lie algebras. Moreover we define the notion of restricted universal enveloping diassociative algebra $Ud_{p}(g)$ of a restricted Leibniz algebra $g$ and we s… ▽ More In this paper we prove that in prime characteristic there is a functor $-_{p-Leib}$ from the category of diassociative algebras to the category of restricted Leibniz algebras, generalizing the functor from associative algebras to restricted Lie algebras. Moreover we define the notion of restricted universal enveloping diassociative algebra $Ud_{p}(g)$ of a restricted Leibniz algebra $g$ and we show that $Ud_{p}$ is left adjoint to the functor $-_{p-Leib}$. We also construct the restricted enveloping algebra, which classifies the restricted Leibniz modules. In the last section we put a restricted pre-Lie structure on the tensor product of a Leibniz algebra by a Zinbiel algebra. △ Less

Submitted 6 July, 2005; v1 submitted 23 June, 2005; originally announced June 2005.

Comments: 11 pages, minor modifications

MSC Class: 17A32; 17A99; 17B35; 17B55

Journal ref: Communications in Algebra 34 (2006), no 12, 4467--4478

Completing the operadic butterfly

Authors: Jean-Louis Loday

Abstract: We complete a certain diagram (the operadic butterfly) of categories of algebras involving Com, As, and Lie by constructing a type of algebras which have 4 generating operations and 16 relations. The associated operad is self-dual for Koszul duality. We complete a certain diagram (the operadic butterfly) of categories of algebras involving Com, As, and Lie by constructing a type of algebras which have 4 generating operations and 16 relations. The associated operad is self-dual for Koszul duality. △ Less

Submitted 10 September, 2004; originally announced September 2004.

MSC Class: 18D50; 17Dxx; 17A32

Journal ref: Georgian Math Journal 13 (2006), no 4. 741--749

On the structure of cofree Hopf algebras

Authors: Jean-Louis Loday, Maria Ronco

Abstract: We prove an analogue of the Poincare'-Birkhoff-Witt theorem and of the Cartier-Milnor-Moore theorem for non-cocommutative Hopf algebras. The primitive part of a cofree Hopf algebra is a B-infini-algebra. We construct a universal enveloping functor U2 from B-infini-algebras to 2-associative algebras, i.e. algebras equipped with two associative operations. We show that any cofree Hopf algebra H is… ▽ More We prove an analogue of the Poincare'-Birkhoff-Witt theorem and of the Cartier-Milnor-Moore theorem for non-cocommutative Hopf algebras. The primitive part of a cofree Hopf algebra is a B-infini-algebra. We construct a universal enveloping functor U2 from B-infini-algebras to 2-associative algebras, i.e. algebras equipped with two associative operations. We show that any cofree Hopf algebra H is of the form U2(Prim H). We take advantage of the simple description of the free 2as-algebra in terms of planar trees to unravel the structure of the operad B-infini. △ Less

Submitted 30 March, 2005; v1 submitted 17 May, 2004; originally announced May 2004.

Comments: Minor modifications

MSC Class: 16A24; 16W30; 17A30; 18D50; 81R60

Journal ref: J. reine angew. Math. 592 (2006), 123--155.

Inversion of integral series enumerating planar trees

Authors: Jean-Louis Loday

Abstract: We consider an integral series f(X,t) which depends on the choice of a set X of labelled planar rooted trees. We prove that its inverse for composition is of the form f(Z,t) for another set Z of trees, deduced from X. The proof is self-contained, though inspired by the Koszul duality theory of quadratic operads. We consider an integral series f(X,t) which depends on the choice of a set X of labelled planar rooted trees. We prove that its inverse for composition is of the form f(Z,t) for another set Z of trees, deduced from X. The proof is self-contained, though inspired by the Koszul duality theory of quadratic operads. △ Less

Submitted 10 September, 2004; v1 submitted 19 March, 2004; originally announced March 2004.

Comments: Minor modifications and reference to further work

MSC Class: 05A15; 13F25; 18D50

Journal ref: Sém. Lothar. Combin. 53 (2004/05), Art. B53d, 16 pp.

Scindement d'associativite et algebres de Hopf

Authors: Jean-Louis Loday

Abstract: We show that some associative algebras whose product splits up into the sum of several operations and are free, in a certain sense, with respect to these operations, admit a Hopf algebra structure. We show that the operad of dendriform algebras play a crucial role in this context, and we give numerous examples. We show that some associative algebras whose product splits up into the sum of several operations and are free, in a certain sense, with respect to these operations, admit a Hopf algebra structure. We show that the operad of dendriform algebras play a crucial role in this context, and we give numerous examples. △ Less

Submitted 5 February, 2004; originally announced February 2004.

Comments: In french

MSC Class: 16A24; 16W30; 18D50

Journal ref: Sem.Congr. 9, Soc.Math. France, (2004), 155-172.

Quadri-algebras

Authors: Marcelo Aguiar, Jean-Louis Loday

Abstract: We introduce the notion of quadri-algebras. These are associative algebras for which the multiplication can be decomposed as the sum of four operations in a certain coherent manner. We present several examples of quadri-algebras: the algebra of permutations, the shuffle algebra, tensor products of dendriform algebras. We show that a pair of commuting Baxter operators on an associative algebra gi… ▽ More We introduce the notion of quadri-algebras. These are associative algebras for which the multiplication can be decomposed as the sum of four operations in a certain coherent manner. We present several examples of quadri-algebras: the algebra of permutations, the shuffle algebra, tensor products of dendriform algebras. We show that a pair of commuting Baxter operators on an associative algebra gives rise to a canonical quadri-algebra structure on the underlying space of the algebra. The main example is provided by the algebra End(A) of linear endomorphisms of an infinitesimal bialgebra A. This algebra carries a canonical pair of commuting Baxter operators: $β(T)=T\ast\id$ and $γ(T)=\id\ast T$, where $\ast$ denotes the convolution of endomorphisms. It follows that End(A) is a quadri-algebra, whenever A is an infinitesimal bialgebra. We also discuss commutative quadri-algebras and state some conjectures on the free quadri-algebra. △ Less

Submitted 5 April, 2004; v1 submitted 9 September, 2003; originally announced September 2003.

MSC Class: 17A30; 18D50

Parametrized braid groups of Chevalley groups

Authors: Jean-Louis Loday, Michael R. Stein

Abstract: We introduce the notion of a braid group parametrized by a ring, which is defined by generators and relations and based on the geometric idea of painted braids. We show that the parametrized braid group is isomorphic to the semi-direct product of the Steinberg group (of the ring) with the classical braid group. The technical heart of the proof is the Pure Braid Lemma, which asserts that certain… ▽ More We introduce the notion of a braid group parametrized by a ring, which is defined by generators and relations and based on the geometric idea of painted braids. We show that the parametrized braid group is isomorphic to the semi-direct product of the Steinberg group (of the ring) with the classical braid group. The technical heart of the proof is the Pure Braid Lemma, which asserts that certain elements of the parametrized braid group commute with the pure braid group. More generally, we define, for any crystallographic root system, a braid group and a parametrized braid group with parameters in a commutative ring. The parametrized braid group is expected to be isomorphic to the semi-direct product of the corresponding Steinberg group with the braid group. The first part of the paper (described above) treats the case of the root system $A_n$; in the second part, we handle the root system {$D_n$}. Other cases will be treated in the sequel. △ Less

Submitted 16 December, 2002; originally announced December 2002.

Comments: 28 pages

MSC Class: 20F36; 19Cxx; 20F55

Journal ref: Documenta Mathematica 10 (2005), 391--416.

Realization of the Stasheff polytope

Authors: Jean-Louis Loday

Abstract: We propose a simple formula for the coordinates of the vertices of the Stasheff polytope (associahedron) and we compare it to the permutohedron. We propose a simple formula for the coordinates of the vertices of the Stasheff polytope (associahedron) and we compare it to the permutohedron. △ Less

Submitted 9 December, 2002; originally announced December 2002.

Comments: 13 pages

MSC Class: 55P35; 52Bxx

Journal ref: Archiv Math. 83 (2004), 267--278.

Trialgebras and families of polytopes

Authors: Jean-Louis Loday, Maria O. Ronco

Abstract: We show that the family of standard simplices and the family of Stasheff polytopes are dual to each other in the following sense. The chain modules of the standard simplices, resp. the Stasheff polytopes, assemble to give an operad. We show that these operads are dual of each other in the operadic sense. The main result of this paper is to show that they are both Koszul operads. As a consequenc… ▽ More We show that the family of standard simplices and the family of Stasheff polytopes are dual to each other in the following sense. The chain modules of the standard simplices, resp. the Stasheff polytopes, assemble to give an operad. We show that these operads are dual of each other in the operadic sense. The main result of this paper is to show that they are both Koszul operads. As a consequence the generating series of the standard simplices and the generating series of the Stasheff polytopes are inverse to each other. The two operads give rise to new types of algebras with 3 generating operations, 11 relations, respectively 7 relations, that we call {\it associative trialgebras} and {\it dendriform trialgebras} respectively. The free dendriform trialgebra, which is based on planar trees, has an interesting Hopf algebra structure, which will be dealt with in another paper. Similarly the family of cubes gives rise to an operad which happens to be self-dual for Koszul duality. △ Less

Submitted 6 May, 2002; originally announced May 2002.

Comments: 29 pages

MSC Class: 18D50; 17D99; 52Bxx; 55Nxx; 55U10

Journal ref: Homotopy theory: relations with algebraic geometry, group cohomology, and algebraic $K$-theory, 369--398, Contemp. Math., 346, Amer. Math. Soc., Providence, RI, 2004.

Arithmetree

Authors: Jean-Louis Loday

Abstract: We construct an addition and a multiplication on the set of planar binary trees, closely related to addition and multiplication on the integers. This gives rise to a new kind of (noncommutative) arithmetic theory. The price to pay for this generalization is that, first the addition is not commutative, second the multiplication is distributive with the addition only on the left. This algebraic st… ▽ More We construct an addition and a multiplication on the set of planar binary trees, closely related to addition and multiplication on the integers. This gives rise to a new kind of (noncommutative) arithmetic theory. The price to pay for this generalization is that, first the addition is not commutative, second the multiplication is distributive with the addition only on the left. This algebraic structure is the "exponent part" of the free dendriform algebra on one generator, a notion related to several other types of algebras. In the second part we extend this theory to all the planar trees. Then it is related to the free dendriform trialgebra as constructed in Loday-Ronco's paper "Une dualite' entre simplexes standards et polytopes de Stasheff". △ Less

Submitted 4 December, 2001; originally announced December 2001.

Comments: 34 pages

MSC Class: 05C05; 06A07; 11A99

Journal ref: J. of Algebra 258 (1), (2002), 275-309.

A duality between standard simplices and Stasheff polytopes

Authors: Jean-Louis Loday, Maria O. Ronco

Abstract: We show that the family of chain modules over the standard simplices can be equipped with an operad structure. Similarly, the family of cochain modules of the Stasheff polytopes can be equipped with an operad structure. We first show that these operads are Koszul dual to each other, and second that they are both Koszul operads. The algebras over the standard simplices operad, called associativ… ▽ More We show that the family of chain modules over the standard simplices can be equipped with an operad structure. Similarly, the family of cochain modules of the Stasheff polytopes can be equipped with an operad structure. We first show that these operads are Koszul dual to each other, and second that they are both Koszul operads. The algebras over the standard simplices operad, called associative trialgebras, are defined by 3 operations and 11 relations. The algebras over the Stasheff polytopes operad, called dendriform trialgebras, are defined by 3 operations and 7 relations. △ Less

Submitted 12 February, 2001; originally announced February 2001.

Comments: In french, english abridged version, 8 pages

MSC Class: 05A19; 17A32; 17D99; 55Uxx

Journal ref: C. R. Acad. Sci. Paris Sér. I Math. 333 (2001), no. 2, 81--86

Order structure on the algebra of permutations and of planar binary trees

Authors: Jean-Louis Loday, Maria O. Ronco

Abstract: In "Hopf algebra of the planar binary trees", Adv. Math. 139 (1998), no. 2, 293--309, we constructed by induction a graded associative product on the vector space generated by the planar binary trees (resp. the permutations). In the present paper we prove an explicit formula for this product in terms of a partial order on the set of planar binary trees (resp. the weak Bruhat order on the symmetr… ▽ More In "Hopf algebra of the planar binary trees", Adv. Math. 139 (1998), no. 2, 293--309, we constructed by induction a graded associative product on the vector space generated by the planar binary trees (resp. the permutations). In the present paper we prove an explicit formula for this product in terms of a partial order on the set of planar binary trees (resp. the weak Bruhat order on the symmetric groups). △ Less

Submitted 8 February, 2001; originally announced February 2001.

Comments: 19 pages

MSC Class: 06A11; 16S99

Journal ref: J. Algebraic Combin. 15 (2002), no. 3, 253-270.

Dialgebras

Authors: Jean-Louis Loday

Abstract: There is a notion of non-commutative Lie algebra called "Leibniz algebra", which is characterized by the condition: left bracketing is a derivation. The purpose of this article is to introduce and study a new notion of algebra, called "associative dialgebra", which is, to the Leibniz algebras, what associative algebras are to Lie algebras. An associative dialgebra is a vector space equipped with… ▽ More There is a notion of non-commutative Lie algebra called "Leibniz algebra", which is characterized by the condition: left bracketing is a derivation. The purpose of this article is to introduce and study a new notion of algebra, called "associative dialgebra", which is, to the Leibniz algebras, what associative algebras are to Lie algebras. An associative dialgebra is a vector space equipped with two associative operations satisfying three more conditions. For instance, any differential associative algebra gives rise to a dialgebra. In this article we construct and study a (co)homology theory for associative dialgebras. The surprizing fact, in the construction of the chain complex, is the appearance of the combinatorics of planar binary trees (grafting and nesting). The principal result about this homology theory is its vanishing on free associative dialgebras. The Koszul dual (in the sense of Ginzburg and Kapranov) of the operad of associative dialgebras is the operad of "dendriform algebras". The dendriform algebras are characterized by two operations satisfying three linear conditions. The sum of these two operations defines a new operation which is associative. The free dendriform algebra can be described in terms of planar binary trees. As a consequence we give an explicitly description of strong homotopy associative dialgebras. This paper is part of a long-standing project whose ultimate aim is to study periodicity phenomenons in algebraic K-theory, as explained in ``Overview on Leibniz algebras, dialgebras and their homology". Fields Inst. Commun. 17 (1997), 91--102. △ Less

Submitted 7 February, 2001; originally announced February 2001.

Comments: 61 pages

MSC Class: 16Y99; 17A32; 18G60

Journal ref: in "Dialgebras and related operads", 7--66, Lecture Notes in Math., 1763, Springer, Berlin 2001.