[论文解读] Sparse equidistribution problems, period bounds, and subconvexity

Akshay Venkatesh|ArXiv.org|Jun 12, 2005

Advanced Algebra and Geometry参考文献 11被引用 16

一句话总结

本文提出一种几何方法，利用等分布与谱隙技术来界定自守形式的周期，从而在数域上得到 $L$-函数在导子方面的次凸界，并证明了稀疏测地线与CM点子集的等分布性。该方法以定量等分布和混合性替代传统的谱展开，实现了对数域上 $πΣλ_2$ 和 $πΣλ_2$ 的新次凸性结果及傅里叶系数界。

ABSTRACT

We introduce a ``geometric'' method to bound periods of automorphic forms. The key features of this method are the use of equidistribution results in place of mean value theorems, and the systematic use of mixing and the spectral gap. Applications are given to equidistribution of sparse subsets of horocycles and to equidistribution of CM points; to subconvexity of the triple product period in the level aspect over number fields, which implies subconvexity for certain standard and Rankin-Selberg $L$-functions; and to bounding Fourier coefficients of automorphic forms.

研究动机与目标

• 开发一种利用等分布与谱隙性质来界定自守形式周期的几何方法。
• 在数域上，通过导子方面建立三重乘积周期的次凸界，从而推出标准与Rankin-Selberg $L$-函数的次凸性。
• 通过周期界与谱隙技术，证明稀疏测地线与CM点子集的等分布性。
• 提供一种避免显式谱展开的框架，转而依赖于定量等分布与Sobolev范数。
• 通过更直接的几何方法，推广Good与Sarnak关于傅里叶系数的结果。

提出的方法

• 将 $\Gamma\backslash G$ 上测度 $\nu_i$ 的定量等分布作为关键输入，替代平均值定理。
• 应用辅助流（如测地线流）的混合性与谱隙性质，以控制周期积分。
• 利用Sobolev范数与约化理论，控制函数及其在子空间上限制的 $L^2$-范数。
• 借助Eisenstein级数与 $L$-函数的积分表示，将周期积分与 $L$-值联系起来。
• 使用Mellin变换与局部积分计算，分析 $L$-函数中的 $p$-进与阿基米德因子。
• 应用逆Mellin变换与具有非平凡扭的 $L$-函数的界，推导周期测度的衰减估计。

实验结果

研究问题

• RQ1 能否通过几何周期界而非谱方法证明测地线轨道的稀疏等分布性？
• RQ2 能否通过等分布与谱隙技术在导子方面建立三重乘积周期的次凸界？
• RQ3 在不使用显式谱分解的情况下，几何技术能在多大程度上界定自守形式的傅里叶系数？
• RQ4 能否从更大测地线轨道上的周期界推导出CM点的等分布性？
• RQ5 谱隙与混合性性质在数域上如何转化为 $L$-函数的次凸性？

主要发现

• 本文建立了 $πΣλ_2(\mathbb{R})$ 上自守形式傅里叶系数的一般界，通过更直接的几何方法重新获得了Good与Sarnak的结果。
• 对于 $\mathrm{PGL}_2(F\otimes\mathbb{R})$，其中 $F$ 为数域，该方法在假设 $p$-进积分计算成立（假设11.1）的前提下，给出了导子方面三重乘积周期的次凸界。
• 推导出数域上标准与Rankin-Selberg $L$-函数的次凸界，推广了Duke-Friedlander-Iwaniec与Kowalski-Michel-Vanderkam的结果，超越了 $F=\mathbb{Q}$ 的情形。
• 该方法证明了在 $πΣλ_2(\mathbb{R})$ 的紧商上，稀疏测地线子集的等分布性，支持了N. Shah的猜想。
• 对于CM点，在谱隙假设下，通过在环面轨道上的周期界，得到了等分布结果。
• 本文推导出衰减估计 $\mu_z(E_h) \ll \min(z^K, z^{-K})$ 与积分界 $I_\pm \ll (\mathrm{N}(\mathfrak{f})T)^{\pm 1/2} (T\mathrm{Cond}(\chi))^{\epsilon} \|h\|_N$，这对 $L$-函数的次凸性至关重要。