[论文解读] Applications of the change-of-rings spectral sequence to the computation of Hochschild cohomology

Mariano Suárez-Álvarez|ArXiv.org|Jul 21, 2007

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

一句话总结

本文将环变换谱序列应用于计算代数的Hochschild上同调，特别是单生成代数和一点（余）扩张。通过Yoneda积和类$ϴ_q(\phi)$，推导出E₂微分的显式公式，实现了对$k[X]/(f)$的上同调代数和Gerstenhaber括号的完全计算，并推广了Happel的长正合序列。

ABSTRACT

We consider the change-of-rings spectral sequence as it applies to Hochschild cohomology, obtaining a description of the differentials on the first page which relates it to the multiplicative stucture on cohomology. Using this information, we are able to completely describe the cohomology structure of monogenic algebras as well as some information on the structure of the cohomology in more general situations. We also show how to use the spectral sequence to reprove and generalize results of M. Auslander et. al. about homological epimorphisms. We derive from this a rather general version of the long exact sequence due to D. Happel for a one-point (co)-extension of a finite dimensional algebra and show how it can be put to use in concrete examples.

研究动机与目标

• 开发一种系统化方法，利用谱序列计算Hochschild上同调，克服标准解析式的计算不可行性。
• 以Yoneda积和新不变量$\mathcal{O}_q(\phi)$的形式描述环变换谱序列在E₂页上的微分。
• 将谱序列应用于计算单生成代数$k[X]/(f)$的完整Hochschild上同调代数和Gerstenhaber括号。
• 推广并重新证明关于同调态射和Happel长正合序列在一点（余）扩张上的结果。
• 提供一种计算Hochschild上同调的框架，对乘法结构和李代数结构具有显式控制。

提出的方法

• 利用$ k $-代数同态$\phi: A \to B$的环变换谱序列，其中$E_2^{p,q} \cong \operatorname{Ext}_{B^e}^p(\operatorname{Tor}_q^A(B,B), M) \Rightarrow HH^{\bullet}(A,M)$。
• 将E₂微分$d_2^{p,q}$表示为$d_2^{p,q}(\zeta) = (-1)^p \zeta \circ \mathcal{O}_q(\phi)$，其中$\circ$为Yoneda积。
• 引入类$\mathcal{O}_q(\phi) \in \operatorname{Ext}_{B^e}^2(\operatorname{Tor}_{q-1}^A(B,B), \operatorname{Tor}_q^A(B,B))$，作为代数扩张特征类的高阶类比。
• 将谱序列应用于单生成代数$k[X]/(f)$，显式计算$HH^\bullet(k[X]/(f))$和Gerstenhaber括号。
• 利用谱序列框架重构并推广Happel对一点（余）扩张的长正合序列。
• 通过解析式之间的比较映射，将Yoneda积与谱序列微分关联，实现对乘法结构的控制。

实验结果

研究问题

• RQ1 如何利用环变换谱序列计算Hochschild上同调，并对乘法结构实现控制？
• RQ2 在Hochschild上同调的环变换谱序列中，E₂微分的代数意义是什么？
• RQ3 谱序列能否用于计算单生成代数的完整Hochschild上同调代数和Gerstenhaber括号？
• RQ4 类$\mathcal{O}_q(\phi)$与已知不变量（如扩张的特征类）有何关系？
• RQ5 谱序列框架能否推广并重新证明Happel对一点（余）扩张的长正合序列？

主要发现

• E₂微分$d_2^{p,q}$被显式给出为$d_2^{p,q}(\zeta) = (-1)^p \zeta \circ \mathcal{O}_q(\phi)$，其中$\circ$为Yoneda积。
• 对于满同态$\phi: A \to B$且$ I = \ker \phi $，类$\mathcal{O}_1(\phi)$与扩张$0 \to I/I^2 \to A/I^2 \to B \to 0$的特征类一致，建立了与经典代数结构的联系。
• Hochschild上同调代数$HH^\bullet(k[X]/(f))$被完整描述，包括Gerstenhaber李括号的显式表示。
• 谱序列可计算非一点（余）扩张代数$A$的$HH^0(A) \cong k^2$和$HH^1(A) \cong k$，展示了其在经典设定之外的实用性。
• 该方法推广了Happel的长正合序列，为一点（余）扩张提供了统一框架，即使在经典序列不适用时亦成立。
• 类$\mathcal{O}_q(\phi)$作为特征类的高阶类比，为代数同态提供了新的不变量。