[論文レビュー] Tame automorphisms with multidegrees in the form of arithmetic progressions

Jiantao Li, Xiankun Du|arXiv (Cornell University)|Dec 28, 2011

Advanced Differential Equations and Dynamical Systems参考文献 7被引用数 3

ひとこと要約

この論文は、$ℝ^3$ のたぬき自己同型から生じる可能性がある算術級数の多重次数 $(a, a+d, a+2d)$ を分類する。このような多重次数が実現可能であるための必要十分条件は、$a \mid 2d$ であるが、奇数 $j$ を持つ一通りの例外的族 $(4i, 4i+ij, 4i+2ij)$ については、ポisson括弧の次数に関する予想に依存する。

ABSTRACT

Let $(a,a+d,a+2d)$ be an arithmetic progression of positive integers. The following statements are proved: (1) If $a\mid 2d$, then $(a, a+d, a+2d)\in\mdeg(\Tame(\mathbb{C}^3))$. (2) If $a mid 2d$, then, except for arithmetic progressions of the form $(4i,4i+ij,4i+2ij)$ with $i,j \in\mathbb{N}$ and $j$ is an odd number, $(a, a+d, a+2d) otin\mdeg(\Tame(\mathbb{C}^3))$. We also related the exceptional unknown case to a conjecture of Jie-tai Yu, which concerns with the lower bound of the degree of the Poisson bracket of two polynomials.

研究の動機と目的

• 正の整数 $a$ と $d$ に対して、多重次数 $(a, a+d, a+2d)$ が $ℝ^3$ のたぬき自己同型によって実現可能かどうかを特定すること。
• 奇数 $j$ を持つ例外的ケース $(4i, 4i+ij, 4i+2ij)$ の多重次数の実現可能性を解明すること。これは未解決の問題のままである。
• これらの多重次数の実現可能性を、ポisson括弧の次数に関する下界に関する予想と結びつけること。
• 特に対称的かつ連続する整数列に対して、三次元でのたぬき自己同型の多重次数に関する先行研究を拡張すること。

提案手法

• Shestakov と Umirbaev の Nagata 自己同型に関する研究から得られる $*$-還元されたペア不等式を用い、多項式合成の次数を制限する。
• 定理 2.1 を適用して、$F$ が還元を許すとき、$\deg g(F_1, F_2)$ の下界を、$F$ のポisson括弧 $[F_1, F_2]$ を用いて導出する。
• 変数の置換と次数比較による初等的還元の分析により、$a \nmid 2d$ および例外的ケースで矛盾が生じることを示す。
• 特に $[F_1, F_3]$ のような多項式のペアに対する $\deg[F_i, F_j]$ の研究に還元する。
• 代数的に独立な多項式で、先行項が従属である場合の $\deg[f,g]$ の下界に関する Jie-tai Yu の予想を用いる。
• すべての3種類の初等的還元（$F_1$、$F_2$、$F_3$ での還元）を体系的に分析し、例外的ケースでは予想が成り立たない限り、どの還元も可能でないことを示す。

実験結果

リサーチクエスチョン

• RQ1 正の整数 $a$ と $d$ に対して、多重次数 $(a, a+d, a+2d)$ が $\mathrm{mdeg}(\mathrm{Tame}(\mathbb{C}^3))$ に属する条件は何か？
• RQ2 多重次数の実現可能性を決定づける要因 $a \mid 2d$ の役割は何か？
• RQ3 なぜ奇数 $j$ を持つ族 $(4i, 4i+ij, 4i+2ij)$ が、$a \mid 2d$ の基準ではカバーされない唯一の例外的ケースなのか？
• RQ4 Jie-tai Yu が提示したポisson括弧の次数に関する予想は、これらの多重次数の実現可能性とどのように関係しているか？
• RQ5 多重次数 $(8,10,12)$ は、$ℝ^3$ のたぬき自己同型によって実現可能か？

主な発見

• もし $a \mid 2d$ ならば、多重次数 $(a, a+d, a+2d)$ は $\mathrm{mdeg}(\mathrm{Tame}(\mathbb{C}^3))$ に属する。
• もし $a \nmid 2d$ ならば、$(a, a+d, a+2d) \notin \mathrm{mdeg}(\mathrm{Tame}(\mathbb{C}^3))$ であるが、$i,j \in \mathbb{N}$ かつ $j$ が奇数である族 $(4i, 4i+ij, 4i+2ij)$ の場合を除いてはそうである。
• 奇数 $j$ を持つ例外的ケース $(4i, 4i+ij, 4i+2ij)$ は、Jie-tai Yu のポisson括弧の次数に関する予想が成り立たない限り実現不可能である。
• 多重次数 $(4,5,6)$ は、Karaś によって以前に示されたように実現不可能であり、これは $a \nmid 2d$ 条件と整合的である。
• 未解決のケースは唯一 $(8,10,12)$ であり、これは例外的族における $i=2$, $j=1$ に相当する。
• 連続する奇数の整数列に関しては、$d_1=1$ が唯一 $a \mid 2d$ を満たすため、$(1,3,5)$ のみが実現可能である。