[论文解读] 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算子建立了这些结构之间的范畴联系，并表明相容的结合代数会导出相容的李代数，而匹配的结合代数则不会产生匹配的李代数，从而凸显了该理论中的一个关键区别。

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.

研究动机与目标

• 将匹配Rota-Baxter代数的形式化定义为经典Rota-Baxter代数的推广，其动机源于代数重整化中的多重pre-Lie代数。
• 将经典Rota-Baxter代数、dendriform代数和pre-Lie代数之间的对应关系推广至多重相容运算的设定。
• 阐明‘相容’与‘匹配’代数结构之间的区别，特别是在从结合代数构造李代数的语境下。
• 引入并研究匹配tridendriform代数和PostLie代数，作为匹配结构的高阶推广。
• 建立一个精确的代数框架，将极化结合杨-Baxter方程与匹配Rota-Baxter代数及其衍生结构联系起来。

提出的方法

• 通过一个由集合Ω索引的Rota-Baxter算子族来定义匹配Rota-Baxter代数，其满足涉及多个运算的广义Rota-Baxter恒等式。
• 将匹配dendriform代数定义为匹配结合代数的分裂，其中运算∗α和∗β满足特定的双线性关系。
• 通过交换子括号从匹配Rota-Baxter代数构造匹配pre-Lie代数，推广了经典Rota-Baxter到pre-Lie的对应关系。
• 将极化结合杨-Baxter方程确立为控制匹配Rota-Baxter代数的关键方程，将其与迭代积分和多重核联系起来。
• 证明相容结合代数（而非匹配结合代数）可通过交换子括号诱导出相容李代数，从而揭示了从匹配结合代数无法导出匹配李代数的失败。
• 使用带类型的平面二叉树实现匹配dendriform代数，为这些运算提供了一个组合模型。

实验结果

研究问题

• RQ1 如何将经典Rota-Baxter代数构造推广至多重相容运算，从而导出一类称为匹配Rota-Baxter代数的新代数结构？
• RQ2 匹配Rota-Baxter代数、匹配dendriform代数和匹配pre-Lie代数之间存在何种精确的代数关系？
• RQ3 为何相容结合代数能诱导出相容李代数，而匹配结合代数却不能诱导出匹配李代数？
• RQ4 极化结合杨-Baxter方程在表征匹配Rota-Baxter代数中扮演何种角色？
• RQ5 匹配tridendriform代数和PostLie代数如何扩展匹配代数结构的层级？

主要发现

• 匹配Rota-Baxter代数通过一族满足涉及多个指标的广义Rota-Baxter恒等式的Rota-Baxter算子来定义，推广了经典情形。
• 匹配dendriform代数作为匹配结合代数的分裂而出现，其运算满足特定的双线性恒等式，这些恒等式推广了经典的dendriform关系。
• 匹配pre-Lie代数通过交换子括号从匹配Rota-Baxter代数构造而成，其与Foissy引入的多重pre-Lie代数一致，并在代数重整化中被使用。
• 从相容结合代数构造相容李代数的构造是成立的，但类似的从匹配结合代数出发的构造无法产生匹配李代数，揭示了结构上的根本差异。
• 极化结合杨-Baxter方程被证明等价于匹配Rota-Baxter代数的定义方程，将该理论与迭代积分和多重核联系起来。
• 引入了匹配tridendriform代数和PostLie代数作为高阶推广，扩展了匹配代数结构的层级。