[论文解读] Zariski Cancellation Problem for Noncommutative Algebras

Jason P. Bell, James J. Zhang|arXiv (Cornell University)|Jan 18, 2016

Advanced Topics in Algebra参考文献 11被引用 7

一句话总结

该论文通过使用 Makar-Limanov 不变量和判别式方法，肯定地解决了在特征为零的代数闭域上，有限生成的非交换域的 Gelfand-Kirillov 维数为二的非交换 Zariski Cancellation 问题。证明了此类代数是可消去的，将经典交换代数中的结果推广到了非交换设定。

ABSTRACT

A noncommutative analogue of the Zariski cancellation problem asks whether $A[x]\cong B[x]$ implies $A\cong B$ when $A$ and $B$ are noncommutative algebras. We resolve this affirmatively in the case when $A$ is a noncommutative finitely generated domain over the complex field of Gelfand-Kirillov dimension two. In addition, we resolve the Zariski cancellation problem for several classes of Artin-Schelter regular algebras of higher Gelfand-Kirillov dimension.

研究动机与目标

• 建立 Zariski Cancellation 问题（ZCP）的非交换类比，即对于非交换代数，$ A[x] \cong B[x] $ 是否蕴含 $ A \cong B $。
• 研究非交换 Artin-Schelter 正则代数的可消去性，特别是低 Gelfand-Kirillov（GK）维数的情形。
• 将经典 ZCP 结果从交换多项式环推广到非交换域，特别是在二维情形。
• 开发并应用新不变量——特别是 Makar-Limanov 不变量和判别式——以证明非交换设定下的可消去性。

提出的方法

• 使用 Makar-Limanov 不变量 $ \operatorname{ML}(A) $ 检测 $ \operatorname{LND} $-刚性，其中 $ \operatorname{ML}(A) = \bigcap_{\delta \in \operatorname{LND}(A)} \ker(\delta) $，并证明 $ \operatorname{LND} $-刚性代数是可消去的。
• 应用判别式方法，计算代数 $ A $ 关于其中心 $ C $ 的判别式 $ d(A/C) $，验证其为有效或支配型，以确保强 $ \operatorname{LND}^H $-刚性。
• 模素数 $ p $ 约化，使代数在有限域上定义，此时代数成为 PI（多项式恒等）代数，从而可进行判别式计算。
• 在仿射 $ \mathbb{Z} $-代数上使用基变换技术，将性质从有限域提升回原始代数设定。
• 利用如下事实：若一个代数是强 $ \operatorname{LND}^H $-刚性且具有有限 GK-维数，则根据定理 3.3，其为强可消去的。
• 在参数 $ p, q $ 和基环 $ K $ 满足特定条件时，验证判别式为有效或支配型，以确保代数满足所需的有限性与整性条件。

实验结果

研究问题

• RQ1 对于复数域 $ \mathbb{C} $ 上的有限生成非交换域，若 GK-维数为二，是否蕴含 $ A[x] \cong B[x] $ 蕴含 $ A \cong B $？
• RQ2 Makar-Limanov 不变量能否用于证明非交换代数的可消去性？
• RQ3 在何种条件下，非交换代数的判别式为有效或支配型，且其与可消去性有何关联？
• RQ4 是否可通过模 $ p $ 约化方法解决非交换 ZCP 问题，特别是对在有限域上为 PI 的代数？
• RQ5 经典嵌入问题、自同构问题与线性化问题之间的相互蕴含关系在非交换设定下在多大程度上仍然成立？

主要发现

• 在特征为零的代数闭域上，所有有限生成的非交换域，其 GK-维数为二，均为可消去的。
• Makar-Limanov 不变量提供了可消去性的充分条件：若 $ A $ 是 $ \operatorname{LND} $-刚性，则 $ A $ 是可消去的。
• 对于其判别式在中心上为支配型的代数，可建立强 $ \operatorname{LND}^H $-刚性，从而蕴含强可消去性。
• 判别式方法成功验证了若干类 Artin-Schelter 正则代数（GK-维数较高）的可消去性。
• 模 $ p $ 约化技术使得可从 $ \mathbb{C} $ 上的代数过渡到有限域，此时 PI 性质与判别式计算变得可行。
• 条件 $ 2^{-1}, p^{\pm 1}, q^{\pm 1}, (p-1)^{-1}, (q-1)^{-1} \in K $ 确保判别式为有效型，且代数在基变换下保持良好行为。