[论文解读] On the Morita invariance of the Hochschild homology of superalgebras

Paul A. Blaga|ArXiv.org|May 26, 2009

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

一句话总结

本论文通过从莫代 (Morita) 等价数据构造双复形并分析其谱序列，确立了 $ℤ_2$-分次代数（超代数）的 Hochschild 同调的莫代不变性。关键结果是：莫代等价的超代数具有同构的 Hochschild 同调，通过使用分次张量积和微分结构的直接、函子性证明，将经典未分次结果推广至超代数情形。

ABSTRACT

We provide a direct proof that the Hochschild homology of a $\mathbb{Z}_2$-graded algebra is Morita invariant.

研究动机与目标

• 在 $ℤ_2$-分次代数的背景下，确立 Hochschild 同调在莫代等价下保持不变。
• 将经典 Hochschild 同调的莫代不变性结果推广至超代数情形。
• 使用分次 Hochschild 复形和谱序列技术，提供一种直接、函子性的证明。
• 阐明投射双模和分次张量积在莫代等价下保持同调不变量中的作用。

提出的方法

• 从一个莫代等价双模 $P$ 及其拟逆 $Q$ 构造双复形 $C_{m,n} = P \otimes B^n \otimes Q \otimes A^m$。
• 通过 $A$ 的 Hochschild 微分和 $B$ 的扭曲版本定义竖直与水平微分 $d'$ 与 $d''$，并引入分次交换性带来的符号修正。
• 使用循环置换 $\omega_{m+1,n+1}$ 将 $A$-链与 $B$-链关联，从而实现两个 Hochschild 复形的比较。
• 构造总复形 $Tot_n = \bigoplus_{p+q=n} C_{p,q}$，其微分为 $d_n = \sum (d'_n + d''_n)$，形成满足 $d'd'' + d''d' = 0$ 的双复形。
• 对总复形的两种滤子应用谱序列论证，表明两种谱序列均在第二页坍缩。
• 利用引理：当 $Q$ 为投射时，有 $H_n(A, M \otimes Q) = 0$（$n \geq 1$），证明 $E^2$ 项集中在度数零。

实验结果

研究问题

• RQ1 在超代数情形下，Hochschild 同调是否如在未分次情形中一样，在莫代等价下保持不变？
• RQ2 经典莫代不变性证明如何适应分次情形，特别是符号约定和张量积结构方面？
• RQ3 投射双模在分次 Hochschild 情形中确保谱序列坍缩的作用是什么？
• RQ4 能否通过双复形构造诱导出莫代等价超代数的 Hochschild 同调之间的同构？
• RQ5 Hochschild 同调之间的同构是否在四元组 $(A,B;P,Q)$ 上是函子性的？

主要发现

• 超代数的 Hochschild 同调在莫代等价下保持不变：若 $A$ 与 $B$ 莫代等价，则 $H_*(A) \cong H_*(B)$。
• 同构 $F_*: H_*(A, P \otimes_B Q) \to H_*(B, Q \otimes_A P)$ 被显式构造，并在莫代数据上是函子性的。
• 与双复形总复形相关的谱序列在第二页坍缩，$E^2$ 项集中在度数零。
• 竖直滤子的 $E^2$ 项为 $H_p(A, P \otimes_B Q)$，水平滤子的 $E^2$ 项为 $H_p(B, Q \otimes_A P)$，由于收敛至同一极限，二者必同构。
• 引理中高阶同调的消失性（$H_n(A, M \otimes Q) = 0$，$n \geq 1$）是谱序列坍缩的关键。
• 证明依赖于张量积中的分次符号规则以及循环置换 $\omega_{m+1,n+1}$，以在双复形中关联 $A$-链与 $B$-链。