[论文解读] Weak subconvexity for central values of $L$-functions

K. Soundararajan|ArXiv.org|Sep 9, 2008

Analytic Number Theory Research参考文献 20被引用 4

一句话总结

本文提出了一种新方法，用于建立L-函数中心值的弱次凸界，相较于凸界实现了 $1/(ackslashmbox{log} C(\pi))^{1-\epsilon}$ 的改进。该方法结合傅里叶分析、Plancherel 公式与弱 Ramanujan 假设，对对称平方L-函数、三重积L-函数以及 $t$-方面中的自守形式L-函数实现了改进估计。

ABSTRACT

We describe a general method to obtain weak subconvexity bounds for many classes of $L$-functions. This has applications to a conjecture of Rudnick and Sarnak for the mass equidistribution of Hecke eigenforms (see arxiv.org:math/0809.1636).

研究动机与目标

• 开发一种方法，使中心 $L$-值的界优于凸界，但尚未达到完全次凸性。
• 处理真正次凸性无法实现但弱次凸性已足够满足应用的情形。
• 建立形如 $L(\frac{1}{2}, \pi) \ll C(\pi)^{\frac{1}{4}} / (\log C(\pi))^{1-\epsilon}$ 的界，适用于多种 $L$-函数。
• 提供一个基于弱 Ramanujan 假设的一般框架，即使在全 Ramanujan 猜想尚未证明时也适用。
• 展示弱次凸性在解决 Hecke 特征形式质量等分布问题中的实用性。

提出的方法

• 该方法采用傅里叶分析方法，将 $L$-函数平均转化为对 $y = \log t$ 的积分，对 $\tilde{\mathcal{O}}_{\underline{L}}(e^y, w)$ 应用 Plancherel 公式。
• 涉及 dyadic 分解与变量替换 $t = e^y$，将原积分转化为适合通过傅里叶变换进行 $L^2$-估计的形式。
• 核心技巧在于利用傅里叶变换对 von Mangoldt 型和 $\sum_{n \leq e^y} \Lambda_f(n)$ 的光滑误差项的 $L^2$-范数进行控制。
• 该方法两次应用 Plancherel 公式：首次作用于光滑误差算子，第二次作用于对数导数 $F'(1+\alpha+it)/F(1+\alpha+it)$。
• 利用弱 Ramanujan 假设控制系数大小，替代对全 Ramanujan 猜想的需求。
• 分析将积分划分为 $t$ 的低频与高频区域，利用对 $F'(s)/F(s)$ 和 $|1 - w^{-\alpha - it + i\tau_k}|$ 的已知界。

实验结果

研究问题

• RQ1 当完全次凸性仍不可达时，能否为自守 $L$-函数中心值建立弱次凸界？
• RQ2 在不实现幂次节省的情况下，能否通过对数因子改进分析导子中的凸界？
• RQ3 此类弱次凸界能否应用于解决算术量子唯一遍历性中的问题，如质量等分布？
• RQ4 该方法在大权的全模形式的对称平方 $L$-函数上表现如何？
• RQ5 该框架能否扩展至三重积 $L$-函数及 $GL(m)$ 自守表示的 $L$-函数？

主要发现

• 对对称平方 $L$-函数 $L(\frac{1}{2}+it, \text{sym}^2 f)$，建立了界 $|L(\frac{1}{2}+it, \text{sym}^2 f)| \ll_{\epsilon} \frac{k^{1/2}(1+|t|)^{3/4}}{(\log k)^{1-\epsilon}}$，相较于凸界实现了对数因子改进。
• 对三重积 $L$-函数 $L(\frac{1}{2}, f \times f \times \phi)$，得到了界 $L(\frac{1}{2}, f \times f \times \phi) \ll_{\phi,\epsilon} \frac{k}{(\log k)^{1-\epsilon}}$，同样实现了对数因子改进。
• 对 $L(\frac{1}{2}+it, \pi_0)$，其中 $\pi_0$ 固定在 $GL(m_0)$ 上，有界 $|L(\frac{1}{2}+it, \pi_0)| \ll_{\pi_0,\epsilon} \frac{(1+|t|)^{m_0/4}}{(\log(1+|t|))^{1-\epsilon}}$。
• 对 $L(\frac{1}{2}, \pi_0 \times \chi)$，其中 $\chi$ 是模 $q$ 的本原 Dirichlet 特征，证明了界 $L(\frac{1}{2}, \pi_0 \times \chi) \ll_{\pi_0,\epsilon} \frac{q^{m_0/4}}{(\log q)^{1-\epsilon}}$。
• 该方法适用于满足弱 Ramanujan 假设的 $L$-函数，即使全 Ramanujan 猜想未被证明，也能得出结果。
• 该框架在与 Holowinsky 的筛法结合时，可解决 Rudnick-Sarnak 质量等分布猜想。