[論文レビュー] A $q$-deformation of an algebra of Klyachko and Macdonald's reduced word formula

Philippe Nadeau, Vasu Tewari|arXiv (Cornell University)|Jun 7, 2021

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

ひとこと要約

本稿は、クライアフコの研究およびマクドナルドの削減語式に関連する代数的構造の q-変形を導入し、シュール関数とフック長を用いて、オイラー数の q-アナログを確立する。主な結果は、特定のテーブルックスの q-生成関数を q-フック長とメジャー指数を用いて表現し、古典的なオイラー数の恒等式を、標準ヤングテーブルックスによる組合せ的解釈を伴う q-変形された設定に一般化する。

ABSTRACT

There is a striking similarity between Macdonald's reduced word formula and the image of the Schubert class in the cohomology ring of the permutahedral variety $\mathrm{Perm}_n$ as computed by Klyachko. Toward understanding this better, we undertake an in-depth study of a $q$-deformation of the $\mathbb{S}_n$-invariant part of the rational cohomology ring of $\mathrm{Perm}_n$, which we call the $q$-Klyachko algebra. We uncover intimate links between expansions in the basis of squarefree monomials in this algebra and various notions in algebraic combinatorics, thereby connecting seemingly unrelated results by finding a common ground to study them. Our main results are as follows. 1) A $q$-analog of divided symmetrization ($q$-DS) using Yang-Baxter elements in the Hecke algebra. It is a linear form that picks up coefficients in the squarefree basis. 2) A relation between $q$-DS and the ideal of quasisymmetric polynomials involving work of Aval--Bergeron--Bergeron. 3) A family of polynomials in $q$ with nonnegative integral coefficients that specialize to Postnikov's mixed Eulerian numbers when $q=1$. We refer to these new polynomials as remixed Eulerian numbers. For $q>0$, their normalized versions occur as probabilities in the internal diffusion limited aggregation (IDLA) stochastic process. 4) A lift of Macdonald's reduced word identity in the $q$-Klyachko algebra. 5) The Schubert expansion of the Chow class of the standard split Deligne--Lusztig variety in type $A$, when $q$ is a prime power.

研究の動機と目的

• 古典的なオイラー数の恒等式を、代数的および組合せ的構造を用いて q-変形された設定に拡張すること。
• q-フック長を含む新しい生成関数を用いて、マクドナルドの削減語式の q-アナログを提供すること。
• 特定の対称関数の評価を q-パラメータを含むように一般化し、それらを標準ヤングテーブルックスにおけるメジャー指数統計と結びつけること。
• シューベルト多項式およびキアスシンメトリック関数の文脈において、区間性質の q-変形された版を確立すること。

提案手法

• 式 (LABEL:eq:awq_formula) からの $ a_w(q) $ の別表現を用い、前もって示された命題を適用して主要な恒等式を導出する。
• 標準ヤングテーブルックス $ \mathrm{SYT}(\lambda, m-1) $ の和に、メジャー指数 $ \mathrm{maj}(T) $ を重みとして、q の累乗でスケーリングする。
• 各セル $ (i,j) \in \lambda $ に対して、q-フック長 $ h(i,j)_q = [\lambda_i + \lambda_j' - i - j + 1]_q $ を組み込む。
• 生成関数を既知の q-アナログ恒等式に一致させるために、変換 $ q^{-N(\lambda)} $ を適用する。
• 結果 [NT20, Corollary 6.18] に依拠し、m-グラスマンニアン置換の文脈において q-パラメータを含む枠組みを拡張する。
• 区間性質の定義を用いて、$ \pi $ もしくは $ \pi^+ $ による像が基底 $ B $ もしくは $ B^+ $ においてのみ区間的サポートを持つ多項式を特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 マクドナルドの古典的削減語式は、どのように q-パラメータを含むように一般化できるか？
• RQ2 与えられた形状の標準ヤングテーブルックスにおけるメジャー指数生成関数から生じるオイラー数の q-アナログは何か？
• RQ3 シューベルト多項式における区間性質は、q-変形された設定に拡張可能か？また、キアスシンメトリック関数の構造にどのような含意を持つのか？
• RQ4 クライアフコの代数の q-変形は、フック長の公式およびメジャー指数統計とどのように関係するか？

主な発見

• 生成関数 $ A_{(c_1,\dots,c_r)}(q) $ は、$ q^{-N(\lambda)} \sum_{T \in \mathrm{SYT}(\lambda, m-1)} q^{\mathrm{maj}(T)} \prod_{(i,j) \in \lambda} h(i,j)_q $ として表現され、オイラー数の q-アナログを提供する。
• 例として $ (c_1,\dots,c_5) = (0,1,2,1,1) $ を取り上げると、公式により $ A_{01211}(q) = q^2(1+q)^2(1+q+q^2)^2(1+q^2) $ が得られ、q-変形が確認される。
• q-フック長 $ h(i,j)_q $ は $ [\lambda_i + \lambda_j' - i - j + 1]_q $ として定義され、古典的フック長を q-ケースに一般化する。
• 結果は、m-グラスマンニアン置換、標準ヤングテーブルックス、および q-特化された対称関数の間の強い関係を確立する。
• 特定の多項式の $ \pi $ による像に対して区間性質が成り立つことが示され、キアスシンメトリック関数およびシューベルト多項式におけるより深い構造的パターンを示唆する。