Hochschild cohomology of the second kind: Koszul duality and Morita invariance

这篇论文《第二类 Hochschild 上同调：Koszul 对偶与 Morita 不变性》（Hochschild Cohomology of the Second Kind: Koszul Duality and Morita Invariance）由 A. Guan, J. Holstein 和 A. Lazarev 撰写。文章旨在定义并研究微分分次（dg）代数或弯曲代数（curved algebras）的“第二类 Hochschild 上同调”，建立其与 Koszul 对偶及 Morita 等价的关系，并展示其在几何和拓扑背景下的应用。

以下是对该论文的详细技术总结：

1. 研究背景与问题 (Problem)

• Hochschild 上同调的两种形式：对于 dg 代数，Hochschild 复形是一个双重复形。传统的“第一类”Hochschild 上同调（HH）通过对角化（direct products totalization）定义，而“第二类”Hochschild 上同调（通常称为紧支集 Hochschild 上同调）通过对角化（direct sums totalization）定义。对于未分次代数两者无异，但对于真正的 dg 代数，第二类理论更为复杂且理解较少。
• 现有理论的局限：Positselski 和 Polishchuk 等人发展了“第二类同调代数”，其中弱等价（weak equivalence）的概念比拟同构（quasi-isomorphism）更精细。然而，现有的第二类 Hochschild 上同调定义（如 Polishchuk-Positselski 定义）在某些情况下与几何意义丰富的 dg 范畴（如矩阵因子分解、$\infty$-局部系统）的普通 Hochschild 上同调不匹配，且缺乏良好的 Koszul 对偶性。
• 核心问题：如何定义一种新的、具有良好性质的第二类 Hochschild 上同调，使其：
  1. 在适当的“第二类 Morita 等价”下保持不变。
  2. 与 Koszul 对偶（包括非余幂零情形）兼容。
  3. 能够计算具有几何意义的 dg 范畴（如流形上的有界导出范畴、$\infty$-局部系统范畴）的普通 Hochschild 上同调。

2. 方法论 (Methodology)

作者采用了一种基于扭曲导出范畴（Twisted Derived Category）和Koszul 对偶的框架：

• 扭曲复形与扭曲导出范畴：

  • 利用扭曲复形（Twisted complexes）的概念，定义了 dg 代数 $A$ 的扭曲导出范畴 $D^{\text{II}}_c(A)$（也称为第二类紧生成导出范畴）。
  • 该范畴由 $A$ 的“第二类完美模”（Perfect modules of the second kind, $\text{Perf}^{\text{II}}(A)$）生成。
  • 通过 Koszul 对偶，$D^{\text{II}}_c(A)$ 等价于其 Koszul 对偶代数（如扩展 Bar 构造 $qBA$）的余导出范畴（Coderived category）。

• 定义第二类 Hochschild 上同调：

  • 定义 $A$ 的第二类 Hochschild 上同调复形为：
    $$HC^{\text{II}}_c(A) = \mathbf{R}\text{Hom}_{D^{\text{II}}_c(A \otimes A^{\text{op}})}(A, A)$$
  • 即，在扭曲导出范畴中计算 $A$ 作为 $A$-双模的导出自同态。

• 双模 Koszul 对偶：

  • 为了处理双模（Bimodules），作者构建了双模版本的 Koszul 对偶。
  • 证明了对于 dg 代数 $A$，其双模范畴与 Koszul 对偶代数（如 $qBA$）的双余模范畴之间存在 Quillen 等价。
  • 这一结果不仅适用于余幂零情形，也推广到了非余幂零（nonconilpotent）情形。

• 弯曲代数（Curved Algebras）的处理：

  • 针对弯曲代数（$d^2 \neq 0$），由于弯曲代数本身不是其自身的模，无法直接使用 Yoneda 嵌入。
  • 作者构造了一个技巧（Lemma 6.7）：对于任意弯曲代数 $A$，构造一个拟等价于它的普通 dg 代数 $A'$，使得 $\text{Perf}^{\text{II}}(A) \simeq \text{Perf}^{\text{II}}(A')$，从而将弯曲情形转化为普通 dg 代数情形处理。

3. 主要贡献与结果 (Key Contributions & Results)

A. 理论构建与不变性

1. Morita 不变性：

   • 证明了第二类 Hochschild 上同调在**MC-等价（Maurer-Cartan equivalence）**下是不变的（Theorem 4.21）。
   • 证明了在**双模第二类 Morita 等价（Bimodule II-Morita equivalence）**下也是不变的（Theorem 4.25）。这意味着如果两个代数通过双模诱导了扭曲导出范畴的等价，它们的第二类 Hochschild 上同调是拟同构的。

2. Koszul 对偶性：

   • 建立了双模版本的 Koszul 对偶定理（Theorem 5.3, 5.6）。
   • 核心推论：对于任意 dg 代数 $A$，其第二类 Hochschild 上同调与其 Koszul 对偶（扩展 Bar 构造 $qBA$）的普通 Hochschild 上同调拟同构：
     $$HC^{\text{II}}_c(A) \simeq HC(qBA)$$
   • 这提供了计算第二类上同调的有效工具，将其转化为计算普通 Bar 构造的上同调。

3. 与其他定义的比较：

   • 作者指出其定义介于普通 Hochschild 上同调（HH）和 Polishchuk-Positselski 定义的紧支集上同调（$HH^{\text{II}}_{PP}$）之间。
   • 存在映射链：$HH^{\text{II}}_{PP}(A) \to HH^{\text{II}}_c(A) \to HH(A)$。
   • 作者的定义在 favorable cases 下与 Polishchuk-Positselski 的定义等价，但具有更好的 Koszul 对偶兼容性。

B. 几何与拓扑应用 (Examples)

作者展示了在特定几何背景下，$HH^{\text{II}}_c(A)$ 实际上计算的是相关几何对象范畴的普通 Hochschild 上同调：

1. 复代数流形：

   • 若 $A$ 是光滑复代数流形 $X$ 的 Dolbeault 代数，则 $HH^{\text{II}}_c(A)$ 同构于 $X$ 上相干层有界导出范畴 $D^b_{\text{coh}}(X)$ 的普通 Hochschild 上同调。
   • 这依赖于 $\text{Perf}^{\text{II}}(A(X))$ 是 $D^b_{\text{coh}}(X)$ 的 dg 提升，且张量积性质成立。

2. 拓扑空间：

   • 若 $A$ 是拓扑空间 $M$ 的奇异上链代数 $C^*(M)$ 或流形的 de Rham 代数，则 $HH^{\text{II}}_c(A)$ 同构于 $M$ 上 $\infty$-局部系统范畴（$\infty$-local systems, $LC(M)$）的普通 Hochschild 上同调。
   • 这推广了之前关于矩阵因子分解的结果。

3. 矩阵因子分解 (Matrix Factorizations)：

   • 对于带有曲率项 $w$ 的弯曲代数 $R_w$，其第二类 Hochschild 上同调 $HH^{\text{II}}_c(R_w)$ 同构于矩阵因子分解范畴 $MF(R, w)$ 的普通 Hochschild 上同调。
   • 这一结果在 $w$ 的奇点满足一定条件时成立，且在此情形下，作者的定义与 Polishchuk-Positselski 的定义一致。

4. 意义与影响 (Significance)

• 统一框架：该论文为“第二类同调代数”提供了一个统一且强有力的框架，将扭曲复形、Koszul 对偶和 Hochschild 上同调紧密联系起来。
• 几何解释：它揭示了看似抽象的“第二类”代数不变量实际上编码了深刻的几何信息（如流形的导出范畴、局部系统、奇点结构）。这解释了为什么在某些几何情形下，使用第二类定义比传统定义更能捕捉到几何本质。
• 计算工具：通过 Koszul 对偶，将难以直接计算的“第二类”上同调转化为计算普通 Bar 构造的上同调，极大地简化了实际计算过程。
• 弯曲代数的处理：通过构造辅助 dg 代数 $A'$ 的技巧，成功克服了弯曲代数缺乏自模结构的困难，使得理论能够广泛应用于弯曲代数（如矩阵因子分解中的情形）。

总之，这篇文章不仅完善了 Hochschild 上同调的理论体系，还架起了代数同调理论与几何/拓扑不变量之间的桥梁，为研究奇点、局部系统以及导出几何中的不变量提供了新的视角和强有力的工具。