[论文解读] Locally potentially equivalent Galois representations

Vijay M. Patankar, C. S. Rajan|arXiv (Cornell University)|Oct 26, 2010

Algebraic Geometry and Number Theory参考文献 7被引用 6

一句话总结

本文证明，若两个连续、半单的ℓ进伽罗瓦表示在足够大的一组素点上局部潜在等价，则它们全局潜在等价——具体而言，当此类素点的上密度超过依赖于其代数单值群连通分支数的阈值时成立。该结果适用于模形式，表明若两个非CM新形式在正密度的素数上，其特征值的幂次匹配（指数可变），则它们必为某个狄利克雷特征的扭等价。

ABSTRACT

We show that if two continuous semi-simple \(\ell \)-adic Galois representations are locally potentially equivalent at a sufficiently large set of places then they are globaly potentially equivalent. We also prove an analogous result for arbitrarily varying powers of character values evaluated at the Frobenius conjugacy classes. In the context of modular forms, we prove: given two non-CM newforms $f$ and $g$ of weight at least two, such that $a_p(f)^{n_p}=a_p(g)^{n_p}$ on a set of primes of positive upper density and for some set of natural numbers $n_p$, then $f$ and $g$ are twists of each other by a Dirichlet character.

研究动机与目标

• 基于在较大集合素点上的局部潜在等价性，建立ℓ进伽罗瓦表示的全局潜在等价性。
• 将模形式中特征值匹配结果推广至可变指数和正上密度素数集合。
• 将切波塔列夫型密度结果推广至可变幂次的弗罗贝尼乌斯共轭类的扎里斯基稠密性。
• 证明：若两个非CM新形式在正密度素数集合上具有匹配的特征值幂次，则它们必为某个狄利克雷特征的扭等价。

提出的方法

• 利用与伽罗瓦表示相关的代数单值群，从局部数据分析全局结构。
• 应用代数版本的切波塔列夫密度定理，将弗罗贝尼乌斯共轭类与单值群中的扎里斯基稠密性关联。
• 运用紧致群特征标正交关系，推导表示的等价性。
• 通过有限扩张的基变换，将问题约化至连通代数群。
• 构造商表示，以证明弗罗贝尼乌斯幂次的像生成完整的单值群。
• 通过限制到有限指数子群实现潜在等价，并在连通分支上比较特征标。

实验结果

研究问题

• RQ1 在何种条件下，局部潜在等价性在大集合素点上可推出ℓ进伽罗瓦表示的全局潜在等价性？
• RQ2 在正密度素数集合上，若特征值匹配的指数可任意变化，是否可推出全局扭等价性？
• RQ3 弗罗贝尼乌斯共轭类的可变幂次生成完整代数单值群的素点集合，其最小密度条件是什么？
• RQ4 切波塔列夫密度定理在约化代数群中弗罗贝尼乌斯元素的幂次上，可多大程度推广？
• RQ5 当两个非CM新形式在正密度素数集合上具有匹配的特征值幂次时，它们在何种程度上为彼此的扭等价？

主要发现

• 若两个连续、半单的ℓ进伽罗瓦表示在上密度超过 $ 1 - \frac{1}{c_1} $ 和 $ 1 - \frac{1}{c_2} $ 的素点集合上局部潜在等价，其中 $ c_i $ 为 $ \rho_i $ 的代数单值群的连通分支数，则它们全局潜在等价。
• 对非CM新形式 $ f $，其关联的 $ \ell $-adic 表示的代数单值群为 $ GL_2 $，确保表示绝对不可约且单值群连通。
• 若两个新形式 $ f $ 和 $ g $ 满足 $ a_p(f)^{n_p} = a_p(g)^{n_p} $，且该等式在正上密度素数集合上成立，且指数 $ n_p $ 可变，则 $ g $ 是 $ f $ 关于某个狄利克雷特征的扭等价。
• 若代数单值群 $ G $ 连通，则在正上密度的无瑕素点集合 $ T $ 上，由 $ \rho(\sigma_v)^{n_v} $ 生成的最小代数子群即为完整的代数单值群 $ G $。
• 证明的关键在于：在基变换后，商表示 $ \rho_1 $ 在 $ G/G_T $ 上变为平凡，从而迫使 $ G/G_T = \{1\} $，故 $ G_T = G $。
• 该结果无需假设指数恒定或密度为1，推广了先前需密度为1且指数恒定的结论。