[論文レビュー] Freeness theorems for operads via Gröbner bases

Vladimir Dotsenko|arXiv (Cornell University)|Jul 28, 2009

Advanced Topics in Algebra参考文献 16被引用数 8

ひとこと要約

この論文は、シャッフル・オペラッドの文脈においてグレブナー基底を用いて、オペラッドの自由性に関する新しい定理を確立し、特定のオペラッドが非対称オペラッドとして、あるいは他のオペラッド上のモジュールとして自由であることを示す統一的な枠組みを提供する。グレブナー基底技術とコーサル・デュアルティーを活用することで、既知の結果（例えば、自由なダインドリフム代数が結合的代数として自由であること）を再証明するとともに、二次的オペラッド上の同型な $Ο$-構造のオペラッドが自由であるという新たな結果も得ている。

ABSTRACT

We show how to use Groebner bases for operads to prove various freeness theorems: freeness of certain operads as nonsymmetric operads, freeness of an operad Q as a P-module for an inclusion P into Q, freeness of a suboperad. This gives new proofs of many known results of this type and helps to prove some new results.

研究の動機と目的

• シャッフル・オペラッドのグレブナー基底を用いた一般枠組みを構築し、オペラッドの自由性定理を確立すること。
• 自由なダインドリフム代数が結合的代数として自由であるといった、既知の自由性結果を、単一の代数的アプローチで統一的かつ再証明すること。
• 特に同型な作用素に対して、モジュールの自由性を含めた自由性定理の適用範囲を拡張すること。
• 解釈的ホモロジー代数の観点から、これらの自由性結果から得られる分解が自由であることを保証すること。
• 従来の同型な結合的積に関する結果を、より広い二次的オペラッドのクラスに一般化すること。

提案手法

• シャッフル・オペラッドのグレブナー基底を用いて、オペラッドの構造とその成分を分析する。
• 木の単項式にパス辞書的順序を適用し、関係式のリーディング・タームを特定し、二次的グレブナー基底の妥当性を検証する。
• コーサル・デュアルティー理論を用いて、オペラッドの自由性とその双対の構造、および二次的グレブナー基底の存在を関連付ける。
• 対称的集合から非対称的集合への忘却関手を用いて、対称的オペラッドの問題を非対称的問題に還元する。
• グレブナー基底における関係式のリーディング・タームの分析を通じて、モジュールの自由性を検出する基準を適用する。
• 小さなオペラッドの概念を適用し、特定のオペラッド（例：$Ο^{!}$）が二次的グレブナー基底を持つことを保証することで、コーサル性を実現する。

実験結果

リサーチクエスチョン

• RQ1 対称的オペラッドが非対称的オペラッドとして自由である条件は何か。また、これはどのようにグレブナー基底を用いて特定できるか。
• RQ2 オペラッドの準同型が埋め込みである条件は何か。そして、グレブナー基底技術を用いてどのようにこれを確認できるか。
• RQ3 オペラッドが別のオペラッド上のモジュールとして自由である条件は何か。また、グレブナー基底の構造的特徴は、その自由性をどのように示唆するか。
• RQ4 特定のオペラッド（例えば、ダインドリフム、プレリーアルジブラ）上の自由代数が、別のオペラッド上の代数として自由であることは、グレブナー基底解析から導けるか。
• RQ5 二次的オペラッド $Ο$ 上の同型な $Ο$-構造のオペラッドが、$Ο$ 上のモジュールとして自由であるための条件は何か。

主な発見

• 非対称的オペラッド $Ο$ が非対称的オペラッドとして自由であるのは、そのグレブナー基底のリーディング・タームが他のリーディング・タームで割り切れない場合であり、パス辞書的順序によってこれを検証できる。
• オペラッド $Ο$ が $Ο'$ 上のモジュールとして自由であるのは、関係式のリーディング・タームが $Ο'$ のリーディング・タームで割り切れず、かつリーディング・タームが $Ο'$ に属さない演算子によってラベル付けされている場合であり、$Ο = Ο^{2}$ が $Ο$ 上で成り立つ例で示されている。
• 非対称的オペラッド $Ο$ が $Ο'$ 上の左モジュールとして自由であるのは、関係式のリーディング・タームが $Ο'$ のリーディング・タームで割り切れず、かつリーディング・タームが $Ο'$ に属さない演算子によってラベル付けされている場合であり、グレブナー基底が二次的であることが条件である。
• オペラッド $Ο$ が $Ο'$ 上の左モジュールとして自由であるのは、関係式のリーディング・タームが $Ο'$ のリーディング・タームで割り切れず、かつリーディング・タームが $Ο'$ に属さない演算子によってラベル付けされている場合であり、$Ο = Ο^{2}$ が $Ο$ 上で成り立つ例で示されている。
• オペラッド $Ο$ が $Ο'$ 上の左モジュールとして自由であるのは、関係式のリーディング・タームが $Ο'$ のリーディング・タームで割り切れず、かつリーディング・タームが $Ο'$ に属さない演算子によってラベル付けされている場合であり、$Ο = Ο^{2}$ が $Ο$ 上で成り立つ例で示されている。
• オペラッド $Ο$ が $Ο'$ 上の左モジュールとして自由であるのは、関係式のリーディング・タームが $Ο'$ のリーディング・タームで割り切れず、かつリーディング・タームが $Ο'$ に属さない演算子によってラベル付けされている場合であり、$Ο = Ο^{2}$ が $Ο$ 上で成り立つ例で示されている。