[論文レビュー] Primitive ideals of $\operatorname{U}(\frak{sl}(\infty))$

Ivan Penkov, Alexey Petukhov|arXiv (Cornell University)|Aug 31, 2016

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

ひとこと要約

本稿は、特性 0 の非可算な代数的閉体上の普遍包あくり代数 $υ(\frak{sl}(\infty))$ の原始的イデアルを完全に分類する。すべての原始的イデアルが整形式的であることを証明し、A. Zhilinskii の研究に基づく既知の整形式的イデアルの分類が、実際に $υ(\frak{sl}(\infty))$ のすべての原始的イデアルを尽くしていることを示した。これにより、ヤング図と重みパラメータを用いた有限で明示的な記述が得られる。

ABSTRACT

We provide an explicit description of the primitive ideals of the enveloping algebra $\operatorname{U}(\frak{sl}(\infty))$ of the infinite-dimensional finitary Lie algebra $\frak{sl}(\infty)$ over an uncountable algebraically closed field of characteristic 0. Our main new result is that any primitive ideal of $\operatorname{U}(\frak{sl}(\infty))$ is integrable. A classification of integrable primitive ideals of $\operatorname{U}(\frak{sl}(\infty))$ has been known previously, and relies on the pioneering work of A. Zhilinskii.

研究の動機と目的

• 普遍包あくり代数 $\operatorname{U}(\frak{sl}(\infty))$ のすべての原始的イデアルを明示的に分類すること。
• $\operatorname{U}(\frak{sl}(\infty))$ のすべての原始的イデアルが整形式的であるかどうかという長年の問いを解決すること。
• Zhilinskii の研究に基づく既知の整形式的イデアルの分類が、$\operatorname{U}(\frak{sl}(\infty))$ のすべての原始的イデアルを完全に尽くしていることを確立すること。
• 重みパラメータとヤング図を用いて、原始的イデアルの包含関係に関する組合せ論的基準を構築すること。

提案手法

• 著者たちは、$\mathfrak{sl}(n)$-加群の最高重量に対応するパラメータ $x,y$ および列 $l_i, r_j$ を用いて、原始的イデアル $I(x,y,l_1,\dots,l_s,r_1,\dots,r_t)$ を定義する。
• 重みデータを符号化する列 $p_i^c$ と $q_j^d$ を導入し、それらを用いてイデアルをその関連する c.l.s.（閉じた極限集合）によってパラメータライズする。
• c.l.s. の理論と Zhilinskii の研究による整形式的イデアルの分類を用いて、すべての原始的イデアルが整形式的 annihilator として現れることを示す。
• シフトされた重み列に関する不等式を用いた包含関係の基準を確立する：$l_i - a \geq l'_{i+c}$ および $r_j - b \geq r'_{j+d}$ が $a+b = y - y'$, $c+d = x - x'$ を満たすとき。
• 証明は、c.l.s. の既約性および $\mathfrak{sl}(n)$-加群の直和極限の構造、特に自然加群 $V = \varinjlim V(n)$ 及びその双対 $V_*$ に依存している。
• また、$\operatorname{U}(\frak{sl}(\infty))$ は高々可算個の原始的イデアルしか持たないという事実を用いる。これは、有限次元設定における非可算の場合とは対照的である。

実験結果

リサーチクエスチョン

• RQ1 $\operatorname{U}(\frak{sl}(\infty))$ のすべての原始的イデアルが整形式的であるか。
• RQ2 Zhilinskii の研究に基づく整形式的イデアルの分類を、すべての原始的イデアルに拡張できるか。
• RQ3 $\operatorname{U}(\frak{sl}(\infty))$ における原始的イデアルの包含構造は何か。
• RQ4 パラメータ $x,y,l_i,r_j$ は原始的イデアルの構造をどのように符号化しているか。
• RQ5 $\operatorname{U}(\frak{sl}(\infty))$ における原始的イデアルの包含関係について、有限で組合せ論的な基準は存在するか。

主な発見

• $\operatorname{U}(\frak{sl}(\infty))$ のすべての原始的イデアルが整形式的であることが示され、無限次元リー代数表現論における重要な問いが解決された。
• Zhilinskii の研究に基づく整形式的イデアルの分類が、$\operatorname{U}(\frak{sl}(\infty))$ のすべての原始的イデアルを完全に記述している。
• $\operatorname{U}(\frak{sl}(\infty))$ には高々可算個の原始的イデアルしかなく、これは有限次元設定における非可算の場合とは対照的である。
• 原始的イデアルの包含関係に関する基準が確立された：$I \subset I'$ となるための必要十分条件は、$x \geq x'$, $y \geq y'$ および $l_i - a \geq l'_{i+c}$, $r_j - b \geq r'_{j+d}$ が $a+b = y - y'$, $c+d = x - x'$ を満たすことである。
• $\operatorname{U}(\frak{sl}(\infty))$ の両側イデアルのラティスは上昇鎖条件を満たす。
• 増幅イデアル $I(0,0,0,0)$ は、$\operatorname{U}(\frak{sl}(\infty))$ における唯一の最大両側イデアルである。