[論文レビュー] Annihilators of simple tensor modules

Alexandru-Gabriel Sava|arXiv (Cornell University)|Jan 18, 2012

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

ひとこと要約

この論文は、$\mathfrak{sl}(∞,\mathbb{C})$、$\mathfrak{o}(∞,\mathbb{C})$、$\mathfrak{sp}(∞,\mathbb{C})$ などの、有限次元の局所的有限無限次元リー代数の普遍包あらゆる代数の原始的イデアルを調査する。単純テンソル加群が同型であるための必要十分条件は、それらが同じ annihilator を持つことであることを証明し、この無限次元設定において、単純加群の完全分類をそれらの annihilator を用いて行う。

ABSTRACT

We study primitive ideals in the enveloping algebra of finitary locally finite infinite-dimensional complex Lie algebras. In particular we investigate the annihilators of the simple objects in the category of tensor modules. This category has been studied in \cite{PStyr} and \cite{PS}. Moreover we prove that a simple tensor module is completely determined by its annihilator and we introduce a partial order on pairs of Young diagrams that we use to describe the inclusions between the annihilators of the simple tensor modules.

研究の動機と目的

• $\mathfrak{sl}(∞,\mathbb{C})$、$\mathfrak{o}(∞,\mathbb{C})$、$\mathfrak{sp}(∞,\mathbb{C})$ などの、有限次元の局所的有限無限次元リー代数について、普遍包あらゆる代数における annihilator を用いて単純加群を分類すること。
• 普遍包あらゆる代数の中心が自明であるため、古典的 Duflo 理論が適用できない無限次元リー代数における単純加群の分類という課題に対処すること。
• 中心が自明であるにもかかわらず、$\mathcal{U}(\mathfrak{g})$ に非自明な原始的イデアルが存在するかどうかを特定すること。
• 単純テンソル加群の同型類とその annihilator の間の全単射を確立し、 annihilator 写像のファイバー問題を解決すること。

提案手法

• ネストされた有限次元部分代数の有限次元表現の帰納的極限として得られる、局所的有限リー代数上のテンソル加群の構造を利用する。
• Gelfand-Tsetlin パターンおよび最高重量モジュールの理論を用いて、加群を増加する部分代数 $\mathfrak{g}_j$ への制限を分析する。
• 最高重量ベクトルに関する帰納的手続きを用い、重み分割 $(\lambda^k, \mu^k) \prec (\lambda^{k+1}, \mu^{k+1})$ の厳密な優越性を追跡することで、重みの鎖を構成する。
• テンソル加群のカテゴリが制限に関して閉じており、単純加群が極限における最高重量によって特徴づけられることを用いる。
• 可積分モジュールおよび局所的に単純なリー代数の結果を適用し、帰納的極限における最高重量ベクトルの存在を保証する。
• 安定した最高重量ベクトルによって生成される極限モジュール $ V_{\lambda^s\mu^s} $ の一意性を活用し、元の単純モジュールと同型であることを結論づける。

実験結果

リサーチクエスチョン

• RQ1 普遍包あらゆる代数の中心が自明であるにもかかわらず、$\mathfrak{g} = \mathfrak{sl}(\infty,\mathbb{C})$、$\mathfrak{o}(\infty,\mathbb{C})$、または $\mathfrak{sp}(\infty,\mathbb{C})$ の場合に、非自明な原始的イデアルが $\mathcal{U}(\mathfrak{g})$ に存在するか。
• RQ2 単純テンソル加群の同型類が、$\mathcal{U}(\mathfrak{g})$ におけるその annihilator によって一意に特定可能か。
• RQ3 加群が帰納的極限において最高重量モジュールに安定化する有限長の重み分割の鎖 $ (\lambda^k, \mu^k) $ が存在するか。
• RQ4 単純加群が増加する部分代数 $\mathfrak{g}_j$ への制限が、最終的に $V_{\lambda^s\mu^s}$ と同型なモジュールに安定化するか。
• RQ5 単純テンソル加群の annihilator を用いて、同型を除いてモジュールを再構成可能か。

主な発見

• 単純テンソル加群の annihilator は、その同型類を一意に決定する：$\mathcal{U}(\mathfrak{g})$ において、2つの単純テンソル加群が同型であるための必要十分条件は、それらが同じ annihilator を持つことである。
• 中心が自明である $\mathfrak{g} = \mathfrak{sl}(\infty,\mathbb{C})$、$\mathfrak{o}(\infty,\mathbb{C})$、または $\mathfrak{sp}(\infty,\mathbb{C})$ に対しても、非自明な原始的イデアルが存在する。
• 最高重量モジュールの帰納的極限 $F_{n+p+q}^{(\lambda^k,\mu^k)_{n}}$ は、単純モジュール $V_{\lambda^s\mu^s}$ に安定化し、これは元のモジュール $M$ と同型である。
• 厳密に増加する重み分割の鎖 $ (\lambda^1, \mu^1) \prec (\lambda^2, \mu^2) \prec \cdots \prec (\lambda^s, \mu^s) \preceq (\lambda, \mu) $ が存在し、その長さは $ (\lambda_1 + \mu_1)^{p+q} $ で有界であるため、終了が保証される。
• 最高重量ベクトルを連続する制限を通じて持ち上げる手続きは、ケース1において最終的に安定化し、最高重量ベクトルが $V_{\lambda^s\mu^s}$ と同型なモジュールを生成する。
• 単純性と、極限において単一の最高重量ベクトルによって生成されることから、$M$ と $V_{\lambda^s\mu^s}$ が同型であることが導かれる。