[論文レビュー] Keys and Demazure crystals for Kac-Moody algebras

Nicolas Jacon, Cédric Lecouvey|arXiv (Cornell University)|Sep 20, 2019

Algebraic structures and combinatorial models参考文献 20被引用数 9

ひとこと要約

この論文は、有限型Aのクリスタルに対するLascoux-Sch"utzenbergerのキーマップを、任意のKac-Moody代数へ一般化し、基本ウェイト、組合せ的R行列、強いBruhat順序を用いた再帰的アルゴリズムによりキーマップを計算する手法を提供する。アフィン型Aへ拡張し、コア分割を高レベル化し、Ariki-Koike代数と関連づけ、マルチセグメントと記号を用いた直接的なアルゴリズムにより、デマールークリスタルへの属するかどうかを特定する。

ABSTRACT

The Key map is an important tool in the determination of the Demazure crystals associated to Kac-Moody algebras. In finite type A, it can be computed in the tableau realization of crystals by a simple combinatorial procedure due to Lascoux and Sch{ü}tzenberger. We show that this procedure is a part of a more general construction holding in the Kac-Moody case that we illustrate in finite types and affine type A. In affine type A, we introduce higher level generalizations of core partitions which notably give interesting analogues of the Young lattice and are expected to parametrize distinguished elements of certain remarkable blocks for Ariki-Koike algebras.

研究の動機と目的

• 有限型Aから任意のKac-Moody代数へLascoux-Sch"utzenbergerのキーマップを統一的な再帰的枠組みを用いて一般化すること。
• Kac-Moody代数におけるデマールークリスタルを、キーマップ、組合せ的R行列、およびコセット上の強いBruhat順序を用いて特徴付けること。
• アフィン型Aにおける高レベルのコア分割を一般化し、Ariki-Koike代数の表現理論と関連づけること。
• マルチセグメントと記号を用いた直接的アルゴリズムを提供し、アフィンの場合に特定のマルチセグメントがデマールークリスタルに属するかどうかを決定すること。

提案手法

• キーマップは、Weyl群の作用と重み格子の構造を活用して、基本ウェイトへの再帰的還元によって計算される。
• 組合せ的R行列は、有限型ではジェュ・ド・タキン手続きにより実現され、クリスタルのテンソル積間の同型を可能にする。
• コセット上の強いBruhat順序を用いて、キーマップの像がクリスタルグラフ内でどのように特徴付けられるかを特定する。
• アフィン型Aでは、セグメントの列を構築し、記号行列との整合性をチェックすることで、キーマップの像への属するかどうかを検証するアルゴリズムが構築される。
• マルチセグメントと$e$-コア、記号との関係を、$B(\infty)$のUglov実現と埋め込み$\Pi_{\Lambda_{\mathbf{s}}}$を用いて確立する。
• マルチセグメントは、同じ右端を持つセグメントをグループ化し、セグメントの加法および順序制約を満たすように再帰的に列を構築することで処理される。

実験結果

リサーチクエスチョン

• RQ1 Lascoux-Sch"utzenbergerのキーマップ構成は、有限型Aを越えて任意のKac-Moody代数へ一般化可能か？
• RQ2 Kac-Moody設定において、基本ウェイトとWeyl群作用を用いて、キーマップを再帰的に計算する方法は何か？
• RQ3 アフィン型AにおけるAriki-Koike代数の表現理論において、高レベルのコア分割は果たす役割は何か？
• RQ4 アフィンの場合にマルチセグメントがデマールークリスタルに属する条件は何か、そしてその属するかどうかをどのようにアルゴリズム的に決定できるか？
• RQ5 マルチセグメントに関連する記号行列は、$B(\infty)$のキーマップの像への属するかどうかをどのように符号化するか？

主な発見

• 本論文は、任意のKac-Moody代数に対してキーマップを計算する一般的な再帰的手続きを確立し、問題を基本ウェイトと組合せ的R行列に還元する。
• 有限型では、表とジェュ・ド・タキン手続きを用いて、元のLascoux-Sch"utzenbergerの構成が回復される。
• アフィン型Aでは、$e$-コア分割の高レベル一般化を導入し、Ariki-Koike代数の表現理論において中心的な役割を果たすことが期待される。
• 与えられたマルチセグメントがアフィンの場合のキーマップの像に属するかどうかを、記号行列を構築し検証することで決定するアルゴリズムが提供される。
• 12個のセグメントと3分割$(7.2, 5.4.2.2, 3.2.2.1.1.1)$を含む複雑な例についても、アルゴリズムは正しく動作し、それが$\Pi_{\Lambda_{\mathbf{s}}}(O(\mathbf{s},\infty))$に属することを確認した。
• マルチセグメントに関連する記号行列は、すべての$i,j$に対して$s_i - s_j = p_i - p_j$を満たしており、アルゴリズム出力の正しさが裏付けられた。