[論文レビュー] Higher Trivariate Diagonal Harmonics via generalized Tamari Posets

François Bergeron, Louis-François Préville-Ratelle|arXiv (Cornell University)|May 18, 2011

Algebraic structures and combinatorial models参考文献 13被引用数 31

ひとこと要約

本稿は一般化された $r$-Tamari 位置関係を導入し、三変数の対角調和空間 $\mathscr{H}_n^{(r)}$ の組合せ的枠組みを提供することで、シャッフル予想を拡張する。$r$-パークイング関数と $r$-Dyck パth を用いて、ヒルベルト級数およびフロベニウス特性の新たな公式を確立し、次元および階数付きキャラクターの明示的な組合せ的表現を導く。特に、第3のパラメータ $q_3$ のための欠落している統計量 $ u(f,\alpha)$ を含む予想的な公式を提示する。主な貢献は、一般化された位置関係構造と対称関数の恒等式を用いた、3変数の高次対角調和の精密な組合せ的モデルである。

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 formulas.

研究の動機と目的

• 高次三変数対角調和空間 $\mathscr{H}_n^{(r)}$ の階数付きフロベニウス特性の組合せ的記述を提供すること。
• 一般化された $r$-Tamari 位置関係と $r$-パークイング関数を導入することで、シャッフル予想を三変数の場合に拡張すること。
• $\mathscr{H}_n^{(r)}$ 及びその交代的成分 $\mathscr{A}_n^{(r)}$ のヒルベルト級数および次元の明示的公式を導出すること。
• 対角調和、対称関数、および Dyck パth とパークイング関数の組合せ論的構造との間の構造的関係を特定すること。

提案手法

• 三つの変数集合における次数 $1 \leq |\alpha| \leq n$ の極化された冪和微分作用素の共同核として空間 $\mathscr{H}_n^{(r)}$ を定義する。
• $r$-Dyck パスと $r$-パークイング関数を定義し、それぞれの集合を $\mathcal{D}_n^{(r)}$ および $\mathcal{PF}^{(r)}(n)$ で表す。
• フロベニウス特性を用いて、$\mathscr{H}_n^{(r)}$ における対称群の作用を、$r$-Dyck パスの組成に付随する対称関数 $h_{\mathbf{co}(\beta)}(\mathbf{w})$ および $e_{\mathbf{co}(\beta)}(\mathbf{w})$ と関連付ける。
• パスの組成の多項係数を用いて、恒等式 $(rn+1)^{n-1} = \sum_{\beta \in \mathcal{D}_n^{(r)}} \binom{n}{\mathbf{co}(\beta)}$ を確立する。
• 第3のパラメータ $q_3$ のための欠落している統計量 $\nu(f, \alpha)$ を含む、全生成関数 $\mathscr{H}_n^{(r)}(\mathbf{w}; q_1, q_2, q_3)$ の予想的公式を提示する。
• 単項式 $X^A$ における対称群の作用と次数ベクトル $\deg(X^A)$ を用いて、$r$-Tamari 位置関係に適合する階数付きモジュール構造を定義する。

実験結果

リサーチクエスチョン

• RQ1 一般化された位置関係とパークイング関数を用いて、三変数対角調和空間 $\mathscr{H}_n^{(r)}$ をどのように組合せ的に記述できるか？
• RQ2 $r$-Dyck パスとその組成を用いた $\mathscr{H}_n^{(r)}$ のヒルベルト級数およびフロベニウス特性の正確な形は何か？
• RQ3 第3のパラメータ $q_3$ のための新しい統計量 $\nu(f, \alpha)$ を導入することで、シャッフル予想を三変数に拡張できるか？
• RQ4 次元公式 $\dim \mathscr{H}_n^{(r)} = (r+1)^n (rn+1)^{n-2}$ の組合せ的解釈は何か？
• RQ5 一般化された $r$-Tamari 位置関係は、対角調和の構造と対称関数の恒等式とどのように関係しているか？

主な発見

• $\mathscr{H}_n^{(r)}$ の次元は $\dim \mathscr{H}_n^{(r)} = (r+1)^n (rn+1)^{n-2}$ で与えられ、二変数の場合を一般化する。
• 交代的成分 $\mathscr{A}_n^{(r)}$ の次元は $\dim \mathscr{A}_n^{(r)} = \frac{r+1}{n(rn+1)} \binom{(r+1)^2 n + r}{n-1}$ で与えられ、カタラン数の公式を拡張する。
• $\mathscr{H}_n^{(r)}$ の $\mathbf{z}$-自由成分の非階数付きフロベニウス特性は $\sum_{\beta \in \mathcal{D}_n^{(r)}} e_{\mathbf{co}(\beta)}(\mathbf{w})$ であり、$r$-パークイング関数における符号反転作用と関連づけられる。
• 恒等式 $(rn+1)^{n-1} = \sum_{\beta \in \mathcal{D}_n^{(r)}} \binom{n}{\mathbf{co}(\beta)}$ が成り立ち、$r$-パークイング関数が $r$-Dyck パスにわたってどのように分布するかを反映している。
• 全生成関数 $\mathscr{H}_n^{(r)}(\mathbf{w}; q_1, q_2, q_3)$ の予想的公式が提示され、$\mathrm{dinv}$ 統計量と欠落している $q_3$-統計量 $\nu(f, \alpha)$ を含む。$q_3=0$ に特殊化するとシャッフル予想が回復される。
• $\mathscr{H}_n^{(r)}$ は有限次元であり、全次数 $|\mathbf{d}| \leq \binom{n}{2}$ で階数づけられており、この範囲外では非自明な成分を持たない。