[论文解读] Wildness of polynomial automorphisms in three variables

Shigeru Kuroda|arXiv (Cornell University)|Oct 7, 2011

Advanced Differential Equations and Dynamical Systems参考文献 13被引用 10

一句话总结

本文为特征零域上三变量多项式环中野生自同构的检测建立了一个全面的理论，扩展了Shestakov-Umirbaev准则。通过使用广义约化和局部切片构造分析固定一个或零变量的自同构，证明了某些自同构（如Nagata的自同构）是野生的，解决了长期悬而未决的猜想，并表明三变量中的可迁自同构在结构上是简单的，且完全由初等约化控制。

ABSTRACT

We study wildness of automorphisms of a polynomial ring in three variables in detail using the Shestakov-Umirbaev theory and its generalization.

研究动机与目标

• 解决关于三变量中特定自同构野生性的Nagata猜想。
• 发展一种广义约化理论，用于检测三变量多项式环中的野生自同构。
• 刻画三变量中可迁自同构的结构，并表明其完全由初等约化控制。
• 利用局部切片构造和挠理想研究固定一个或零变量的自同构的野生性。
• 解决高维中稳定可迁性和绝对可迁性的开放问题。

提出的方法

• 将Shestakov-Umirbaev约化理论推广至处理域之外的整环上的自同构。
• 应用分次结构和仿射/初等约化，分析整环上两个变量的自同构。
• 使用局部切片构造和递推方程，研究秩为三的局部幂零导子。
• 采用挠理想和不可约性准则，检测不固定任何变量的自同构的野生性。
• 应用可迁交集定理，将三变量中的野生性问题约化为两变量情形。
• 利用广义Shestakov-Umirbaev不等式，推导可迁性的必要条件。

实验结果

研究问题

• RQ1 Nagata在三变量中的自同构是否是野生的，且是否属于可迁子群？
• RQ2 Shestakov-Umirbaev准则能否扩展至整环上的自同构，而不仅限于域？
• RQ3 在三变量中，固定一个变量的自同构在何种条件下是野生的？
• RQ4 三变量中的每个自同构是否要么可迁，要么野生，不存在中间复杂度？
• RQ5 是否存在在更高维中变为可迁的三变量野生自同构？

主要发现

• 证明了Nagata的自同构是野生的，证实了他的猜想，并解决了长期悬而未决的开放问题。
• 可迁交集定理表明：Aut(k[x]/k[x3]) ∩ T(k,x) = T(k[x3], {x1,x2})，将野生性检测问题约化为两变量情形。
• 广义Shestakov-Umirbaev理论使得能够高效检测固定一个变量的自同构的野生性。
• 所有在三变量中并非显然可迁的自同构均被证明为野生，表明可迁性在结构上受到严格约束。
• 本文证明了由可迁群的共轭生成的群T(k,x)*不等于完整的自同构群，意味着存在绝对野生自同构。
• 证明了Gm(k)* = T(k,x)*，将乘法群作用与可迁群的正规闭包联系起来。