[論文レビュー] Combinatorial $B_n$-analogues of Schubert polynomials

Sergey Fomin, Anatol N. Kirillov|ArXiv.org|Jun 11, 1993

Advanced Combinatorial Mathematics参考文献 2被引用数 21

ひとこと要約

本稿では、超八面体群のnilCoxeter代数における$B_n$-Yang-Baxter方程式の指数的解を用いて、$\goth B^{(n)}_w$と表記される組合せ的$B_n$-類似シューベルト多項式を導入する。これらの多項式は非負の係数をもち、除法差分に関する再帰的関係を満たす（特別な生成子$s_0$を除く）、$B_n$-ブレイドと既約分解を用いた直接的な組合せ的解釈を持つ。主な貢献は、$\goth B^{(n)}_w$の極限として得られる対称関数$H_w$の構成であり、これはシューア$P$-関数を一般化し、非負整数係数の線形結合として示される。

ABSTRACT

Combinatorial $B_n$-analogues of Schubert polynomials and corresponding symmetric functions are constructed from an exponential solution of the $B_n$-Yang-Baxter equation that involves the nilCoxeter algebra of the hyperoctahedral group.

研究の動機と目的

• 対称群（$A_n$）におけるシューベルト多項式の代数的および組合せ的枠組みを、超八面体群（$B_n$）へ拡張すること。
• 超八面体群の$B_n$-Yang-Baxter方程式の指数的解を用いて、$B_n$-類似シューベルト多項式を構成すること。
• $B_n$-ブレイドと既約分解を用いたこれらの多項式の組合せ的解釈を確立すること。
• $\goth B^{(n)}_w$の極限として対称関数$H_w$を定義し、シューア$P$-関数を一般化すること。
• $H_w$がシューア$P$-関数の非負整数係数線形結合であることを証明し、スケーリングされたシューア$P$-関数が$H_w$の特別な場合として現れることを示すこと。

提案手法

• 構成には、形式的変数と結合代数内の要素$h_i(x)$を含む$B_n$-Yang-Baxter方程式の指数的解が用いられる。
• 底面に鏡を持つ半ストリップ内の直線の配置を用いて$B_n$-ブレイドをモデル化し、交差点と反射点にレベル番号と関連する変数を割り当てる。
• 関連する式$\Phi(\mathcal{C})$は、線分の傾きと反射点に依存する$h_i(z)$因子の積として構成される。
• $B_n$-Yang-Baxter方程式は、$h_i(x)$の代数的関係に一貫性をもたらし、ブレイド移動に対して不変性を保証する。
• $\goth B^{(n)}_w$は、$w_0$の標準的既約分解の成分と自然に一対一対応する$n^2$個の因子を含むnilCoxeter代数を用いて定義される。
• 対称関数$H_w$は、変数のゼロパディングを伴う$\goth B^{(n)}_w$の極限として定義され、$H_w$は$\goth B^{(n)}_w$の安定極限である。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、シューベルト多項式を対称群$A_n$から超八面体群$B_n$へ代数的構造を用いて一般化できるか？
• RQ2 シューベルト多項式の$B_n$-類似に一致する組合せ的対象（例：ブレイド、分解）は何か？
• RQ3 $B_n$-シューベルト多項式は、特にシューア$P$-関数とどのように関係しているか？
• RQ4 $H_w$は$\goth B^{(n)}_w$の極限として得られるか？また、その係数の安定性は？
• RQ5 どの$W^{(n)}$の元$w$が、シフトされた形状$\sigma$のスケーリングシューア$P$-関数$P_\sigma$に対して$H_w = P_\sigma$を満たすか？

主な発見

• 組合せ的解釈により、$B_n$-シューベルト多項式$\goth B^{(n)}_w$は非負整数係数をもつことが示された。
• これらの多項式は除法差分に関する再帰的関係を満たすが、特別な生成子$s_0$については例外となる。
• nilCoxeter代数における定義式には$n^2$個の因子が含まれており、これは$w_0$の標準的既約分解の成分と自然に一対一対応する。
• 対称関数$H_w$は極限$\lim_{N\to\infty} \goth B^{(n+N)}(0^N, x_1, \dots, x_n)$として得られ、$N \geq n-1$で安定化する。
• $H_w$はシューア$P$-関数の非負整数係数線形結合である。また、$w = w_\sigma$のとき、$\sigma$がスケーリングされたシフト形状であれば、スケーリングシューア$P$-関数が特別な場合として現れる。
• $H_w = P_\sigma$を満たす$w$の集合は、パターン$321$、$\overline{3}21$、$32\overline{1}$、$\overline{3}2\overline{1}$、$1\overline{2}$、$\overline{1}\overline{2}$を避けるものに一致する。