[论文解读] 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)$-元部分结合代数相关的操作代数并非科斯泽尔型，这与偶数情况下的已知科斯泽尔性形成对比。通过使用金兹堡-卡普兰诺夫框架仔细分析其分次对偶操作代数，作者表明该对偶操作代数的生成系列不满足科斯泽尔对偶条件，从而排除了这些代数在标准意义上的操作代数上同调。

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.

研究动机与目标

• 为了解决先前文献中将奇数与偶数阶数情况统一处理所导致的矛盾，从而得出关于科斯泽尔性的错误结论。
• 在分次操作代数框架下，澄清$(2p+1)$-元部分结合代数对偶操作代数的正确定义。
• 证明三元部分结合代数的操作代数$3\mathcal{A}ss$并非科斯泽尔型，尽管此前有相关声称。
• 确立由于非科斯泽尔性，标准操作代数上同调无法为$(2p+1)$-元部分结合代数定义。
• 纠正早期研究中将对偶操作代数以非分次方式处理的误解，忽略了对偶化过程中的度数偏移。

提出的方法

• 使用金兹堡-卡普兰诺夫的分次对偶框架处理操作代数，该框架考虑了对偶构造中的度数偏移。
• 定义由一个度数为0的三元运算生成的二次操作代数$3\mathcal{A}ss$，其二次关系编码了部分结合性。
• 将对偶操作代数$3\mathcal{A}ss^!$计算为具有度数1运算的完全结合三元代数的操作代数。
• 显式计算对偶操作代数的生成系列$g_{3\mathcal{A}ss^!}(x) = x - x^3 + x^5$。
• 验证该生成系列不满足科斯泽尔对偶所需的函数方程$g_{3\mathcal{A}ss}(-s(-x)) = x$。
• 与在分次意义下定义为$3\mathcal{A}ss$对偶的$3t\mathcal{A}ss$操作代数进行比较，以澄清非分次对偶与分次对偶之间的区别。

实验结果

研究问题

• RQ1 为何先前的研究错误地声称$(2p+1)$-元部分结合操作代数是科斯泽尔型？
• RQ2 当阶数为奇数时，分次对偶操作代数与非分次对偶有何不同？
• RQ3 三元部分结合操作代数$3\mathcal{A}ss$的对偶操作代数的正确生成系列是什么？
• RQ4 该对偶操作代数的生成系列是否满足科斯泽尔对偶的函数方程？
• RQ5 能否为$(2p+1)$-元部分结合代数定义操作代数上同调？

主要发现

• 三元部分结合代数的操作代数$3\mathcal{A}ss$并非科斯泽尔型，因为其对偶操作代数的生成系列$g_{3\mathcal{A}ss^!}(x) = x - x^3 + x^5$不满足科斯泽尔对偶所需的函数方程。
• 对偶操作代数$3\mathcal{A}ss^!$同构于具有度数1运算的完全结合三元代数的操作代数，而非具有度数0运算的非分次版本。
• 对偶操作代数$3\mathcal{A}ss^!$的生成系列为$x - x^3 + x^5$，这与由科斯泽尔对偶条件导出的系列$-x + x^3 - x^5 + 19x^{11} + O[x]^{12}$相矛盾。
• 在奇数阶数情况下，常被假设为正确对偶的非分次对偶，并非金兹堡-卡普兰诺夫意义下的真实对偶。
• 科斯泽尔性失败意味着标准操作代数上同调无法为$(2p+1)$-元部分结合代数定义。
• 分次对偶与非分次对偶之间的区别至关重要：忽略度数偏移会导致在奇数阶数情况下对对偶性和科斯泽尔性得出错误结论。