[論文レビュー] Fibers of characters in Harish-Chandra categories

Vyacheslav Futorny, Serge Ovsienko|arXiv (Cornell University)|Oct 2, 2006

Algebraic structures and combinatorial models参考文献 19被引用数 7

ひとこと要約

本稿では、非可換な拡大の理論を構築するために、スケール群環におけるガロア順序を導入し、可換部分代数から非可換代数へのキャラクターの拡張を可能にする。Gelfand-Tsetlinカテゴリーにおけるキャラクターのファイバーの有限性および非空性を確立し、$mathfrak{gl}_n$ に対して、非ゼロの $mathfrak{m}$-重み空間を持つ単純Gelfand-Tsetlin加群の同型類の数が $Q_n = \prod_{i=1}^{n-1} i!$ 以下であることを示し、低ランクの場合に等号が成り立つことを証明する。

ABSTRACT

We solve the problem of extension of characters of commutative subalgebras in associative (noncommutative) algebras for a class of subrings (Galois orders) in skew group rings. These results can be viewed as a noncommutative analogue of liftings of prime ideals in the case of integral extensions of commutative rings. The proposed approach can be applied to the representation theory of many infinite dimensional algebras including universal enveloping algebras of reductive Lie algebras, Yangians and finite $W$-algebras. In particular, we develop a theory of Gelfand-Tsetlin modules for $\gl_n$. Besides classification results we characterize their categories in the generic case extending the classical results on $\gl_2$.

研究の動機と目的

• スケール群環におけるガロア順序を用いて、可換代数の古典的整拡大理論を非可換な設定に一般化すること。
• 可換部分代数から非可換代数へのキャラクターの拡張問題を、素イデアルの上昇に類似した方法で解くこと。
• $mathfrak{gl}_n$ や関連する代数に対して、Gelfand-Tsetlinカテゴリーにおけるキャラクターのファイバーの有限性および非空性を確立すること。
• $mathfrak{gl}_n$ に対して、表現論的および加群論的技法を用いて、単純Gelfand-Tsetlin加群の同型類を分類し、その数を上限づけること。

提案手法

• スケール群環におけるガロア順序を、整拡大の非可換アナロジーとして導入する。
• Gelfand-Tsetlin加群を、$Gamma$ が可換部分代数であるとき、$Gamma$-加群の有限次元加群の直和として定義する。
• 一般化されたピアス分解を用いて $mathscr{A}$-加群の構造を分析し、それらを $Gamma$-加群構造に関連付ける。
• 普遍包あらゆる代数 $U$ をスケール群環に埋め込むハリシュ・チャンドラ型の同型写像 $mathrm{t}: U \to \u0000mathscr{K}$ を構成する。
• 定理5.2を適用して、$S(\mathsf{m}, \mathsf{m})/G$ の濃度を用いて重み空間 $M(\mathsf{m})$ の次元を上限づけ、同型類の有限性を導く。
• $U(\mathfrak{gl}_n)$ がGelfand-Tsetlin部分代数 $\Gamma$ 上で自由であることに着目し、群作用の対称性を用いて次元の上限を導出する。

実験結果

リサーチクエスチョン

• RQ1 可換部分代数 $\Gamma$ のキャラクターが、可換代数における整拡大に類似した方法で非可換代数 $U$ に拡張可能となる条件は何か？
• RQ2 $\mathsf{m} \in \operatorname{Specm}\Gamma$ に対して、$\mathsf{m}$ を含む $U$ の極大左イデアルの集合を割り当てる写像 $\Phi: \operatorname{Specm}U \to \operatorname{Specm}\Gamma$ のファイバーの有限性および非空性の条件は何か？
• RQ3 固定された $\mathsf{m}$ に対して、非ゼロの $\mathsf{m}$-重み空間を持つ単純Gelfand-Tsetlin $U(\mathfrak{gl}_n)$-加群の同型類は最大で何個存在するか？
• RQ4 単純Gelfand-Tsetlin加群の $\mathsf{m}$-重み空間の次元に対する正確な上限は何か？
• RQ5 Gelfand-Tsetlin部分代数 $\Gamma$ は、一般のGelfand-Tsetlin加群においても単純なスペクトルを持つのか？また、これは有限次元加群の場合と比べてどう異なるか？

主な発見

• 非ゼロの $\mathsf{m}$-重み空間を持つ単純 $U(\mathfrak{gl}_n)$-加群の同型類の数は、$Q_n = \prod_{i=1}^{n-1} i!$ 以下に上限づけられており、$n=2$ および $n=3$ の場合に等号が成り立つことが確認されている。
• 任意の単純Gelfand-Tsetlin $U(\mathfrak{gl}_n)$-加群 $M$ に対して、重み空間 $M(\mathsf{m})$ の次元は $Q_n$ 以下であり、$n=2$ および $n=3$ の場合にこの上限が達成される。
• Gelfand-Tsetlin部分代数 $\Gamma \subset U(\mathfrak{gl}_n)$ はガロア順序であり、$U(\mathfrak{gl}_n)$ は左および右 $\Gamma$-加群として自由である。
• $\mathsf{m} \in \operatorname{Specm}\Gamma$ に対して、$\mathsf{m}$ を含む $U$ の極大左イデアルのファイバー $\Phi(\mathsf{m})$ は、$S(\mathsf{m}, \mathsf{m})/G$ の有限性により非空かつ有限である。
• $\mathscr{A}(\mathsf{m}, \mathsf{m})$-加群の同型類の数は、非ゼロの $\mathsf{m}$-重み空間を持つ単純 $U$-加群の同型類の数に等しく、$Q_n$ で上限づけられている。
• Gelfand-Tsetlin部分代数 $\Gamma$ は、有限次元加群に限らず、一般のGelfand-Tsetlin加群に対しても単純なスペクトルを持つ。これは、すべての同様の部分代数が満たすわけではない性質である。