The representation of the symmetric group on $m$-Tamari intervals (conference version) - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Discrete Mathematics and Theoretical Computer Science Année : 2012

The representation of the symmetric group on $m$-Tamari intervals (conference version)

Résumé

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 $\mathcal{T}{_n}^{(m)}$, which generalizes the usual Tamari lattice $\mathcal{T}n$ obtained when $m=1$. This lattice was introduced by F. Bergeron in connection with the study of diagonally coinvariant spaces in three sets of $n$ variables. The representation of the symmetric group $\mathfrak{S}_n$ on these spaces is conjectured to be closely related to the natural representation of $\mathfrak{S}_n$ on (labelled) intervals of the $m$-Tamari lattice studied in this paper. An interval $[P,Q$] of $\mathcal{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 $\mathfrak{S}_n$ acts on labelled intervals of $\mathcal{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 $\mathfrak{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. The form of this equation is highly non-standard: it 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.
Fichier principal
Vignette du fichier
character.pdf (166.29 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00719676 , version 1 (20-07-2012)

Licence

Identifiants

Citer

Mireille Bousquet-Mélou, Guillaume Chapuy, Louis-François Préville-Ratelle. The representation of the symmetric group on $m$-Tamari intervals (conference version). 24th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2012), 2012, Nagoya, Japan. pp.351-353, ⟨10.46298/dmtcs.3045⟩. ⟨hal-00719676⟩

Collections

UNIV-PARIS7 CNRS
266 Consultations
556 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More