[論文レビュー] k-shape poset and branching of k-Schur functions

Thomas Lam, Luc Lapointe+2 more|arXiv (Cornell University)|Jul 29, 2010

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

ひとこと要約

本稿は、k-コアと(k+1)-コアの間を補間する組合せ的構造としてk-シェイプポセットを導入し、非重み付きk-シュール関数の分岐係数を完全に組合せ的に記述することを目的としている。本稿は、k-シュール関数を(k+1)-シュール関数に展開する際の係数が正であることを証明し、k-シェイプポセットにおけるパスの列挙を通じて明示的に計算することに成功し、t=1における分岐係数の正値性に関する長年の予想を解決した。

ABSTRACT

We give a combinatorial expansion of a Schubert homology class in the affine Grassmannian Gr_{SL_k} into Schubert homology classes in Gr_{SL_{k+1}}. This is achieved by studying the combinatorics of a new class of partitions called k-shapes, which interpolates between k-cores and k+1-cores. We define a symmetric function for each k-shape, and show that they expand positively in terms of dual k-Schur functions. We obtain an explicit combinatorial description of the expansion of an ungraded k-Schur function into k+1-Schur functions. As a corollary, we give a formula for the Schur expansion of an ungraded k-Schur function.

研究の動機と目的

• SL_kからSL_{k+1}へのアフィングラスマンニアンにおける非重み付きk-シュール関数の分岐を組合せ的に記述すること。
• t=1の場合の予想1を、k-シュール関数の展開における分岐係数の正値性の証明により解決すること。
• k-シェイプポセットを導入し、k-コアと(k+1)-コアの間を補間する新しい分割の族を研究すること。
• k-シェイプに対する対称関数を定義し、それらが双対k-シュール関数の正の線形結合として展開されることを示すこと。
• k-シェイプポセットにおけるパスに、チャージを保存する同値関係を確立し、プッシュアウト/プルバックアルゴリズムを用いて逆最大ストリップと最大ストリップの間の双対写像を構成すること。

提案手法

• k-シェイプを、k-境界が行と列の組成がともに分割となるスケル形状をなす分割として定義する。
• 「移動」——部分順序を生成する基本的な下向き関係——を用いて、k-シェイプにポセット構造を導入する。
• 移動にチャージ統計量を定義し、k-シェイプポセット内のパスの同値類を分類する。
• k-シェイプポセットにおけるパス列挙を用いて、k-シュール関数の分岐係数を計算する。
• 逆最大ストリップと最大ストリップの間のプッシュアウト/プルバックアルゴリズムを確立し、プッシュアウト後にプルバックを行うことで元のペアが回復されることを示す。
• μからλへのパスの数（チャージで重み付け）が、分岐係数b^{(k)}_{μλ}(1) = b^{(k)}_{μλ}に一致することを証明する。

実験結果

リサーチクエスチョン

• RQ1 SL_kからSL_{k+1}への非重み付きk-シュール関数の分岐をどのように組合せ的に記述できるか？
• RQ2 k-シェイプポセットの構造は何か？ また、k-コアと(k+1)-コアの間をどのように補間するか？
• RQ3 well-definedなポセットにおけるパス列挙によって、分岐係数b^{(k)}_{μλ}(1)を計算できるか？
• RQ4 チャージの下でパス同値類を保存する逆最大ストリップと最大ストリップの間の双対写像は存在するか？
• RQ5 チャージ統計量は、k-シェイプポセット内のパス同値類を分類する上で果たす役割は何か？

主な発見

• 本稿は、非重み付き分岐係数b^{(k)}_{μλ}が、μからλへのパスのチャージ同値類の数に一致することを証明した。
• 各k-シェイプに付随する対称関数は、双対k-シュール関数の正の線形結合として展開される。
• 非重み付きk-シュール関数を(k+1)-シュール関数に展開する方法は、k-シェイプポセットにおけるパス列挙を通じて明示的に記述された。
• プッシュアウトとプルバックアルゴリズムは、逆最大ストリップと最大ストリップの間の双対写像を形成し、パス同値類を保存する。
• 非重み付きk-シュール関数のシュール展開は、分岐展開の極限として得られ、シュール係数の正値性が確認された。
• 次数6までの分割について、分岐多項式b^{(k)}_{μλ}(t)の表が明示的に計算され、小規模な場合の予想の検証がなされた。