[论文解读] Hochschild cohomology of gentle algebras

Sefi Ladkani|arXiv (Cornell University)|Aug 10, 2012

Algebraic structures and combinatorial models参考文献 14被引用 7

一句话总结

本文计算了柔顺代数的Hochschild上同调，并表明其完全由Avella-Alaminos-Geiss导出不变量决定，这意味着它无法区分该不变量已捕获的导出等价类之外的类别。利用Bardzell对单项式代数的双模解析，作者推导出上同调群维数的显式公式，公式以不变量和域的特征表示，证明Hochschild上同调对柔顺代数而言并非完全的导出不变量。

ABSTRACT

We compute the Hochschild cohomology groups of gentle algebras and show that they are determined by the derived invariant introduced by Avella-Alaminos and Geiss.

研究动机与目标

• 确定Hochschild上同调是否能作为导出不变量，以区分Avella-Alaminos-Geiss不变量尚未区分的柔顺代数的导出等价类。
• 利用其组合结构计算柔顺代数的Hochschild上同调群维数。
• 确立Hochschild上同调（作为分次向量空间）完全由Avella-Alaminos-Geiss不变量和基域特征决定。
• 将结果应用于来自曲面三角剖分的柔顺代数，包括类型$ ilde{A}$的簇-倾斜代数。

提出的方法

• 作者使用Bardzell对单项式代数的投射解析（作为其自身的双模）来计算柔顺代数的Hochschild上同调，其中柔顺代数是二次单项式代数。
• 他们定义形式幂级数 $ h_{\text{\Lambda}}(z) = \sum_{i=0}^{\infty} \dim_K \operatorname{HH}^i(\Lambda) \cdot z^i - 1 $ 以编码上同调群的维数。
• 他们引入幂级数 $ g_n(z) = \frac{z^n(1+z)(\varepsilon_n + z^n)}{1 - z^{2n}} $，其中 $ \varepsilon_n = 1 $ 若 $ n $ 为偶数或 $ \operatorname{char} K = 2 $，否则为 0，用于建模quiver中环路的贡献。
• 主要公式将 $ h_{\Lambda}(z) $ 表示为包含 $ \phi_{\Lambda}(1,m) $、$ \phi_{\Lambda}(0,m) $ 和 $ g_m(z) $ 的和，其中欧拉示性数 $ \chi(Q_\Lambda) $ 以 $ \phi_{\Lambda} $ 表达。
• 他们定义 $ \psi_{\Lambda}(n) = \sum_{d|n} \phi_{\Lambda}(0,d) $ 以简化 $ \dim \operatorname{HH}^n(\Lambda) $ 在 $ n \geq 2 $ 时的表达式。
• 该方法应用于来自曲面三角剖分的柔顺代数，利用拓扑不变量如亏格 $ g $、边界分量数 $ b $，以及特殊边界线段和三角形的计数。

实验结果

研究问题

• RQ1 Hochschild上同调能否区分Avella-Alaminos-Geiss不变量尚未区分的柔顺代数的导出等价类？
• RQ2 柔顺代数的Hochschild上同调群维数的精确公式是什么，其表达式基于其quiver和关系？
• RQ3 基域的特征如何影响柔顺代数Hochschild上同调的结构？
• RQ4 来自带标记的有边曲面理想三角剖分的柔顺代数的Hochschild上同调是什么？
• RQ5 能否使用底层曲面的拓扑不变量完全描述类型$\tilde{A}$的簇-倾斜代数的上同调？

主要发现

• 作为分次向量空间，柔顺代数的Hochschild上同调完全由其Avella-Alaminos-Geiss导出不变量和基域特征决定。
• 形式幂级数 $ h_{\Lambda}(z) $ 由 $ (1 - \chi(Q_\Lambda))z + \sum_{m \geq 0} \phi_{\Lambda}(1,m)z^m + \sum_{m > 0} \phi_{\Lambda}(0,m)g_m(z) $ 给出，其中 $ \chi(Q_\Lambda) $ 可用 $ \phi_{\Lambda} $ 表达。
• 对于 $ n \geq 2 $，有 $ \dim \operatorname{HH}^n(\Lambda) = \phi_{\Lambda}(1,n) + a_n \psi_{\Lambda}(n) + b_n \psi_{\Lambda}(n-1) $，其中系数 $ (a_n, b_n) $ 依赖于域的特征和 $ n $ 的奇偶性。
• 条件 $ \operatorname{HH}^1(\Lambda) = 0 $ 等价于对所有 $ i \geq 1 $ 有 $ \operatorname{HH}^i(\Lambda) = 0 $，当且仅当 $ \Lambda $ 是Dynkin型 $ A $ 的分次遗传代数时成立。
• 对于有限全局维数的柔顺代数，有 $ h_{\Lambda}(z) = (1 - \chi(Q_\Lambda))z + \sum_{n \geq 0} \phi_{\Lambda}(1,n)z^n $，因此当 $ n > 1 $ 时 $ \dim \operatorname{HH}^n(\Lambda) = \phi_{\Lambda}(1,n) $。
• 对于来自曲面三角剖分的柔顺代数，有 $ h_{\Lambda_T}(z) = c_0 + (2g + b - 1 + c_1)z + (4(g-1) + 2b + d)f_3(z) $，其中 $ f_3(z) = z + g_3(z) $，且 $ \operatorname{HH}^2(\Lambda_T) = 0 $。