[Paper Review] Quadri-algebras

Marcelo Aguiar, Jean-Louis Loday|arXiv (Cornell University)|Sep 9, 2003

Advanced Topics in Algebra46 citations

TL;DR

This paper introduces quadri-algebras—associative algebras whose multiplication splits into four coherent operations. It shows that a pair of commuting Baxter operators on an associative algebra induces a canonical quadri-algebra structure, with the key result that the endomorphism algebra End(A) of an infinitesimal bialgebra A naturally carries such a structure via convolution operators β(T) = T∗id and γ(T) = id∗T.

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 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: $\beta(T)=T\ast\id$ and $\gamma(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.

Motivation & Objective

• To define and formalize the algebraic structure of quadri-algebras as associative algebras with four coherent multiplication operations.
• To establish a general construction of quadri-algebras from commuting Baxter operators on associative algebras.
• To demonstrate that the endomorphism algebra End(A) of an infinitesimal bialgebra A naturally inherits a quadri-algebra structure.
• To explore the properties of commutative quadri-algebras and propose conjectures on the free quadri-algebra.

Proposed method

• Define quadri-algebras as associative algebras where the multiplication is the sum of four operations satisfying specific coherence relations.
• Utilize the concept of Baxter operators—linear operators satisfying the Baxter identity—to generate quadri-algebra structures.
• Construct the quadri-algebra structure on End(A) using the convolution of endomorphisms, with β(T) = T∗id and γ(T) = id∗T.
• Show that β and γ commute when A is an infinitesimal bialgebra, enabling the canonical quadri-algebra structure on End(A).
• Analyze the algebraic properties of the resulting quadri-algebra, including its compatibility with tensor products of dendriform algebras.
• Present examples such as the shuffle algebra and the algebra of permutations as instances of quadri-algebras.

Experimental results

Research questions

• RQ1 How can an associative algebra be decomposed into four coherent operations to form a quadri-algebra structure?
• RQ2 Under what conditions do two commuting Baxter operators on an associative algebra induce a quadri-algebra structure?
• RQ3 What is the natural quadri-algebra structure on the endomorphism algebra End(A) when A is an infinitesimal bialgebra?
• RQ4 Which known algebras, such as the shuffle algebra or permutation algebra, can be realized as quadri-algebras?
• RQ5 What are the structural properties of commutative quadri-algebras, and how can the free quadri-algebra be characterized?

Key findings

• The endomorphism algebra End(A) of an infinitesimal bialgebra A naturally carries a quadri-algebra structure induced by the convolution operators β(T) = T∗id and γ(T) = id∗T.
• The operators β and γ commute on End(A), which is essential for the canonical construction of the quadri-algebra structure.
• The shuffle algebra and the algebra of permutations are shown to be examples of quadri-algebras.
• Tensor products of dendriform algebras yield further examples of quadri-algebras.
• A pair of commuting Baxter operators on any associative algebra gives rise to a canonical quadri-algebra structure on the underlying space.
• The paper formulates conjectures on the structure of the free quadri-algebra, suggesting directions for future research.