[論文レビュー] Composition-Diamond lemma for differential algebras

Yuqun Chen, Yong-Shan Chen+1 more|arXiv (Cornell University)|May 15, 2008

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

ひとこと要約

この論文は、自由微分代数における組成-ダイヤモンド補題を確立し、微分代数におけるグレブner＝シルシュォフ基底を構成する理論的基盤を提供する。微分作用素を含む特定の関係の集合がグレブナ＝シルシュォフ基底を形成することを証明し、生成子に微分作用素を順序付きに作用させた単項式によって、自由リー微分代数および可換微分代数の線形基底を構成可能にする。

ABSTRACT

In this paper, we establish the Composition-Diamond lemma for free differential algebras. As applications, we give Groebner-Shirshov bases for free Lie-differential algebra and free commutative-differential algebra, respectively.

研究の動機と目的

• 与えられた微分作用素の集合を有する自由微分代数における組成-ダイヤモンド補題の開発。
• グレブナ＝シルシュォフ基底の構成によって微分代数における語の問題を解決すること。
• シルシュォフの組成-ダイヤモンド補題を、リーまたは可換微分作用素を有する微分代数の設定に一般化すること。
• 順序付き微分単項式を用いて、自由リー微分代数および可換微分代数の線形基底を提供すること。

提案手法

• 微分作用素のなすリー代数構造を満たす導分の集合を備えた自由非可換代数として自由微分代数を定義する。
• 微分関係と整合性を持つように、微分作用素と生成子によって生成される代数上の単項式順序を導入する。
• 微分作用素の交換関係を符号化する関係の集合 $ S_0 $ を構成し、構造定数 $ \alpha_{ij}^r $ を含む。
• 集合 $ S_0 $ の要素同士のすべての組成が $ S_0 $ を法として0に還元されることを証明し、これがグレブナ＝シルシュォフ基底であることを確認する。
• 還元プロセスとダイヤモンド補題を用いて、正規形がちょうど $ i_1 \leq \cdots \leq i_m $ を満たす順序付き単項式 $ D_{i_1} \cdots D_{i_m}(x) $ であることを示す。
• 微分作用素のリー代数構造を活用し、ジャコビ恒等式と一貫性のある組成の還元を保証する。

実験結果

リサーチクエスチョン

• RQ1 リー代数をなす導分を有する自由微分代数に対して、組成-ダイヤモンド補題を確立できるか。
• RQ2 微分関係の集合が微分代数におけるグレブナ＝シルシュォフ基底を形成するための条件は何か。
• RQ3 順序付き微分単項式を用いて、自由リー微分代数の線形基底をどのように構成できるか。
• RQ4 この補題は、リー微分代数の特別な場合として可換微分代数へも拡張可能か。
• RQ5 構造定数 $ \alpha_{ij}^r $ は、微分代数における組成の還元において果たす役割は何か。

主な発見

• 微分代数 $ \mathscr{D}(X) $ において、関係 $ D_pD_qD_{i_1}\cdots D_{i_m}(x) - D_qD_pD_{i_1}\cdots D_{i_m}(x) - \sum_r \alpha_{pq}^r D_rD_{i_1}\cdots D_{i_m}(x) $（$ p > q $）からなる集合 $ S_0 $ はグレブナ＝シルシュォフ基底をなす。
• 集合 $ S_0 $ の要素同士のすべての組成が $ S_0 $ を法として0に還元され、基底が組成に関して閉じていることが確認された。
• 自由リー微分代数 $ \mathscr{D}(X|S) $ の線形基底は、順序付き単項式 $ D_{i_1}\cdots D_{i_m}(x) $（$ i_1 \leq \cdots \leq i_m $）で生成される自由モノイド $ H^* $ で与えられる。
• 結果は、導分代数が可換である特別な場合としての可換微分代数へも拡張可能である。
• 証明は、ジャコビ恒等式とリー括弧の反対称性を用いて、組成の還元の一貫性を保証する。
• この方法により、シュールシュォフの組成-ダイヤモンド補題が微分設定へ成功裏に一般化され、微分代数におけるアルゴリズム的計算が可能になった。