[论文解读] (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$-元代数的运算律的 Koszul 性质，引入了 'galgalim' 作为部分结合 $n$-代数的 Stasheff 关联多面体的类比。证明了反结合运算律 $\widetilde{\mathcal{A}ss}$ 不是 Koszul 的，并构建了其极小模型以描述形变上同调，揭示了在奇数 $n \geq 3$ 时自由部分结合代数中存在非平凡关系。主要贡献是在 $n$-元设定下建立了一套系统化的非 Koszul 运算律框架，包括自由度为 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$-元代数运算律的 Koszul 性质，特别关注反结合与部分结合结构。
• 引入并研究 'galgalim' 作为关联多面体的高阶类比，编码自由部分结合代数中的关系。
• 通过其极小模型描述非 Koszul 反结合运算律 $\widetilde{\mathcal{A}ss}$ 上代数的形变上同调。
• 识别并分析在奇数 $n \geq 3$ 时自由部分结合 $n$-代数中的非平凡关系，包括显式多项式恒等式。
• 提出关于非 Koszul $n$-元运算律的极小模型及非 Koszul 情况下自由代数结构的开放问题。

提出的方法

• 将 'galgalim' 的概念引入为推广关联多面体的多面体复形，用于 $n$-元部分结合代数。
• 使用二次对偶性与 Koszul 对偶构造分析由单个 $n$-元运算及特定关系生成的运算律。
• 定义反结合运算律 $\widetilde{\mathcal{A}ss}$ 的极小模型，以计算其形变上同调，因标准 Koszul 方法失效。
• 通过分析 galgalim 上的顶点标记并求和带符号的树关系，构建自由部分结合代数中的显式关系。
• 使用 Poincaré 系数比较自由代数各分量的维数，并检测从张量代数到自由代数的自然映射中的核。
• 应用生成函数 $t - t^n + t^{2n-1}$ 的形式逆来检验 Koszul 性，特别针对奇数 $n \geq 8$。

实验结果

研究问题

• RQ1 对于 $n \geq 3$，反结合 $n$-元代数的运算律是否为 Koszul？
• RQ2 当运算律非 Koszul 时，自由部分结合 $n$-代数的结构特性是什么？
• RQ3 反结合运算律 $\widetilde{\mathcal{A}ss}$ 的极小模型能否被完整描述？其揭示了形变上同调的哪些信息？
• RQ4 在奇数 $n \geq 3$ 时，自由部分结合 $n$-代数中是否存在非平凡关系？这些关系能否通过 galgalim 上的顶点标记编码？
• RQ5 对于 $n \geq 8$，$t - t^n + t^{2n-1}$ 的形式逆的系数与对偶运算律中分量维数之间存在何种关系？

主要发现

• 反结合 $n$-元代数的运算律 $\widetilde{\mathcal{A}ss}$ 不是 Koszul 的，因此标准形变上同调不适用。
• 通过 $\widetilde{\mathcal{A}ss}$ 的极小模型描述了形变上同调的相关部分，提供了一套非标准的上同调框架。
• 对于 $n=3$，自由部分结合 $3$-代数 $p\mathcal{A}ss^3_0$ 满足恒等式 $v_1(v_2v_3(v_4v_5v_6))v_7 + \cdots = 0$ 对所有 $v_i \in V$ 成立，表明从 $V^{\otimes 7}$ 到自由代数的自然映射中存在非平凡核。
• 自由代数 $p\mathcal{A}ss^3_0$ 的 Poincaré 系数为 $g(t) = t + t^3 + 2t^5 + 4t^7 + 5t^9 + 6t^{11} + 7t^{13} + 8t^{15} + \cdots$，显示出特定的度数增长模式。
• 对于 $n=5$，存在类似恒等式，涉及 13 个变量：在任意度为 0 的部分结合 $5$-代数中，具有特定括号模式的 9 项之和为零。
• 作者猜想，对所有奇数 $n \geq 3$，均存在类似恒等式，且关系可通过第 $n$ 个 galgalim 上的顶点标记检测。