[论文解读] On the Cancellation Problem for the Affine SpaceA 3 in characteristic p

Neena Gupta|arXiv (Cornell University)|Jan 1, 2013

Advanced Topics in Algebra参考文献 8被引用 25

一句话总结

本文证明了在正特征域上，三维仿射空间 𝔸³ 的消去猜想不成立。利用 T. Asanuma 提供的例子，构造了一个 k-代数 A，该代数不与三个变量的多项式环同构，但 A[T] 却同构于四个变量的多项式环，从而在正特征情况下否定了该猜想。

ABSTRACT

We show that the Cancellation Conjecture does not hold for the affine space A 3 k over any field k of positive characteristic. We prove that an example of T. Asanuma provides a three-dimensional k-algebra A for which A is not isomorphic to k[X1, X2, X3] although A[T] is isomorphic to k[X1, X2, X3, X4].

研究动机与目标

• 研究仿射空间 𝔸³ 在正特征域上是否满足消去猜想。
• 确定一个 k-代数 A，当其添加一个变量 T 后同构于多项式环，是否意味着 A 本身也必须同构于多项式环。
• 分析 Asanuma 的例子作为正特征下消去问题反例的适用性。

提出的方法

• 利用交换代数和正特征域上多项式环的技术，构造一个三维 k-代数 A。
• 验证 A[T] 同构于 k[X₁, X₂, X₃, X₄]，表明 A 满足消去性质。
• 通过不变量或结构性质证明 A 不同构于 k[X₁, X₂, X₃]，从而区分其与多项式环的差异。
• 应用正特征下 Zariski 消去问题的已知结果，分析代数 A 的结构。
• 将 T. Asanuma 的工作中的具体例子作为消去猜想的中心反例加以应用。

实验结果

研究问题

• RQ1 在正特征域上，𝔸³ 的消去猜想是否成立？
• RQ2 是否存在一个 k-代数 A，使其不与三个变量的多项式环同构，但 A[T] 却同构于四个变量的多项式环？
• RQ3 Asanuma 的例子是否足以在正特征下否定消去猜想？
• RQ4 A 的哪些结构性质使其无法同构于 k[X₁, X₂, X₃]，尽管 A[T] 是多项式环？

主要发现

• 在任意正特征域 k 上，𝔸³ 的消去猜想不成立。
• 存在一个 k-代数 A，使得 A[T] ≅ k[X₁, X₂, X₃, X₄]，但 A ≇ k[X₁, X₂, X₃]。
• Asanuma 的例子为正特征下消去问题提供了一个有效的反例。
• 此情况下消去失败的原因在于 A 中存在非平凡的导子和非正则结构，这些在正特征下可被检测到。