[論文レビュー] Gröbner-Shirshov Bases for Commutative Algebras with Multiple Operators and Free Commutative Rota-Baxter Algebras

Jianjun Qiu|arXiv (Cornell University)|Jan 18, 2013

Advanced Topics in Algebra参考文献 10被引用数 3

ひとこと要約

本稿は、複数の作用素を備えた可換代数における組成ダイアモンド補題を確立し、可換 Ω-語を用いて自由可換 Rota-Baxter代数、自由可換 λ-微分代数、自由可換 λ-微分 Rota-Baxter代数のグレブナー＝シルシュォフ基底および線形基底の構成を可能にする。主な貢献は、新しい順序と還元系を用いて明示的な線形基底を導出する体系的な手法である。

ABSTRACT

In this paper, the Composition-Diamond lemma for commutative algebras with multiple operators is established. As applications, the Gröbner-Shirshov bases and linear bases of free commutative Rota-Baxter algebra, free commutative $λ$-differential algebra and free commutative $λ$-differential Rota-Baxter algebra are given, respectively. Consequently, these three free algebras are constructed directly by commutative $Ω$-words.

研究の動機と目的

• 可換代数におけるグレブナー＝シルシュォフ基底の理論的枠組みを、複数の線形作用素を備えた状況で構築すること。
• 自由 Rota-Baxter代数および λ-微分代数の既存の構成を、統一された順序と還元系を導入することで一般化すること。
• 自由可換 Rota-Baxter代数、自由可換 λ-微分代数、自由可換 λ-微分 Rota-Baxter代数の明示的な線形基底を提供すること。
• Rota-Baxter作用素および λ-微分作用素を含む、複数の作用素を備えた可換 Ω-代数への組成ダイアモンド補題の拡張すること。

提案手法

• 集合 X と作用素 P, D を用いた Ω-語の再帰的構成を定義し、Q(X) を複数の作用素を備えた自由可換代数として構築する。
• 次数、P の個数、作用素項の辞書的比較に基づく Ω-語上の単項式順序を導入する。
• Rota-Baxter、λ-微分、および整合性関係 (DP = Id) の関係からなる集合 S を定式化する。
• S 内の関係のすべての合成が S を法として自明であることを証明し、S がグレブナー＝シルシュォフ基底であることを確立する。
• 組成ダイアモンド補題を用いて、非還元可能な語が線形基底をなすことを示す。
• 基底 Irr(S) = Υ(D^ω(X)) を K[X;Ω|S] の商代数の線形基底として構成する。

実験結果

リサーチクエスチョン

• RQ1 組成ダイアモンド補題は、複数の線形作用素を備えた可換代数へ拡張可能か？
• RQ2 任意の重み λ を備えた自由可換 Rota-Baxter代数の構造はいかなるものか？
• RQ3 自由可換 λ-微分 Rota-Baxter代数を明示的にどのように構成できるか？
• RQ4 自由可換 λ-微分 Rota-Baxter代数の線形基底は何か？
• RQ5 グレブナー＝シルシュォフ基底を用いて、Rota-Baxter作用素と λ-微分作用素の相互作用を代数的に捉えることができるか？

主な発見

• 指定された単項式順序の下で、複数の作用素を備えた可換代数における組成ダイアモンド補題が確立され、この文脈におけるグレブナー＝シルシュォフ理論の基盤が提供された。
• Rota-Baxter、λ-微分、および整合性条件の関係集合 S は、指定された単項式順序の下でグレブナー＝シルシュォフ基底をなす。
• 自由可換 λ-微分 Rota-Baxter代数の線形基底は、非還元可能な Ω-語の集合 Υ(D^ω(X)) として与えられる。
• 自由可換 λ-微分 Rota-Baxter代数は、K[X;Ω|S] として明示的に構成され、基底は Υ(D^ω(X)) である。
• 本手法により、自由可換 Rota-Baxter代数および自由可換 λ-微分代数の明示的線形基底が特殊ケースとして得られる。
• すべての関係の合成が S を法として自明であるため、還元系の整合性と完全性が確認された。