[论文解读] Rota-Baxter type operators, rewriting systems and Gröbner-Shirshov bases

Xing Gao, Li Guo+2 more|arXiv (Cornell University)|Dec 27, 2014

Advanced Topics in Algebra参考文献 32被引用 12

一句话总结

本文提出了一套统一的代数框架，利用重写系统与Gröbner-Shirshov基，刻画Rota-Baxter型算子——即在结合代数上满足类似于Rota-Baxter算子恒等式的线性算子。证明了此类算子恰好对应于收敛的重写系统，并在其各自范畴中为自由代数构造了典范基，推广了此前关于Rota-Baxter、Nijenhuis与TD代数的结果。

ABSTRACT

In this paper we apply the methods of rewriting systems and Gröbner-Shirshov bases to give a unified approach to a class of linear operators on associative algebras. These operators resemble the classic Rota-Baxter operator, and they are called {\it Rota-Baxter type operators}. We characterize a Rota-Baxter type operator by the convergency of a rewriting system associated to the operator. By associating such an operator to a Gröbner-Shirshov basis, we obtain a canonical basis for the free algebras in the category of associative algebras with that operator. This construction include as special cases several previous ones for free objects in similar categories, such as those of Rota-Baxter algebras and Nijenhuis algebras.

研究动机与目标

• 开发Rota-Baxter型算子的一般理论——即在结合代数上满足类似于Rota-Baxter恒等式的线性算子。
• 通过统一的代数框架，统一各类算子类型（如Rota-Baxter、Nijenhuis、TD等）的自由代数构造方法。
• 通过关联重写系统的收敛性，刻画Rota-Baxter型算子。
• 建立收敛重写系统与这些算子的Gröbner-Shirshov基之间的联系。
• 为配备此类算子的结合代数范畴，提供系统化方法以构造典范基。

提出的方法

• 通过带参数λ的运算多项式恒等式定义Rota-Baxter型算子，推广Rota-Baxter恒等式。
• 为每个算子关联一个自由k-模上的项重写系统，其中规则编码算子的定义恒等式。
• 证明算子良定义当且仅当其关联的重写系统收敛（终止且合流）。
• 应用运算代数的CD引理，推导出关系理想的Gröbner-Shirshov基，确保唯一标准形。
• 将自由φ-代数构造为自由结合代数模去由Gröbner-Shirshov基生成的理想。
• 利用自由小母体上的单项序，验证非结合项在算子恒等式中的收敛性与等价性。

实验结果

研究问题

• RQ1 能否开发一个统一的代数框架，利用重写系统与Gröbner-Shirshov基来刻画Rota-Baxter型算子？
• RQ2 何种条件可确保与Rota-Baxter型算子关联的重写系统收敛？
• RQ3 如何系统化地构造配备Rota-Baxter型算子的结合代数范畴中的自由代数？
• RQ4 在该框架下，Rota-Baxter、Nijenhuis与TD代数的构造在多大程度上得以统一？
• RQ5 该方法能否扩展以验证新算子恒等式的相容性，例如猜想2.37中的恒等式？

主要发现

• 结合代数上的Rota-Baxter型算子由其关联重写系统的收敛性所刻画。
• 自由φ-代数的构造通过算子定义恒等式导出的Gröbner-Shirshov基实现。
• 自由φ-代数的典范基由收敛重写系统下所有标准形的集合构成。
• 该方法推广了先前对Rota-Baxter、Nijenhuis与TD代数的构造，统一了其自由对象理论。
• 恒等式 $ B(B(u,v),w) - B(u,B(v,w)) \overset{*}{\rightarrow}_\phi 0 $ 通过在排列σ下的项匹配得以验证，确认了算子结构下的结合性。
• 该框架通过证明给定算子恒等式的重写系统收敛，且所有项在特定指标排列下匹配，从而确认了猜想2.37的有效性。