[論文レビュー] Groebner-Shirshov Bases: Some New Results

L. A. Bokut, Yuqun Chen|ArXiv.org|Apr 8, 2008

Algebraic structures and combinatorial models参考文献 22被引用数 17

ひとこと要約

本調査論文は、結合的代数、リー代数、加群、自己随伴代数など、さまざまな代数的構造におけるグローバー＝シルショフ基底の新しい組成ダイヤモンド補題とその応用を提示する。集合 $ S $ がすべてのその要素の組成が $ S $ を法として自明であるとき、$ S $ はグローバー＝シルショフ基底であると示され、これにより商代数または加群における非可約正規単項式が線形基底をなすことが保証される。

ABSTRACT

In this survey article, we report some new results of Groebner-Shirshov bases, including new Composition-Diamond lemmas, applications of some known Composition-Diamond lemmas and content of some expository papers.

研究の動機と目的

• さまざまな代数的構造における新しい組成ダイヤモンド補題を確立することで、グローバー＝シルショフ基底理論を拡張すること。
• 既知のCD補題を非結合的および非可換な設定においてグローバー＝シルショフ基底を計算するために応用すること。
• 正規単項式と単項式順序を用いた自由代数および加群を統一的に研究するための枠組みを提供すること。
• CD補題が商代数および加群の線形基底を構成するうえでの有用性を示すこと。
• シルショフの元々のアイデアが現代の非結合的代数および加群論において果たす役割を明確にする解説的結果を提示すること。

提案手法

• 正規単項式（例えばリー代数ではリンドン＝シルショフ単項式）に単項式の良い順序を導入して、主単項式を定義する。
• 主単項式の重なりに基づいて、二種類の組成（交差と包含）を定義する。
• 組成が $ S $ を法として自明であると定義する。これは、その組成が $ S $ の要素の線形結合に、厳密に小さい主単項式をもつ形に還元可能である場合を指す。
• 集合 $ S $ がグローバー＝シルショフ基底であるための必要十分条件として、$ S $ のすべての要素の組成が $ S $ を法として自明であること、かつ非可約単項式が線形基底をなすことを証明する。
• 加群に対してCD補題を適用する際、$ \text{mod}_{k\langle X\rangle}\langle Y\rangle $ のような「二重自由」加群の商として扱い、$ X^*Y $ に辞書式順序を導入する。
• 加群の新しいCD補題を用いて、ヴェルマ加群およびサビニン代数の普遍包あくり加群のグローバー＝シルショフ基底を計算する。

実験結果

リサーチクエスチョン

• RQ1 非結合的代数において、多項式の集合がグローバー＝シルショフ基底であるための条件は何か？
• RQ2 結合的代数上の加群に対して、組成ダイヤモンド補題をどのように一般化できるか？
• RQ3 リー代数および自己随伴代数の文脈において、自明な組成が示す構造的意味は何か？
• RQ4 どの種の代数において、CD補題が組成の自明性とグローバー＝シルショフ基底の性質の同値性を満たさないか？
• RQ5 CD補題をどのようにして最高重量加群およびヴェルマ加群の線形基底を計算するために応用できるか？

主な発見

• 結合的代数におけるCD補題は、集合 $ S $ がすべてのその要素の組成が $ S $ を法として自明であるときかつそのときに限り、グローバー＝シルショフ基底であることを保証し、非可約単項式が線形基底をなすことを保証する。
• リー代数においては、CD補題により、$ S $-非可約なリンドン＝シルショフ単項式の集合が、商代数 $ \text{Lie}(X)/\text{Id}(S) $ の線形基底をなすことが保証される。
• 結合的代数上の加群におけるCD補題（チブリコフが提示）によれば、二重自由加群における集合 $ S $ がすべての組成が $ S $ を法として自明であるとき、かつそのときに限り、グローバー＝シルショフ基底であり、非可約単項式 $ \text{Irr}(S) $ が商加群の線形基底をなす。
• CD補題の応用により、$ \mathfrak{sl}_2 $ 上の最高重量加群、カク＝ムーディ代数上のヴェルマ加群、および自由自己随伴代数の係数のリー代数上のヴェルマ加群に対して、明示的なグローバー＝シルショフ基底が得られる。
• 自己随伴代数的代数では、6種類の組成（$ D $-包含と $ D $-交差を含む）が存在し、条件(a)と(b)がグローバー＝シルショフ基底の性質と同値でないにもかかわらず、CD補題が適用可能であることが確認された。
• 本調査は、二重自由加群の構成を介した加群のCD補題が、特にサビニン代数およびその普遍包あくり加群の文脈において、表現論における基底計算のための強固な枠組みを提供することを示している。