[论文解读] Finiteness of Nichols Algebras and Nichols (Braided) Lie Algebras

Weicai Wu, Yao-Zhong Zhang+1 more|arXiv (Cornell University)|Jul 27, 2016

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

一句话总结

本文建立了对维度大于一的对角型辫子向量空间，其尼古拉斯代数及其相关尼古拉斯（辫子）李代数有限维性的必要与充分条件。证明了当且仅当根系为算术型且量子参数（单位根）为有限阶时，有限性成立，同时提供了代数中迭代伴随作用消失的显式判别准则。

ABSTRACT

It is shown that if $\mathfrak B(V) $ is connected Nichols algebra of diagonal type with $\dim V>1$, then $\dim (\mathfrak L^-(V)) = \infty$ $($resp. $ \dim (\mathfrak L(V)) = \infty $$)$ $($ resp. $ \dim (\mathfrak B(V)) = \infty $$)$ if and only if $Δ(\mathfrak B(V)) $ is an arithmetic root system and the quantum numbers (i.e. the fixed parameters) of generalized Dynkin diagrams of $V$ are of finite order. Sufficient and necessary conditions for $m$-fold adjoint action in $\mathfrak B(V)$ equal to zero, viz. $\overline{l}_{x_{i}}^{m}[x_{j}]^ -=0$ for $x_i,~x_j\in \mathfrak B(V)$, are given.

研究动机与目标

• 确定维度大于一的对角型尼古拉斯代数何时为有限维。
• 刻画相关尼古拉斯（辫子）李代数的有限维性。
• 为尼古拉斯代数中m重伴随作用消失提供必要与充分条件。
• 解决安德鲁斯凯维奇（Andruskiewitsch，2002）第5.9问中关于对角辫子向量空间的尼古拉斯代数有限维性问题。
• 确立尼古拉斯代数的有限性等价于其相关辫子李代数的有限性。

提出的方法

• 作者通过谢尔绍夫分解，利用林德（Lyndon）词与超字母分析尼古拉斯代数的结构。
• 定义强超字母，并利用其高度确定代数中的关系。
• 该方法依赖于辫子向量空间广义Dynkin图相关的量子数（结构常数）。
• 论文采用词的组合技巧与词典序排列，定义非结合乘积与迭代伴随作用。
• 引入系数 αk,l 与 ᾱk,l，以表达m重伴随作用消失的条件。
• 分析利用单位根与量子二项式系数的性质，推导出消失条件。

实验结果

研究问题

• RQ1 对角型辫子向量空间的尼古拉斯代数在何种条件下为有限维？
• RQ2 相关尼古拉斯（辫子）李代数在何种条件下为有限维？
• RQ3 尼古拉斯代数中m重伴随作用消失的必要与充分条件是什么？
• RQ4 量子参数（单位根）的有限性如何与尼古拉斯代数的维数相关？
• RQ5 是否存在迭代伴随作用在生成元上变为零的精确代数刻画？

主要发现

• 负尼古拉斯李代数 𝔏⁻(V) 的维数为无穷，当且仅当根系 Δ(𝔹(V)) 为算术型，且广义Dynkin图的量子参数为有限阶。
• 正尼古拉斯李代数 𝔏(V) 的维数在与 𝔏⁻(V) 相同的条件下为无穷。
• 尼古拉斯代数 𝔹(V) 的维数为无穷，当且仅当 Δ(𝔹(V)) 为算术根系，且量子参数为有限阶。
• 为使m重伴随作用消失，即 l̄ₓ₁^m[x₂]⁻ = 0，所有相关k与l的系数 ᾱk,l 必须为零，且对 m = ord(p₁₁) 与 m = ord(p₂₂) 推导出显式条件。
• 当 m₁₂ = 1 时，条件 l̄ₓ₁^ord(p₁₁)[x₂]⁻ = 0 成立，当且仅当 (p₁₂ − 1)^ord(p₁₁) = (p₁₁p₁₂ − 1)^ord(p₁₁)。
• 当 m₁₂ = 2 时，l̄ₓ₁^ord(p₁₁)[x₂]⁻ 的消失需满足两个条件：(p₁₂ − 1)^ord(p₁₁) = (p₁₁p₁₂ − 1)^ord(p₁₁) = (p₁₁²p₁₂ − 1)^ord(p₁₁)，以及 (ord(p₁₁)+1) 重作用的更复杂关系。