[论文解读] 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推廣至半阿貝爾簇上的動力系統情境。
• 統合幾何與算術技巧，以研究代數群中軌道交集。
• 提供理解半阿貝爾簇中軌道Zariski閉包的框架，此與Zhang的動力猜想密切相關。

提出的方法

• 使用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的算術方法在半阿貝爾簇上動力系統的研究中，其結合程度如何？

主要发现

• 子簇 V ⊂ G 與半阿貝爾簇 G 上自同態 φ 作用下點 P 的軌道之交集，若非空，則為形式 𝒪_{φ^N}(φ^ℓ(P)) 的軌道的有限並，其中 N, ℓ ∈ ℕ。
• 使得 φ^k(P) 屬於給定子簇的整數 k 的集合，依Skolem-Mahler-Lech定理為算術進程的有限並。
• 證明依賴於ℤ[φ]-模在ℤ上有限生成的事實，進而可簡化為對陪集交集的研究。
• 指數上的線性與同餘條件的解僅產生有限多組算術進程，確認了軌道結構。
• 該方法避開 p-進分析，改用幾何與代數技巧，建立Mordell-Lang與Skolem-Mahler-Lech定理之間的全新橋樑。
• 結果確認了半阿貝爾設定下動力Mordell-Lang猜想的類比，支持Zhang關於動力系統的廣義猜想體系。