[論文レビュー] Characters of highest weight modules and integrability

Gurbir Dhillon, Apoorva Khare|arXiv (Cornell University)|Jun 30, 2016

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

ひとこと要約

本稿では、Kac-Moody代数および可衡量子群の単純最高族モジュラーの重みについて、最高族の重みにやや弱い整数性条件が課された下で、Weyl-Kac特徴方程式に類似した交錯和構造を持つ明示的で正の公式を提供する。主な貢献は、整数性、重みの凸包、特徴方程式のWeyl群対称性、およびシューベルト胞体上での挙動の間の同値性を確立したことであり、これが単純モジュラーの重みを完全に特定する。

ABSTRACT

We give positive formulas for the weights of every simple highest weight module $L(\lambda)$ over an arbitrary Kac-Moody algebra. Under a mild condition on the highest weight, we express the weights of $L(\lambda)$ as an alternating sum similar to the Weyl-Kac character formula. For general highest weight modules, we answer questions of Bump and Lepowsky on weights, and a question of Brion on the corresponding $D$-modules. Many of these results are new even in finite type. We prove similar assertions for highest weight modules over a symmetrizable quantum group. These results are obtained as elaborations of two ideas. First, the following data attached to a highest weight module are equivalent: (i) its integrability, (ii) the convex hull of its weights, (iii) the Weyl group symmetry of its character, and (iv) when a localization theorem is available, its behavior on certain codimension one Schubert cells. Second, for special classes of highest weight modules, including simple modules, the above data determine the weights.

研究の動機と目的

• 任意のKac-Moody代数上の単純最高族モジュラーの重みについて、明示的で正の公式を導出すること。
• BumpおよびLepowskyが提起した最高族モジュラーにおける重み構造に関する未解決問題を解消すること。
• Brionが提起した、対応するD-加群がシューベルト胞体上でどのように振る舞うかという問いに応えること。
• 有限型における既知の結果を、一般のKac-Moodyおよび量子群の設定に拡張すること。
• 整数性、重みの凸包、Weyl群対称性、およびシューベルト胞体上での局所化データの間の深い同値性を確立すること。

提案手法

• モジュラーの整数性、その重みの凸包、特徴方程式のWeyl群対称性、およびcodimension 1のシューベルト胞体上での挙動という4つの主要な不変量の同値性を利用する。
• 利用可能な局所化定理を適用して、シューベルト胞体上でのモジュラーの挙動とグローバルなモジュラー構造との関係を確立する。
• Weyl-Kac特徴方程式に類似した交錯和としての重み公式を構築し、最高族の重みにやや弱い整数性条件が課された下で有効であることを示す。
• 対称性および凸性の性質を活用して、特徴方程式のWeyl群不変性から重み集合全体を導出する。
• 類似した構造的原則を用いて、有限型から可衡量子群への結果の拡張を行う。
• 不変量の同値性を活用して、重み問題を特徴方程式的および幾何的データに還元する。

実験結果

リサーチクエスチョン

• RQ1 Kac-Moody代数上の単純最高族モジュラーの重みは、どのように明示的で正の組合せ的形で記述できるか？
• RQ2 整数性、重みの凸包、および特徴方程式のWeyl群対称性の間の正確な関係は何か？
• RQ3 一般の最高族モジュラーの重みはどのように振る舞い、Weyl-Kac特徴方程式に類似した公式で記述可能か？
• RQ4 Brionが提起した問いに従い、対応するD-加群がcodimension 1のシューベルト胞体上でどのように振る舞うか？
• RQ5 整数性、凸包、Weyl対称性、およびシューベルト胞体上での挙動という4つの不変量は、最高族モジュラーの重み構造をどの程度完全に決定するか？

主な発見

• Kac-Moody代数上の任意の単純最高族モジュラー $ L( au) $ の重みは、最高族の重みにやや弱い整数性条件が課された下で、Weyl-Kac特徴方程式に類似した交錯和として表される明示的で正の公式により与えられる。
• 最高族モジュラーにおいて、4つの不変量—整数性、重みの凸包、特徴方程式のWeyl群対称性、およびcodimension 1のシューベルト胞体上での挙動—は同値である。
• 単純モジュラーを含む特別なクラスのモジュラーにおいて、これらの不変量の同値性は重み集合を完全に決定する。
• 結果は既知の有限型の結果を一般化し、有限次元の場合ですら新たな洞察を提供する。
• 同じ枠組みは、可衡量子群上の最高族モジュラーにも適用可能であり、重み公式および不変量の同値性結果を量子設定に拡張する。
• 本稿は、BumpおよびLepowskyが提起した重み構造に関する未解決問題、およびBrionが提起したシューベルト胞体上でのD-加群の挙動に関する未解決問題を解決する。