Derived representation schemes with arbitrary coefficients and associative smoothness

技术摘要：具有任意系数与结合光滑性的导出表示方案

问题陈述
本文探讨了经典表示同调在检测结合代数（associative algebras）形式光滑性（formal smoothness）方面的局限性。尽管导出 Kontsevich–Rosenberg 原理表明，代数 $A$ 的几何性质应反映在其导出表示方案 $DRep_V(A)$ 中，但现有结果（特别是 Berest–Felder–Ramadorship 消解定理）显示，如果 $A$ 是形式光滑的，则其高阶表示同调 $HR_i(A, V)$ 在 $i > 0$ 时消失。然而，上述结论的逆命题并不成立：存在非光滑代数（例如某些量子平面），当系数限制在矩阵代数 $End_k(V)$ 时，其高阶表示同调也会消失。核心问题在于，将系数从矩阵代数扩展到任意有限维代数，是否能产生一种更强的、能够表征形式光滑性的光滑性测试。

方法论
作者通过将标准的系数代数 $End_k(V)$ 替换为任意有限维 $k$-代数 $M$，推广了表示同调的框架。

1. 广义系数： 以 $M$ 为系数的表示被定义为代数同态 $A \to M$。相关的导出方案记作 $DRep_M(A)$，其同调为 $HR_*(A, M)$。
2. 消解定理证明： 为了证明形式光滑性蕴含对于所有有限维系数，高阶表示同调均消失，作者避开了以往证明（如 Ciocan-Fontanine–Kapranov）中使用的“具有局部有限维底层 DG 代数的半自由解析（semifree resolution）”假设。相反，证明过程利用了：
   • 一个涉及余切复形（cotangent complex）的比较论证；
   • Neeman 的逐点检测定理（[15] 中的引理 2.11），以建立 DG 方案的态射在所有点上诱导导出切空间同构时即为拟同构（quasi-isomorphism）；
   • 将导出切空间 $\pi_i(DRep_M(A), \rho)$ 识别为 Hochschild 上同调群 $HH^{i+1}(A, M_F)$。
3. 反例构建： 为了展示任意系数所带来的更高灵敏度，作者使用严格上三角矩阵 $(\mathfrak{n}_3)^+$ 作为系数，显式计算了量子平面 $k[x,y]_q$ 和 Jordan 平面的表示同调。这涉及构造 Koszul 复形以展示非平凡同调。
4. 针对有限维代数的特征化： 对于 $A$ 本身是有限维的情况，作者利用平凡扩张 $A \ltimes N$ 作为测试系数，证明了消解定理的逆命题。

主要贡献与结果

• 定理 3.4（广义消解）： 若 $A$ 是有限生成形式光滑 $k$-代数，则对于任何有限维 $k$-代数 $M$，都有 $HR_i(A, M) = 0$ 对于所有 $i > 0$ 成立。

  • 意义： 这在不要求 $A$ 的半自由解析满足技术性极强的“局部有限维”条件的情况下，回收了已知的消解定理，其依据是 $A$ 的有限性以及余切复形的性质。

• 非光滑性的检测（定理 4.1 & 4.2）： 本文证明了具有非矩阵系数的表示同调能够检测出矩阵系数无法察觉的奇异性。

  • 对于量子平面 $k[x,y]_q$（$q$ 不是单位根），$HR_1(k[x,y]_q, (\mathfrak{n}_3)^+) \neq 0$。
  • 对于 Jordan 平面 $k[x,y]_J$，$HR_1(k[x,y]_J, (\mathfrak{n}_3)^+) \neq 0$。
  • 这些结果证实，从矩阵系数转向任意有限维系数使得光滑性测试变得更加严格。

• 定理 4.3（针对有限维代数的特征化）： 令 $A$ 为代数闭域 $k$ 上的有限维 $k$-代数。则 $A$ 是形式光滑的，当且仅当对于每个有限维代数 $M$，都有 $HR_i(A, M) = 0$ 对于所有 $i > 0$ 成立。

  • 机制： 证明过程利用了平凡扩张 $M = A \ltimes N$ 作为系数。$HR_i(A, A \ltimes N)$ 的消失意味着对于所有有限维双模 $N$，都有 $HH^{i+1}(A, N) = 0$，这刻画了有限维代数的形式光滑性。

• 附录（比较准则）： 作者分离了主证明的核心论证，以建立一个通用的 DG 方案比较准则（命题 A.4）。该结果在更弱的假设下回收了 Ciocan-Fontanine–Kapranov 比较定理，具体而言，仅要求底层方案是局部 Noetherian 的，而非具有特定结构约束的“DG 流形”。

意义与主张
本文声称，具有任意有限维系数的导出表示方案提供了一个比经典的矩阵值版本“更强的光滑性测试”。

• 哲学一致性： 研究结果支持了导出的 Kontsevich–Rosenberg 原理，即使用任意系数的表示同调可能为结合光滑性提供一个完整的同伦特征化。
• 局限性与开放问题： 本文明确将针对一般有限生成 Noetherian 代数的消解定理逆命题归为开放问题（问题 1）。虽然作者证明了有限维代数的情形，但并未声称解决了一般情况。
• Morita 不变性： 文中指出，具有有限维系数的表示同调并不具备 Morita 不变性（不同于形式光滑性本身），这凸显了代数属性与其表示论不变量之间的根本区别。

综上所述，这项工作通过扩展系数类，解决了已知关于光滑性特征化的反例，提供了一个强大的工具来检测非光滑性，并为有限维代数这一重要类别提供了完整的特征化。