[论文解读] The density of ramified primes in semisimple p-adic Galois representations

Chandrashekhar Khare, C. S. Rajan|ArXiv.org|Nov 27, 2000

Algebraic Geometry and Number Theory参考文献 2被引用 4

一句话总结

本文证明了在数域上的连续、半单p进伽罗瓦表示中，分歧素数的上密度为零。通过模极大理想幂次的约化以及对分解群上表示的提升进行分析，作者表明随着约化阶数的增加，分歧素数的上密度趋于零，其依据是p进李群中可 tame 无穷小群与特征多项式性质。

ABSTRACT

We prove that the density of ramified primes in semisimple p-adic representations of Galois groups of number fields is 0. Ravi Ramakrishna has produced examples of such representations that are infinitely ramified.

研究动机与目标

• 建立连续、半单p进伽罗瓦表示中分歧素数集合的上密度为零。
• 通过证明无分歧素数的稠密性，将经典结果如强乘法性一一定理推广至无限分歧表示的情形。
• 为在不假设有限分歧的前提下合理使用半单p进表示的相容系统提供依据。
• 通过分析分解群上残表示的提升结构，控制分歧密度。
• 为研究此类表示收敛序列中理性域的结构提供基础。

提出的方法

• 将表示 ρ: GL → GLm(K) 约化为取值于 GLm(O) 的积分模型，其中 O 是 K 的整数环。
• 定义 cρ,n 为在 ρ1 中无分歧但模 mn 允许分歧提升的素数的上密度。
• 利用 Qq 的最大可 tame 分歧扩张的伽罗瓦群 Gq 的结构，其由弗罗贝尼乌斯 σq 和可 tame 无穷小群 τq 生成。
• 应用克拉斯纳引理以及 K 的有限扩张中单位根的性质，以界定 τq 作用的特征值。
• 通过证明仅单位提升对大 n 的 cρ,n 有贡献，将问题约化至半稳定情形。
• 利用特征多项式的结式与赛博塔雷夫密度定理，界定位于低维子簇中的弗罗贝尼乌斯元素的比例，从而推出 cρ,n → 0。

实验结果

研究问题

• RQ1 连续、半单p进伽罗瓦表示中，分歧素数的集合是否具有密度零？
• RQ2 在不假设有限分歧的前提下，能否有意义地研究半单p进表示的相容系统？
• RQ3 随着 n 增大，模 pn 允许分歧提升的素数密度的渐近行为如何？
• RQ4 弗罗贝尼乌斯元素的特征多项式如何约束残表示可能的提升？
• RQ5 在正特征函数域中是否存在此密度结果的类似结论？

主要发现

• 任意连续、半单p进伽罗瓦表示 ρ: GL → GLm(K) 中，分歧素数的集合具有上密度零。
• 当 n 足够大时，仅 ρn|Dq 的单位提升对密度 cρ,n 有贡献，且这些提升受特征多项式结式的约束。
• 在 ρ′ = ρ ⊕ ε 的像中，满足某多项式条件（F ≡ 0 mod pn）的弗罗贝尼乌斯元素的比例以 O(pn(d−δ)) 的速率衰减，从而推出 cρ,n → 0。
• 当 n → ∞ 时，密度 cρ,n 趋于零，通过精细分析 Yn 而非 ˜Yn，可获得 O(p−n) 的定量估计。
• 该结果在特征 ≠ p 的函数域中成立，但在特征 p 时失效，原因在于 p-上同调维数为 1。
• 连续、半单阿贝尔表示的分歧集合是有限的，且对具有阿贝尔李代数的表示亦成立。