[论文解读] Central value of automorphic $L-$functions

Ehud Moshe Baruch, Zhengyu Mao|ArXiv.org|Jan 11, 2003

Advanced Algebra and Geometry参考文献 10被引用 6

一句话总结

本文通过将Waldspurger公式重新解释为全局adele分布的等式，将该公式推广至全实数域，建立了全模形式的傅里叶系数与整权形式的中心扭曲L-值之间的精确联系。关键成果是无需二次扭结限制的Kohnen-Zagier公式的新adele形式表述，并证明了半整权形式的Ramanujan猜想与整权L-函数的Lindelöf假设的一个特例之间的等价性。

ABSTRACT

We prove a generalization to the totally real field case of the Waldspurger's formula relating the Fourier coefficient of a half integral weight form and the central value of the L-function of an integral weight form. Our proof is based on a new interpretation of Waldspurger's formula in terms of equality between global distributions. As applications we generalize the Kohnen-Zagier formula for holomorphic forms and prove the equivalence of the Ramanujan conjecture for half integral weight forms and a case of the Lindelof hypothesis for integral weight forms. We also study the Kohnen space in the adelic setting.

研究动机与目标

• 将Waldspurger公式从$ \mathbb{Q} $推广至全实数域，该公式关联了半整权形式的傅里叶系数与整权形式的中心L-值。
• 将Waldspurger公式重新解释为全局adele分布的等式，从而可通过相对迹公式技术进行系统比较。
• 在半整权模形式的Ramanujan猜想与整权L-函数的Lindelöf假设的一个特例之间建立等价性。
• 通过消除二次扭结限制，将Kohnen-Zagier公式推广至adele框架。

提出的方法

• 在全实域的adele环上定义全局分布$ I $与$ J $，将其分解为局部分布$ I_v $与$ J_v $的乘积。
• 利用theta对应理论与Shimura对应，将$ PGL_2 $上的自守表示$ \pi $与$ \widetilde{SL}_2 $上的$ \tilde{\pi} $联系起来。
• 通过比较全局与局部分布，建立等式$ c_1 = c_2 $，其中$ c_1 $为$ \pi $的中心L-值，$ c_2 $为$ \tilde{\pi} $的傅里叶系数的平方。
• 应用相对迹公式与局部Waldspurger理论，匹配所有位置$ v $（包括实位与2-adic位）的局部分量$ I_v $与$ J_v $。
• 利用Whittaker周期与$ \varepsilon $-因子的显式公式，计算有限位与实位的局部因子$ e(\varphi_v, \psi) $与$ e(\tilde{\varphi}_v, \psi^{|D|}) $。
• 将adele结果转化为经典模形式语言，恢复并推广了无二次扭结限制的Kohnen-Zagier公式。

实验结果

研究问题

• RQ1 如何将Waldspurger公式从$ \mathbb{Q} $推广至全实数域？
• RQ2 Waldspurger公式作为全局分布等式的正确adele解释是什么？
• RQ3 在此框架下，能否建立半整权形式的Ramanujan猜想与Lindelöf假设特例之间的等价性？
• RQ4 如何消除二次扭结限制，将Kohnen-Zagier公式推广？
• RQ5 局部因子与$ \varepsilon $-因子在所有位置（包括$ v=2 $）的中心L-值恒等式中起什么作用？

主要发现

• 本文证明了整权尖形式$ f $的中心扭曲L-值$ L(f, D, k) $与对应半整权形式$ g $的傅里叶系数平方$ |c(|D|)|^2 $成正比，比例常数包含$ |D|^{k-1/2} $、$ \pi^k $与$ (k-1)! $。
• 定理10.1中建立了广义的Kohnen-Zagier公式，消除了二次扭结必须为基本形式的限制，且对所有$ D \in \mathbb{Q}^{\epsilon(S)}(\pi) $成立。
• 证明了半整权形式的Ramanujan猜想与Lindelöf假设特例之间的等价性，表明Ramanujan界$ |c(n)| \ll n^{k/2} $等价于对所有$ \epsilon > 0 $有$ L(f, D, k) \ll |D|^{\epsilon} $。
• 在位置$ v=2 $，局部因子校正被证明为$ 2|D|_2 $或$ 2(1+q^{-1})^{-1} $，具体取决于$ D $的同余类，这对匹配经典$ L(f, D, k) $至关重要。
• adele表述确认了恒等式$ |d_{\tilde{\pi}}(S, \psi^D)|^2 = |d_\pi(S, \psi^D)|^2 L^S(\pi, 1/2) $在全局成立，且通过theta对应与Whittaker模型实现了精确的局部匹配。
• 证明表明空间$ \widetilde{A}^+_{k+1/2}(4N, \chi) \cap V_{\tilde{\pi}^{\epsilon(S)}} $是一维的，从而确保了对应半整权形式$ g_S(z) $的唯一性。