[論文レビュー] Density of orbits of endomorphisms of commutative linear algebraic groups

Dragos Ghioca, Fei Hu|arXiv (Cornell University)|Mar 11, 2018

Advanced Differential Equations and Dynamical Systems参考文献 15被引用数 8

ひとこと要約

この論文は、特性0の代数閉体上の連結な可換線型代数的群の自己準同型に関して、Medvedev–Scanlon予想を証明する。数論的道具を用いて、複素代数幾何学を避け、任意の支配的自己準同型が非定数の有理関数を保存するか、ある点がザリスキー稠密な前向き軌道を持つことを示している。

ABSTRACT

We prove a conjecture of Medvedev and Scanlon for endomorphisms of connected commutative linear algebraic groups $G$ defined over an algebraically closed field $\mathbb{k}$ of characteristic $0$. That is, if $Φ\colon G\longrightarrow G$ is a dominant endomorphism, we prove that one of the following holds: either there exists a non-constant rational function $f\in \mathbb{k}(G)$ preserved by $Φ$ (i.e., $f\circ Φ= f$), or there exists a point $x\in G(\mathbb{k})$ whose $Φ$-orbit is Zariski dense in $G$.

研究の動機と目的

• 特性0の代数閉体上の連結な可換線型代数的群の自己準同型に関して、Medvedev–Scanlon予想を解決すること。
• このような群の支配的自己準同型が、非定数の有理関数を保存するか、ザリスキー稠密な前向き軌道を持つ点を含むかどうかを特定すること。
• これらの群における代数的力学における二分岐結果を確立し、トーラスおよびユニポテンツ群に関する先行結果を一般化すること。
• 複雑な代数幾何学を避けて、数論的技法を用いた証明を提供すること。

提案手法

• 可換線型代数的群の構造定理を活用し、自己準同型をユニポテンツ成分とトーラス成分に分解する。
• 指数ベクトルに対する分割に基づく解析を用いて、乗法的および加法的特徴の線形従属関係を同定する。
• 対数的推定を用いて行列のべきの成分の上限を評価し、繰り返し行列の成分の成長率がnに関して多項式的であることを示す。
• 繰り返し行列乗算の下でベクトルの絶対値が有界のままであるならば、行列は単位根を固有値として持つという事実を利用する。
• 非定数の有理関数が保存されないという仮定から矛盾を導出し、関連行列の固有値が単位根でなければならないことを結論づける。
• ディオファントス近似とパラメータの乗法的独立性に依拠することで、高度な代数幾何学を避ける。

実験結果

リサーチクエスチョン

• RQ1 特性0の代数閉体上の連結な可換線型代数的群の任意の支配的自己準同型は、非定数の有理関数を保存するか、またはザリスキー稠密な軌道を持つ点を含むか？
• RQ2 代数幾何学を用いるのではなく、数論的道具を用いてMedvedev–Scanlon予想を可換線型代数的群に対して確立できるか？
• RQ3 自己準同型にどのような条件を課すと、ある点の軌道が群内でザリスキー稠密になるか？
• RQ4 有理関数が保存されず、軌道もザリスキー稠密でないという仮定から、行列のべきとその固有値を分析することで矛盾を導くことは可能か？

主な発見

• この論文は、特性0の代数閉体上の連結な可換線型代数的群Gの任意の支配的自己準同型Φに関して、f∘Φ = fを満たす非定数の有理関数f ∈ k(G)が存在するか、またはある点x ∈ G(k)がザリスキー稠密なΦ軌道を持つことを証明している。
• 有理関数が保存されない場合、関連する自己準同型の行列が単位根を固有値として持つことが示され、これにより非保存関数の仮定のもとで矛盾が生じる。
• 行列のべきAnの成分の成長がnに関して線形関数で有界であることが示され、これは軌道が稠密でない場合、行列が単位根を固有値として持つことを示唆する。
• パラメータλ1,…,λk−1,β1,…,βℓの乗法的独立性を用いて、固有値の制約を強制する方程式系を導出する。
• 結果として、G = G_a^k × G_m^ℓという群のクラス（ユニポテンツおよびトーラス成分を含む）において、予想が正当化された。
• 数論的境界とディオファントス近似技法に依拠することで、高度な代数幾何学の使用を回避した証明がなされた。