[論文レビュー] Wildness of polynomial automorphisms in three variables

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

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

ひとこと要約

本稿は、特徴値がゼロの体上の3変数多項式環における野生自己同型の検出のための包括的な理論を確立し、Shestakov-Umirbaevの基準を拡張する。一般化された還元と局所スライス構成を用いて、1つまたは変数を固定する自己同型を分析することで、Nagataの自己同型のような特定の自己同型が野生的であることを証明し、長年の未解決予想を解決するとともに、3変数におけるタム自己同型が構造的に単純であり、基本還元によって完全に制御されることを示す。

ABSTRACT

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

研究の動機と目的

• 3変数における特定の自己同型の野生的性に関するNagataの予想を解決すること。
• 3変数多項式環における野生自己同型を検出するための一般化された還元理論を開発すること。
• 3変数におけるタム自己同型の構造を特徴づけ、それが基本還元によって完全に制御されることを示すこと。
• 局所スライス構成とプライントイデアルを用いて、1つまたは変数を固定する自己同型の野生的性を調査すること。
• 高次元における安定的タム性および絶対的タム性に関する未解決問題に取り組むこと。

提案手法

• Shestakov-Umirbaevの還元理論を、体に限らない環に対しても適用可能な形に一般化する。
• 順序付き構造とアフィン的／基本還元を用いて、環上の2変数自己同型を分析する。
• 局所スライス構成と再帰方程式を用いて、ランク3の局所的冪零微分作用素を研究する。
• プライントイデアルと不可約性基準を用いて、変数を固定しない自己同型の野生的性を検出する。
• タム交差定理を適用して、3変数における野生的性の問題を2変数のケースに還元する。
• 一般化されたShestakov-Umirbaevの不等式を用いて、タム性の必要条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 Nagataの3変数自己同型は野生的であり、タム部分群に属するか？
• RQ2 Shestakov-Umirbaevの基準は、体に限らず整域上での自己同型に対しても拡張可能か？
• RQ3 1つの変数を固定する自己同型が3変数で野生的であるための条件は何か？
• RQ4 3変数におけるすべての自己同型は、タム的か野生的かのいずれかであり、中間の複雑さは存在しないか？
• RQ5 高次元でタム的になる3変数における野生的自己同型は存在するか？

主な発見

• Nagataの自己同型が野生的であることが証明され、彼の予想が確認され、長年の未解決問題が解決された。
• タム交差定理により、Aut(k[x]/k[x3]) ∩ T(k,x) = T(k[x3], {x1,x2}) が成り立ち、野生的性の検出が2変数のケースに還元された。
• 一般化されたShestakov-Umirbaev理論により、1つの変数を固定する自己同型の野生的性の効率的検出が可能になった。
• 明らかにタム的でない3変数のすべての自己同型が野生的であることが示され、タム性が構造的に制約されていることが示された。
• 本稿では、T(k,x)* が全自己同型群に等しくないことが証明され、絶対的野生的自己同型の存在が示された。
• Gm(k)* = T(k,x)* が示され、乗法的群作用とタム群の正規閉包との間に関係が結ばれた。