[論文レビュー] Matching Rota-Baxter algebras, matching dendriform algebras and matching pre-Lie algebras

Xing Gao, Li Guo+1 more|arXiv (Cornell University)|Sep 23, 2019

Advanced Topics in Algebra参考文献 37被引用数 4

ひとこと要約

この論文は、正則性構造における代数的再正規化を動機として、古典的代数的構造の一般化としてマッチングRota-Baxter代数、マッチングdendriform代数、マッチングpre-Lie代数を導入する。Rota-Baxter作用素を介したカテゴリカルな関係を確立し、互換性のある結合代数が互換性のあるLie代数を生じるが、マッチング結合代数はマッチングLie代数を生じないことを示し、理論における重要な相違点を浮き彫りにする。

ABSTRACT

We introduce the notion of a matching Rota-Baxter algebra motivated by the recent work on multiple pre-Lie algebras arising from the study of algebraic renormalization of regularity structures~[10,18]. This notion is also related to iterated integrals with multiple kernels and solutions of the associative polarized Yang-Baxter equation. Generalizing the natural connection of Rota-Baxter algebras with dendriform algebras to matching Rota-Baxter algebras , we obtain the notion of matching dendriform algebras. As in the classical case of one operation, matching Rota-Baxter algebras and matching dendriform algebras are related to matching pre-Lie algebras which coincide with the aforementioned multiple pre-Lie algebras. More general notions and results on matching tridendriform algebras and matching PostLie algebras are also obtained.

研究の動機と目的

• 代数的再正規化における複数のpre-Lie代数を動機として、古典的Rota-Baxter代数の一般化としてマッチングRota-Baxter代数の概念を形式化すること。
• 古典的Rota-Baxter代数、dendriform代数、pre-Lie代数の間の対応関係を、複数の互換性のある作用素の設定に拡張すること。
• 結合代数からLie代数を構成する文脈において、'互換性'と'マッチング'の代数的構造の違いを明確にすること。
• マッチングtridendriform代数およびマッチングPostLie代数を導入し、それらをより高階の一般化として研究すること。
• 極化されたアソシエイティブYang-Baxter方程式がマッチングRota-Baxter代数およびその導来構造を正確に結びつける代数的枠組みを確立すること。

提案手法

• 集合Ωによってインデックス付けられたRota-Baxter作用素の族を用いて、複数の作用素を含む一般化されたRota-Baxter恒等式を満たすマッチングRota-Baxter代数を定義する。
• マッチング結合代数の分割としてマッチングdendriform代数を定義し、作用素∗αおよび∗βが特定の双線形関係を満たすようにする。
• マッチングRota-Baxter代数から交換子括弧を用いてマッチングpre-Lie代数を構成し、古典的なRota-Baxterからpre-Lieへの対応を一般化する。
• マッチングRota-Baxter代数を支配する主要な方程式として極化されたアソシエイティブYang-Baxter方程式を確立し、繰り返し積分および複数のカーネルと関連付ける。
• 互換性のある結合代数（マッチング結合代数ではない）が交換子括弧を介して互換性のあるLie代数を生じることを示し、マッチング結合代数からマッチングLie代数が得られないことの失敗を示す。
• 型付き平面二分木を用いてマッチングdendriform代数を実現し、作用素のための組合せ的モデルを提供する。

実験結果

リサーチクエスチョン

• RQ1 古典的Rota-Baxter代数の構成を、複数の互換性のある作用素に一般化することで、マッチングRota-Baxter代数と呼ばれる新しい代数的クラスがどのように得られるか？
• RQ2 マッチングRota-Baxter代数、マッチングdendriform代数、マッチングpre-Lie代数の間の明確な代数的関係は何か？
• RQ3 なぜ互換性のある結合代数は互換性のあるLie代数を生じるが、マッチング結合代数はマッチングLie代数を生じないのか？
• RQ4 極化されたアソシエイティブYang-Baxter方程式は、マッチングRota-Baxter代数を特徴付けるために果たす役割は何か？
• RQ5 マッチングtridendriform代数およびマッチングPostLie代数は、マッチング代数的構造の階層をどのように拡張するのか？

主な発見

• マッチングRota-Baxter代数は、複数のインデックスを含む一般化されたRota-Baxter恒等式を満たす、集合Ωによってインデックス付けられたRota-Baxter作用素の族によって定義され、古典的ケースの一般化である。
• マッチングdendriform代数は、マッチング結合代数の分割として生じ、古典的dendriform関係を一般化した特定の双線形恒等式を満たす作用素を有する。
• マッチングpre-Lie代数は、マッチングRota-Baxter代数から交換子括弧を用いて構成され、Foissyが導入し代数的再正規化で用いた複数のpre-Lie代数と一致する。
• 互換性のある結合代数から互換性のあるLie代数を構成する方法は有効であるが、マッチング結合代数からマッチングLie代数を構成する方法は成立せず、構造的差異を示す根本的な違いが明らかになる。
• 極化されたアソシエイティブYang-Baxter方程式がマッチングRota-Baxter代数の定義式と同値であることが示され、理論が繰り返し積分および複数のカーネルと結びつく。
• マッチングtridendriform代数およびマッチングPostLie代数が、マッチング代数的構造の階層を拡張する高階の一般化として導入された。