[论文解读] Hochschild cohomology of the cluster-tilted algebras of finite representation type

Sefi Ladkani|arXiv (Cornell University)|May 3, 2012

Algebraic structures and combinatorial models参考文献 12被引用 5

一句话总结

本文计算了域上有限表示型簇丛倾斜代数的Hochschild上同调群，通过quiver结构及定向3-圈、Cartan矩阵行列式等不变量，以形式幂级数表达上同调。关键结果是利用quiver参数和相关多项式，对Dynkin型A、D和E中的上同调进行了完全分类。

ABSTRACT

We compute the Hochschild cohomology groups of the cluster-tilted algebras of finite representation type.

研究动机与目标

• 计算域上有限表示型簇丛倾斜代数的Hochschild上同调群。
• 以quiver不变量（如定向3-圈数量和环路长度）表达上同调。
• 利用形式幂级数和导出不变量，对Dynkin型A、D和E中的上同调建立完全分类。
• 证明第一Hochschild上同调与Cartan矩阵行列式可完全确定整个上同调环。
• 证明此类代数是刚性代数，其第二上同调群为零。

提出的方法

• 定义形式幂级数 $ h_{\text{\Lambda}}(z) = \sum_{i=0}^{\infty} \dim_K \operatorname{HH}^i(\Lambda) \cdot z^i - 1 $ 以编码上同调维数。
• 使用[11, 14, 17]中的长正合列约化技术，将上同调计算分解为更简单的子问题。
• 应用Hochschild上同调的导出不变性，将非单项式簇丛倾斜代数替换为具有零关系的导出等价单项式代数。
• 在导出等价的单项式代数中缩短环路，将其约化为已知上同调的截断环路代数。
• 利用[2, 12, 16, 20]中关于截断环路代数Hochschild上同调的已知结果，计算最终的上同调群。
• 定义 $ f_n(z) $ 为依赖于 $ n $ 和域特征的形式幂级数，编码环路型quiver的上同调。

实验结果

研究问题

• RQ1 如何从quiver结构显式计算有限表示型簇丛倾斜代数的Hochschild上同调？
• RQ2 定向3-圈和环路长度在确定上同调结构中起什么作用？
• RQ3 Hochschild上同调群在多大程度上由导出不变量（如Cartan矩阵行列式）决定？
• RQ4 是否能基于quiver参数和相关多项式，对A、D和E型的上同调实现完全分类？
• RQ5 有限表示型簇丛倾斜代数是否为刚性代数，即其第二上同调群是否为零？

主要发现

• 对于Dynkin型A的簇丛倾斜代数，上同调生成函数为 $ h_{\Lambda}(z) = t f_3(z) $，其中 $ t $ 为定向3-圈的数量。
• 对于型D，上同调取决于quiver类型和参数：型I为 $ h_{\Lambda}(z) = t f_3(z) $，型II为 $ (1 + t_1 + t_2) f_3(z) $，型III为 $ f_4(z) + (t_1 + t_2) f_3(z) $，型IV为 $ f_n(z) $ 或 $ f_n(z) + (t_1 + \cdots + t_r) f_3(z) $。
• 对于型E，上同调完全由Cartan矩阵的关联多项式决定，如表1所示，具体分配为 $ f_n(z) $ 或其线性组合。
• 第二Hochschild上同调群为零：$ \operatorname{HH}^2(\Lambda) = 0 $，证明了此类代数是刚性代数。
• 整个上同调由 $ \dim \operatorname{HH}^1(\Lambda) $ 和 $ \det C_\Lambda $ 完全确定，其中 $ h_{\Lambda}(z) = f_n(z) + t f_3(z) $，$ t = \dim \operatorname{HH}^1(\Lambda) - 1 $，且 $ n = 1 + 2^{-t} \det C_\Lambda $。
• 两个有限表示型簇丛倾斜代数具有同构的上同调群，当且仅当它们的第一上同调维数和Cartan行列式相等。