[論文レビュー] Operads for n-ary algebras - calculations and conjectures

Martin Markl, Elisabeth Remm|arXiv (Cornell University)|Mar 21, 2011

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

ひとこと要約

この論文は、次数 $d$ の完全非可換 $n$-項代数を記述するオペラッド $\mathsf{t\mathcal{A}ss}^n_d$ のコーゼュリティを調査する。最小モデルの生成系列の数値的計算を通じて、$d$ が奇数で $n \geq 8$ のとき $\mathsf{t\mathcal{A}ss}^n_d$ は非コーゼュリである強力な証拠を提供する。特に、$n \not\equiv d \pmod{2}$ のとき、そのコーゼュル双対 $\mathsf{p\mathcal{A}ss}^n_d$ の最小モデルに長さ $n-1$ のギャップが存在するとの仮説を提示し、これは $d$ が奇数で $n \geq 8$ のときの非コーゼュリティを示唆する。結果から、$\mathsf{t\mathcal{A}ss}^8_1$ はギンツブルグ＝カプラノフ基準では検出できない最初の非コーゼュリオペラッドである可能性がある。

ABSTRACT

In our earlier work we studied Koszulity of a family of operads depending on a natural number n and on the degree d of the generating operation. While we proved that, for n < 8, this operad is Koszul if and only if d is even, and while it follows from a work of Hoffbeck that it is Koszul for d even and arbitrary n, its (non)Koszulity for d odd and n > 7 remains an open problem. In this note, we describe some related numerical experiments, and formulate a conjecture suggested by the results of these computations.

研究の動機と目的

• 奇数 $d$ および $n \geq 8$ のときのオペラッド $\mathsf{t\mathcal{A}ss}^n_d$ のコーゼュリティを調査すること。これは、以前は未解決の状態であった。
• 小さな $n$ およびさまざまな $d$ に対して、コーゼュル双対オペラッド $\mathsf{p\mathcal{A}ss}^n_d$ の最小モデルの生成系列を計算すること。
• 最小モデル生成子に現れる構造的パターン、特に消える係数の有無を特定し、$\mathsf{t\mathcal{A}ss}^n_d$ の非コーゼュリティを推論すること。
• 計算結果に基づき、$n \not\equiv d \pmod{2}$ のとき $\mathsf{p\mathcal{A}ss}^n_d$ の最小モデルにギャップが存在する長さに関する仮説を提示すること。
• ギンツブルグ＝カプラノフ基準では検出できない最初の非コーゼュリオペラッドである可能性がある $\mathsf{t\mathcal{A}ss}^8_1$ を示す証拠を提供すること。

提案手法

• 小さな $n$ およびさまざまな $d$ に対して、$\mathsf{t\mathcal{A}ss}^n_d$ のコーゼュル双対であるオペラッド $\mathsf{p\mathcal{A}ss}^n_d$ の生成系列を計算すること。
• 生成系列の形式的逆を計算し、最小モデル生成子のポincare系列を特定すること。
• 特に次数 $n-1, 2(n-1), \dots$ における逆系列の消える係数を特定し、最小モデル内の構造的ギャップの兆候とすること。
• 特定の成分のオイラー乗数の消えることから、最小モデルの生成集合に長さ $n-1$ のギャップがあることを推論すること。
• 消える係数が特定の次数に生成子がないことを示す、命題 3.4 を適用すること。
• $n=2$ で観察されたパターンを $n=5$ まで拡張し、$n \not\equiv d \pmod{2}$ のとき $\mathsf{p\mathcal{A}ss}^n_d$ の一般的なギャップ構造を仮説化すること。

実験結果

リサーチクエスチョン

• RQ1 $d$ が奇数で $n \geq 8$ のとき、オペラッド $\mathsf{t\mathcal{A}ss}^n_d$ はコーゼュリか？
• RQ2 $n \geq 4$ および奇数 $d$ のとき、コーゼル双対オペラッド $\mathsf{p\mathcal{A}ss}^n_d$ の最小モデルにどのような構造的特徴が現れるか？
• RQ3 $n \not\equiv d \pmod{2}$ のとき、$\mathsf{p\mathcal{A}ss}^n_d$ の最小モデルは生成集合に長さ $n-1$ のギャップを示すか？
• RQ4 逆生成系列における係数の消えることから、$\mathsf{t\mathcal{A}ss}^n_d$ の非コーゼュリティを推論できるか？
• RQ5 $\mathsf{t\mathcal{A}ss}^8_1$ は、ギンツブルグ＝カプラノフ基準では検出できない最初の非コーゼュリオペラッドであるか？

主な発見

• $\mathsf{p\mathcal{A}ss}^2_1$ の生成系列は次数 4 に係数 0 を持ち、最小モデルに長さ 3 のギャップがあることを示唆する。
• $\mathsf{p\mathcal{A}ss}^3_0$ の生成系列は次数 7 および 9 に係数 0 を持ち、最小モデルに長さ 6 のギャップがあると示唆する。
• $\mathsf{p\mathcal{A}ss}^4_1$ の生成系列は次数 10, 13, および 16 に係数 0 を持ち、最小モデルに長さ 9 のギャップがあることを示唆する。
• $\mathsf{p\mathcal{A}ss}^5_0$ の生成系列は次数 13, 17, 21 に係数 0 を持ち、次数 25 に未知の項がある。これは最小モデルに長さ 12 のギャップがあると示唆する。
• 逆系列における係数の消えることは、対応する成分のオイラー乗数がゼロであることを示し、その次数に生成子がないことを示唆する。
• 観察されたパターンに基づき、著者らは $n \not\equiv d \pmod{2}$ のとき $\mathsf{p\mathcal{A}ss}^n_d$ の最小モデルに長さ $n-1$ のギャップがあると仮説を提示する。これは $d$ が奇数で $n \geq 8$ のとき $\mathsf{t\mathcal{A}ss}^n_d$ が非コーゼュリであることを示唆する。