[論文レビュー] The representation of the symmetric group on m-Tamari intervals

Mireille Bousquet‐Mélou, Guillaume Chapuy+1 more|Feb 27, 2012

Advanced Combinatorial Mathematics参考文献 30被引用数 4

ひとこと要約

本稿は、標数 $\mathfrak{S}_n$ がラベル付き $m$-Tamari区間に作用する表現の表現を特徴づけ、その特徴関数について明示的な公式を証明する。$m$-Tamari区間の再帰的分解と、差分と微分を含む洗練された母関数を用いて、表現の次元—すなわち、このような区間の数—が $(m+1)^n (mn+1)^{n-2}$ であることを導出する。これは、Bergeron と 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 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.

研究の動機と目的

• ラベル付き $m$-Tamari区間に作用する対称群 $\mathfrak{S}_n$ の特徴関数を、Bergeron と Préville-Ratelle が提示した予想に従って特徴づけること。
• 表現の次元に関する長年の予想を解き、これはサイズ $n$ のラベル付き $m$-Tamari区間の数を数えるものである。
• 変数 $x$, $y$ および $y$ に関する微分を含む、Frobenius級数を符号化する洗練された母関数を開発すること。
• 反復差分と微分を含む非自明な関数方程式を解き、カタログ的変数法の技法を一般化すること。

提案手法

• 著者らは、$m$-Tamari区間の再帰的分解を用いて、洗練された母関数 $F^{(m)}(t, \mathbf{1}; x, y)$ の関数方程式を導出する。
• 母関数は、$y$ に関する微分と $x$ における反復差分を含む偏微分方程式を満たし、格子構造とラベルの置換の両方を反映している。
• 彼らは、$m$-ボールォット経路、ブリッジ、深さ順路を表す形式的べき級数 $M(z)$, $L(z)$, $K(z)$ を用いたパラメータ化を導入する。
• 解は、パラメータ化を既知の組合せ的対象と関連付けることにより得られ、母関数の二つの表現の等価性を検証することで得られる。
• 証明は、格子経路と循環補題による系列の組合せ的解釈に依拠し、母関数間の恒等式を確立する。
• 重要なステップとして、代数的変形と級数の逆数を用いて関数方程式を閉形式の表現に変換する。

実験結果

リサーチクエスチョン

• RQ1 対称群 $\mathfrak{S}_n$ がラベル付き $m$-Tamari区間に作用する表現の特徴関数は何か？ また、対角コインバリアント空間への表現とどのように関係するか？
• RQ2 ラベル付き $m$-Tamari区間に作用する $\mathfrak{S}_n$-表現の次元は何か？ 予想された公式 $(m+1)^n (mn+1)^{n-2}$ と一致するか？
• RQ3 Frobenius級数を符号化する関数方程式を、カタログ的変数を含む組合せ的母関数を用いて導出し、解くことは可能か？
• RQ4 $m$-Tamari区間の再帰的構造とラベルへの $\mathfrak{S}_n$ の作用は、母関数の閉形式表現をどのように導くか？
• RQ5 次元の公式とパーキング関数の間に何らかの関係があるか、たとえ証明が双対的でないにしても？

主な発見

• ラベル付き $m$-Tamari区間に作用する $\mathfrak{S}_n$-表現の特徴関数は、サイクル型 $\lambda$ の置換において $ (mn+1)^{\ell-1} $ に等しく、ここで $\ell$ は $\lambda$ のサイクル数である。
• 表現の次元、すなわちサイズ $n$ のラベル付き $m$-Tamari区間の数は $ (m+1)^n (mn+1)^{n-2} $ に等しく、これは Bergeron と Préville-Ratelle の予想を確認するものである。
• 洗練された母関数 $F^{(m)}(t, \mathbf{1}; x, 1)$ は、$u'$ と $z'$ を用いた閉形式の表現を有し、$ \frac{(1+u')(1+z'u')}{u'(1-z')^{m+2}} \left( \frac{1+u'}{(1+z'u')^{m+1}} - 1 \right) $ として与えられる。
• 母関数の関数方程式は、$m$-ボールォット経路、ブリッジ、深さ順路を符号化する $M(z)$, $L(z)$, $K(z)$ を含む、新規のパラメータ化により解かれる。
• 解は、$M(z)$ を用いたパラメータ化と $u'$, $z'$ を用いたパラメータ化の等価性を示すことにより検証される。ここで $M = 1/(1 - z')$ かつ $u = u'(1 - z')/(1 + u'z')$ である。
• この手法により、$\mathfrak{S}_n$ の表現理論と格子経路の組合せ論の間の関係が確立され、特に差分と微分を含む母関数の応用を通じて実現される。