[論文レビュー] Combinatorial rules for three bases of polynomials

Colleen Ross, Alexander Yong|arXiv (Cornell University)|Feb 1, 2013

Advanced Combinatorial Mathematics参考文献 8被引用数 14

ひとこと要約

本稿では、降下によって定義される対称ブロック上でのキーポリノミアルのシュール多項式への展開について、組合せ論的規則を提示する。非負性は、特定の置換の簡約語を形成する増加テーブルックスの列語を持つ、そのようなテーブルックスの系列への双対写像によって証明される。また、$\mathrm{GL}$-変形キーポリノミアル（$\mathrm{GL}$-変形$\mathrm{GL}$-キーポリノミアル）およびグロチエンディーク多項式について、拡張されたコーンァート移動を用いた類似の規則を提起する。これは、シューベルト多項式およびシュール多項式に関する先行結果を一般化する。

ABSTRACT

We present combinatorial rules (one theorem and two conjectures) concerning three bases of Z[x1,x2,....]. First, we prove a "splitting" rule for the basis of key polynomials [Demazure '74], thereby establishing a new positivity theorem about them. Second, we introduce an extension of [Kohnert '90]'s "moves" to conjecture the first combinatorial rule for a certain deformation [Lascoux '01] of the key polynomials. Third, we use the same extension to conjecture a new rule for the Grothendieck polynomials [Lascoux-Schutzenberger '82].

研究の動機と目的

• 降下によって定義される対称ブロック上でのキーポリノミアル$\kappa_{\alpha}$をシュール多項式に展開する組合せ論的で非負の規則を確立すること。
• コーンァート移動の枠組みを拡張し、キーポリノミアルの$\gamma$-変形$\Omega_{\alpha}$のための予想的な組合せ論的規則を定義すること。
• 同じ拡張されたコーンァート移動を用いて、グロチエンディーク多項式${\mathfrak{G}}_{w}$のための新しい組合せ論的規則を提起すること。これは既存の証明済み規則とは異なる。
• テーブルックスの系列を通じて、構造定数が非負整数であることを示すことで、キーポリノミアルの正値性定理を提供すること。
• 置換コードとエデルマン＝グリーン対応を用いて、対称および非対称多項式基底の構造を統一すること。

提案手法

• 降下によって分離されたブロックで対称であるキーポリノミアル$\kappa_{\alpha}$を、単項式にデマズール作用素を作用させることで定義する。
• コード$\alpha$に付随する置換$w[\alpha]$を用いて、再帰的な降下構成により、標準的増加テーブルックス$T[\alpha]$を定義する。
• エデルマン＝グリーン対応$\text{EGLS}$を用いて、適合する系列$({\bf a},{\bf i})$と増加テーブルックスの組$(T_1,\dots,T_k)$との間の双対写像を確立する。
• 構造定数${\mathcal{E}}^{\alpha}_{\lambda^1,\dots,\lambda^k}$が、列語の連結が$w[\alpha]$の簡約語を形成し、かつ$\text{EGLS}$像が$T[\alpha]$に等しいようなテーブルックスの組を数えることを証明する。
• コーンァートの移動規則を拡張し、キーポリノミアルの$\gamma$-変形$\Omega_{\alpha}$のための予想的な単項式展開を定義する。
• 同じ拡張されたコーンァート移動を用いて、グロチエンディーク多項式${\mathfrak{G}}_{w}$のための新しい規則を提起する。これは文献に既知の規則とは異なる。

実験結果

リサーチクエスチョン

• RQ1 キーポリノミアル$\kappa_{\alpha}$の降下ブロック上でのシュール多項式への展開は、非負の構造定数を持つ組合せ論的規則として記述可能か？
• RQ2 $\gamma$-変形キーポリノミアル$\Omega_{\alpha}$のための組合せ論的規則は存在するか？ これはコーンァート移動規則を一般化する。
• RQ3 グロチエンディーク多項式${\mathfrak{G}}_{w}$は、拡張されたコーンァート移動に基づく新しい規則を用いて展開可能か？ これは既存の証明済み規則とは異なる。
• RQ4 構造定数${\mathcal{E}}^{\alpha}_{\lambda^1,\dots,\lambda^k}$は、特定の列語および形状制約を満たす増加テーブルックスの系列を数えているか？
• RQ5 非斉次性にもかかわらず、$K$-理論的アナログのキーポリノミアル展開が有限に終了することを示せるか？

主な発見

• 定理1.1は、キーポリノミアル$\kappa_{\alpha}$のシュール多項式への展開における構造定数${\mathcal{E}}^{\alpha}_{\lambda^1,\dots,\lambda^k}$が非負整数であり、特定の列語および最小ラベル制約を満たす増加テーブルックスの系列を数えることを確立する。
• この規則は[RS95, 定理5(1)]を精緻化し、シューベルト多項式の分割規則[ BKTY04, コロナリー3]とも整合する。これにより、キーポリノミアルに対する新しい正値性定理が得られる。
• 証明は、適合する系列$({\bf a},{\bf i})$とテーブルックスの組$(T_1,\dots,T_k)$との間の双対写像$\Phi$を用いる。条件${\tt EGLS}({\bf a}) = T[\alpha]$により、$T_i$の列語の連結が$w[\alpha]$の簡約語を形成することが保証される。
• 任意の$f \in \text{Pol}$の$J_{\alpha}$-基底への展開は、命題3.1により有限である。これは、$K$-コーンァート規則下での$J_{\alpha}$の有界なサポートに起因する。
• 本稿では、拡張されたコーンァート移動を用いた新しい規則に基づき、グロチエンディーク多項式${\mathfrak{G}}_{w}$が$\Omega_{\alpha}$に、次数ごとに符号が交互に現れる展開を持つと予想する。
• ${\mathfrak{G}}_{w}$のための提案された規則は、既存の証明済み規則（例：[FK94, L01, BKTY05, LRS06]）とは構造的に異なる。これは、$K$-理論的シューベルト計算のための新しい組合せ論的枠組みを示唆する。