[論文レビュー] Free resolutions via Gröbner bases

Vladimir Dotsenko, Anton Khoroshkin|arXiv (Cornell University)|Dec 24, 2009

Advanced Topics in Algebra参考文献 31被引用数 9

ひとこと要約

本稿では、多様なモノイダル圏における結合的代数およびオペラッドに対して、グレブナー基底を用いた一様な枠組みを構築する。まず包含除算法に基づいて単項式置換に対する組合せ的分解を構築し、その後微分を一般の関係に合わせて変形することで、結合的代数に対してアニクの分解を回復し、オペラッドに対しては新たな分解を発見する。これによりホモロジー計算が可能となり、可換代数から導かれるオペラッドおよびBVおよびロータ–バーバー・オペラッドのクルツルネスの証明が可能となる。

ABSTRACT

For associative algebras in many different categories, it is possible to develop the machinery of Gröbner bases. A Gröbner basis of defining relations for an algebra of such a category provides a "monomial replacement" of this algebra. The main goal of this article is to demonstrate how this machinery can be used for the purposes of homological algebra. More precisely, our approach goes in three steps. First, we define a combinatorial resolution for the monomial replacement of an object. Second, we extract from those resolutions explicit representatives for homological classes. Finally, we explain how to "deform" the differential to handle the general case. For associative algebras, we recover a well known construction due to Anick. The other case we discuss in detail is that of operads, where we discover resolutions that haven't been known previously. We present various applications, including a proofs of Hoffbeck's PBW criterion, a proof of Koszulness for a class of operads coming from commutative algebras, and a homology computation for the operads of Batalin--Vilkovisky algebras and of Rota--Baxter algebras.

研究の動機と目的

• モノイダル圏におけるグレブナー基底を用いた一様的で組合せ的な自由分解の構築法の開発。
• アニクの結合的代数に対する分解をオペラッドおよび他の代数的構造へ一般化すること。
• 既知のグレブナー基底を有する単項式代数から一般の代数へ分解を上げる体系的な変形手順の提供。
• BVおよびロータ–バーバー代数のようなオペラッドのバー・ホモロジーを計算し、クルツルネスおよびPBW基準に関する新規な結果を証明すること。

提案手法

• グーデンとジャクソンのクラスタ法にインspiredされた包含除算法に基づき、単項式代数の分解を構築する。
• 単項式の場合のホモロジー的クラスに対する明示的な組合せ的公式を定義し、アニクの鎖を回復する。
• 単項式分解の微分を、定義関係の低次の項を組み込むように変形し、一般の代数へ一般化する。
• シャッフル・オペラッドを介して対称オペラッドに適用し、対称的収集からシャッフル収集へのモノイダル忘却関手を活用する。
• 得られた分解を用いてバー・ホモロジーを計算し、HycomおよびGravのような既知のオペラッドとの同型を確立する。
• 単項式とリー単項式の次数を保つ双対写像を活用し、ホモロジーを重力およびHycomオペラッドと関連付ける。

実験結果

リサーチクエスチョン

• RQ1 グレブナー基底を体系的に用いて、モノイダル圏における結合的代数およびオペラッドの自由分解を構築できるか？
• RQ2 単項式分解の微分を、非単項式関係を有する一般の代数をモデル化するためにどのように変形できるか？
• RQ3 BVおよびロータ–バーバー・オペラッドのバー・ホモロジーの構造は何か？ そして既知のオペラッドとどのように関係するか？
• RQ4 本フレームワークにより、可換代数から導かれるオペラッドのクルツルネスを証明できるか？
• RQ5 BVのホモロジーとHycomオペラッドとの同型の背後には、深いオペラッド的構造が存在するか？

主な発見

• 本稿では、シャッフル・カテゴリにおけるグレブナー基底を用いて、オペラッドの新しい分解を構築し、アニクのアプローチを結合的代数を超えて一般化した。
• グレブナー基底フレームワークを用いて、ホフベックのPBW基準に対する新規で短い証明を提供した。
• BVオペラッドのバー・ホモロジーを計算し、単項式とリー単項式の間の次数を保つ双対写像により、Hycomオペラッドと同型であることを示した。
• バタリン–ヴィルコフスキー代数およびロータ–バーバー代数のオペラッドがクルツルネスであることを示し、分解を用いた明示的なホモロジー計算を実施した。
• BV∞最小モデルの微分がHycom∞のそれへ変形され、D₂ = d₂ + m* であり、高次の成分が混合木単項式へ写像されることを示した。
• BV∞とHycom∞の間のクasi同型が確立され、dg BV代数における∂–∂¯-lemma関連の予想が裏付けられた。