[論文レビュー] Highest weight modules to first order

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

Algebraic structures and combinatorial models参考文献 28被引用数 6

ひとこと要約

本稿は、任意のカク＝ムーディ代数上の単純最高-weight加群 $L(\lambda)$ の重みに対する明示的で正の公式を提示する。これは、最高重みにやや穏やかな条件を課すことにより、ウェイル＝カク特徴関数に類似した交錯和として重みを表すものである。また、可積分性、重みの凸包、シューベルト胞への局在化データの間の深い同値関係を確立し、量子群への拡張を含め、バンプ、レポウスキー、ブリオンらが長年にわたり提起した未解決問題を解決する。

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, a question of Brion on convex hulls of the weights, and a question of Brion on the corresponding $D$-modules. Many of these results are new 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, and (iii) 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 are equivalent to (iv) its weights.

研究の動機と目的

• 任意のカク＝ムーディ代数上の単純最高重み加群 $L(\lambda)$ の重みに対する明示的で正の公式を導出すること。
• 可積分性、重みの凸包、および codimension 1 のシューベルト胞への局在化行動の間の同値関係を確立すること。
• バンプとレポウスキーが提起した、最高重み加群における重み構造に関する未解決問題を解消すること。
• ブリオンが提起した、重みの凸包とそれに対応する $D$-加群の関係に関する問いに答えること。
• これらの結果を、対称化可能な量子群上の最高重み加群へと拡張すること。

提案手法

• 最高重み $\lambda$ にやや穏やかな条件を課えることで、重みの交錯和公式の有効性を保証すること。
• 局在化定理を用いて、(i) 可積分性、(ii) 重みの凸包、(iii) codimension 1 のシューベルト胞への局在化の間の同値関係を確立すること。
• 特殊クラス（特に単純加群を含む）に対して、重みの集合が上記の不変量と同値であることを示すこと。
• ウェイル＝カク特徴関数の枠組みを変形し、重みを交錯和として表現すること。
• 局在化定理を応用し、シューベルト胞上の幾何的データと表現論的不変量との関係を明らかにすること。
• 構造的同値性を保つ類似の推論を用いて、カク＝ムーディ代数から対称化可能な量子群への結果の拡張を行うこと。

実験結果

リサーチクエスチョン

• RQ1 任意のカク＝ムーディ代数上の単純最高重み加群 $L(\lambda)$ の重みの正確な構造は何か？
• RQ2 最高重み加群において、可積分性、重みの凸包、およびシューベルト胞への局在化の関係は何か？
• RQ3 一般の最高重み加群の重みは、ウェイル＝カク特徴関数に類似した正の公式によって記述可能か？
• RQ4 重みの凸包と最高重み加群に対応する $D$-加群の間の関係は何か？
• RQ5 これらの同値関係は、対称化可能な量子群上の最高重み加群へどの程度拡張可能か？

主な発見

• 最高重み $\lambda$ にやや穏やかな条件を課すと、$L(\lambda)$ の重みはウェイル＝カク特徴関数に類似した交錯和として表される。
• 最高重み加群において、可積分性、重みの凸包、および codimension 1 のシューベルト胞への局在化は同値な不変量である。
• 単純加群および関連する特殊クラスに対して、重みの集合は上記の不変量と同値である。
• 本稿は、バンプとレポウスキーが提起した最高重み加群における重み構造に関する問いを解決する。
• ブリオンの重みの凸包に関する問いに答え、それが可積分性およびシューベルト胞の挙動と関連していることを確立する。
• 結果は、対称化可能な量子群上の最高重み加群へと拡張され、類似の構造的同値性が確立された。