[论文解读] Enveloping algebras of solvable Malcev algebras of dimension five

Murray R. Bremner, Marina Tvalavadze|arXiv (Cornell University)|Aug 11, 2010

Advanced Topics in Algebra参考文献 2被引用 3

一句话总结

本文为一个五维可解Malcev代数的一参数族构造了其通用非结合与替代包络代数的显式结构常数。它确定了通用包络代数的中心，表明当参数γ为有理数时中心非平凡，并通过将其嵌入到替代代数中证明了这些Malcev代数是特殊的。

ABSTRACT

We study the universal enveloping algebras of the one-parameter family of solvable 5-dimensional non-Lie Malcev algebras. We explicitly determine the universal nonassociative enveloping algebras (in the sense of Perez-Izquierdo and Shestakov) and the centers of the universal enveloping algebras. We also determine the universal alternative enveloping algebras.

研究动机与目标

• 计算五维可解Malcev代数的通用非结合包络代数$ U(M) $与通用替代包络代数$ A(M) $的显式结构常数。
• 确定通用包络代数$ U(M) $的中心，识别其中心非平凡的条件。
• 证明五维可解Malcev代数的一参数族是特殊的，即可以嵌入到某个替代代数的换位子代数中。
• 构造一个更小的、无限维的替代代数$ \mathbb{A}_\gamma $，使其包含Malcev代数作为其换位子代数的子代数。
• 研究有限维特殊Malcev代数是否必然具有有限维的替代包络代数，提出该领域的一个开放问题。

提出的方法

• 将$ U(M) $构造为由$ M $的一组基生成的自由非结合代数的商代数，模去编码Malcev恒等式与换位子结构关系的理想。
• 使用由非减多指标索引的左打孔单项式$ \overline{a}_I $构成$ U(M) $的基，确保其与$ M $上的多项式代数之间存在类似PBW的同构。
• 推导出递归公式（引理2.3），用于计算$ U(M) $中的换位子$ [x,s] $与左乘$ sx $，利用$ M $的结构常数与结合子恒等式。
• 将交替子理想$ I(M) $定义为所有结合子$ (x,y,z) $生成的理想，并构造$ A(M) = U(M)/I(M) $作为通用替代商代数。
• 显式构造一个替代代数$ \mathbb{A}_\gamma $，其基为$ \{a^r, b, c, d, e \mid r \geq 1\} $，通过$ a^r \cdot a^s = a^{r+s} $与$ e \cdot a^r = (-\gamma)^r e $定义乘法，并通过结合子消失验证其替代性。
• 通过模$ \mathbb{I}_\gamma = \mathrm{span}\{a^t - a^s\} $的商论证，证明$ \mathbb{A}_\gamma' / \mathbb{I}_\gamma $是替代的，并通过检查所有基结合子消失，将此结果推广至整个$ \mathbb{A}_\gamma $。

实验结果

研究问题

• RQ1 五维可解Malcev代数$ \mathbb{M}_\gamma $的通用非结合包络代数$ U(M) $的显式结构常数是什么？
• RQ2 $ U(M) $的中心结构如何？对于哪些$ \gamma $值其非平凡？
• RQ3 通用替代包络代数$ A(M) $是有限维还是无限维？
• RQ4 Malcev代数$ \mathbb{M}_\gamma $能否嵌入到某个有限维替代代数的换位子代数中？
• RQ5 每个有限维特殊Malcev代数是否都具有有限维的替代包络代数？

主要发现

• 五维可解Malcev代数$ \mathbb{M}_\gamma $的通用非结合包络代数$ U(M) $具有显式基——左打孔单项式，其结构常数由换位子的递归公式导出。
• 当且仅当参数$ \gamma $为有理数时，$ U(M) $的中心非平凡，且通过结合子恒等式显式构造了中心元素。
• 通用替代包络代数$ A(M) $是无限维的，其构造为商代数$ U(M)/I(M) $，其中$ I(M) $为交替子理想。
• Malcev代数$ \mathbb{M}_\gamma $是特殊的：它可作为无限维替代代数$ \mathbb{A}_\gamma $的换位子代数的子代数被嵌入。
• $ \mathbb{A}_\gamma $是替代的，因为所有基结合子消失，通过直接计算与模$ \mathbb{I}_\gamma $的商论证得以验证。
• $ \mathbb{A}_\gamma $的构造提供了一个比$ U(M) $更小的无限维替代包络代数，其替代性通过验证对所有基元素有$ (x,y,z) = (y,x,z) $与$ (x,y,z) = (x,z,y) $得到确认。