Center of double extension regular algebras of type (14641)

技术摘要：(14641) 型双扩张正则代数的中心

问题陈述
本文研究了由度数为 1 生成的、全局维数为 4 的 Artin-Schelter (AS) 正则代数的结构分析。具体而言，研究对象是“(14641) 型”代数，其特征在于平凡模的极小射影分解的 Betti 数分别为 1, 4, 6, 4, 1。这些代数由 Zhang 和 Zhang 分类为 26 个族（标记为 A 至 Z），通常作为双 Ore 扩张产生。虽然这些代数的分类已经建立，但其中心 $Z(A)$——作为决定表示论、自同构群和几何分层的主要交换不变量——在一般参数选择下仍很大程度上未被计算。本文旨在通过对这些族中选定成员在特定参数限制下的研究，显式地计算其中心并识别中心子代数。

方法论
作者采用了一种结合理论交换分析与计算代数的混合方法：

1. 理论框架： 研究利用了基于基环 $R$（具体为 $k[x_1, x_2]$）的双 Ore 扩张 $R_P[y_1, y_2; \sigma, \delta, \tau]$ 的定义。分析依赖于“修剪后”（$\delta=0, \tau=0$）的情形，此时代数由 $x_1, x_2, y_1, y_2$ 生成并满足二次关系。
2. 交换公式： 本文推导了幂次生成元（例如 $x_2 x_1^n$ 和 $y_1 x_2^n$）交换的通用递归公式，其中使用了 $q$-整数和 $q$-阶乘。这些公式（命题 3.2–3.6）允许将任意单项式系统地归约为 Poincaré-Birkhoff-Witt (PBW) 标准型。
3. 计算验证： 由于在“通用”参数依赖情形下系数存在组合爆炸现象，作者在 SageMath 中实现了一个重写系统。该系统：
   • 固定了一个单项式阶序（$x_1 < x_2 < y_1 < y_2$）。
   • 根据每个族的定义关系应用迭代重写规则。
   • 计算标准型以及候选中心元素 $s$ 与生成元 $g$ 的交换子 $[s, g]$。
   • 通过验证交换子的消失来确认中心性。
4. 逐例分析： 通过施加一个元素必须与所有四个生成元交换的条件，来逐一确定每个族（A–Z）的中心。

主要贡献与结果
本文提供了在参数约束（如单位根条件）下，(14641) 型双扩张 26 个族的中心的显式描述。

• 中心分类（表 1）： 对于族 A, C, D, E, F, G, H, I, J, K, L, M, N, O, P, S, T, U, W, X, Y, 和 Z，本文确定了中心的精确结构。在许多情况下（例如 C, E, F, I, J, S, T, U），中心是平凡的（$Z(A) = k$）。在其他情况下，中心是特定不变量生成的多项式环（例如族 D 为 $k[x_1^2, y_2^2 + p y_1^2]$，或族 A 为 $k[x_1]$）。
• 中心子代数（表 2）： 对于那些难以完全刻画完整中心、或者中心虽为平凡但存在非平凡中心子代数的族，本文展示了显式的中心子代数。例如，对于族 B，证明了一个特定的商代数包含在中心内。
• 显式计算： 本文详细阐述了族 D 和族 O 的中心推导过程作为说明性示例，展示了如何利用 PBW 标准型来证明特定元素（如族 D 中的 $x_1^2$ 和 $y_2^2 + p y_1^2$）具有中心性。
• Zariski 消去法应用： 本文在第 4 节中提供了一个重要的应用。通过建立在特定参数（即参数不是单位根时）下这些代数的中心 $Z(A) = k$，作者应用已知结果（命题 4.2）得出结论，认为这些代数是普遍可消去的。这意味着对于这些代数 $A$，同构 $A \otimes R \cong B \otimes R$（对于域 $R$）蕴含 $A \cong B$。

意义
本文声称在两个主要领域具有重要意义：

1. 结构理解： 它填补了文献中的空白，通过提供这些特定非交换正则代数中心的首次显式计算，从仅仅对代数本身的分类转向对其内部交换结构的理解。
2. 消去问题： 它为非交换 Zariski 消去问题贡献了新的实例。通过识别出一大类具有平凡中心的代数，本文提供了满足强消去性质的具体测试平台，从而扩展了已知可消去非交换代数的范围。

这项工作强调，虽然针对 Ore 扩张的标准技术对于双扩张往往会失效，但通过结合理论交换关系与计算代数（SageMath），可以逐例解决这些结构性问题。