[论文解读] 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$ 中的有限维复李代数，证明仅存在有限多个非可解类型——具体为 $τ(2)$, $τ(2)×ℂ$，以及 $τ(2)⋈℃_3$——并提供了 $τ(2)$ 在 $×τ(2)$ 作用下的实现代数轨道的完整分类，通过谱和代数条件识别出一个典范族 $ℓ$ 的实现代数。

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$ 的李子代数实现的有限维复李代数进行分类。
• 刻画 $×τ(2)$ 在 $A_1$ 中的 $τ(2)$ 实现代数上的作用。
• 识别出 $τ(2)$ 实现代数的一个典范族 $ℓ$，并确定其在该群作用下的轨道结构。
• 提供多种等价刻画，用于判断一个 $τ(2)$-实现代数是否属于 $ℓ$ 的轨道，基于 $A_1$ 中元素的谱和代数性质。

提出的方法

• 分类依赖于分析 $A_1$ 的 Dixmier 划分，该划分根据伴随作用的谱将元素划分为不同谱类型。
• 作者利用 $A_1$ 的所有导子均为内导子的事实，将问题约化为对 $×τ(1)$ 的子代数进行分类。
• 他们通过满足 $[p,q]=1$ 的多项式生成元 $p$ 和 $q$，显式构造了 $\u03c4(2)$, $\mathcal{L}_n$, $\tilde{\mathcal{L}}_n$, 以及 $\u03c4(i_1,\dots,i_n)$ 在 $A_1$ 中的实现代数。
• 对于 $τ(2)$ 情况，他们定义了两个典范族：$f_I$（自然嵌入）和 $f_{II}^b$（Joseph 的族），并研究了它们在群 $×τ(2)$ 作用下的轨道。
• 他们证明了六个条件（i）–（vi）的等价性，这些条件刻画了属于 $ℓ$ 轨道的成员资格，包括实现代数中存在严格半单或严格幂零元素。
• 他们计算了稳定子群：$f_I$ 的稳定子群同构于 $SL(2,\mathbb{C})$，而 $f_{II}^b$ 的稳定子群同构于 $SO(3,\mathbb{C})$ 的 Borel 子群，使用表示论与代数技巧。

实验结果

研究问题

• RQ1 哪些有限维复李代数可作为 Weyl 代数 $A_1$ 的李子代数被嵌入？
• RQ2 在同构意义下，$A_1$ 中可实现的非交换有限维李代数的完整列表是什么？
• RQ3 $A_1$ 中 $τ(2)$ 的实现代数在 $×τ(2)$ 作用下的行为如何？
• RQ4 哪些刻画可用于识别一个 $τ(2)$-实现代数是否属于典范轨道 $ℓ$？
• RQ5 是否存在 $A_1$ 中不满足定理 1.2 中六个等价条件的 $τ(2)$ 实现代数？

主要发现

• 在 $A_1$ 中可实现的唯一非交换有限维李代数为 $τ(2)$, $τ(2)×ℂ$, $τ(2)⋈℃_3$, $τ_n$ ($n\geq 2$), $\tilde{\mathcal{L}}_n$ ($n\geq 2$), 以及 $τ(i_1,\dots,i_n)$，其中 $i_1<\cdots<i_n$ 为正整数。
• 在 $A_1$ 中可实现的唯一非可解李代数为 $τ(2)$, $τ(2)×ℂ$, 和 $τ(2)⋈℃_3$，确认了其为离散且有限的列表。
• $A_1$ 中典范族 $\mathcal{N} = \{f_I, f_{II}^b \mid b\in\mathbb{C}\}$ 在 $×τ(2)$ 作用下的轨道，由六个等价条件刻画，涉及像中严格半单或严格幂零元素的存在性。
• $ℓ$ 中任意两个元素均不在同一轨道中，$f_I$ 的稳定子群同构于 $SL(2,\mathbb{C})$，而 $f_{II}^b$ 的稳定子群同构于 $SO(3,\mathbb{C})$ 的一个 Borel 子群。
• 作者构造了一个显式的 $τ(2)$-实现代数，其不满足定理 1.2 中的任意一个六个等价条件，从而证明这些条件对于属于 $ℓ$ 轨道是必要且充分的。
• 实现代数 $f_{II}^b$ 早先由 A. Joseph 提出，本文确认其在 $A_1$ 中 $τ(2)$-实现代数分类中的典范族角色。