[論文レビュー] Gröbner-Shirshov bases and PBW theorems

L. A. Bokut, Yuqun Chen|arXiv (Cornell University)|Nov 8, 2014

Algebraic structures and combinatorial models参考文献 52被引用数 3

ひとこと要約

本稿は、グローバー＝シルショフ（GS）基底とその代数的応用、特にコンpositions-ダイヤモンド補題を用いた線形基底および正規形の構成法について包括的なレビューを提供している。主な貢献は、PBW型定理、群および半群の正規形、およびGS基底を用いた代数の埋め込みを統一的に扱うことであり、その応用は、リー代数、自己随伴代数、ロータ＝バーティン代数、およびその他の非結合的代数にまで及ぶ。

ABSTRACT

We review some applications of Gröbner-Shirshov bases, including PBW theorems, linear bases of free universal algebras, normal forms for groups and semigroups, extensions of groups and algebras, embedding of algebras.

研究の動機と目的

• 結合的、リー、自己随伴、ロータ＝バーティン代数を含む多様な代数的構造にわたり、グローバー＝シルショフ基底の応用を統一的かつ体系的に扱うこと。
• 自由普遍代数における線形基底および正規形を導出する一般枠組みを、コンポジション-ダイヤモンド補題に基づいて確立すること。
• GS基底技法を用いて、古典的定理（PBW定理、埋め込み定理など）の新たな証明と洞察を提供すること。
• GS基底法を可換代数上の代数および非結合的多様体（双代数、L代数など）へと拡張すること。
• 語の問題の解決、特にブレード群、HNN拡張、および1関係関係群などの複雑な群の正規形の構成、および可算生成代数を2生成元のものに埋め込むことへのGS基底の有効性を示すこと。

提案手法

• コンポジション-ダイヤモンド補題を基盤とする手法を用い、集合SがGS基底であるための必要十分条件が、帰納的単語による線形基底の存在と等価であることを確立する。
• 特定のGS基底を各々定義することで、結合的代数、リー代数、双代数、自己随伴代数、ロータ＝バーティン代数などの多様な代数的カテゴリーに補題を適用する。
• 包含および交差コンポジションの2種類の合成を導入し、先行項の最小公倍数を用いて定義し、基底に関する自明な還元を保証する。
• 係数部における非自明なlcm構造を扱うために、二重自由代数を導入することで、可換代数上の代数へと手法を拡張する。
• GS基底法を用いて、群および半群の正規形を導出し、ブレード群、HNN拡張、1関係関係群を含む。
• GS基底を用いて埋め込み定理を証明し、任意の可算生成リー代数や微分代数が単純な2生成元代数に埋め込めることが示される。

実験結果

リサーチクエスチョン

• RQ1 コンポジション-ダイヤモンド補題は、非結合的および自己随伴代数を含む多様な代数的多様体へどのように一般化可能か？
• RQ2 多項式の集合がグローバー＝シルショフ基底をなすための条件は何か？また、商代数における線形基底の存在とはどのように関係するか？
• RQ3 GS基底を用いて、リー自己随伴代数やn-自己随伴結合的代数に対するPBW型定理を導出可能か？
• RQ4 GS基底を用いて、ブレード群やHNN拡張のような複雑な群の正規形を構成可能か？
• RQ5 GS基底は、可算生成代数および群を有限生成代数に埋め込むために、どの程度有効に機能するか？

主な発見

• コンポジション-ダイヤモンド補題により、集合SがGS基底であるための必要十分条件は、Sに属する要素のすべての合成が自明に還元可能であることである。これにより、帰納的単語の集合が商代数の線形基底をなすことが保証される。
• リー自己随伴代数に対して、1/2 PBW定理が証明された。すなわち、普遍的包絡結合的自己随伴代数は、関係式のGS基底から得られる帰納的単語によって生成される線形基底を持つ。
• 自由リー代数のホール基底およびリンドン＝シルショフ基底は、非可換的GS基底を用いた結合的代数設定下での帰納的単語として導出される。
• 自由双代数のローダー基底および自由ロータ＝バーティン代数の基底は、GS基底を用いて構成され、線形独立性および生成性が確認される。
• S-部分単項順序を用いることで、HNN拡張群の正規形が確立され、GS基底による計算可能な正規形の存在が証明される。
• 任意の可算生成リー代数は、GS基底技法を用いて単純な2生成元リー代数に埋め込める。同様に、任意の可算生成微分代数も単純な2生成元微分代数に埋め込める。