Hochschild cohomology of Beilinson algebras of graded down-up algebras with weights ($n,m$)

技术摘要：带权重 (n, m) 的分次上下代数之 Beilinson 代数的 Hochschild 上同调

问题陈述
本文旨在计算与分次上下代数 $A = A(\alpha, \beta)$ 相关的 Beilinson 代数 $\nabla A$ 的 Hochschild 上同调群 $HH^r(\nabla A)$。代数 $A$ 定义在特征为零的代数闭域 $k$ 上，由生成元 $x, y$ 构成，其权重为 $(\deg x, \deg y) = (n, m)$。本研究聚焦于 $\beta \neq 0$ 的情形，此时 $A$ 为 3 维诺特 AS-正则代数，并专门针对权重满足 $m \ge n > 1$ 且 $\gcd(n, m) = 1$ 的尚未解决的情形。

先前的工作已确立了 $(n, m) = (1, 1)$（Belmans）和 $(n=1, m \ge 2)$（Itaba–Ueyama）情形的结果。当前工作将这些发现推广至两个权重均大于 1 的情形。主要目标包括确定 Hochschild 上同调群的维数，构造 $HH^1$ 和 $HH^2$ 的显式基，描述关于 Yoneda 积的环结构，并研究相关非交换射影概形的导出范畴等价性。

方法论
作者采用代数方法，利用 Beilinson 代数 $\nabla A$ 作为其包络代数 $(\nabla A)^e$ 上的模的最小投射分解。方法论通过以下步骤进行：

1. 分解构造：遵循 Green–Snashall 的框架，作者构造了 $\nabla A$ 的最小投射分解 $P_\bullet$。他们定义了与 $\nabla A$ 的箭图（quiver）的顶点、箭头和关系相对应的特定生成元集合 $G_0, G_1, G_2$。微分 $\partial_1$ 和 $\partial_2$ 被显式定义。
2. 对偶复形与矩阵表示：通过应用函子 $\text{Hom}_{(\nabla A)^e}(-, \nabla A)$，作者获得了对偶空间的复形。他们为这些对偶空间构造了 $k$-基，并将诱导映射 $\widehat{\partial}_1$ 和 $\widehat{\partial}_2$ 表示为矩阵（$L_1$ 和 $L_2$）。
3. 秩的计算：上同调群的维数通过计算这些表示矩阵的秩得出。作者利用循环矩阵及其相关多项式的性质，确定了在不同参数 $\alpha, \beta$ 和权重 $n, m$ 条件下 $L_1$ 和 $L_2$ 的秩。
4. 基的构造：通过分析对偶复形中微分的核与像，构造了上同调群 $HH^1(\nabla A)$ 和 $HH^2(\nabla A)$ 的显式基。
5. 环结构：总 Hochschild 上同调环 $\bigoplus_{r \ge 0} HH^r(\nabla A)$ 上的 Yoneda 积结构通过构造提升上同调类的链映射并计算其复合来确定。
6. 导出范畴分析：作者利用 Hochschild 上同调的欧拉示性数以及 Grothendendieck 群上 Serre 函子的性质来检验幂幺性，并将结果与关于光滑射影簇导出范畴的已知定理进行比较。

主要结果

• 维数公式：本文提供了 $m > n > 1$ 且 $\gcd(n, m) = 1$ 情形下，对所有 $r \ge 0$ 的 $HH^r(\nabla A)$ 的完整维数公式。
  • $HH^0(\nabla A) \cong k$（维数为 1）。
  • $HH^1(\nabla A)$ 的维数为 2（若 $n+m$ 为偶数且 $\alpha=0$，即情形 I），否则为 1（情形 II）。
  • $HH^2(\nabla A)$ 的维数取决于 $n$ 和具体情形：
    • 若 $n=2$：维数为 $m+5$（情形 I）或 $m+4$（情形 II）。
    • 若 $n \ge 3$：维数为 $n+m+1$（情形 I）或 $n+m$（情形 II）。
  • 对所有 $r \ge 3$，$HH^r(\nabla A) = 0$。
• 显式基：作者为所有子情形（包括关于 $\alpha$ 和 $\beta$ 的特定条件，如 $\lambda_{m+1}=0$ 或 $\alpha^2+4\beta=0$）构造了 $HH^1(\nabla A)$ 和 $HH^2(\nabla A)$ 的显式 $k$-基。
• 环结构：总 Hochschild 上同调环被证明同构于外代数 $\Lambda(a, b)$ 模去一个齐次理想 $I$ 的商。生成元 $(a, b)$ 的数量及 $I$ 中的具体关系对所有情形均已列表。对于许多情形（特别是当 $n \ge 2$ 时），理想 $I$ 是平凡的，这意味着该环是一个自由外代数。
• 导出范畴非等价性：针对 $m > n > 1$ 的情形，推导出了一个重要的结构推论。作者计算了 Hochschild 上同调的欧拉示性数 $\chi_{HH}(HH^\bullet(\nabla A))$，并表明其不等于非交换射影概形有界导出范畴的 Grothendendieck 群的秩 $2(n+m)$。通过引用 Bondal–Polishchuk 关于光滑射影曲面上 Serre 函子幂幺性的定理，他们得出结论：Serre 函子并非幂幺作用。因此，导出范畴 $Db(\text{tails } A)$ 不等价于任何光滑射影曲面的有界导出范畴。

意义与主张
本文主张将分次上下代数的 Beilinson 代数的 Hochschild 上同调分类推广至此前未涉及的两个权重均大于 1 的情形。通过显式构造投射分解并计算矩阵秩，作者提供了上同调维数和环结构的完整代数描述。

这项工作突显了这些非交换代数在几何性质上的差异。虽然 $(1,1)$ 和 $(1,2)$ 情形（即 $n=1$）表现出与光滑射影曲面的导出等价性（或具有幂幺 Serre 函子），但本文证明，对于 $m > n > 1$，这种等价性不再成立。该结果作为反例，否定了 AS-正则代数与光滑射影簇之间导出等价性在更高权重情形下的普适性，从而深化了对非交换射影概形几何实现的理解。