[论文解读] Operads of decorated trees and their duals

Vsevolod Gubarev, P. S. Kolesnikov|arXiv (Cornell University)|Jan 15, 2014

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

一句话总结

本文通过带装饰的树的operad，提出了一套统一的代数框架，用于定义预代数和余代数，证明其与现有 dendriform 分裂构造等价。该方法将 Manin 黑积构造推广至任意 operad，提供了一种更简洁的代数方法来推导和证明预代数与余代数的性质，尤其通过 Rota–Baxter 算子以及 ComTrias-operad 相互作用的结构。

ABSTRACT

This is an extended version of a talk presented by the second author on the Third Mile High Conference on Nonassociative Mathematics (August 2013, Denver, CO). The purpose of this paper is twofold. First, we would like to review the technique developed in a series of papers for various classes of di-algebras and show how do the same ideas work for tri-algebras. Second, we present a general approach to the definition of pre- and post-algebras which turns out to be equivalent to the construction of dendriform splitting. However, our approach is more algebraic and thus provides simpler way to prove various properties of pre- and post-algebras in general.

研究动机与目标

• 通过统一的代数框架，将预代数与余代数的构造推广至二元二次 operad 之外。
• 证明基于带装饰树的 operad 方法所得到的代数类与先前的构造（如二 dendriform 代数和三 dendriform 代数）相同，但证明过程更简洁。
• 通过 ComTrias operad 和黑积，建立预/余代数与 Rota–Baxter 算子之间的联系。
• 通过构造反例，阐明将 PBW 型定理推广至预代数与余代数时的局限性。
• 表明将预/余代数嵌入更大的 operad 家族时，其特殊恒等式并不像在二元与三元代数中那样被保持。

提出的方法

• 本文使用平面带装饰树的 operad，其中叶子标记用于表示二元或三元代数结构，且接枝操作保持装饰不变。
• 应用 Manin 黑积构造，将预代数与余代数定义为 $\text{pre-} \mathrm{Lie} \bullet \mathfrak{M}$ 和 $\text{post-} \mathrm{Lie} \bullet \mathfrak{M}$，并推广至非二元、非二次 operad。
• 该构造利用了 $\mathrm{ComTrias} \otimes \mathfrak{M} = \mathrm{ComTrias} \circ \mathfrak{M}$ 的事实，从而自然地将 $\mathfrak{M}$-代数嵌入到 $\text{pre-}\mathfrak{M}$-代数中。
• 使用 Hadamard 积 $C \boxtimes A$（其中 $C = \mathrm{ComTrias}$）从 $\mathfrak{N}$-代数构造 $\text{pre-}\mathfrak{N}$ 和 $\text{post-}\mathfrak{N}$-代数。
• 该方法证明了 $S^{(\text{pre-}\omega)}\text{pre-}\mathfrak{N} \subseteq \text{pre-}S^{(\omega)}\mathfrak{N}$，表明在同态下特殊恒等式被保持。
• 构造了一个反例，使用满足 $\partial^2 = 0$ 的导子 $\partial$，表明恒等式 $ (x\succ y + y\prec x)\succ z = 0 $ 无法从 $\text{pre-}N_3$ 的定义恒等式中导出。

实验结果

研究问题

• RQ1 预代数与余代数的 dendriform 分裂构造能否推广至非二元二次 operad？
• RQ2 是否存在一种纯粹的代数方法来定义和证明预代数与余代数的性质，从而避免复杂的树组合操作？
• RQ3 预代数与余代数中的特殊恒等式与二元与三元代数中的恒等式相比如何，尤其是在 PBW 型定理的语境下？
• RQ4 将 $\text{pre-}\mathfrak{N}$-代数嵌入 $\text{pre-}S^{(\omega)}\mathfrak{N}$ 是否保持 $S^{(\omega)}\mathfrak{N}$ 中的全部恒等式？
• RQ5 是否可以利用 $\mathrm{ComTrias}$-装饰树的结构，构造出标准公理无法导出的新恒等式？

主要发现

• 带装饰树的 operad 提供了一个统一的框架，用于定义预代数与余代数，其结果与现有的 dendriform 分裂构造等价。
• 该方法通过利用 $\text{pre-} \mathrm{Lie} \bullet \mathfrak{M}$ 和 $\text{post-} \mathrm{Lie} \bullet \mathfrak{M}$ 的代数结构，避免了复杂的组合计算，从而简化了代数性质的证明。
• 包含关系 $S^{(\text{pre-}\omega)}\text{pre-}\mathfrak{N} \subseteq \text{pre-}S^{(\omega)}\mathfrak{N}$ 成立，但其逆包含不成立，表明其与二元与三元代数存在根本性差异。
• 通过反例表明，恒等式 $ (x\succ y + y\prec x)\succ z = 0 $ 无法从 $\text{pre-}N_3$ 的定义恒等式中导出，证明 PBW 型定理不能直接推广至预代数。
• 通过 $\text{pre-}\mathfrak{M}$ 构造 $\text{pre-}N_3$，其中 $\mathfrak{M}$ 为满足 $\partial^2 = 0$ 的交换结合代数，所得到的恒等式不能由标准 $\text{pre-}N_3$ 公理推出。
• 本文确认了 $\mathrm{ComTrias} \otimes \mathfrak{M} = \mathrm{ComTrias} \circ \mathfrak{M}$，从而实现了 $\mathfrak{M}$-代数到 $\text{pre-}\mathfrak{M}$-代数的自然 operad 嵌入。