[论文解读] The Large Sieve and Galois Representations

David Zywina|ArXiv.org|Dec 11, 2008

Analytic Number Theory Research参考文献 22被引用 11

一句话总结

本文将大筛法推广至非交换群，应用于阿贝尔簇的伽罗华表示，以推导满足算术条件的素数的上界。通过结合特征和估计——尤其是基于广义黎曼猜想——该研究在稀疏集、科布利茨猜想以及椭圆曲线与阿贝尔簇的兰格-特罗特猜想方面获得了定量结果。

ABSTRACT

We describe a generalization of the large sieve to situations where the underlying groups are nonabelian, and give several applications to the arithmetic of abelian varieties. In our applications, we sieve the set of primes via the system of representations arising from the Galois action on the torsion points of an abelian variety. The resulting upper bounds require explicit character sum calculations, with stronger results holding if one assumes the Generalized Riemann Hypothesis.

研究动机与目标

• 将经典大筛法推广至非交换群情形，尤其在伽罗华表示的背景下。
• 为由阿贝尔簇的扭点导出的满足特定算术条件的素数数量提供统一的上界框架。
• 将推广的大筛法应用于算术几何中的具体问题，包括科布利茨猜想和稀疏素数集。
• 利用特征和估计推导显式上界，且在广义黎曼猜想下可获得更强结果。
• 建立一个实用工具——定理3.3——以供未来涉及相容伽罗华表示的筛法理论应用。

提出的方法

• 利用对偶性原理与表示论技术，为非交换群建立一般的大筛不等式。
• 将筛法应用于由阿贝尔簇的扭点上伽罗华作用导出的严格相容伽罗华表示系统。
• 使用有限域上的特征和估计，特别是针对辛群 $\mathrm{GSp}_{2g}$ 和 $\mathrm{Sp}_{2g}$，以控制筛法误差项。
• 借助广义黎曼猜想下的条件特征和界，提升上界的质量。
• 通过切博塔列夫型等分布，将问题约化为计数弗罗贝尼乌斯共轭类，结合 $\mathfrak{S}_n$、$W_{2g}$ 和 $\mathrm{GSp}_{2g}$ 的显式群论。
• 利用 $\mathrm{Sp}_{2g}(\mathbb{F}_q)$ 和 $\mathrm{GSp}_{2g}(\mathbb{F}_q)$ 中共轭类数量与群阶的界，控制筛法的复杂度。

实验结果

研究问题

• RQ1 如何将大筛法推广至非交换群情形，以研究算术序列？
• RQ2 对于满足 $|E_{\mathfrak{p}}(\mathbb{F}_{\mathfrak{p}})|/t_{E,k}$ 为素数的素数 $\mathfrak{p}$，可建立何种上界？（如科布利茨猜想中所述）
• RQ3 大筛法在多大程度上能控制弗罗贝尼乌斯迹落在整数稀疏集中的素数密度？
• RQ4 在阿贝尔簇背景下，$\mathrm{GSp}_{2g}(\mathbb{F}_q)$ 上的特征和估计如何影响筛法边界的质量？
• RQ5 广义黎曼猜想在提升由大筛法导出的无条件边界的精度方面起何作用？

主要发现

• 在广义黎曼猜想下，推广的大筛法对满足 $|E_{\mathfrak{p}}(\mathbb{F}_{\mathfrak{p}})|/t_{E,k}$ 为素数的素数 $\mathfrak{p} \in \Sigma_k(x) - S_E$ 的数量，给出了形式为 $O\left(\frac{x}{(\log x)^2}\right)$ 的上界。
• 对于无复乘的数域上椭圆曲线，若满足科布利茨猜想，则满足 $|E_{\mathfrak{p}}(\mathbb{F}_{\mathfrak{p}})|/t_{E,k}$ 为素数的素数 $\mathfrak{p}$ 的数量渐近为 $C_{E,k} \frac{x}{(\log x)^2}$，其中 $C_{E,k} > 0$ 为显式常数。
• $\mathrm{Sp}_{2g}(\mathbb{F}_q)$ 和 $\mathrm{GSp}_{2g}(\mathbb{F}_q)$ 中的共轭类数量分别被控制在 $\kappa_g q^g$ 和 $\kappa_g q^{g+1}$ 之内，其中 $\kappa_g$ 为仅依赖于 $g$ 的常数。
• 对 $\mathrm{GSp}_{2g}(\mathbb{F}_q)$ 中弗罗贝尼乌斯共轭类的无条件特征和界，可使筛法误差项大小为 $O\left(\chi(1)|G^\sharp|x \exp(-c_1 [L:\mathbb{Q}]^{-1/2} (\log x)^{1/2})\right)$。
• 该方法为通过大筛法系统性地结合多个伽罗华表示的约束提供了途径，适用于稀疏集与兰格-特罗特猜想。
• 附录B中的显式群论界，特别是 $\mathrm{GL}_2(\mathbb{F}_q)$ 的情形，使得对具有给定迹与行列式的矩阵进行精确计数成为可能，这对筛法设置至关重要。