[论文解读] A Lie algebra related to the universal Askey-Wilson algebra

Rafael Reno S. Cantuba|arXiv (Cornell University)|Mar 17, 2016

Finite Group Theory Research参考文献 3被引用 5

一句话总结

本文研究了在通用 Askey-Wilson 代数 $ \Delta $ 中由 $ A, B, C $ 生成的李子代数 $ L $，表明尽管 $ \Delta $ 的定义关系无法仅用李运算表达，但 $ L $ 并非自由生成。关键结果是：在 $ \Delta $ 中，$ A, B, C $ 之间的第一个非平凡李代数关系出现在长度 5，当 $ q $ 不是单位根的六次方时，提供了 $ L_5 $ 的显式基。

ABSTRACT

Let $\mathbb{F}$ denote an algebraically closed field. Denote the three-element set by $\mathcal{X}=\{A,B,C\}$, and let $\mathbb{F}\left$ denote the free unital associative $\mathbb{F}$-algebra on $\mathcal{X}$. Fix a nonzero $q\in\mathbb{F}$ such that $q^4 eq 1$. The universal Askey-Wilson algebra $Δ$ is the quotient space $\mathbb{F}\left/\mathbb{I}$, where $\mathbb{I}$ is the two-sided ideal of $\mathbb{F}\left$ generated by the nine elements $UV-VU$, where $U$ is one of $A,B,C$, and $V$ is one of \begin{equation} (q+q^{-1}) A+\frac{qBC-q^{-1}CB}{q-q^{-1}}, onumber \end{equation} \begin{equation} (q+q^{-1}) B+\frac{qCA-q^{-1}AC}{q-q^{-1}}, onumber \end{equation} \begin{equation} (q+q^{-1}) C+\frac{qAB-q^{-1}BA}{q-q^{-1}}. onumber \end{equation} Turn $\mathbb{F}\left$ into a Lie algebra with Lie bracket $\left[ X,Y ight] = XY-YX$ for all $X,Y\in\mathbb{F}\left$. Let $\mathcal{L}$ denote the Lie subalgebra of $\mathbb{F}\left$ generated by $\mathcal{X}$, which is also the free Lie algebra on $\mathcal{X}$. Let $L$ denote the Lie subalgebra of $Δ$ generated by $A,B,C$. Since the given set of defining relations of $Δ$ are not in $\mathcal{L}$, it is natural to conjecture that $L$ is freely generated by $A,B,C$. We give an answer in the negative by showing that the kernel of the canonical map $\mathbb{F}\left ightarrowΔ$ has a nonzero intersection with $\mathcal{L}$. Denote the span of all Hall basis elements of $\mathcal{L}$ of length $n$ by $\mathcal{L}_n$, and denote the image of $\sum_{i=1}^n\mathcal{L}_i$ under the canonical map $\mathcal{L} ightarrow L$ by $L_n$. We study some properties of $L_4$ and $L_5$.

研究动机与目标

• 确定由 $ A, B, C $ 生成的李子代数 $ L \subset \Delta $ 是否作为李代数自由生成。
• 研究从自由李代数 $ \mathcal{L} $ 到 $ L $ 的典范映射 $ \mathcal{L} \to L $ 的核的结构。
• 识别在 $ \Delta $ 中 $ A, B, C $ 之间非平凡李代数关系首次出现的最小长度。
• 在 $ q $ 不是六次单位根的条件下，为 $ L $ 中长度 5 的标准李单项式空间 $ L_5 $ 构造显式基。
• 证明特定李单项式集合在 $ \Delta $ 中的线性无关性，从而确立长度 5 处存在非平凡关系。

提出的方法

• 利用自由李代数 $ \mathcal{L} $ 在 $ \{A, B, C\} $ 上的 Hall 基，其中标准李单项式通过递归地对低长度元素进行括号化定义。
• 应用典范满射 $ \mathcal{L} \to L \subset \Delta $，分析 $ \mathcal{L} $ 中 Hall 基元素在商代数 $ \Delta $ 中的像。
• 使用伴随作用 $ \mathrm{ad}_X(Y) = [X, Y] $ 在 $ \Delta $ 中推导和操作李恒等式，特别关注长度为 5 的单项式。
• 构造李单项式集合之间的过渡矩阵 $ T_i $ 以证明线性无关性，利用行列式验证可逆性。
• 在 $ \mathbb{F}\langle \mathcal{X} \rangle $ 上使用对称双线性形式来计算单词的系数，并验证单项式集合的线性无关性。
• 应用通用 Askey-Wilson 代数 $ \Delta $ 中的关系，特别是 $ A + \frac{qBC - q^{-1}CB}{q^2 - q^{-2}} $ 等表达式的中心性，以推导 $ L $ 中的约束。

实验结果

研究问题

• RQ1 李子代数 $ L \subset \Delta $ 是否由 $ A, B, C $ 自由生成为李代数？
• RQ2 在 $ \Delta $ 中，$ A, B, C $ 之间非平凡李代数关系首次出现在什么最小长度？
• RQ3 能否为 $ L $ 中长度 5 的标准李单项式空间构造显式基？在何种 $ q $ 条件下？
• RQ4 典范映射 $ \mathcal{L} \to L $ 的核的结构是什么？它与 $ \Delta $ 的定义关系有何关联？
• RQ5 论文中列出的特定李单项式集合在 $ \Delta $ 中是否线性无关？若是，其行列式值有何意义？

主要发现

• 典范映射 $ \mathcal{L} \to L $ 的核是非平凡的，证明了尽管 $ \Delta $ 的关系无法仅用李运算表达，$ L $ 仍不是由 $ A, B, C $ 自由生成的。
• 在 $ \Delta $ 中，$ A, B, C $ 之间的第一个非平凡李代数关系出现在长度 5，因为 $ L_5 $ 包含线性相关元素，而 $ L_4 $ 是线性无关的。
• 显式构造了 $ L_4 $ 的基，由 15 个长度为 4 的标准李单项式组成。
• 当 $ q $ 不是六次单位根时，给出了 $ L_5 $ 的基，包含 52 个标准李单项式。
• 通过过渡矩阵 $ T_i $ 的可逆性，证明了 $ \Delta $ 中一个关键集合 $ \mathcal{K} $（共 20 个长度为 5 的李单项式）的线性无关性，其非零行列式涉及 $ (q - q^{-1})^{-8} $。
• 过渡矩阵 $ T_1 $ 的行列式非零，具体为 $ \det T_1 = -\frac{1}{2(q+q^{-1})^2(q-q^{-1})^8} \neq 0 $，确认了变换后集合 $ \mathcal{K}_1 $ 的线性无关性，进而通过归纳法得出 $ \mathcal{K}_5 = \mathcal{K} $ 的线性无关性。