[论文解读] 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

一句话总结

本文证明了在特征零代数闭域上，连通交换线性代数群的自同态的Medvedev–Scanlon猜想。该文使用数论工具而非复代数几何，证明了：要么一个主导自同态保持一个非平凡有理函数，要么某个点的向前轨道在Zariski拓扑下是稠密的。

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$.

研究动机与目标

• 证明在特征零代数闭域上，连通交换线性代数群的自同态的Medvedev–Scanlon猜想。
• 确定此类群的主导自同态是否要么保持一个非平凡有理函数，要么存在一个点其Zariski向前轨道是稠密的。
• 为这些群建立代数动力系统中的二分结果，推广此前对环面和幂零群的结果。
• 使用数论技巧提供证明，避免早期方法中使用的复杂代数几何时。

提出的方法

• 证明利用自同态的幂零与环面分量分解，借助交换线性代数群的结构定理。
• 对指数向量实施基于划分的分析，以检测乘法与加法特征之间的线性相关关系。
• 论证依赖于对矩阵幂中条目进行对数估计，表明迭代矩阵条目的增长速率在n中为多项式增长。
• 利用若向量在重复矩阵乘法下绝对值有界，则矩阵必有单位根作为特征值的事实。
• 通过假设无非平凡有理函数被保持，导出矛盾，从而得出关联矩阵的特征值必为单位根。
• 该方法通过依赖丢番图逼近与参数的乘法独立性，避免使用高级代数几何时。

实验结果

研究问题

• RQ1 每个在特征零代数闭域上的连通交换线性代数群的主导自同态，是否要么保持一个非平凡有理函数，要么存在Zariski稠密轨道？
• RQ2 能否使用数论工具而非代数几何，建立对交换线性代数群的Medvedev–Scanlon猜想？
• RQ3 自同态的何种条件可确保某个点的轨道在群中Zariski稠密？
• RQ4 能否通过分析矩阵幂及其特征值，从假设无有理函数被保持且无轨道Zariski稠密，导出矛盾？

主要发现

• 本文证明：对任意在特征零代数闭域上连通交换线性代数群G的主导自同态Φ，要么存在非平凡有理函数f ∈ k(G)满足f∘Φ = f，要么存在某点x ∈ G(k)其Φ-轨道在Zariski拓扑下稠密。
• 证明表明：若无有理函数被保持，则关联自同态的矩阵必有单位根作为特征值，从而在无被保持函数的假设下导出矛盾。
• 矩阵幂An中条目的增长被证明受n的线性函数有界，若轨道不稠密，则该矩阵必有单位根作为特征值。
• 论证利用参数λ1,…,λk−1,β1,…,βℓ的乘法独立性，导出强制特征值约束的方程组。
• 结果确认了对G = G_a^k × G_m^ℓ这一类群的猜想，该类群包含幂零与环面分量。
• 证明通过依赖数论界与丢番图逼近技术，避免使用高级代数几何时。