[論文レビュー] On the NonKoszulity of (2p+1)-ary partially associative Operads

Elisabeth Remm|ArXiv.org|Dec 14, 2008

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

ひとこと要約

本稿は、$(2p+1)$-項部分的結合的代数に付随するオペラッドがKoszulでないことを証明しており、偶数の場合に既知のKoszul性とは対照的である。Ginzburg-Kapranovの枠組みを用いて、その次数付き双対オペラッドを精密に分析することで、双対オペラッドの生成関数がKoszul双対性条件を満たさないことが示され、したがって、これらの代数に対して標準的な意味でのオペラッドコホホロジーは定義できないことが結論づけられる。

ABSTRACT

We present a study of quadratic operads for n-ary algebras and their dual for n odd. We will focus on the ternary case (i.e n=3). The aim is to underline the problem of computing the dual operad and the fact that this last is in general defined in the graded differential operad framework. We prove that the operad associated to 3-ary partially associative algebra is not Koszul. Recall that, if n is even, the operad of n-ary partially associative algebras is Koszul.

研究の動機と目的

• 奇数項と偶数項のケースを一様に扱った先行文献の不整合を解消し、Koszul性に関する誤った結論を避けること。
• 次数付きオペラッド枠組みにおける$(2p+1)$-項部分的結合的代数の正しい双対オペラッドの定義を明確化すること。
• 三項部分的結合的代数のオペラッド$3\mathcal{A}ss$が、以前の主張とは異なりKoszulでないことを示すこと。
• 非Koszul性のため、$(2p+1)$-項部分的結合的代数に対して標準的なオペラッドコホホロジーを定義できないことを確立すること。
• 次数付きでない双対化を無視するなど、度数シフトを考慮しない双対化処理をとった過去の誤解を是正すること。

提案手法

• 度数シフトを考慮するGinzburg-Kapranovの次数付き双対性フレームワークを用いたオペラッドの分析。
• $3\mathcal{A}ss$を、度数0の三項演算子によって生成される二次的オペラッドと定義し、部分的結合性を記述する二次関係を導入。
• 双対オペラッド$3\mathcal{A}ss^!$を、度数1の演算子を持つ完全結合的三項代数のオペラッドとして計算。
• 双対オペラッドの生成関数$g_{3\mathcal{A}ss^!}(x) = x - x^3 + x^5$を明示的に計算。
• Koszul双対性に必要な関数方程式$g_{3\mathcal{A}ss}(-s(-x)) = x$が、この生成関数を満たさないことを検証。
• 非次数付きと次数付きの双対の違いを明確にするために、$3t\mathcal{A}ss$（$3\mathcal{A}ss$の次数付き双対）と比較。

実験結果

リサーチクエスチョン

• RQ1 なぜ先行研究は$(2p+1)$-項部分的結合的オペラッドがKoszulであると誤って主張したのか？
• RQ2 奇数項の場合に、次数付き双対オペラッドと非次数付き双対とはどのように異なるか？
• RQ3 三項部分的結合的オペラッド$3\mathcal{A}ss$の双対オペラッドの正しい生成関数は何か？
• RQ4 双対オペラッドの生成関数はKoszul双対性関数方程式を満たすか？
• RQ5 $(2p+1)$-項部分的結合的代数に対してオペラッドコホホロジーを定義できるか？

主な発見

• 三項部分的結合的代数のオペラッド$3\mathcal{A}ss$は、その双対$g_{3\mathcal{A}ss^!}(x) = x - x^3 + x^5$の生成関数がKoszul双対性に必要な関数方程式を満たさないため、Koszulでない。
• 双対オペラッド$3\mathcal{A}ss^!$は、度数1の演算子を持つ完全結合的三項代数のオペラッドに同型であり、度数0の演算子を持つ非次数付きバージョンではない。
• 双対オペラッド$3\mathcal{A}ss^!$の生成関数は$x - x^3 + x^5$であるが、Koszul双対性条件から得られる$-x + x^3 - x^5 + 19x^{11} + O[x]^{12}$とは矛盾する。
• 奇数項の場合に、非次数付き双対（しばしば正しい双対と誤って想定される）は、Ginzburg-Kapranovの意味での真の双対ではない。
• Koszul性の失敗は、$(2p+1)$-項部分的結合的代数に対して標準的なオペラッドコホホロジーを定義できないことを示唆する。
• 次数付きと非次数付きの双対の違いは極めて重要であり、度数シフトを無視すると、奇数項の場合に双対性やKoszul性に関する誤った結論に至る。