[论文解读] Generalization of Selberg's 3/16 Theorem and Affine Sieve

Jean Bourgain, Alex Gamburd+1 more|ArXiv.org|Dec 26, 2009

Analytic Number Theory Research参考文献 16被引用 9

一句话总结

本文将塞尔伯格的3/16定理推广至SL₂(ℤ)的无限阶同余子群，建立了相关双曲曲面上拉普拉斯-贝尔特拉米算子的统一谱间隙。该结果被应用于带有阿基米德范数的仿射线性筛法，证明了在轨道中计数格点时的精确误差项，从而在Zariski稠密子群上的多项式序列筛法中实现了最优界。

ABSTRACT

A celebrated theorem of Selberg states that for congruence subgroups of SL(2,Z) there are no exceptional eigenvalues below 3/16. We prove a generalization of Selberg's theorem for infinite index "congruence" subgroups of SL(2,Z). Consequently we obtain sharp upper bounds in the affine linear sieve, where in contrast to \cite{BGS} we use an archimedean norm to order the elements.

研究动机与目标

• 将塞尔伯格关于谱间隙的3/16定理推广至SL₂(ℤ)的有限生成、非初等子群，且其极限集的豪斯多夫维数大于1/2。
• 为这类子群的同余子群Λ(q)建立统一谱间隙，确保λ₁(Λ(q)) ≥ λ₀(Λ(q)) + ε对某个ε > 0成立。
• 为豪斯多夫维数≤ 1/2的子群所关联的双曲曲面上拉普拉斯算子的预解式证明无共振区域，将谱间隙扩展至非L²谱。
• 将谱结果应用于带有阿基米德范数的仿射线性筛法，推导出Zariski稠密子群轨道上多项式方程解的计数函数的精确误差项。
• 验证由多项式范数定义的轨道上序列的组合筛法公理（水平分布、乘性函数行为、筛法维数），并给出最优误差项。

提出的方法

• 利用拉克斯-菲利普斯理论和双曲曲面上的谱理论，将谱间隙与极限集的豪斯多夫维数δ(Λ)联系起来。
• 应用L²平展引理和动力学方法控制测度卷积，从而证明δ ≤ 1/2时的无共振区域。
• 通过费尔连续诱导定理，建立谱间隙与凯莱图扩张之间的等价性。
• 利用强逼近定理和古尔萨特定理分析模d的约化，确保对平方自由d有Λ → Λ_d的满射性。
• 应用朗-韦伊定理估计f(γ) ≡ 0 mod d的解数，得到β(d) = |Λ_d^f| / |Λ_d|，其渐近行为为β(p) = t(f)/p + O(p^{-3/2})。
• 通过谱间隙及定理1.3和定理1.5中的误差项，对算术级数和中的余项进行有界，从而验证筛法公理(A₀)、(A₁)和(A₂)。

实验结果

研究问题

• RQ1 塞尔伯格的3/16定理关于谱间隙能否推广至SL₂(ℤ)的无限阶同余子群，且δ(Λ) > 1/2？
• RQ2 谱间隙是否在平方自由q的同余子群Λ(q)中保持统一，满足λ₁(Λ(q)) ≥ λ₀(Λ(q)) + ε？
• RQ3 对豪斯多夫维数δ(Λ) ≤ 1/2的子群，预解式R_X(q)(s)是否存在一个共振自由区域，其解析延拓超过Re(s) = δ？
• RQ4 能否利用无穷体积双曲曲面上的谱数据执行带有阿基米德范数的仿射线性筛法？
• RQ5 Zariski稠密子群轨道上多项式范数的计数函数是否满足组合筛法公理，并具有最优误差项？

主要发现

• 对SL₂(ℤ)中有限生成的子群Λ，若δ(Λ) > 1/2，则存在ε(Λ) > 0，使得对所有平方自由q ≥ 1，有λ₁(Λ(q)) ≥ λ₀(Λ(q)) + ε。
• 满足|γ| ≤ T且γ ≡ g mod q的γ ∈ Λ的计数函数满足：|{γ ∈ Λ : |γ| ≤ T, γ ≡ g mod q}| = c_Λ T^{2δ} / |SL₂(q)| + O(q³ T^{2δ - ε₁})，其中ε₁ > 0为依赖于Λ的常数。
• 当δ(Λ) ≤ 1/2时，预解式R_X(q)(s)在Re(s) > δ - ε min(1, 1/log(1 + |Im s|))上全纯，且在s = δ处有一个单极点。
• 序列a_n(T) = # {γ ∈ Λ : |γ| ≤ T, |f(γ)| = n}的仿射筛法中，误差项有界于O(X^{1 - 1/(2δ log log X)} + d^{C+2} X^{1 - ε₁/(2δ)}），其中X = ∑ a_n(T)。
• 序列a_n(T)的筛法维数t(f)等于f的不可约因子个数，且筛法公理(A₀)、(A₁)、(A₂)均满足，其最优水平分布为D ≤ X^τ，其中τ < 2δ / ((C+3)ε₁)。
• 组合筛法给出S(A, P_z) ≍ X / (log X)^t，其中z = D^{1/s}且s > 9t，确认在带有阿基米德范数的仿射筛法设定中，上下界均为最优。