[论文解读] 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$-元代数的 operad $\mathsf{t\mathcal{A}ss}^n_d$ 的 Koszul 性。通过最小模型生成系列的数值计算，作者提供了强有力的证据，表明当 $d$ 为奇数且 $n \geq 8$ 时，$\mathsf{t\mathcal{A}ss}^n_d$ 是非 Koszul 的，推测其 Koszul 对偶 $\mathsf{p\mathcal{A}ss}^n_d$ 的最小模型中存在长度为 $n-1$ 的间隙，当 $n \not\equiv d \pmod{2}$ 时，这将意味着 $d$ 为奇数且 $n \geq 8$ 时的非 Koszul 性。结果表明，$\mathsf{t\mathcal{A}ss}^8_1$ 可能是首个无法被 Ginzburg-Kapranov 准则检测到的非 Koszul operad。

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$ 的 Koszul 性，此前该问题尚无定论。
• 计算小 $n$ 和多种 $d$ 下，其 Koszul 对偶 operad $\mathsf{p\mathcal{A}ss}^n_d$ 的最小模型生成系列。
• 在最小模型生成元中识别结构模式，特别是零系数的存在，以推断 $\mathsf{t\mathcal{A}ss}^n_d$ 的非 Koszul 性。
• 基于计算结果，提出关于当 $n \not\equiv d \pmod{2}$ 时 $\mathsf{p\mathcal{A}ss}^n_d$ 的最小模型中间隙长度的猜想。
• 提供证据表明 $\mathsf{t\mathcal{A}ss}^8_1$ 可能是首个无法被 Ginzburg-Kapranov 准则检测到的非 Koszul operad。

提出的方法

• 计算小 $n$ 和多种 $d$ 下，$\mathsf{p\mathcal{A}ss}^n_d$ 的生成系列，即 $\mathsf{t\mathcal{A}ss}^n_d$ 的 Koszul 对偶。
• 计算生成系列的形式逆，以确定最小模型生成元的 Poincaré 系列。
• 识别逆系列中的零系数，特别是度数 $n-1, 2(n-1), \dots$ 处的零系数，作为最小模型中结构间隙的指标。
• 利用某些分量的 Euler 示性数为零的事实，推断最小模型在生成元集合中存在长度为 $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$ 时，operad $\mathsf{t\mathcal{A}ss}^n_d$ 是否为 Koszul？
• 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{p\mathcal{A}ss}^n_d$ 的逆生成系列中系数的消失来推断 $\mathsf{t\mathcal{A}ss}^n_d$ 的非 Koszul 性？
• RQ5 $\mathsf{t\mathcal{A}ss}^8_1$ 是否是首个无法被 Ginzburg-Kapranov 准则检测到的非 Koszul operad？

主要发现

• 在 $\mathsf{p\mathcal{A}ss}^2_1$ 的生成系列中，度数 4 处的系数为零，表明其最小模型中存在长度为 3 的间隙。
• 在 $\mathsf{p\mathcal{A}ss}^3_0$ 的生成系列中，度数 7 和 9 处的系数为零，表明最小模型中存在长度为 6 的间隙。
• 在 $\mathsf{p\mathcal{A}ss}^4_1$ 的生成系列中，度数 10、13 和 16 处的系数为零，表明最小模型中存在长度为 9 的间隙。
• 在 $\mathsf{p\mathcal{A}ss}^5_0$ 的生成系列中，度数 13、17、21 处的系数为零，且度数 25 处存在未知项，表明最小模型中存在长度为 12 的间隙。
• 逆系列中系数的消失意味着最小模型中对应分量的 Euler 示性数为零，表明这些度数中无生成元。
• 基于观察到的模式，作者推测当 $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$ 为非 Koszul。