[论文解读] Novikov operad is not Koszul

Askar Dzhumadil’daev|ArXiv.org|Feb 22, 2009

Advanced Topics in Algebra参考文献 1被引用 4

一句话总结

本文通过证明诺维科夫操作代数及其对偶操作代数的Hilbert级数不满足Koszul对偶性条件 $ H(H^{!}(t)) = t $，证明了诺维科夫操作代数不是Koszul代数。作者利用杨图构造自由诺维科夫代数的多重线性基，计算了多重线性部分的维数，并表明操作代数及其对偶的Hilbert级数复合结果为 $ t + t^5/6 + O(t^6) \neq t $，违反了Koszul性所必需的条件。本文还证明了左诺维科夫操作代数的对偶即为右诺维科夫操作代数，从而确认了对偶结构。

ABSTRACT

An algebra with identities $a\circ(b\circ c-c\circ b)=(a\circ b)\circ c-(a\circ c)\circ b$ and $a\circ(b\circ c)=b\circ(a\circ c)$ is called Novikov. We show that Novikov operad is not Koszul.

研究动机与目标

• 解决文献中长期存在的关于诺维科夫操作代数Koszul性的模糊问题，该问题曾被先前的研究错误地认定为已确立。
• 提供诺维科夫操作代数非Koszul性的严格证明，纠正早期出版物中的错误归因。
• 建立左-诺维科夫与右-诺维科夫操作代数之间的确切对偶关系，证明二者互为对偶。
• 通过计算诺维科夫操作代数及其对偶的Hilbert级数，验证Koszul对偶性条件 $ H(H^{!}(t)) = t $ 的失败。

提出的方法

• 利用杨图与r-元素构造自由诺维科夫代数的多重线性基，从12个可能的多重线性单项式中得出6个3次齐次基元素。
• 使用诺维科夫公理表达3次非基元素为这6个基元素的线性组合：$ a\circ(b\circ c) = b\circ(a\circ c) $ 与 $ (a\circ b)\circ c = (a\circ c)\circ b $。
• 通过在操作代数结构下计算三重换位子，分析张量积 $ A \otimes U $ 的李适性条件，其中 $ A $ 为自由右诺维科夫代数，$ U $ 为自由结合代数。
• 推导出当 $ A $ 为右诺维科夫代数时，$ U $ 为左诺维科夫代数所需满足的恒等式系统，并证明这些恒等式是诺维科夫公理的推论。
• 利用多重线性部分的维数计算诺维科夫操作代数及其对偶的Hilbert级数：$ \dim F_n^r = \dim F_n^l = 1, 2, 6, 20, 70 $，对应 $ n = 1, 2, 3, 4, 5 $。
• 通过计算 $ H(H^{!}(t)) = t + t^5/6 + O(t^6) \neq t $ 验证Koszul对偶性的失败，从而违反Koszul操作代数所必需的条件。

实验结果

研究问题

• RQ1 鉴于此前文献中曾无证明地引用诺维科夫操作代数为Koszul代数，它是否真的是Koszul代数？
• RQ2 左或右诺维科夫操作代数的精确对偶操作代数是什么？
• RQ3 能否通过多重线性基与杨图构造，准确计算诺维科夫操作代数及其对偶的Hilbert级数？
• RQ4 复合 $ H(H^{!}(t)) $ 是否等于 $ t $，正如Koszul对偶性所要求的那样？
• RQ5 左-诺维科夫代数与右-诺维科夫代数是否范畴等价，这对操作代数对偶性有何影响？

主要发现

• 诺维科夫操作代数不是Koszul代数，这由Koszul对偶性条件 $ H(H^{!}(t)) = t $ 的失败所证实。
• 左诺维科夫操作代数的对偶即为右诺维科夫操作代数，反之亦然，从而确立了精确的对偶结构。
• 自由左-诺维科夫代数与右-诺维科夫代数的多重线性部分维数相等：$ \dim F_n^l = \dim F_n^r = 1, 2, 6, 20, 70 $，对应 $ n = 1, 2, 3, 4, 5 $。
• 诺维科夫操作代数及其对偶的Hilbert级数分别为 $ H(t) = -t + t^2 - t^3 + 20t^4/24 - 70t^5/120 + O(t^6) $ 与 $ H^{!}(t) $。
• 复合 $ H(H^{!}(t)) = t + t^5/6 + O(t^6) \neq t $，违反了Koszul对偶性所必需的条件。
• 该证明依赖于通过杨图显式计算多重线性基，并验证诺维科夫代数与结合代数张量积中的李适性条件。