[论文解读] First Hochschild cohomology group and stable equivalence classification of Morita type of some tame symmetric algebras

Rachel Taillefer|arXiv (Cornell University)|Jun 29, 2017

Algebraic structures and combinatorial models参考文献 17被引用 6

一句话总结

本文利用第一个Hochschild上同调群的李代数结构与维数，通过Morita型稳定等价关系区分了二面体型、半二面体型与四元数型的有限型对称代数。通过分析上同调李代数的Killing型与下中央列，作者完成了对二面体型代数的分类，并对四元数型与半二面体型代数进行了细化，表明当乘积 $cd \neq 0$ 或在特定结构条件下，某些代数并非Morita型稳定等价。

ABSTRACT

We use the dimension and the Lie algebra structure of the first Hochschild cohomology group to distinguish some algebras of dihedral, semi-dihedral and quaternion type up to stable equivalence of Morita type. In particular, we complete the classification of algebras of dihedral type that was mostly determined by Zhou and Zimmermann.

研究动机与目标

• 完成对二面体型代数在Morita型稳定等价关系下的分类。
• 利用Hochschild上同调的不变量，对半二面体型与四元数型代数的分类进行细化。
• 区分此前通过Külshammer不变量或稳定Hochschild上同调等现有不变量无法区分的代数。
• 证明$\mathrm{HH}^1(A)$的李代数结构是Morita型稳定等价下的强大不变量。
• 通过分析$\mathrm{HH}^1(A)$的Killing型与下中央列，解决分类中的开放问题。

提出的方法

• 使用为由有向图与关系定义的有限维代数定制的算法，计算第一个Hochschild上同调群$\mathrm{HH}^1(A)$。
• 将Strametz对单式代数的$\mathrm{HH}^1(A)$上李代数结构的描述应用于显式计算李括积关系。
• 将李代数$\mathrm{HH}^1(A)$的Killing型作为不变量；其秩在李代数同构下保持不变，因此在Morita型稳定等价下也保持不变。
• 分析下中央列$\mathcal{L}^1(\mathrm{HH}^1(A))$与$\mathcal{L}^2(\mathrm{HH}^1(A)))$，以区分具有同构上同调维数的代数。
• 利用基变换与同构不变量，比较不同参数$c, d$的代数，特别是当$cd \neq 0$时。
• 依赖于$\mathrm{HH}^1(A)$及其李代数结构在Morita型稳定等价下保持不变的事实，该结论由König、Le与Zhou建立。

实验结果

研究问题

• RQ1 当$cd \neq 0$时，代数$Q(1\mathcal{A})_{2}^{k}(0,d)$与$Q(1\mathcal{A})_{2}^{k}(c,d)$是否为Morita型稳定等价？
• RQ2 对于具有两个单模的四元数型代数，$\mathrm{HH}^1(A)$的李代数结构能否区分此前无法区分的代数？
• RQ3 当$d \neq d'$且两者均非零时，代数$Q(1\mathcal{A})_{2}^{k}(0,d)$与$Q(1\mathcal{A})_{2}^{k}(0,d')$是否为Morita型稳定等价？
• RQ4 下中央列$\mathrm{HH}^1(A)$是否提供了比维数或Killing型本身更精细的不变量？
• RQ5 李代数结构能否解决二面体型、半二面体型与四元数型代数分类中剩余的开放问题？

主要发现

• 当$k \geq 2$且$cd \neq 0$时，代数$Q(1\mathcal{A})_{1}^{k}$、$Q(1\mathcal{A})_{2}^{k}(0,d)$与$Q(1\mathcal{A})_{2}^{k}(c,d)$并非Morita型稳定等价。
• 当$cd \neq 0$时，$\mathrm{HH}^1(Q(1\mathcal{A})_{2}^{k}(c,d))$的Killing型秩为2；当$cd = 0$时，秩为0，提供了一个区分性不变量。
• 当$k$为奇数且$cd = 0$时，$\mathcal{L}^1(\mathrm{HH}^1(A))$的维数为$\frac{k+3}{2}$；当$k$为偶数且$cd = 0$时，其维数为$\frac{k}{2} + 2$，且在$\mathcal{L}^2$中存在进一步区分。
• 当$k$为奇数且$c = 0$，$d \neq 0$时，$\mathcal{L}^2(\mathrm{HH}^1(A))$的维数为$\frac{k-3}{2} + \delta_{k,3}$；当$c = d = 0$时，其维数为$\frac{k-5}{2} + \delta_{k,3}$。
• $\mathrm{HH}^1(Q(1\mathcal{A})_{2}^{k}(0,d))$与$\mathrm{HH}^1(Q(1\mathcal{A})_{2}^{k}(0,d'))$在$d, d' \neq 0$时同构，但这并不意味着Morita型稳定等价。
• 二面体型代数的分类现已完成，而四元数型与半二面体型代数的分类通过$\mathrm{HH}^1(A)$的李代数结构得到改进。