-
A simplicial complex spliting associativity
Authors:
Daniel López,
Louis-François Préville-Ratelle,
Marí a Ronco
Abstract:
We introduce a simplicial object $(\{ \Dy^m\}_{m\geq 0}, {\mathbb F}_i, {\mathbb S}_j)$ in the category of non-symmetric algebraic operads, satisfying that $\Dy^0$ is the operad of associative algebras and $\Dy^1$ is J.-L. Loday\rq s operad of dendriform algebras. The dimensions of the operad $\Dy^m$ are given by the Fuss-Catalan numbers.
Given a family of partially ordered sets…
▽ More
We introduce a simplicial object $(\{ \Dy^m\}_{m\geq 0}, {\mathbb F}_i, {\mathbb S}_j)$ in the category of non-symmetric algebraic operads, satisfying that $\Dy^0$ is the operad of associative algebras and $\Dy^1$ is J.-L. Loday\rq s operad of dendriform algebras. The dimensions of the operad $\Dy^m$ are given by the Fuss-Catalan numbers.
Given a family of partially ordered sets ${\bold P}=\{P_n\}_{n\geq 1}$ we show that, under certain conditions, the vector space spanned by the set of $m$-simpleces of ${\bold P}$ is a $\Dy^m$ algebra. This construction, applied to certain combinatorial Hopf algebras, whose associative product comes from a dendriform structure, provides examples of $\Dy^m$ algebras.
△ Less
Submitted 6 June, 2019;
originally announced June 2019.
-
The enumeration of generalized Tamari intervals
Authors:
Wenjie Fang,
Louis-François Préville-Ratelle
Abstract:
Let $v$ be a grid path made of north and east steps. The lattice $\rm{T{\scriptsize AM}}(v)$, based on all grid paths weakly above $v$ and sharing the same endpoints as $v$, was introduced by Préville-Ratelle and Viennot (2014) and corresponds to the usual Tamari lattice in the case $v=(NE)^n$. Our main contribution is that the enumeration of intervals in $\rm{T{\scriptsize AM}}(v)$, over all $v$…
▽ More
Let $v$ be a grid path made of north and east steps. The lattice $\rm{T{\scriptsize AM}}(v)$, based on all grid paths weakly above $v$ and sharing the same endpoints as $v$, was introduced by Préville-Ratelle and Viennot (2014) and corresponds to the usual Tamari lattice in the case $v=(NE)^n$. Our main contribution is that the enumeration of intervals in $\rm{T{\scriptsize AM}}(v)$, over all $v$ of length $n$, is given by $\frac{2 (3n+3)!}{(n+2)! (2n+3)!}$. This formula was first obtained by Tutte(1963) for the enumeration of non-separable planar maps. Moreover, we give an explicit bijection from these intervals in $\rm{T{\scriptsize AM}}(v)$ to non-separable planar maps.
△ Less
Submitted 5 October, 2016; v1 submitted 18 November, 2015;
originally announced November 2015.
-
Algebraic structures defined on $m$-Dyck paths
Authors:
Daniel López N.,
Louis-François Préville-Ratelle,
María Ronco
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…
▽ More
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.
△ Less
Submitted 3 October, 2015; v1 submitted 5 August, 2015;
originally announced August 2015.
-
An extension of Tamari lattices
Authors:
Louis-François Préville-Ratelle,
Xavier Viennot
Abstract:
For any finite path $v$ on the square grid consisting of north and east unit steps, starting at (0,0), we construct a poset Tam$(v)$ that consists of all the paths weakly above $v$ with the same number of north and east steps as $v$. For particular choices of $v$, we recover the traditional Tamari lattice and the $m$-Tamari lattice.
Let $\overleftarrow{v}$ be the path obtained from $v$ by readin…
▽ More
For any finite path $v$ on the square grid consisting of north and east unit steps, starting at (0,0), we construct a poset Tam$(v)$ that consists of all the paths weakly above $v$ with the same number of north and east steps as $v$. For particular choices of $v$, we recover the traditional Tamari lattice and the $m$-Tamari lattice.
Let $\overleftarrow{v}$ be the path obtained from $v$ by reading the unit steps of $v$ in reverse order, replacing the east steps by north steps and vice versa. We show that the poset Tam$(v)$ is isomorphic to the dual of the poset Tam$(\overleftarrow{v})$. We do so by showing bijectively that the poset Tam$(v)$ is isomorphic to the poset based on rotation of full binary trees with the fixed canopy $v$, from which the duality follows easily. This also shows that Tam$(v)$ is a lattice for any path $v$. We also obtain as a corollary of this bijection that the usual Tamari lattice, based on Dyck paths of height $n$, is a partition of the (smaller) lattices Tam$(v)$, where the $v$ are all the paths on the square grid that consist of $n-1$ unit steps.
We explain possible connections between the poset Tam$(v)$ and (the combinatorics of) the generalized diagonal coinvariant spaces of the symmetric group.
△ Less
Submitted 14 June, 2014;
originally announced June 2014.
-
The representation of the symmetric group on m-Tamari intervals
Authors:
Mireille Bousquet-Mélou,
Guillaume Chapuy,
Louis-François Préville-Ratelle
Abstract:
An m-ballot path of size n is a path on the square grid consisting of north and east unit steps, starting at (0,0), ending at (mn,n), and never going below the line {x=my}. The set of these paths can be equipped with a lattice structure, called the m-Tamari lattice and denoted by T_n^{m}, which generalizes the usual Tamari lattice T_n obtained when m=1. This lattice was introduced by F. Bergeron i…
▽ More
An m-ballot path of size n is a path on the square grid consisting of north and east unit steps, starting at (0,0), ending at (mn,n), and never going below the line {x=my}. The set of these paths can be equipped with a lattice structure, called the m-Tamari lattice and denoted by T_n^{m}, which generalizes the usual Tamari lattice T_n obtained when m=1. This lattice was introduced by F. Bergeron in connection with the study of diagonal coinvariant spaces in three sets of n variables. The representation of the symmetric group S_n on these spaces is conjectured to be closely related to the natural representation of S_n on (labelled) intervals of the m-Tamari lattice, which we study in this paper. An interval [P,Q] of T_n^{m} is labelled if the north steps of Q are labelled from 1 to n in such a way the labels increase along any sequence of consecutive north steps. The symmetric group S_n acts on labelled intervals of T_n^{m} by permutation of the labels. We prove an explicit formula, conjectured by F. Bergeron and the third author, for the character of the associated representation of S_n. In particular, the dimension of the representation, that is, the number of labelled m-Tamari intervals of size n, is found to be (m+1)^n(mn+1)^{n-2}. These results are new, even when m=1. The form of these numbers suggests a connection with parking functions, but our proof is not bijective. The starting point is a recursive description of m-Tamari intervals. It yields an equation for an associated generating function, which is a refined version of the Frobenius series of the representation. This equation involves two additional variables x and y, a derivative with respect to y and iterated divided differences with respect to x. The hardest part of the proof consists in solving it, and we develop original techniques to do so, partly inspired by previous work on polynomial equations with "catalytic" variables.
△ Less
Submitted 22 July, 2013; v1 submitted 27 February, 2012;
originally announced February 2012.
-
Higher Trivariate Diagonal Harmonics via generalized Tamari Posets
Authors:
F. Bergeron,
L. -F. Preville-Ratelle
Abstract:
We consider the graded $§_n$-modules of higher diagonally harmonic polynomials in three sets of variables (the trivariate case), and show that they have interesting ties with generalizations of the Tamari poset and parking functions. In particular we get several nice formulas for the associated Hilbert series and graded Frobenius characteristic. This also leads to entirely new combinatorial formul…
▽ More
We consider the graded $§_n$-modules of higher diagonally harmonic polynomials in three sets of variables (the trivariate case), and show that they have interesting ties with generalizations of the Tamari poset and parking functions. In particular we get several nice formulas for the associated Hilbert series and graded Frobenius characteristic. This also leads to entirely new combinatorial formulas.
△ Less
Submitted 21 October, 2011; v1 submitted 18 May, 2011;
originally announced May 2011.
