[論文レビュー] The shifted plactic monoid

Luís Serrano|ArXiv.org|Nov 13, 2008

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

ひとこと要約

この論文は、スティリジッド・ノートン関係またはハイマンのミックス挿入を介して定義される、古典的プラクティックモノイドに類似した組合せ論的構造としてのシフトド・プラクティックモノイドを導入する。プラクティック・シュール $P$-関数を通じて、シフトされた設定における対称関数論の非可換枠組みを提供する、シフトされたリトルウッド・リッチャードソン則を確立する。

ABSTRACT

We introduce a shifted analog of the plactic monoid of Lascoux and Schützenberger, the \emph{shifted plactic monoid}. It can be defined in two different ways: via the \emph{shifted Knuth relations}, or using Haiman's mixed insertion. Applications include: a new combinatorial derivation (and a new version of) the shifted Littlewood-Richardson Rule; similar results for the coefficients in the Schur expansion of a Schur $P$-function; a shifted counterpart of the Lascoux-Schützenberger theory of noncommutative Schur functions in plactic variables; a characterization of shifted tableau words; and more.

研究の動機と目的

• 半標準的シフトヤング盤のための古典的プラクティックモノイドのシフト版を構築すること。
• ラスカウ・シュッツェンベルガーの非可換シュール関数論をシフト設定に拡張すること。
• プラクティック・シュール $P$-関数を用いた、シフトされたリトルウッド・リッチャードソン則の新しい組合せ論的導出を提供すること。
• セーガン＝ウォーリー対応における双対性を用いて、シフトテーブル式語を特徴付けること。
• シフトド・プラクティック代数とシュール $P$-関数の環との間の標準的同型を確立すること。

提案手法

• 自由モノイド $X$ 上の商として、シフトド・ノートン関係によるシフトド・プラクティックモノイド $\mathbf{S}(X)$ を定義する。
• ハイマンのミックス挿入を用いて、同じミックス挿入テーブル式を持つ語の集合として、シフトド・プラクティック類を定義する。
• シフトド・プラクティック同値性が連結によって保存されることを確立し、モノイド構造を保証する。
• 形状 $\lambda$ のすべてのシフトド・プラクティック類の和として、プラクティック・シュール $P$-関数 $\mathcal{P}_\lambda$ を構成する。
• 環 $\mathcal{P}_\lambda$ が写像 $P_\lambda \mapsto \mathcal{P}_\lambda$ によって通常のシュール $P$-関数の環と同型であることを証明する。
• ミックス挿入とセーガン＝ウォーリー対応の双対性を用いて、逆のバイワードとしての記録テーブル式を用いて、シフトテーブル式語を特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、シフトヤング盤を用いて、古典的プラクティックモノイドをシフト設定に一般化できるか。
• RQ2 ミックス挿入における語の同値類を特徴付ける、シフトされたノートン関係の類似は何か。
• RQ3 プラクティック・シュール $P$-関数を用いて、組合せ論的にシフトされたリトルウッド・リッチャードソン則を導出できるか。
• RQ4 シフトド・プラクティック代数における非可換シュール $P$-関数は、それらの可換対応物とどのように関係するか。
• RQ5 どのような語がミックス挿入によって半標準的シフトテーブル式を生成するか。

主な発見

• シフトド・プラクティックモノイド $\mathbf{S}(X)$ は、シフトド・ノートン関係によって適切に定義され、語の連結性から誘導されるモノイド構造を有する。
• 2つの語がシフトド・ノートン同値であることは、それらが同じミックス挿入テーブル式を持つことに同値である。
• シフトド・プラクティック・シュール $P$-関数 $\mathcal{P}_\lambda$ は、形状 $\lambda$ のすべてのシフトド・プラクティック類の和であり、これらの関数はシフトド・プラクティック代数を生成する。
• 環 $\mathcal{P}_\lambda$ は、写像 $P_\lambda \mapsto \mathcal{P}_\lambda$ によって、通常のシュール $P$-関数の環と標準的に同型である。
• シフトされたリトルウッド・リッチャードソン係数 $b^\lambda_{\mu,\nu}$ は、$T_\mu T_\nu = T_\lambda$ を満たすような、形状 $\lambda$ の固定された $T_\lambda$ に対して、ペア $(T_\mu, T\nu)$ の数に等しい。
• 語がシフトテーブル式語であることは、その逆（バイワードとして）の記録テーブル式がシフト標準テーブル式であることに同値であり、セーガン＝ウォーリー対応の双対性を介して特徴付けられる。