[論文レビュー] 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プロセスの間で可換図式を確立し、半単純群代数の条件下で、生成する恒等式が同値であることを示唆する。
• 理論的結果は、特にジョルダン代数およびその双代数的類似物の次数 8 の恒等式の分析において、コンピュータ代数によって裏付けられる。
• 非可換リー三重系の類似物は、三重演算 $ abc - bca $ を用いて双代数的枠組みへ拡張され、パワーアソシエイティブ代数における四重器のような高次元構造へも応用される。

実験結果

リサーチクエスチョン

• RQ1 基礎体の特性が 0 または $ p > d $ のとき、KPおよびBSOアルゴリズムは双代数において同値な多線形恒等式の集合を生成するか？
• RQ2 右代数的双代数における恒等式にKPアルゴリズムを適用することで、ボル代数の定義的恒等式を回復できるか？
• RQ3 非結合的代数における無限個の多線形演算によって一般化されるリー代数を一般化するサビニン代数の双代数的類似物は何か？
• RQ4 KPアルゴリズムを三つの結合的演算を有する三重代数へ一般化できるか？このような構成からどのような恒等式が生じるか？
• RQ5 右代数的双代数におけるディコムタトリと結合子が満たす多項式的恒等式は何か？それらは元の代数における恒等式とどのように関係するか？

主な発見

• KPアルゴリズムは、結合的代数からの多項式的恒等式を、結合的双代数において有効である恒等式に成功裏に変換し、多線形構造を保存する。
• BSOアルゴリズムは、単一の代数における $ n $ 重演算から、単項式の中心を用いて双代数において $ n $ 個の多線形 $ n $ 重演算を生成する。
• 結合的代数における反交換子に対しては、ジョルダン恒等式と可換性がすべての恒等式を意味するわけではない。特別な次数 8 の恒等式が存在し、それらは標準的公理の結果ではない。
• 予想では、$ \mathbb{F} $ が特性 0 または $ p > d $ のとき、KPおよびBSOアルゴリズムが次数 $ d $ において同値な恒等式の集合を生成するという。これは、恒等式空間を含む重要な図式の可換性を示唆する。
• コレスニコフおよびボロニンによる報告により、この予想の証明に向けて顕著な進展が得られている。KPおよびBSOアルゴリズムの間の深い構造的関係が示唆されている。
• 本稿では、アキヴィスおよびサビニン代数への双代数的理論の拡張に関する未解決問題を特定し、三重代数および反復双代数的構成への一般化を提案する。