Pluriassociative algebras I: The pluriassociative operad

TL;DR

This paper introduces a new family of algebras called gamma-pluriassociative algebras, generalizing diassociative algebras, and thoroughly studies their operads, properties, and free objects.

Contribution

It generalizes diassociative algebras to gamma-pluriassociative algebras, providing their operads, presentations, Hilbert series, and demonstrating their Koszul property.

Findings

Gamma-pluriassociative operads are Koszul.

Explicit presentations and generators for the operads.

Construction of free gamma-pluriassociative algebras.

Abstract

Diassociative algebras form a categoy 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 $\gamma$ of diassociative algebras, called $\gamma$-pluriassociative algebras, so that $1$-pluriassociative algebras are diassociative algebras. Pluriassociative algebras are vector spaces endowed with $2\gamma$ associative binary operations satisfying some relations. We provide a complete study of the $\gamma$-pluriassociative operads, the underlying operads of the category of $\gamma$-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 $\gamma$-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.