[論文レビュー] A Combinatorial Formula for the Character of the Diagonal Coinvariants

J. Haglund, Mark Haiman+3 more|ArXiv.org|Oct 28, 2003

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

ひとこと要約

本稿では、対称関数 $\nabla e_n(z)$ の組合せ的公式を提案する。この関数は、$S_n$-加群としての対角コインバリアント環 $R_n$ の特徴を符号化している。ルビン・テーブルックスの生成関数とマクドナルド多項式の理論を用いて、この公式が対称的かつシュール正であることを証明し、$q,t$-アナログのカタラン数およびシュレーディンガー経路を介して、パーキング関数および高次の $\nabla^m e_n(z)$ の組合せ的解釈が期待されるという予想を支持する。

ABSTRACT

Let R_n be the ring of coinvariants for the diagonal action of the symmetric group S_n. It is known that the character of R_n as a doubly-graded S_n module can be expressed using the Frobenius characteristic map as abla e_n, where e_n is the n-th elementary symmetric function, and abla is an operator from the theory of Macdonald polynomials. We conjecture a combinatorial formula for abla e_n and prove that it has many desirable properties which support our conjecture. In particular, we prove that our formula is a symmetric function (which is not obvious) and that it is Schur positive. These results make use of the theory of ribbon tableau generating functions of Lascoux, Leclerc and Thibon. We also show that a variety of earlier conjectures and theorems on abla e_n are special cases of our conjecture. Finally, we extend our conjectures on abla e_n and several of the results supporting them to higher powers abla^m e_n.

研究の動機と目的

• 対角コインバリアント環 $R_n$ のフロベニウス特徴の組合せ的公式 $\nabla e_n(z)$ を提供すること。これは、基本対称関数 $e_n$ にマクドナルド作用素 $\nabla$ を作用させたものとして知られている。
• 提案された公式が、その組合せ的定義から自明でないが、対称的かつシュール正であることを証明すること。
• 既知の $q,t$-カタランおよびシュレーディンガー経路の生成関数に関する結果を拡張し、$\nabla^m e_n(z)$ に対する公式を一般化すること。
• Garsia-Haglundの $C_n(q,t)$ の公式およびHaglund-Loehrの $R_n$ のヒルベルト系列 ${\rm Hilb}(R_n;q,t)$ に関する予想を統合・拡張すること。
• Kazhdan-Lusztig多項式およびプレシスティック置換の文脈において、$q,t$-対称性および特殊化恒等式に関する未解決問題を探索すること。

提案手法

• 著者らは、$n$ の分割 $\nu$ とそれより小さい分割 $\nu^{(0)}$ を用いたスケル形状 $\nu/\nu^{(0)}$ 上の半標準テーブルックスを用いて、$d_{\text{inv}}^m$ 統計量に基づく重みをもつ組合せ的公式 $D_n(z;q,t)$ を定義する。
• Lascoux, Leclerc, Thibon が開発したルビン・テーブルックスの生成関数理論を用いて、この公式が対称的であることを証明する。これは、ルビン・テーブルックスの生成関数が $q,t$ に関して対称的であるという事実に依拠する。
• シュール正性は、[20] で示されたように、Kazhdan-Lusztig多項式の解釈を通じて確立されるが、シュール展開の直接的な組合せ的解釈は未解決のままである。
• $\nabla^m e_n(z)$ への公式の拡張は、テーブルックス上の一般化された $d_{\text{inv}}^m$ 統計量を用いてなされ、$m=1$ のとき $D_n(z;q,t)$ に還元される予想される公式 $D_n^{(m)}(z;q,t)$ が提示される。
• 著者らは、公式が $D_n(z;q,t) = D_n(z;t,q)$ のような重要な恒等式を満たすことを証明し、$D_n^{(m)}(z;q,q^{-1}) = q^{-m\binom{n}{2}} \frac{e_n[Z[mn+1]_q]}{[mn+1]_q}$ も証明する。これは、$t=q^{-1}$ における $\nabla^m e_n(z)$ の既知の評価と一致する。
• スケル形状 $(\nu + (1^n))/\nu$ の細胞と列型テーブルックス $\boldsymbol{\nu}$ の系列の要素との間の双対写像を構成し、$mn+1$ を法とする内容オフセットを定義することで、$d_{\text{inv}}^m$ 統計量が調整済み内容の差分条件と等価であることを示す。

実験結果

リサーチクエスチョン

• RQ1 提案された組合せ的公式 $D_n(z;q,t)$ は $q$ と $t$ に関して対称的か？
• RQ2 この公式はシュール正であり、シュール関数の非負整数係数の組み合わせに正しく展開されるか？
• RQ3 一般化された公式 $D_n^{(m)}(z;q,t)$ は、既知の特殊化恒等式 $D_n^{(m)}(z;q,q^{-1}) = q^{-m\binom{n}{2}} \frac{e_n[Z[mn+1]_q]}{[mn+1]_q}$ を満たすか？
• RQ4 $D_n(z;q,t)$ は $q,t$-対称性 $D_n(z;q,t) = D_n(z;t,q)$ を満たすが、組合せ的証明はまだ知られていない。
• RQ5 $D_n^{(m)}(z;q,t)$ のシュール正性は、Kazhdan-Lusztig多項式による代数的解釈に限られるのか、それとも組合せ的証明が可能か？

主な発見

• 提案された公式 $D_n(z;q,t)$ は、Lascoux, Leclerc, Thibon のルビン・テーブルックス生成関数理論を用いて、$q$ と $t$ に関して対称的であることが証明された。
• この公式はシュール正である。つまり、シュール基底への展開の係数が $\natnum[q,t]$ に属する。これは、Kazhdan-Lusztig多項式の解釈から得られる非自明な性質である。
• この公式は、Garsia-Haglundの $C_n(q,t) = \braket{\nabla e_n, e_n}$ の公式、Haglund-Loehrの $R_n$ のヒルベルト系列 ${\rm Hilb}(R_n;q,t) = \braket{\nabla e_n, e_1^n}$ に関する予想、およびシュレーディンガー経路を用いた $\braket{\nabla e_n, h_d e_{n-d}}$ に関する予想を一般化する。
• 高次の $\nabla^m e_n(z)$ に対して、公式 $D_n^{(m)}(z;q,t)$ は、$D_n^{(m)}(z;q,q^{-1}) = q^{-m\binom{n}{2}} \frac{e_n[Z[mn+1]_q]}{[mn+1]_q}$ を満たすと予想され、これは既知の $\nabla^m e_n(z)$ の $t=q^{-1}$ における評価と一致する。
• $d_{\text{inv}}^m$ 統計量が、$mn+1$ を法とする調整済み内容の差分条件と等価であることが示され、テーブルックスとスケル形状の細胞との間の双対写像が、反転統計量を保存するように構築された。
• 公式 $D_n^{(m)}(z;q,t)$ は、特殊な場合において $q \to t$ および $t \to q$ に対して対称的であることが証明された。しかし、$q,t$-対称性は、特殊化恒等式からの強い証拠があるものの、未解決の問題のままである。