[论文解读] On universal Lie nilpotent associative algebras

Pavel Etingof, John Kim+1 more|ArXiv.org|May 13, 2008

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

一句话总结

本文完整描述了通用李幂零结合代数 $ Q_{n,4} $，证明其同构于 $ \mathbb{C}^n $ 上偶次多项式微分形式代数，且带有扭曲乘积。关键贡献在于显式刻画了关联分次代数的分次分量 $ \Lambda_{n,4} $，证明其为有限维 $ GL(n) $-模，从而解决了索引为 4 时长期悬而未决的公开问题。该工作扩展了对 $ Q_{n,2} $ 和 $ Q_{n,3} $ 的先前结果，并在关联分次商代数上建立了李代数作用。

ABSTRACT

We study the quotient Q_i(A) of a free algebra A by the ideal M_i(A) generated by relation that the i-th commutator of any elements is zero. In particular, we completely describe such quotient for i=4 (for i<=3 this was done previously by Feigin and Shoikhet). We also study properties of the ideals M_i(A), e.g. when M_i(A)M_j(A) is contained in M_{i+j-1}(A) (by a result of Gupta and Levin, it is always contained in M_{i+j-2}(A)).

研究动机与目标

• 确定通用李幂零结合代数 $ Q_{n,4} $ 的结构，该结构推广了对 $ Q_{n,2} $ 和 $ Q_{n,3} $ 的已知结果。
• 理解自由结合代数 $ A_n $ 上李滤链的分次分量 $ M_{n,i}/M_{n,i+1} $，特别是当 $ i=4 $ 时的情形。
• 回答关于 $ \Lambda_{n,i} $ 的 $ GL(n) $-模结构的第 2.3 问，此前仅对 $ i=2,3 $ 知道其结构。
• 证明李代数 $ \mathfrak{g}_n $（模 $ M_{n,3} $ 的导子代数）作用于关联分次代数 $ \overline{A} $，并描述这些商代数的表示理论。

提出的方法

• 作者利用自由结合代数 $ A_n $ 上的李滤链，诱导出 $ Q_{n,i} $ 上的滤链，并研究其关联分次代数 $ D_{n,i} = \mathrm{gr} Q_{n,i} $，该代数为交换代数。
• 他们将 $ D_{n,i} $ 分解为 $ \mathbb{C}[x_1,\dots,x_n] \otimes \Lambda_{n,i} $，其中 $ \Lambda_{n,i} $ 是 $ \mathrm{Sym}(\ell_n') $ 的像，并证明映射 $ \theta: \mathbb{C}[x_1,\dots,x_n] \otimes \Lambda_{n,i} \to D_{n,i} $ 是同构。
• 他们应用 Jennings 定理，利用 $ M_2(Q_{n,i}) $ 的幂零性，证明 $ \Lambda_{n,i} $ 为有限维。
• 他们使用 $ GL(n) $-等变论证和导子分析 $ M_{n,i}/M_{n,i+1} $ 的结构，证明 $ \mathrm{Der}(A_n) $ 通过 $ \mathfrak{g}_n $ 作用，且 $ \mathfrak{g}_n $ 保持 $ \overline{A} $ 上的分次与乘积。
• 他们通过子表示论证与迹的考虑，证明 $ M_{n,3}/M_{n,4} \cong \mathcal{F}_{2,1,0,\dots,0} \oplus \mathcal{F}_{2,2,0,\dots,0} $ 作为 $ W_n $-模。
• 他们使用计算工具（MAGMA）和自同构 $ g_i^t $ 推导多项式关系中的矛盾，从而证明同构 $ \theta $。

实验结果

研究问题

• RQ1 什么是 $ Q_{n,4} $ 的分次分量 $ \Lambda_{n,4} $ 的 $ GL(n) $-模结构？
• RQ2 商代数 $ M_{n,i}/M_{n,i+1} $ 作为 $ \mathfrak{g}_n $-模如何分解，特别是当 $ i=3 $ 时？
• RQ3 能否将 $ \mathrm{Der}(A_n) $ 在 $ M_{n,i}/M_{n,i+1} $ 上的作用通过 $ \mathfrak{g}_n $ 因式分解，其结构如何？
• RQ4 什么是 $ Q_{n,4} $ 的显式结构，它与已知代数如 $ Q_{n,3} $ 有何关联？
• RQ5 $ \theta: \mathbb{C}[x_1,\dots,x_n] \otimes \Lambda_{n,i} \to D_{n,i} $ 对于 $ i=4 $ 是否为同构？

主要发现

• 代数 $ Q_{n,4} $ 同构于 $ \mathbb{C}^n $ 上偶次多项式微分形式代数，其乘积定义为 $ a*b = ab + da \wedge db $，该结果推广了对 $ Q_{n,3} $ 的已知结果。
• 映射 $ \theta: \mathbb{C}[x_1,\dots,x_n] \otimes \Lambda_{n,4} \to D_{n,4} $ 是同构，从而证明 $ D_{n,4} \cong \mathbb{C}[x_1,\dots,x_n] \otimes \Lambda_{n,4} $。
• 代数 $ \Lambda_{n,4} $ 是有限维 $ GL(n) $-模，满足 $ \Lambda_{n,4}[0] = \mathbb{C} $，且在导出李代数 $ \ell_n' $ 中的次数小于 4 的部分生成。
• 商代数 $ M_{n,3}/M_{n,4} $ 作为 $ W_n $-模分解为 $ \mathcal{F}_{2,1,0,\dots,0} \oplus \mathcal{F}_{2,2,0,\dots,0} $，并明确识别出其子表示。
• $ \mathrm{Der}(A_n) $ 在 $ M_{n,i}/M_{n,i+1} $ 上的作用可因式分解为通过 $ \mathfrak{g}_n $，且 $ \mathfrak{g}_n $ 保持分次代数 $ \overline{A} $ 上的分次与乘积。
• 对于 $ i>3 $ 的 $ M_{n,i}/M_{n,i+1} $ 的结构仍为开放问题，尽管研究其框架已建立。