[論文レビュー] Set-Valued Skyline Fillings

Cara Monical|arXiv (Cornell University)|Nov 27, 2016

Consumer Market Behavior and Pricing参考文献 13被引用数 21

ひとこと要約

本稿では、デマウール原子のK理論的類似物として集合値スカイライン充填を導入し、グロテンディーク多項式とケイ多項式の組み合わせ的モデルを統一する。これらの充填を用いた生成関数により、組み合わせ的ラスコーフォー原子を定義し、グロテンディーク多項式 $G_\lambda$ が、同じ分割形状を持つ組み合わせの上でのこれらの原子の和に分解されることを証明する。これは、古典的なシュール関数の分解を一般化する。

ABSTRACT

Set-valued tableaux play an important role in combinatorial $K$-theory. Separately, semistandard skyline fillings are a combinatorial model for Demazure atoms and key polynomials. We unify these two concepts by defining a set-valued extension of semistandard skyline fillings and then give analogues of results of J. Haglund, K. Luoto, S. Mason, and S. van Willigenberg. Additionally, we give a bijection between set-valued semistandard Young tableaux and C. Lenart's Schur expansion of the Grothendieck polynomial $G_λ$, using the uncrowding operator of V. Reiner, B. Tenner, and A. Yong.

研究の動機と目的

• K理論のための単一の組み合わせ的枠組みとして、集合値テーブルックスと半標準スカイライン充填を統合すること。
• 集合値スカイライン充填を用いて、デマウール原子のK類似物を定義すること。
• 従来のスカイライン充填に関する結果を、この新しい集合値設定に一般化すること。
• 新しい組み合わせ的ラスコーフォー原子 $L_\gamma$ を用いて、グロテンディーク多項式 $G_\lambda$ の分解を確立すること。

提案手法

• アンカーおよびフリーな要素を持つ半標準的集合値スカイライン充填を定義し、列の単射性、最小-最大比較による非増加の行、アンカー要素における逆転三重項条件を満たす。
• モノミアル $x_F$ と重み $\beta^{|F| - |\gamma|}$ を用いて、生成関数 $L_\gamma = \sum_{F \in \text{SetSkyFill}(\gamma)} \beta^{|F| - |\gamma|} x_F$ を定義する。
• $G\_\lambda = \sum_{\lambda(\gamma) = \lambda} L_\gamma$ を証明し、シュール関数の古典的分解がデマウール原子に拡張されることを示す。
• Reiner, Tenner, and Yong のアンクローディング作用素を用いて、集合値半標準ヤングテーブルックスと新しい充填との間の双対写像を確立する。
• $L_\gamma$ が修正されたデマウール作用素を用いて定義された代数的ラスコーフォー多項式原子 $\hat{L}_\gamma$ と一致するという予想を提示する。
• 逆ラティス遺伝子的半標準スカイライン充填を用いて、$L_\gamma \cdot G_\lambda$ に対するリトルウッド＝リチャードソン則の一般化を提示する。

実験結果

リサーチクエスチョン

• RQ1 集合値スカイライン充填を用いて、デマウール原子のK理論的類似物を構成できるか？
• RQ2 $G_\lambda = \sum_{\lambda(\gamma) = \lambda} L_\gamma$ の分解が、新しい組み合わせ的ラスコーフォー原子 $L_\gamma$ に対して成り立つか？
• RQ3 デマウール原子のリトルウッド＝リチャードソン則に類似した、積 $L_\gamma \cdot G_\lambda$ の組み合わせ的規則は存在するか？
• RQ4 作用素 $\hat{\tau}_i$ が $\hat{\tau}_i^2 = -\hat{\tau}_i$ を満たすか。これにより、$\hat{L}_\gamma$ の予想される代数的定義が支持されるか？
• RQ5 $G_\lambda \cdot A_\gamma$ に対する遺伝子テーブル規則が、$L_\gamma \cdot G_\lambda$ に拡張可能か？

主な発見

• グロテンディーク多項式 $G_\lambda$ は、形状 $\gamma$ の半標準的集合値スカイライン充填の上での生成関数 $L_\gamma$ を用いて、$\sum_{\lambda(\gamma) = \lambda} L_\gamma$ に分解される。
• 組み合わせ的ラスコーフォー原子 $L_\gamma$ は、デマウール原子 $A_\gamma$ の非一様変形であり、$\beta = 0$ のとき $A_\gamma$ に回復する。
• アンクローディング作用素を用いて、集合値半標準ヤングテーブルックスと集合値スカイライン充填との間の双対写像が確立された。
• キアスシンメトリック・グロテンディーク関数 $G_\alpha$ は $\sum_{\gamma+ = \alpha} L_\gamma$ として定義され、キアスシンメトリック・シュール関数を一般化する。
• 予想 5.2 は、$L_\gamma = \sum_{F \in \text{SetSkyFill}(\gamma)} \beta^{|F| - |\gamma|} x_F$ であり、代数的ラスコーフォー原子 $\hat{L}_\gamma$ と一致するとする。
• 予想 5.4 は、$L_\gamma \cdot G_\lambda = \sum_{\delta} \tilde{a}^{\delta}_{\gamma,\lambda} L_\delta$ であり、ここで $\tilde{a}^{\delta}_{\gamma,\lambda}$ は、大きなベーシスと内容 $\lambda^*$ を持つ形状 $\delta/\gamma$ の逆ラティス遺伝子的半標準スカイライン充填の数を表す。