[論文レビュー] On the quantitative dynamical Mordell-Lang conjecture

Alina Ostafe, Min Sha|arXiv (Cornell University)|Jan 12, 2015

Algebraic Geometry and Number Theory参考文献 16被引用数 3

ひとこと要約

本稿は、アフィン空間上の多項式自己準同型を対象とし、代数的力学系における力学的モーデル＝ラング予想に対する最初の定量的評価を確立する。特に、乗法的独立な初期点を持つ単項式系に対して、軌道と超曲面の交差の大きさに関する明示的な上界を提示する。この結果は、指数多項式および対数の線形形式に関する結果を用いる。

ABSTRACT

The dynamical Mordell-Lang conjecture concerns the structure of the intersection of an orbit in an algebraic dynamical system and an algebraic variety. In this paper, we bound the size of this intersection for various cases when it is finite.

研究の動機と目的

• 多項式力学系の軌道と代数的超曲面の交差の大きさに対する一様な定量的評価を確立すること。
• 従来の力学的モーデル＝ラング予想の結果を、超平面や一様指数写像を超えて、異なる指数を持つ一般の単項式系へと拡張すること。
• 超曲面の定義多項式に含まれる単項式の数を用いた明示的な上界を提示すること。
• 有限生成部分群 (C*)^m および多項式・指数方程式の解に基づく手法の適用可能性を検討すること。
• 多項式自己同型による共役を用いて、非単項式系への結果の拡張の可能性を調査すること。

提案手法

• シュリケルヴァイとシュミットの対数の線形形式に関する結果に基づく、多項式・指数方程式の整数解に対する推定を用いる。
• [1, 2, 19] における非退化線形再帰列の零点数に関する一様な評価を、べき写像の場合に活用する。
• 補題 2.7 を適用して、(C*)^m の有限生成部分群内の解を評価する。この際、すべての反復写像 Φ^(n)(w) が同一の部分群に属している必要がある。
• 単項式力学系を用いて、軌道の交差問題を指数ディオファントス方程式の系に変換する。
• 座標の乗法的独立性を用いて、解の構造が有限生成群内に制約されることを保証する。
• 指数多項式およびその零点集合の理論を応用し、G(Φ^(n)(w)) = 0 の解の個数を評価する。

実験結果

リサーチクエスチョン

• RQ1 単項式自己準同型の下での軌道が、アフィン空間内の超曲面と何回交差しうるか、最大でいくつなのか。
• RQ2 異なる初期点や超曲面に対して、交差集合 S_w(Φ,V) の大きさについて、一様な上界を確立できるか。
• RQ3 超曲面の定義多項式 G に含まれる単項式の数が、交差の大きさにどのように影響するか。
• RQ4 有限生成部分群 (C*)^m に基づく手法を、非単項式力学系へどの程度まで拡張できるか。
• RQ5 技術を、同じ空間内に存在する二つの異なる軌道の同期的交差を評価するのにも適応可能か。

主な発見

• d ≥ 2 である対角的単項式写像 Φ = (X₁^d, ..., Xₘ^d) と、単項式数 𝔫(G) を持つ多項式 G で定義される任意の超曲面 V に対して、座標が乗法的独立である初期点 w に対して、交差の大きさ |S_w(Φ,V)| は (8𝔫(G))^{4𝔫(G)^5} 未満である。
• この評価は、G の係数や次数に依存せず、単項式数にのみ依存するという意味で一様である。
• この結果は、シルバーとヴァイラのべき写像と超平面に関する研究を、一般の超曲面および異なる指数を持つ単項式系へと拡張する。
• この手法は、軌道が固定された有限生成部分群 (C*)^m に属していることに依存しており、これは単項式写像では成立するが、一般には成立しない。
• 特殊な場合、例えば w の座標の絶対値が乗法的独立であり、かつ一つの単項式が絶対値で支配的である場合には、評価を改善できる。
• 二つの軌道の同期的交差を評価するための手法は、問題を高次元系に埋め込み、同じ技術を適用することで適応可能である。