[论文解读] On the first Hochschild cohomology group of a cluster-tilted algebra

Ibrahim Assem, María Julia Redondo+1 more|arXiv (Cornell University)|Apr 7, 2012

Algebraic structures and combinatorial models参考文献 21被引用 4

一句话总结

本文建立了簇-倾斜代数 $ B $ 的一阶Hochschild上同调群的短正合列，表明 $ 0 \to k^{n_{B,C}} \to \mathrm{HH}^1(B) \to \mathrm{HH}^1(C) \to 0 $，其中 $ C $ 是相关的倾斜代数，$ n_{B,C} $ 表示不属于 $ C $ 的箭头的等价类数量。对于表示有限的簇-倾斜代数，$ \dim_k \mathrm{HH}^1(B) $ 等于无弦圈数减去双曲箭头数，提供了一种组合计算方法。

ABSTRACT

Given a cluster-tilted algebra B, we study its first Hochschild cohomology group HH^1(B) with coefficients in the B-B-bimodule B. If C is a tilted algebra such that B is the relation extension of C, then we show that if C is constrained, or else if B is tame, then HH^1(B) is isomorphic, as a k-vector space, to the direct sum of HH^1(C) with k^{n\_{B,C}}, where n\_{B,C} is an invariant linking the bound quivers of B and C. In the representation-finite case, HH^1(B) can be read off simply by looking at the quiver of B.

研究动机与目标

• 将簇-倾斜代数 $ B $ 的一阶Hochschild上同调与相关倾斜代数 $ C $ 的一阶Hochschild上同调联系起来，特别是在狭义和表示有限的情形下。
• 解决Skowroński关于 $ \mathrm{HH}^1(B) $ 为零是否蕴含簇-倾斜代数单连通性的问题。
• 在表示有限情形下，基于quiver结构，为 $ \dim_k \mathrm{HH}^1(B) $ 提供一个组合公式。
• 定义并计算不变量 $ n_{B,C} $，该不变量衡量 $ B $ 与 $ C $ 之间关系的差异，并证明其在表示有限情形下的不变性。

提出的方法

• 在 $ B $ 的quiver中不属于 $ C $ 的quiver的箭头之间定义等价关系，其等价类数量记为 $ n_{B,C} $。
• 利用关系扩张构造来关联 $ B $ 与 $ C $，并利用簇-倾斜代数作为倾斜代数扩张的已知结果。
• 应用已证明的短正合列 $ 0 \to k^{n_{B,C}} \to \mathrm{HH}^1(B) \to \mathrm{HH}^1(C) \to 0 $，该结果适用于狭义代数。
• 将双曲箭头定义为位于两个无弦圈上的箭头，并利用此定义在表示有限情形下构造组合不变量 $ n_B $。
• 在平面quiver上应用欧拉公式，推导出公式 $ n_B = 1 + \text{外箭头数} - n $，其中 $ n $ 为顶点数。
• 证明 $ \mathrm{HH}^1(B) = 0 $ 当且仅当 $ B $ 是遗传的且其quiver为树，从而确认Skowroński对该类代数的猜想。

实验结果

研究问题

• RQ1 该短正合列 $ 0 \to k^{n_{B,C}} \to \mathrm{HH}^1(B) \to \mathrm{HH}^1(C) \to 0 $ 是否对狭义簇-倾斜代数成立？
• RQ2 是否 $ \mathrm{HH}^1(B) $ 为零等价于 $ B $ 是单连通的（即遗传的且quiver为树）？
• RQ3 在表示有限情形下，$ \dim_k \mathrm{HH}^1(B) $ 是否能完全由quiver结构计算得出？
• RQ4 $ n_{B,C} $ 的组合意义是什么？它在不同 $ C $ 的选择下是否保持不变？
• RQ5 删除一个顶点如何影响Hochschild上同调维数？这一影响能否通过一个度函数捕捉？

主要发现

• 对任意狭义簇-倾斜代数 $ B $，存在短正合列 $ 0 \to k^{n_{B,C}} \to \mathrm{HH}^1(B) \to \mathrm{HH}^1(C) \to 0 $，其中 $ n_{B,C} $ 为不属于 $ C $ 的quiver的箭头的等价类数量。
• 一阶Hochschild上同调群 $ \mathrm{HH}^1(B) $ 为零当且仅当 $ B $ 是遗传的且其quiver为树，从而确认了Skowroński对簇-倾斜代数的猜想。
• 在表示有限情形下，$ \dim_k \mathrm{HH}^1(B) = n_B = \text{无弦圈数} - \text{双曲箭头数} $，其中 $ n_B $ 为 $ B $ 的quiver中的无弦圈数减去双曲箭头数。
• 对连通quiver $ \tilde{Q} $，有 $ n_B = 1 + \text{外箭头数} - n $，其中 $ n $ 为顶点数。
• 顶点 $ x $ 的Hochschild度定义为 $ \deg_{\mathrm{HH}}(x) = n_B - n_{B/Be_xB} $，其值等于经过 $ x $ 的无弦圈数减去这些圈上的双曲箭头数。
• 在类型为 $ \mathbb{E}_8 $ 的簇-倾斜代数示例中，有 4 个无弦圈和 2 个双曲箭头，此时 $ \mathrm{HH}^1(B) = k^2 $，该结果通过无弦圈减去双曲箭头公式和外箭头公式均得到验证。