[論文レビュー] Symplectic keys and Demazure atoms in type C

João Miguel Santos|arXiv (Cornell University)|Oct 30, 2019

Algebraic structures and combinatorial models参考文献 25被引用数 5

ひとこと要約

この論文は、型$C$のKashiwara-Nakashimaテーブルックスに対して左および右のシンプレクティックキーを導入し、型$A$におけるLascous-Sch"utzenbergerキー構成を一般化する。これらのキーが、ハイパーオクタヘドラル群$B_n$およびその部分群のブラハット順序のテーブルックス基準を提供することを確立し、デマールー原子およびキャラクターを記述し、型$C$のSch"utzenbergerエバクエーション写像を通じてルシュチグ対合と関連づける。

ABSTRACT

We compute, mimicking the Lascoux-Schützenberger type A combinatorial procedure, left and right keys for a Kashiwara-Nakashima tableau in type C. These symplectic keys have a similar role as the keys for semistandard Young tableaux. More precisely, our symplectic keys give a tableau criterion for the Bruhat order on the hyperoctahedral group and cosets, and describe Demazure atoms and characters in type C. The right and the left symplectic keys are related through the Lusztig involution. A type C Schützenberger evacuation is defined to realize that involution.

研究の動機と目的

• 型$C$のKashiwara-Nakashimaテーブルックスに対して、型$A$のキー写像に類似した左および右のシンプレクティックキーを定義すること。
• シンプレクティックキー・テーブルックスを用いて、ハイパーオクタヘドラル群$B_n$およびその部分群のブラハット順序のテーブルックス基準を確立すること。
• これらのシンプレクティックキーの組み合わせ論的性質を通じて、型$C$におけるデマールー原子およびキャラクターを記述すること。
• シンプレクティック挿入およびスライディング操作を通じて、左および右のキーをルシュチグ対合によって明示的に関連付けること。
• Kashiwara-Nakashimaテーブルックスに関する先行研究が残した空白を埋める、構成的かつ組み合わせ論的枠組みをデマールーキャラクターの型$C$に提供すること。

提案手法

• 型$C$における「フレンク語」を導入し、シンプレクティックキーの構築の基礎的道具として用いる。
• Sheatsのシンプレクティックジェュ・ド・タキンを適用して、Kashiwara-Nakashimaテーブルックスの右および左キーを定義および計算する。
• Baker-Lecouveyの挿入法およびコプラクティック同値性を用いて、型$C$におけるプレアックモノイド構造下でのテーブルックスの関係を記述する。
• ルシュチグ対合をテーブルックス上で実現する型$C$のSch"utzenbergerエバクエーション写像を定義する。
• 語モデルとテーブルックスモデル間のクリスタル同型写像を確立し、$P(w^\star)$と$P(w)$が同じ形状と双対重みを持つことを示す。
• 列の重みの$\star$作用に関する対称性を用いて、テーブルックスの右キーとそのエバクエーションの左キーがルシュチグ対合を通じて関連づけられることを証明する。

実験結果

リサーチクエスチョン

• RQ1 型$A$におけるLascous-Sch"utzenbergerキー構成を、Kashiwara-Nakashimaテーブルックスに対して型$C$にどのように一般化できるか？
• RQ2 ハイパーオクタヘドラル群$B_n$およびその部分群のブラハット順序は、シンプレクティックキー・テーブルックスを用いてどのように組み合わせ論的に特徴づけられるか？
• RQ3 シンプレクティックキーは型$C$におけるデマールー原子およびキャラクターとどのように関係するか？
• RQ4 左および右のシンプレクティックキーは、ルシュチグ対合によってどのように関連づけられるか？
• RQ5 型$C$におけるルシュチグ対合は、テーブルックス上のシンプレクティック挿入およびスライディング操作を通じて明示的に実現可能か？

主な発見

• Kashiwara-Nakashimaテーブルックスの右および左シンプレクティックキーは、フレンク語およびSheatsのシンプレクティックジェュ・ド・タキンを用いて定義され、型$A$のキー構成を一般化する。
• シンプレクティックキーは、$B_n$およびその部分群（ドミナント重み$\lambda$の安定化部分群を除く）におけるブラハット順序のテーブルックス基準を提供する。これは定理20および24で示された。
• 型$C$におけるデマールー原子は、$\lambda$の$B_n$軌道に属するベクトル$v$によってインデックスづけられる集合$\mathfrak{U}(v)$上の生成関数として記述され、$\mathfrak{B}_v = \biguplus_{\lambda \leq u \leq v} \mathfrak{U}(u)$である。
• 左および右キーはルシュチグ対合を通じて関連づけられる：$K_+(T)^{\mathrm{Ev}} = K_-(T^{\mathrm{Ev}})$、ここで$\mathrm{Ev}$は型$C$のSch"utzenbergerエバクエーションである。
• $\star$-写像は、$w$と$w^\star$の間でクリスタル同型写像を誘導し、$P(w)$と$P(w^\star)$が同じ形状と双対重みを持つことを示し、クリスタルの双対性を裏付ける。
• エバクエーション写像を計算するアルゴリズムは対合であり、右および左キー写像はルシュチグ対合と反可換である。これは、$\star$-作用における列の重みの対称性を用いて証明された。