[论文解读] Splitting of operads and Rota-Baxter operators on operads

Jun Pei, Chengming Bai+1 more|arXiv (Cornell University)|Jun 13, 2013

Advanced Topics in Algebra参考文献 9被引用 6

一句话总结

本文提出了一种统一框架，用于在任意操作代数（operads）中对操作进行分裂——该框架推广了枝形代数（dendriform）与三枝形代数（tridendriform）的概念——通过定义配置与分裂方式，使其超越二元操作的限制。该研究建立了操作代数上的Rota-Baxter算子与其分裂结构之间的深刻联系，统一了经典构造，并证明了任一枝形代数均可通过广义操作代数设定下的相对Rota-Baxter算子构造得出。

ABSTRACT

This paper establishes a uniform procedure to split the operations in any algebraic operad, generalizing previous known notions of splitting algebraic structures from the dendriform algebra of Loday that splits the associative operation to the successors that split any binary operad. Examples are provided for various $n$-associative algebras, $n$-Lie algebras, $A_\infty$ algebras and $L_\infty$ algebras. Further, the concept of a Rota-Baxter operator, first showing its importance in the associative and Lie algebra context and then generalized to any binary operads, is generalized to arbitrary operads. The classical links from the Rota-Baxter associative algebra to the dendriform algebra and its numerous generalizations are further generalized and unified as the link from the Rota-Baxter operator on an operad to the splitting of the operad. Finally, the remarkable fact that any dendriform algebra can be recovered from a relative Rota-Baxter operator is generalized to the context of operads with the generalized notion of a relative Rota-Baxter operator for any operad.

研究动机与目标

• 将操作代数中分裂代数操作的概念从二元操作代数推广至具有混合元数的任意操作代数。
• 通过基于配置的统一框架，统一已知的分裂结构，如枝形代数、三枝形代数和预李代数。
• 将Rota-Baxter算子推广至任意操作代数，并建立其与分裂结构之间的联系。
• 将经典结论（即枝形代数可由相对Rota-Baxter算子构造）推广至所有操作代数，通过广义的相对Rota-Baxter算子概念。
• 通过平面树与操作代数中的配置，提供分裂结构的函子性与代数表征。

提出的方法

• 引入标记平面树上的配置概念，以统一方式定义操作代数中各种分裂模式。
• 通过一种新的操作代数构造 $\mathcal{C}\mathrm{Sp}(\mathcal{P})$ 定义操作代数的元数分裂，该构造推广了后继与三后继构造。
• 构建一个从原操作代数到分裂后操作代数的提升映射 $\widetilde{\tau}$，以保持代数关系不变。
• 利用分裂结构定义操作代数上的Rota-Baxter算子，推广经典在结合代数与李代数上的Rota-Baxter算子。
• 引入操作代数上相对Rota-Baxter算子的概念，推广经典结合代数中的构造。
• 证明：任意带有权为一的相对 $\mathcal{C}$-Rota-Baxter算子的 $\mathcal{P}$-代数，可通过分裂构造诱导出 $\mathcal{C}\mathrm{Sp}(\mathcal{P})$-代数结构。

实验结果

研究问题

• RQ1 如何将二元操作（如枝形代数）的分裂概念推广至非二元及混合元数的操作代数？
• RQ2 何种精确的代数结构能够统一不同操作代数中枝形、三枝形与预李代数等各类分裂？
• RQ3 操作代数上的Rota-Baxter算子如何与操作代数框架中的操作分裂相关联？
• RQ4 经典构造中枝形代数由相对Rota-Baxter算子生成的结论，能否推广至任意操作代数？
• RQ5 平面树与配置在定义与分类操作代数分裂中起何种作用？

主要发现

• 本文通过标记平面树上的配置，为任意操作代数构建了统一的分裂过程，推广了二元情形。
• $Dend_{\infty}$ 操作代数被实现为 $A_{\infty}$ 操作代数的元数分裂，$PL_{\infty}$ 作为 $L_{\infty}$ 操作代数的元数分裂。
• 操作代数上的Rota-Baxter算子诱导出操作代数的分裂，推广了已知的Rota-Baxter代数与枝形代数之间的联系。
• 在 $\mathcal{P}$-代数上构造相对Rota-Baxter算子，可诱导出 $\mathcal{C}\mathrm{Sp}(\mathcal{P})$-代数结构，推广了经典枝形代数的恢复构造。
• 分裂过程保持代数关系：若 $A$ 是 $\mathcal{P}$-代数，且 $\mathrm{id}: A \to A$ 是权为一的相对 $\mathcal{C}$-Rota-Baxter算子，则 $A$ 装备有 $\mathcal{C}\mathrm{Sp}(\mathcal{P})$-代数结构。
• 该框架通过单一操作代数机制统一了多种分裂结构，包括 $n$-结合代数、$n$-李代数以及 $A_{\infty}$/$L_{\infty}$ 代数。