[論文レビュー] On multidegrees of polynomial automorphisms of C^3

Jakub Zygadło|ArXiv.org|Mar 31, 2009

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

ひとこと要約

本稿では、任意の正の整数 $a$ と $b$ に対して、ある定数 $c_0$ が存在し、すべての $c \geq c_0$ に対して、多項式自己同型 $\mathbb{C}^3$ としての多重度 $(a,b,c)$ を持つ、たぬみ（tame）な多項式自己同型が存在することを証明している。この構成法は、再帰的な多項式摂動と、基本的かつ線形写像の合成を用いて、第3座標の次数を任意に高く保ちながら、たぬみ性を維持するものである。

ABSTRACT

We prove that for every pair of positive integers a, b there exists a number c_0 such that for every c>=c_0 one can find a tame polynomial automorphism of C^3 with multidegree equal to (a,b,c).

研究の動機と目的

• 正の整数の三つ組 $ (a,b,c) $ が、$ \mathbb{C}^3 $ の多項式自己同型の多重度として実現可能かどうかという未解決問題を解決すること。
• 与えられた $ a $ と $ b $ に対して、多重重度 $ (a,b,c) $ を持つたぬみ自己同型の存在を保証する $ c $ の十分条件を確立すること。
• 基本的および線形写像の合成を用いて、多項式摂動における再帰的係数選択を通じて、明示的なたぬみ自己同型を構成すること。
• $ n=2 $ の場合に成立する次数の整除性の制約（$\gcd(a,b) > 1$ でも成立）を、$ n=3 $ に拡張し、同様の制約が存在しないことを示すこと。

提案手法

• 多項式自己同型 $ F: \mathbb{C}^3 \to \mathbb{C}^3 $ に対して、多重重度を $ \operatorname{mdeg}F = (\deg F_1, \deg F_2, \deg F_3) $ と定義する。
• 基本的写像の合成を用いる：$ F = F_2 \circ F_1 $ とし、$ F_1 $ は $ z^a $ および $ z^b $ の単項式を加える。$ F_2 $ は $ x^{e/a} - y^{e/b} $ を含む項を加える。ここで $ e = \operatorname{lcm}(a,b) $ である。
• 第3座標の低次の項をキャンセルするため、次数が $ b $ 未満の補正多項式 $ u(x,z) $ を導入し、再帰的に定義する。
• binomial係数と低次の $ u_k $ の積を用いて $ u_{i} $ を再帰的に設定し、第3座標の先頭項の次数が $ c $ になるようにする。
• 第3座標の最大次数を、$ x^i z^{d-ia} $、$ y^j z^{d-jb} $、および $ (y + z^m + u)^j $ の単項式を分析することで評価し、$ \max\{c, d - r\} $ に等しいことが示される。ここで $ r = \min\{b-1, (a-1)(\lfloor b/a \rfloor + 1)\} $ である。
• この結果をもとに $ c_0 = \operatorname{lcm}(a,b) - r $ を定義し、$ c \geq c_0 $ ならば、望ましい多重重度 $ (a,b,c) $ が保証されることを示す。

実験結果

リサーチクエスチョン

• RQ1 正の整数の三つ組 $ (a,b,c) $ に対して、$ \mathbb{C}^3 $ のたぬみ多項式自己同型で多重重度 $ (a,b,c) $ を持つものが存在する条件は何か？
• RQ2 $ \gcd(a,b) > 1 $ であっても、$ c $ が十分に大きい場合、任意の三つ組 $ (a,b,c) $ がたぬみ自己同型の多重重度として実現可能か？
• RQ3 $ a $ と $ b $ のみに依存する一様な定数 $ c_0 $ が存在し、すべての $ c \geq c_0 $ に対してそのような自己同型が存在するか？
• RQ4 基本的および線形写像のみを用いて、再帰的かつ明示的な構成が可能で、たぬみ性が保たれるか？

主な発見

• 任意の固定された $ a, b > 2 $ に対して、$ c_0 = \operatorname{lcm}(a,b) - r $ で定義される定数 $ c_0 $ が存在し、$ r = \min\{b-1, (a-1)(\lfloor b/a \rfloor + 1)\} $ である。このとき、すべての $ c \geq c_0 $ に対して、多重重度 $ (a,b,c) $ を持つたぬみ自己同型が存在する。
• この構成法は、基本的および線形写像の合成を用いて明示的にそのような自己同型を構成し、第3座標の次数を正確に $ c $ に保つ。これは、補正多項式 $ u(x,z) $ の再帰的係数選択によって達成される。
• $ \gcd(a,b) = 1 $ の場合、$ c_0 = (a-1)(b-1) $ で十分であり、古典的なFrobenius硬貨問題の結果が再現される。
• $ a=2 $ の場合、すべての $ b > 2 $ に対して結果が成り立ち、特に $ (2n, 3n) $ や $ (2n, 5n) $ のようなペアはすべて $ n \geq 1 $ に対してたぬみである。
• 構成法は $ c_0 $ より小さい有限個の $ c $ に対しては失敗するが、残りのケースは $ u(x,z) $ における再帰的係数調整によってカバーされる。
• 本稿は、$ a \mid b $ または $ a \leq 2 $ である場合、あるいは $ c $ が $ a $ と $ b $ の非負整数係数の線形結合として表される場合、そのような自己同型が存在することを確認しており、従来の結果を拡張している。