[論文レビュー] Mordell-Lang and Skolem-Mahler-Lech theorems for endomorphisms of semiabelian varieties

Dragos Ghioca, Thomas J. Tucker|ArXiv.org|Oct 9, 2007

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

ひとこと要約

この論文は、複素数体上の半アーベル多様体に対して、動的Mordell-Lang予想を証明し、自己準同型による点の軌道と部分多様体の交わりが、形式 𝒪_{φ^N}(φ^ℓ(P)) の軌道の有限個の和集合であることを示している。証明は、Skolem-Mahler-Lech定理とMordell-Lang予想からの幾何的技法を組み合わせており、半アーベル的設定における力学系と算術幾何学の深い関係を確立している。

ABSTRACT

Using the Skolem-Mahler-Lech theorem, we prove a dynamical Mordell-Lang conjecture for semiabelian varieties.

研究の動機と目的

• 自己準同型に関する半アーベル多様体におけるMordell-Lang予想の動的類似を確立すること。
• 半アーベル多様体の自己準同型による点の軌道と部分多様体の交わりの構造を記述すること。
• 古典的結果（例：Skolem-Mahler-LechやMordell-Lang）を、半アーベル多様体上の力学系の文脈に拡張すること。
• 代数群における軌道交わりの研究において、幾何的および算術的技法を統合すること。
• Zhangの動的予想に関連する、半アーベル多様体における軌道のZariski閉包を理解するための枠組みを提供すること。

提案手法

• 自己準同型による点の反復写像が部分多様体に属する時刻の集合を分析するために、Skolem-Mahler-Lech定理を用いる。
• ℤ[φ]-加群の構造を用いて、問題を有限生成部分群の陪集合との交わりの研究に還元する。
• 半アーベル多様体内の部分多様体を分析するために、Mordell-Lang予想からの幾何的技法を適用する。
• 任意の整数を法とする周期的である再帰的に定義された列 {z_{k,j}} を用いて、軌道の力学をモデル化し、合同式解析を可能にする。
• 線形条件（L-部分集合）と合同条件（C-部分集合）の両方の解を分類し、これらがいずれも有限個の等差数列の和集合をもたらすことを示す。
• 線形代数、再帰的数列、代数幾何学の結果を統合し、帰還時刻の集合が有限個の等差数列の和集合であることを示す。

実験結果

リサーチクエスチョン

• RQ1 半アーベル多様体の自己準同型による点の軌道が、部分多様体と有限個の軌道の和集合として交わる条件は何か？
• RQ2 Skolem-Mahler-Lech定理を用いて、半アーベル多様体における軌道交わりの構造を記述できるか？
• RQ3 動的Mordell-Lang予想は、半アーベル多様体の文脈において、Mordell-Lang や Skolem-Mahler-Lech の古典的結果をどのように一般化するか？
• RQ4 点の自己準同型による反復写像が部分多様体に戻る時刻の集合の正確な構造は何か？
• RQ5 Mordell-Langの幾何的技法とSkolem-Mahler-Lechの算術的技法は、半アーベル多様体上の力学系の研究において、どの程度統合されるか？

主な発見

• 半アーベル多様体 G の部分多様体 V ⊂ G と、自己準同型 φ による点 P の軌道の交わりは、空集合であるか、あるいはある N, ℓ ∈ ℕ に対して形式 𝒪_{φ^N}(φ^ℓ(P)) の軌道の有限個の和集合である。
• φ^k(P) が与えられた部分多様体に属する整数 k の集合は、Skolem-Mahler-Lech定理によって保証されるように、有限個の等差数列の和集合である。
• 証明は、ℤ[φ]-加群が ℤ 上で有限生成であることを利用しており、陪集合の交わりの研究への還元を可能にしている。
• 指数に関する線形および合同条件の解が、有限個の等差数列しか生成しないことが示され、軌道構造が確認された。
• p進解析を避ける代わりに、幾何的および代数的技法を用いることで、Mordell-Lang定理とSkolem-Mahler-Lech定理の間の新しい橋渡しを確立した。
• 結果は、半アーベル的設定におけるMordell-Lang予想の動的類似を確認しており、Zhangの広範な動的予想体系を支持する。