[論文レビュー] (Non-)Koszulity of operads for n-ary algebras, cohomology and deformations

Martin Markl, Elisabeth Remm|arXiv (Cornell University)|Jul 9, 2009

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

ひとこと要約

この論文は、特に単一の反結合的演算子を持つ代数に注目して、n-ary代数のoperadの非Koszul性を調査する。反結合的operadの最小モデルを構成し、変形コホモロジーを記述することで、非Koszul性に起因する標準的なコホモロジー枠組みからの逸脱を明らかにし、部分的に結合的代数の自由なクラスを検討するとともに、分野における未解決問題を提示する。

ABSTRACT

We investigate Koszulity of operads for various n-ary algebras. We then focus to algebras with one anti-associative operation. Since the corresponding operad is not Koszul, the deformation cohomology differs from the standard one. We describe the relevant part of the deformation cohomology for this type of algebras using the minimal model for the antiassociative operad. In the remaining sections we discuss free partially associative algebras and formulate open problems.

研究の動機と目的

• n-ary代数に関連するoperadのKoszul性を分析すること、特に反結合的演算子を持つものに注目すること。
• 基礎となるoperadの非Koszul性に起因して、標準的な変形コホモロジーが反結合的代数に対してなぜ機能しないかを特定すること。
• 反結合的operadの最小モデルを構築し、それを用いて正しい変形コホモロジーを記述すること。
• 部分的に結合的代数の自由なクラスを、関連する構造の一種として調査すること。
• 反結合的ケースを越えたn-ary代数のコホモロジーや変形理論における未解決問題を提起すること。

提案手法

• ホモロジー代数的手法を用いて、n-ary代数のoperad的構造を分析し、Koszul性を同定すること。
• 反結合的operadに最小モデル構成を適用し、非Koszul性を解消し、関連するコホモロジーを計算すること。
• 最小モデルを用いて、非Koszul性に起因して標準的とは異なる正しい変形複体を導出すること。
• 非Koszulな状況を扱うために、operad的双対性とホモロジー的摂動理論を用いること。
• 部分的に結合的代数の自由なクラスを、結合的代数と反結合的代数の中間的構造的性質を持つクラスとして研究すること。
• 考察された代数の構造的およびコホモロジカルな観察に基づいて、未解決問題を提起すること。

実験結果

リサーチクエスチョン

• RQ1 反結合的n-ary代数を支配するoperadはKoszulか。その結果、変形理論にどのような影響を与えるか。
• RQ2 operadがKoszulでない場合、反結合的代数の変形コホモロジーは標準的コホモロジーとどのように異なるか。
• RQ3 反結合的operadの最小モデルの構造は何か。また、それが正しい変形複体をどのように符号化しているか。
• RQ4 自由部分的に結合的代数のコホモロジカル性質は何か。また、反結合的ケースとどのように関係しているか。
• RQ5 Koszul性が成立しない場合、n-ary代数の変形理論においてどのような未解決問題が生じるか。

主な発見

• 反結合的n-ary代数のoperadはKoszulでないため、標準的な変形コホモロジー枠組みは無効である。
• 反結合的operadの最小モデルは、非Koszul性に起因して標準的とは異なるが正しい変形コホモロジーを記述する。
• 変形コホモロジー複体は最小モデルから導出され、非自明な高次のコホモロジカル構造が明らかになる。
• 自由部分的に結合的代数は、n-ary代数の文脈においてさらなる研究のための自然なクラスとして特定される。
• 本論文は、非Koszulなn-ary代数的構造におけるコホモロジーや変形理論に関する未解決問題を提起する。