[論文レビュー] p-adic logarithms for polynomial dynamics

Dragos Ghioca, Thomas J. Tucker|ArXiv.org|May 28, 2007

Algebraic Geometry and Number Theory参考文献 11被引用数 4

ひとこと要約

本稿は、p進数体上のアフィン空間における多項式作用に関して、p進対数関数とチャバウルティおよびコールマンにインspiredされた解析的手法を用いて、モーデル＝ラング予想の動的版を確立する。もしアフィン部分多様体が多項式作用に関して不変な正次元部分多様体を含まないならば、その部分多様体と任意の軌道の交差は有限個であることを証明する—これは算術的力学におけるより広範な予想への重要な一歩を提供する。

ABSTRACT

We prove a dynamical version of the Mordell-Lang conjecture for subvarieties of the affine space A^g over a p-adic field, endowed with polynomial actions on each coordinate of A^g. We use analytic methods similar to the ones employed by Skolem, Chabauty, and Coleman for studying diophantine equations.

研究の動機と目的

• アフィン空間における多項式作用に関して、p進数体上でのモーデル＝ラング予想の動的類似を確立すること。
• 正次元不変部分多様体を含まない部分多様体が軌道と交差する点が有限個であると予想するConjecture 1.2 を取り扱うこと。
• ディオファントス幾何学における特徴的技法—特にチャバウルティ–コールマン法—を多項式力学系へと拡張すること。
• 部分多様体に無限個の軌道点が存在するならば、正次元不変部分多様体が存在することを示すこと。

提案手法

• 各座標多項式に関連するp進対数関数および指数関数的写像を用い、吸引的固定点の近傍で力学系を線形化する。
• p進対数関数を用いて軌道をp進ベクトル空間内の直線に変換し、解析関数論を適用可能にする。
• 部分多様体の消滅イデアルを対数写像の逆関数および軌道に沿った指数写像と合成することで、べき級数F(u)を構成する。
• 解析関数の恒等定理を用いる：Fが集積点を持つ集合上で消えるならば、F ≡ 0 である。
• Fが近傍で消えることから、軌道のZariski閉包が多項式作用に関して不変な正次元部分多様体を含むことを示す。
• この結果を応用して、交差が無限個であるならば、部分多様体は不変部分多様体を含むはずであり、仮定に反することを結論づける。

実験結果

リサーチクエスチョン

• RQ1 アフィン空間の部分多様体が多項式軌道と有限個の点で交差する条件は何か？
• RQ2 p進解析的手法を多項式力学系における有限性結果の証明に適応できるか？
• RQ3 部分多様体に無限個の軌道点が存在するならば、正次元不変部分多様体が存在するといえるか？
• RQ4 p進対数関数を用いて、多項式力学系における吸引的固定点の近傍での軌道を線形化し、解析するにはどうすればよいか？

主な発見

• C_p 上の A^g における部分多様体 V が、座標ごとの多項式作用に関して正次元の不変部分多様体を含まないならば、A^g の任意の点の軌道は V と有限個の点で交わる。
• 証明は、p進円板上で定義された解析関数 F(u) を構成し、それが無限個の軌道点上で消えることにより、恒等定理から F ≡ 0 であることを強制する。
• これにより、軌道が対数写像および指数写像による線形パrameter化の像で定義される部分多様体上にあることが示され、これは力学系に関して不変でなければならない。
• 軌道のZariski閉包は、多項式作用に関して不変な正次元部分多様体を含み、交差が無限個であるならば仮定に反する。
• 各多項式の乗数 |a1| < 1 かつ係数がp進ノルムで有界であるという条件下で、収束が保証され、吸引的固定点に収束する。
• 系4.3は、多項式がC_p上で定義され、|a1| < 1 かつ高次係数が有界であるとき、p進整数から出発する軌道の交差が有限であることを確認する。