[論文レビュー] 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基底との関係を確立すること。
• 結合代数にこのような作用素を備えたカテゴリにおいて、正規基底を体系的に構成する方法を提供すること。

提案手法

• パrameter λを用いた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 本手法は、Conjecture 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 $ は、置換 σ による項マッチングにより検証され、作用素の構造に従って結合的であることが確認される。
• 本枠組みは、与えられた作用素恒等式の書き換え系が収束することを示し、特定のインデックス置換の下ですべての項が一致することを確認することで、Conjecture 2.37の妥当性を裏付けた。