[论文解读] Rational fixed points for linear group actions

Pietro Corvaja|ArXiv.org|Oct 23, 2006

Advanced Differential Equations and Dynamical Systems被引用 4

一句话总结

本文建立了一套几何准则，用于判断在特征为零的有限生成域上的线性代数群中，Zariski-稠密子半群的存在性，表明此类子半群仅当存在特定的非分歧覆盖映射和提升映射时，才由具有有理固定点的元素构成。其核心贡献是将希尔伯特不可约性定理推广至线性群作用的设定，从而推广了关于有理特征值与固定点的经典结果。

ABSTRACT

Let $k$ be a finitely generated field, let $X$ be an algebraic variety and $G$ a linear algebraic group, both defined over $k$. Suppose $G$ acts on $X$ and every element of a Zariski-dense semigroup $Γ\subset G(k)$ has a rational fixed point in $X(k)$. We then deduce, under some mild technical assumptions, the existence of a rational map $G o X$, defined over $k$, sending each element $g\in G$ to a fixed point for $g$. The proof makes use of a recent result of Ferretti and Zannier on diophantine equations involving linear recurrences. As a by-product of the proof, we obtain a version of the classical Hilbert Irreducibility Theorem valid for linear algebraic groups.

研究动机与目标

• 将希尔伯特不可约性定理推广至线性代数群在代数簇上的作用设定。
• 确定在有限生成域上的线性代数群中，Zariski-稠密子半群由具有有理固定点的元素构成的充要条件。
• 刻画GL_N中的代数子群，使其存在一个Zariski-稠密的矩阵子半群，且每个矩阵至少有一个有理特征值。
• 建立有理固定点存在性与群结构中非分歧覆盖及提升映射存在的关联。

提出的方法

• 证明依赖于费雷蒂与赞尼尔关于有限生成域上代数簇有理点的最新丢番图结果。
• 通过群G到簇X的有理映射分析有理固定点的存在性，利用代数群作用的结构。
• 利用伽罗瓦覆盖与稀疏集理论研究群元素特征多项式的分裂域。
• 构造一个在定义域上G-等变的有理映射w: G → X，是证明G(κ)中所有元素存在固定点的核心。
• 应用李-科林定理及旗簇的性质，在附加假设下推导出某些代数群的可解性。
• 建立Zariski-稠密半群中存在有理特征值与存在特征标或到射影空间的有理映射之间的等价性。

实验结果

研究问题

• RQ1 在何种几何条件下，有限生成域上线性代数群的Zariski-稠密子半群在给定簇上由具有有理固定点的元素构成？
• RQ2 当Zariski-稠密半群的所有元素均具有有理固定点时，何时可推出存在从群到簇的有理G-等变映射？
• RQ3 对于定义在有限生成域上的连通线性代数群，若Zariski-稠密子半群中所有元素具有有理特征值，则确保群中所有元素均具有有理特征值的精确代数几何条件是什么？
• RQ4 能否通过群同态到乘法群乘积的存在性来刻画Zariski-稠密矩阵子半群中具有有理特征值的存在性？
• RQ5 某些群元素仅有有限个固定点的假设，是否为有理固定点映射存在的必要条件？

主要发现

• 当且仅当存在非分歧覆盖p: G̃ → G及有理映射θ: G̃ → V满足π∘θ = p时，存在Zariski-稠密子半群Γ ⊂ G(κ)，其元素在簇X上具有有理固定点，其中π: V → G为有限映射。
• 若X为射影簇，且Γ ⊂ G(κ)为Zariski-稠密子半群，且Γ中每个γ均固定X中的有理点，则对所有g ∈ G(κ)，g在X(κ)中也固定一个有理点。
• 对于定义在有限生成域κ上的连通代数子群G ⊂ GL_N，若Zariski-稠密子半群Γ ⊂ G(κ)由至少r个有理特征值（计入重数）的矩阵构成，则G(κ)中每个g均有至少r个有理特征值。
• 存在定义在κ上的特征标χ: G → G_m^r，使得对所有g ∈ G，g的特征多项式可被(T - χ_1(g))⋯(T - χ_r(g))整除。
• 若存在有理固定点映射w: G → X，则通用群元素的特征多项式分裂域的伽罗瓦群不能同构于完整伽罗瓦群，除非映射π允许截面。
• 在极大旗簇的情形下，此类映射的存在性意味着G是可解的，因此其作用下存在一个固定的完全旗。