[論文レビュー] Finite-dimensional Lie subalgebras of the Weyl algebra

Michel Rausch de Traubenberg, Marcus J. Slupinski+1 more|HAL (Le Centre pour la Communication Scientifique Directe)|Apr 11, 2005

Advanced Topics in Algebra参考文献 11被引用数 8

ひとこと要約

この論文は、複素数体上のWeyl代数 $A_1$ のLie部分代数として埋め込める有限次元複素Lie代数を分類し、非可解型は有限個に限られ、具体的には $\mathfrak{sl}(2)$, $\mathfrak{sl}(2)\times\mathbb{C}$, および $\mathfrak{sl}(2)\ltimes\mathcal{H}_3$ のみであることを証明している。また、$\mathrm{Aut}(A_1)\times\mathrm{Aut}(\mathfrak{sl}(2))$ の作用における $\mathfrak{sl}(2)$ の実現の完全な軌道分類を行い、スペクトル的および代数的基準により、標準的族 $\mathcal{N}$ を特定している。

ABSTRACT

We classify up to isomorphism all finite-dimensional Lie algebras that can be realised as Lie subalgebras of the complex Weyl algebra $A_1$. The list we obtain turns out to be discrete and for example, the only non-solvable Lie algebras with this property are: $sl(2)$, $sl(2) imes\mathbb C$ and $sl(2)\ltimes{\cal H}_3$. We then give several different characterisations, normal forms and isotropy groups for the action of $Aut (A_1) imes Aut (sl(2))$ on a particular class of realisations of $sl(2)$ in $A_1$.

研究の動機と目的

• 複素Weyl代数 $A_1$ のLie部分代数として実現可能なすべての有限次元複素Lie代数を分類すること。
• $\mathrm{Aut}(A_1)\times\mathrm{Aut}(\mathfrak{sl}(2))$ が $A_1$ 内の $\mathfrak{sl}(2)$ 実現に作用する様子を特徴づけること。
• 標準的族 $\mathcal{N}$ の $\mathfrak{sl}(2)$ 実現を特定し、この群作用におけるその軌道構造を同定すること。
• $\mathcal{N}$ の軌道にあるかどうかを判別するための、$A_1$ の元のスペクトル的および代数的性質に基づく複数の同等な特徴づけを提供すること。

提案手法

• 分類は、$A_1$ のDixmier分割の分析に依拠しており、これは元をアジュンクト作用のスペクトルに基づくスペクトル的タイプに分割する。
• 著者たちは、$A_1$ のすべての導分が内部的であるという事実を用い、$\mathrm{Der}(A_1)$ の部分代数の分類に帰着させている。
• 多項式生成子 $p$ と $q$ が $[p,q]=1$ を満たすように、$\mathfrak{sl}(2)$, $\mathcal{L}_n$, $\tilde{\mathcal{L}}_n$, および $\mathfrak{r}(i_1,\dots,i_n)$ の明示的実現を構成している。
• $\mathfrak{sl}(2)$ の場合、2つの標準的族 $f_I$（自然埋め込み）と $f_{II}^b$（Josephの族）を定義し、群 $\mathrm{Aut}(A_1)\times\mathrm{Aut}(\mathfrak{sl}(2))$ による軌道を研究している。
• 軌道 $\mathcal{N}$ に属するかどうかを特徴づける6つの条件（i）–（vi）の同値性を証明しており、実現における厳密に半単純または厳密に冪零な元の存在を含む。
• 安定化部分群を計算している：$f_I$ の安定化部分群は $SL(2,\mathbb{C})$ に同型であり、$f_{II}^b$ の安定化部分群は $SO(3,\mathbb{C})$ のボレル部分群に同型である。表現論的および代数的技法を用いている。

実験結果

リサーチクエスチョン

• RQ1 どの有限次元複素Lie代数がWeyl代数 $A_1$ のLie部分代数として埋め込めるか？
• RQ2 $A_1$ に実現可能な非可換な有限次元Lie代数の完全なリスト（同型を除いて）は何か？
• RQ3 $\mathrm{Aut}(A_1)\times\mathrm{Aut}(\mathfrak{sl}(2))$ の作用における $A_1$ 内の $\mathfrak{sl}(2)$ 実現はどのように振る舞うか？
• RQ4 $\mathfrak{sl}(2)$-実現が標準的軌道 $\mathcal{N}$ に属するかどうかを特定する特徴づけは何か？
• RQ5 定理1.2の6つの同値条件を満たさない $\mathfrak{sl}(2)$ 実現は $A_1$ に存在するか？

主な発見

• $A_1$ に実現可能な唯一の非可換な有限次元Lie代数は、$\mathfrak{sl}(2)$, $\mathfrak{sl}(2)\times\mathbb{C}$, $\mathfrak{sl}(2)\ltimes\mathcal{H}_3$, $\mathcal{L}_n$ ($n\geq 2$), $\tilde{\mathcal{L}}_n$ ($n\geq 2$), および $i_1<\cdots<i_n$ を満たす正の整数 $i_1,\dots,i_n$ に対する $\mathfrak{r}(i_1,\dots,i_n)$ に限られる。
• $A_1$ に実現可能な唯一の非可解Lie代数は、$\mathfrak{sl}(2)$, $\mathfrak{sl}(2)\times\mathbb{C}$, および $\mathfrak{sl}(2)\ltimes\mathcal{H}_3$ であり、離散的かつ有限個であることが確認された。
• $\mathrm{Aut}(A_1)\times\mathrm{Aut}(\mathfrak{sl}(2))$ による標準的族 $\mathcal{N} = \{f_I, f_{II}^b \mid b\in\mathbb{C}\}$ の軌道は、像内に厳密に半単純または厳密に冪零な元が存在するという6つの同値条件によって特徴づけられる。
• $\mathcal{N}$ の2つの元は同じ軌道に属さず、$f_I$ の安定化部分群は $SL(2,\mathbb{C})$ に同型であり、$f_{II}^b$ の安定化部分群は $SO(3,\mathbb{C})$ のボレル部分群に同型である。
• 著者たちは、定理1.2の6つの同値条件を満たさない明示的な $\mathfrak{sl}(2)$-実現を構成し、これらの条件が $\mathcal{N}$ の軌道に属するための必要十分条件であることを示している。
• $f_{II}^b$ 実現は以前に A. Joseph によって導入されており、本論文では $A_1$ 内の $\mathfrak{sl}(2)$-実現の分類においてその標準的族としての役割を確認している。