[论文解读] Algebras, dialgebras, and polynomial identities

Murray R. Bremner|arXiv (Cornell University)|Jan 16, 2012

Advanced Topics in Algebra参考文献 18被引用 5

一句话总结

本文系统研究了结合与非结合双代数中的多项式恒等式，引入KP与BSO算法以实现代数及其双代数对应物之间恒等式与运算的转换。主要贡献在于提出一个统一猜想，表明在半单群代数条件下，这些方法生成的多项式恒等式等价，对李代数、若尔当代数及三重系统在双代数设定下的推广具有重要意义。

ABSTRACT

This is a survey of some recent developments in the theory of associative and nonassociative dialgebras, with an emphasis on polynomial identities and multilinear operations. We discuss associative, Lie, Jordan, and alternative algebras, and the corresponding dialgebras; the KP algorithm for converting identities for algebras into identities for dialgebras; the BSO algorithm for converting operations in algebras into operations in dialgebras; Lie and Jordan triple systems, and the corresponding disystems; and a noncommutative version of Lie triple systems based on the trilinear operation abc-bca. The paper concludes with a conjecture relating the KP and BSO algorithms, and some suggestions for further research. Most of the original results are joint work with Raul Felipe, Luiz A. Peresi, and Juana Sanchez-Ortega.

研究动机与目标

• 将多项式恒等式理论从代数扩展到双代数，特别是结合代数、李代数、若尔当代数及交错代数。
• 开发并应用KP与BSO算法，实现代数与其双代数类比之间恒等式与多重线性运算的转换。
• 研究双代数与三重系统之间的结构关系，包括李三重系统、若尔当代数三重系统及非交换类比。
• 提出一个统一KP与BSO算法的猜想，表明在特征条件下生成的多重线性恒等式具有等价性。
• 识别将代数种类（如博尔代数、阿基维斯代数及萨比宁代数）推广至双代数与三重代数框架中的开放问题。

提出的方法

• KP算法通过将运算替换为左乘与右乘，将代数中的多项式恒等式转换为双代数中的对应恒等式。
• BSO算法利用单项式的中心，从代数中的给定$n$元运算生成双代数中的多重线性$n$元运算。
• 论文使用次数$e \leq d$的多重线性恒等式来定义双代数运算所满足的恒等式子空间$J_e$。
• 建立了KP与BSO过程之间的交换图，表明在半单群代数条件下，它们生成的恒等式具有等价性。
• 理论结果通过计算机代数得到支持，特别是在分析若尔当代数及其双代数类比的八次恒等式方面。
• 该框架被扩展至通过三线性运算$abc - bca$实现的李三重系统非交换类比，以及幂结合代数中的高阶结构（如四元化器）。

实验结果

研究问题

• RQ1 当基域的特征为0或$p > d$时，KP与BSO算法是否在双代数中产生等价的多重线性恒等式集合？
• RQ2 能否通过将KP算法应用于右交错双代数中的恒等式，恢复博尔代数的定义恒等式？
• RQ3 萨比宁代数（通过非结合代数中无限多重线性运算族推广李代数）的双代数类比是什么？
• RQ4 KP算法如何推广至具有三个结合运算的三重代数？此类构造会产生哪些恒等式？
• RQ5 右交错双代数中，对易子与结合子满足哪些多项式恒等式？它们与原始代数中的恒等式有何关联？

主要发现

• KP算法成功地将结合代数中的多项式恒等式转换为在结合双代数中有效的恒等式，同时保持了多重线性结构。
• BSO算法利用单项式的中心，从代数中的单个$n$元运算生成双代数中的$n$个多重线性$n$元运算。
• 对于结合代数中的反对称积，若尔当恒等式与交换性并不能推出所有恒等式；存在特殊的八次恒等式，且并非标准公理的推论。
• 该猜想指出，当$\mathbb{F}$的特征为0或$p > d$时，KP与BSO算法在次数$d$内生成等价的恒等式集合，意味着涉及恒等式空间的关键交换图是可交换的。
• 科列斯尼科夫与沃罗宁已报告了该猜想的显著进展，暗示两种算法之间存在深刻的结构联系。
• 本文识别出将双代数理论推广至阿基维斯代数与萨比宁代数等结构的开放问题，并提出了向三重代数及迭代双代数构造推广的方案。