[論文レビュー] Simple bounded weight modules of $\displaystyle{\mathfrak{sl}(\infty)}$, $\displaystyle{\mathfrak{o}(\infty)}$, $\displaystyle{\mathfrak{sp}(\infty)}$

Dimitar Grantcharov, Ivan Penkov|arXiv (Cornell University)|Jul 5, 2018

Algebraic structures and combinatorial models参考文献 10被引用数 4

ひとこと要約

この論文は、無限次元リー代数 $σλ(\infty)$, $ϴ(\infty)$, および $σπ(\infty)$ の単純な有界ウェイト加群を分類し、非可積分加群が重複度自由であることを証明し、普遍包あらゆる代数におけるその零化因子を計算する。主な結果は、このような加群およびそれらの原始的イデアルの完全な分類であり、直接極限構成と局所化技術を用いて零化因子を明示的に決定する。

ABSTRACT

We classify the simple bounded weight modules of ${\mathfrak{sl}(\infty})$, ${\mathfrak{o}(\infty)}$ and ${\mathfrak{sp}(\infty)}$, and compute their annihilators in $U({\mathfrak{sl}(\infty}))$, $U({\mathfrak{o}(\infty))}$, $U({\mathfrak{sp}(\infty))}$, respectively.

研究の動機と目的

• 直接極限リー代数 $σλ(\infty)$, $ϴ(\infty)$, および $σπ(\infty)$ のすべての単純な有界ウェイト加群を分類すること。
• これらの加群の普遍包あらゆる代数 $U(σλ(\infty))$, $U(ϴ(\infty))$, および $U(σπ(\infty))$ における零化因子を計算すること。
• 有限次元リー代数における有界加群の分類を、特に $σλ(\infty)$, $ϴ(\infty)$, および $σπ(\infty)$ に対して無限次元の場合に拡張すること。
• ファイナリティリー代数の表現論における長年の未解決問題を、単純な有界ウェイト加群の完全かつ明示的な分類を通じて解決すること。

提案手法

• フェルナンド、マチエ、その他の研究者らの結果を活用し、有限次元リー代数上のウェイト加群理論を基盤として用いる。
• 局所化技術およびねじれ局所化を用いて、$σλ(\infty)$, $ϴ(\infty)$, $σπ(\infty)$ 上の有界ウェイト加群の構造を分析する。
• 有限次元の $σλ(n+1)$, $ϴ(2n+1)$, $σπ(2n)$ からの結果を無限次元の場合にまで拡張するために、直接極限構成を用いる。
• シェール＝ヴァイル表現およびその性質を用いて、特に $σπ(\infty)$ に対して重要な原始的イデアルを同定する。
• 重複度自由性の概念を用いて非可積分加群を分類し、すべての非可積分単純有界加群が重複度自由であることを示す。
• 有限次元普遍包あらゆる代数 $U_n$ との交差を用いて零化因子を計算し、$(\operatorname{Ann}M)\cap U_n$ が安定化し、$U(\mathfrak{g})$ における完全な零化因子を定義すること。

実験結果

リサーチクエスチョン

• RQ1 $σλ(\infty)$, $ϴ(\infty)$, $σπ(\infty)$ の単純な有界ウェイト加群の完全な分類は何か？
• RQ2 これらの加群の普遍包あらゆる代数 $U(\mathfrak{g})$ における零化因子は何か？
• RQ3 非可積分単純有界ウェイト加群は重複度自由であるか？ そして、これは分類をどのように簡素化するか？
• RQ4 有限次元代数からの直接極限構成において、有界加群の零化因子はどのように振る舞うか？
• RQ5 $U(\mathfrak{g})$ 内で有界ウェイト加群から生じる原始的イデアルの構造は何か？

主な発見

• $σλ(\infty)$ および $σπ(\infty)$ のすべての非可積分単純有界ウェイト加群は重複度自由であり、ディミトロフの先行研究における重要な洞察を裏付ける。
• $σπ(\infty)$ の単純な有界非可積分加群 $L(\frac{1}{2}, \frac{1}{2}, \dots)$ の零化因子は、$I_{\rm sw} = \underrightarrow{\lim}\, J_n$ に等しく、ここで $J_n$ は $U(\mathfrak{sp}(2n))$ 内のシェール＝ヴァイル加群の零化因子である。
• $σλ(\infty)$ に対して、$\Lambda_A^{\infty/2}V$ の零化因子は $I(0,1,\emptyset,\emptyset)$ に同型であり、$S_A^\infty V$ または $S_A^\infty V_*$ の零化因子は $I(1,0,\emptyset,\emptyset)$ に同型である。
• $σλ(\infty)$ に対して、$S^\lambda V$ の零化因子は $I(0,0,\lambda,\emptyset)$ に同型であり、$S^\mu V_*$ の零化因子は $I(0,0,\emptyset,\mu)$ に同型である。
• $ϴ(\infty)$ に対して、任意の非自明な単純有界可積分加群 $M \not\simeq V$ の零化因子は非ゼロであり、$M$ に依存せず、自明加群 $V$ の零化因子とは異なる。
• $σπ(\infty)$ の標準加群 $V$ の零化因子は $I_{\rm sw}$ に等しくないため、$I_{\rm sw}$ は自明表現の零化因子ではないことが示される。