[論文レビュー] Kazhdan-Lusztig conjecture for symmetrizable Kac-Moody Lie algebras. III --Positive rational case--

Masaki Kashiwara, Toshiyuki Tanisaki|arXiv (Cornell University)|Dec 9, 1998

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

ひとこと要約

この論文は、可対称 Kac-Moody リー代数の正の有理数最高重みを持つ既約最高重み加群について、Kazhdan-Lusztig の文字公式を証明し、有限次元リー代数への古典的 Kazhdan-Lusztig 猜測を、有理数正のケースにおける放物的 category O と組合せ論的技法を用いて、無限次元リー代数へと拡張する。

ABSTRACT

In this paper we prove the Kazhdan-Lusztig type character formula for irreducible highest weight modules with positive rational highest weights over symmetrizable Kac-Moody Lie algebras.

研究の動機と目的

• 可対称 Kac-Moody リー代数の正の有理数最高重みを持つ既約最高重み加群への Kazhdan-Lusztig の文字公式を拡張すること。
• これらの代数の放物的 category O における既約最高重み加群の文字公式を確立すること。
• 有限次元半単純リー代数からの Kazhdan-Lusztig 理論を無限次元設定へ一般化すること。
• 有理数正のケースにおける Kazhdan-Lusztig 多項式を用いた文字の計算のための組合せ論的枠組みを提供すること。
• 可対称 Kac-Moody 代数における正の有理数ケースでの Kazhdan-Lusztig 猜測を完成させること。

提案手法

• 可対称 Kac-Moody リー代数の放物的 category O を用いて、最高重み加群を研究する。
• Kazhdan-Lusztig 多項式の理論を用いて、既約加群の文字を計算する。
• Weyl 群と Bruhat 順序の組合せ論を用いて、Kazhdan-Lusztig 基底を定義する。
• 異なる最高重み加群を関係付けるために、カテゴリの同値性と移動関手に依存する。
• Verlinde 代数における構造定数の正の性質を用いて、有理数ケースにおける収束を保証する。
• Jantzen の和公式と移動関手を用いて、放物的 category 内の標準加群と既約加群を関係付ける。

実験結果

リサーチクエスチョン

• RQ1 可対称 Kac-Moody リー代数の正の有理数最高重みを持つ既約最高重み加群へ、Kazhdan-Lusztig の文字公式を拡張することは可能か？
• RQ2 有理数正のケースにおける可対称 Kac-Moody 代数の放物的 category O において、Kazhdan-Lusztig 多項式はどのように振る舞うか？
• RQ3 この一般化された設定における既約加群の文字公式の構造は何か？
• RQ4 Weyl 群と Bruhat 順序の組合せ論は、この無限次元的文脈における文字計算にどのように影響を与えるか？
• RQ5 移動関手と category O は、有理数重みにおける文字公式の確立において、どのような役割を果たすか？

主な発見

• 可対称 Kac-Moody リー代数の正の有理数最高重みを持つ既約最高重み加群に対して、Kazhdan-Lusztig の文字公式が成り立つ。
• このような加群の文字は、Kazhdan-Lusztig 多項式を 1 で評価した係数を用いた標準加群の文字の線形結合として表される。
• 証明はカテゴリの同値性と、異なる最高重み加群を関係付けるために用いられる移動関手に依存する。
• Weyl 群と Bruhat 順序の組合せ論は、文字公式の構造を定義するために不可欠である。
• Verlinde 代数における構造定数の正の性質により、有理数正のケースにおける公式の収束性と妥当性が保証される。
• この結果により、可対称 Kac-Moody リー代数における正の有理数ケースでの Kazhdan-Lusztig 猜測が完成する。