Hochschild cohomology and lifts of endomorphisms

以下是基于论文《Hochschild 上同调与自同态的提升》（Hochschild Cohomology and Lifts of Endomorphisms）的详细技术总结：

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

核心问题：
研究在代数变形（特别是形变量子化）的背景下，一个代数 $A$ 的自同态 $f$ 何时可以提升到其“一阶平坦提升”（first-order flat lift）$\tilde{A}$ 上。

具体语境：

• 设定：设 $k$ 为域，$A$ 为 $k$-代数。$R$ 是一个局部环，其极大理想 $\mathfrak{p}R$ 满足 $\mathfrak{p}^2=0$，且 $k \cong R/\mathfrak{p}R$。
• 提升：$A$ 的一阶平坦提升 $\tilde{A}$ 是一个平坦的 $R$-代数，满足 $\tilde{A} \otimes_R k \cong A$。
• 目标：给定 $k$-代数自同态 $f: A \to A$，是否存在一个 $R$-代数同态 $\tilde{f}: \tilde{A} \to \tilde{A}$ 使得 $\pi \circ \tilde{f} = f \circ \pi$（其中 $\pi$ 是约化映射）？
• 动机：该问题源于 Belov-Kanel 和 Kontsevich 关于 Weyl 代数自同构群与辛几何之间关系的猜想，以及 Tsuchimoto 关于 Jacobian 猜想和 Dixmier 猜想稳定等价性的工作。在特征 $p$ 下，Weyl 代数 $A_n(k)$ 是一个 Azumaya 代数，其中心具有泊松结构。

2. 方法论 (Methodology)

论文采用 Hochschild 上同调（Hochschild Cohomology） 作为核心工具来刻画提升存在的障碍。

1. 构造障碍类（Obstruction Class）：

   • 给定 $f$ 的一个 $R$-线性提升 $\tilde{f}$（不一定保持乘法），定义“乘法缺陷”（multiplicative defect）：
     $$D(x, y) = \tilde{f}(x)\tilde{f}(y) - \tilde{f}(xy)$$
   • 由于 $\mathfrak{p}^2=0$，该缺陷诱导了一个良定义的映射 $L_{\tilde{f}}: A \otimes_k A \to \mathfrak{p}\tilde{A}$。
   • 通过同构 $\mathfrak{p}\tilde{A} \cong A$，构造一个 $k$-线性映射 $C_{\tilde{f}}: A \otimes_k A \to A$。
   • 关键发现：$C_{\tilde{f}}$ 是 Hochschild 复形 $C^2(A/k, M)$ 中的一个 2-上循环（2-cocycle），其中 $M$ 是通过 $f$ 扭曲的 $A$-双模（作用定义为 $a \cdot m \cdot b = f(a)mf(b)$）。

2. 上同调类的性质：

   • 该上同调类 $[C_{\tilde{f}}] \in HH^2(A/k, M)$ 独立于 $R$-线性提升 $\tilde{f}$ 的具体选择。
   • 提升存在的充要条件：$f$ 能提升到 $R$-代数同态当且仅当 $[C_{\tilde{f}}] = 0$。

3. 限制到中心与对称性：

   • 一阶提升 $\tilde{A}$ 在 $A$ 的中心 $Z$ 上诱导了一个泊松括号 $\{z_1, z_2\} = \mathfrak{p}^{-1}([\tilde{z}_1, \tilde{z}_2])$。
   • 如果 $f$ 保持中心（即 $f(Z) \subseteq Z$），则 $C_{\tilde{f}}$ 限制在 $Z$ 上的部分 $c$ 满足：
     $$c(x \otimes y) - c(y \otimes x) = \{f(x), f(y)\} - f(\{x, y\})$$
   • 这意味着：$f$ 保持泊松括号 $\iff$ 限制后的上循环 $c$ 是 对称的（即 $c(x \otimes y) = c(y \otimes x)$）。

4. 形式光滑性与上同调消失：

   • 利用引理：如果 $Z$ 是 $k$ 上形式光滑（formally smooth）的交换代数，且 $M$ 是对角双模，则 $Z$ 上的任何对称 2-上循环都是上边缘（coboundary），即在上同调中为零。

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

3.1 一般性理论框架

• 命题 3.2：建立了自同态提升与 Hochschild 上同调类之间的对应关系。证明了提升存在的障碍完全由 $HH^2$ 中的类决定。
• 命题 3.3：揭示了障碍类在中心上的限制与泊松结构保持性之间的精确联系。如果 $f$ 保持泊松括号，则障碍类在中心上是“对称”的。

3.2 Azumaya 代数的主要定理

论文的核心成果针对 Azumaya 代数（在中心上具有常数秩）：

• 引理 4.1 (限制映射的单射性)：
  若 $A$ 是中心为 $Z$ 的 Azumaya 代数，则限制映射 $HH^i(A/k, M) \to HH^i(Z/k, M)$ 是单射。这意味着 $A$ 上的上同调类若限制到中心为零，则其本身为零。

• 命题 4.4 (自同态保持中心)：
  证明了对于常数秩的 Azumaya 代数 $A$，其任意环自同态 $f$ 必然保持中心，即 $f(Z) \subseteq Z$。这一结果在文献中此前仅针对约化环成立，本文给出了完整证明。

• 定理 4.6 (主定理)：
  设 $A$ 是 $k$ 上中心为 $Z$ 的常数秩 Azumaya 代数，且 $Z$ 在交换 $k$-代数范畴中是形式光滑的。
  结论：$f: A \to A$ 能提升到 $\tilde{A}$ 当且仅当 $f$ 保持由 $\tilde{A}$ 诱导的 $Z$ 上的泊松括号。
  证明逻辑：

  1. 若可提升，则显然保持泊松括号。
  2. 若保持泊松括号 $\implies$ 限制到 $Z$ 的障碍类是对称的。
  3. 由 $Z$ 的形式光滑性 $\implies$ 对称类在 $HH^2(Z)$ 中为零。
  4. 由 Azumaya 性质（引理 4.1）$\implies$ 原类在 $HH^2(A)$ 中为零 $\implies$ 可提升。

3.3 应用与推广

• Weyl 代数：在特征 $p$ 的域上，Weyl 代数 $A_n(k)$ 是 Azumaya 代数。定理 4.6 直接推广了作者之前的工作 [4]，证明了 $A_n(k)$ 的自同态提升到 $A_n(W_2(k))$ 的充要条件是保持中心的泊松括号。
• 局限性讨论：论文指出，该方法不能直接推广到从 $W_m(k)$ 到 $W_{m+1}(k)$ ($m \ge 2$) 的提升，因为此时 $A_n(W_2(k))$ 不再是 Azumaya 代数。作者推测更高阶的提升可能涉及 de Rham-Witt 复形等更精细的障碍。

4. 意义与影响 (Significance)

1. 统一了代数与几何视角：该论文在 Hochschild 上同调的框架下，严格证明了非交换代数（Azumaya 代数）的自同态提升问题与其中心（交换代数）上的泊松几何性质（保持泊松括号）之间的等价性。这为变形量子化中的“半经典极限”提供了坚实的代数基础。
2. 解决了特定猜想：为 Belov-Kanel 和 Kontsevich 关于 Weyl 代数自同构群的研究提供了关键的代数工具，确认了自同构在中心上的行为完全决定了其提升的可能性。
3. 技术突破：
   • 证明了 Azumaya 代数自同态自动保持中心这一非平凡事实。
   • 利用形式光滑性将“对称性”转化为“上同调消失”，巧妙地连接了代数结构与几何性质。
4. 未来方向：指出了当前方法在处理高阶 Witt 向量提升时的局限性，并提出了 de Rham-Witt 复形可能是解决更一般提升问题的关键，为后续研究指明了方向。

总结：这篇论文通过引入 Hochschild 上同调作为障碍类，成功地将代数自同态的提升问题转化为其中心上泊松结构的保持问题，特别是在 Azumaya 代数和形式光滑中心的设定下，给出了充要条件的完美刻画。