[論文レビュー] (Non-)Koszulness of operads for n-ary algebras, galgalim and other curiosities

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

Advanced Topics in Algebra参考文献 15被引用数 10

ひとこと要約

本稿は、$n$-アリティ代数のオペラッドのコーゾルネスを調査し、部分的に結合的 $n$-代数のためのスターシェフのアソシアヘドロンの類似物として 'galgalim' を導入する。非結合的オペラッド $ ilde{\mathcal{A}ss}$ が非コーゾルであることを証明し、その最小モデルを構成することで変形コホモロジーを記述する。これにより、奇数 $n \geq 3$ の自由な部分的に結合的代数において非自明な関係が明らかになる。主な貢献は、$n$-アリティ設定における非コーゾルオペラッドの体系的な枠組みを提供し、特に次数 0 の自由代数における明示的な関係を含む。

ABSTRACT

We investigate operads for various n-ary algebras. As a useful tool we introduce galgalim - analogs of the Lie-hedra for n-ary algebras. We then focus to algebras with one anti-associative operation. We describe the relevant part of the deformation cohomology for this type of algebras using the minimal model for the anti-associative operad. We also discuss free partially associative algebras and formulate some open problems.

研究の動機と目的

• 非結合的および部分的に結合的構造に特に注目して、$n$-アリティ代数のオペラッドのコーゾルネスを調査すること。
• アソシアヘドロンの高次アリティ版としての 'galgalim' を導入し、自由な部分的に結合的代数における関係を研究すること。
• 非コーゾルな非結合的オペラッド $\widetilde{\mathcal{A}ss}$ の代数の変形コホモロジーを、その最小モデルを用いて記述すること。
• 奇数 $n \geq 3$ の自由な部分的に結合的 $n$-代数において非自明な関係を同定・分析し、明示的な多項式恒等式を含むこと。
• 非コーゾル $n$-アリティオペラッドの最小モデルに関する未解決問題を定式化し、非コーゾル状況下での自由代数の構造を明らかにすること。

提案手法

• 部分的に結合的 $n$-代数のためのアソシアヘドロンの一般化としての 'galgalim' の概念を導入する。
• 二次双対性とコーゾル双対構成を用いて、特定の関係を持つ単一の $n$-アリティ作用素で生成されるオペラッドを分析する。
• 標準的なコーゾル手法が機能しないため、非結合的オペラッド $\widetilde{\mathcal{A}ss}$ の最小モデルを定義し、その変形コホモロジーを計算する。
• galgalim 上の頂点装飾を分析し、符号付き木関係を合算することで、自由な部分的に結合的代数における明示的な関係を構成する。
• 自由代数の成分の次元を比較し、テンソル代数から自由代数への自然な写像の核を検出するために、ピョウカレ系列を用いる。
• 特に奇数 $n \geq 8$ の場合に、$t - t^n + t^{2n-1}$ の形式的逆関数を用いてコーゾルネスをテストする。

実験結果

リサーチクエスチョン

• RQ1 非結合的 $n$-アリティ代数のオペラッドは $n \geq 3$ のときコーゾルか？
• RQ2 オペラッドが非コーゾルである場合、自由な部分的に結合的 $n$-代数の構造的性質は何か？
• RQ3 非結合的オペラッド $\widetilde{\mathcal{A}ss}$ の最小モデルは完全に記述可能か？ そしてそれは変形コホモロジーに何を明らかにするか？
• RQ4 奇数 $n \geq 3$ の自由な部分的に結合的 $n$-代数に非自明な関係が存在するか？ そしてそれらはどのように galgalim を通じて符号化できるか？
• RQ5 $t - t^n + t^{2n-1}$ の形式的逆関数の係数と、$n \geq 8$ の場合の双対オペラッドの成分の次元との関係は何か？

主な発見

• 非結合的 $n$-アリティ代数のオペラッド $\widetilde{\mathcal{A}ss}$ は非コーゾルであるため、標準的な変形コホモロジーは適用できない。
• 変形コホモロジーの関連部分は $\widetilde{\mathcal{A}ss}$ の最小モデルを用いて記述され、非標準的なコホモロジー枠組みが得られる。
• $n=3$ の場合、自由な部分的に結合的 $3$-代数 $p\mathcal{A}ss^3_0$ は、すべての $v_i \in V$ に対して $v_1(v_2v_3(v_4v_5v_6))v_7 + \cdots = 0$ という恒等式を満たし、$V^{\otimes 7}$ からの自然な写像に非自明な核があることが示される。
• $p\mathcal{A}ss^3_0$ のピョウカレ系列は $g(t) = t + t^3 + 2t^5 + 4t^7 + 5t^9 + 6t^{11} + 7t^{13} + 8t^{15} + \cdots$ であり、特定の成長パターンが次数に現れている。
• $n=5$ の場合、13個の変数を含む類似の恒等式が成り立ち、9つの項の和が任意の次数 0 の部分的に結合的 $5$-代数で消える。
• 著者らは、すべての奇数 $n \geq 3$ に対して類似の恒等式が存在すると予想し、$n$ 番目の galgalim 上の頂点装飾を通じて関係を検出可能であると示唆する。