Algebraic structures defined on $m$-Dyck paths

TL;DR

This paper introduces a new algebraic operad based on $m$-Dyck paths, establishing its structure, relation to the $m$-Tamari lattice, and connections to existing algebraic frameworks like dendriform and associative algebras.

Contribution

It defines a non-symmetric algebraic operad on $m$-Dyck paths, relates it to the $m$-Tamari lattice, and explores its algebraic properties and functorial relationships.

Findings

Defined binary products on $m$-Dyck paths

Established a Hopf operad structure for $ ext{Dy}^m$

Constructed functors between $ ext{Dy}^m$ and $ ext{Dy}^r$ algebras

Abstract

We introduce natural binary set-theoretical products on the set of all $m$-Dyck paths, which led us to define a non-symmetric algebraic operad $\Dy^m$, described on the vector space spanned by $m$-Dyck paths. Our construction is closely related to the $m$-Tamari lattice, so the products defining $\Dy^m$ are given by intervals in this lattice. For $m=1$, we recover the notion of dendriform algebra introduced by J.-L. Loday in \cite{Lod}, and there exists a natural operad morphism from the operad ${\mbox {\it Ass}}$ of associative algebras into the operad $\Dy^m$, consequently $\Dy ^m$ is a Hopf operad. We give a description of the coproduct in terms of $m$-Dyck paths in the last section. As an additional result, for any composition of $m+1\geq 2$ with $r+1$ parts, we get a functor from the category of $\Dy ^m$ algebras into the category of $\Dy ^r$ algebras.