[论文解读] The subconvexity bound for triple product L-function in level aspect

Yueke Hu|arXiv (Cornell University)|Apr 6, 2014

Analytic and geometric function theory参考文献 7被引用 4

一句话总结

本文在水平方面建立了三重乘积L函数的次凸界，通过允许联合分歧、更高水平、一般单位酉中心特征标以及任意局部ε因子，推广了Venkatesh与Woodbury的工作。通过在其中一个表示具有足够高阶时显式计算局部积分，推导出一个简洁公式，从而得到形如 $ L(\Pi,1/2) \ll \mathrm{Nm}(\mathcal{N})^{1-1/12} $ 的次凸界，将先前结果扩展至更宽松的假设条件。

ABSTRACT

In this paper we generalized Venkatesh and Woodbury's work on the subconvexity bound of triple product L-function in level aspect, allowing joint ramifications, higher ramifications, general unitary central characters and general special values of local epsilon factors. In particular we derived a nice general formula for the local integrals whenever one of the representations has sufficiently higher level than the other two.

研究动机与目标

• 将Venkatesh与Woodbury对三重乘积L函数的次凸界结果推广至具有联合分歧和更高水平的情形。
• 消除对平凡中心特征标和局部ε因子恒等于1的限制性假设。
• 当其中一个表示的水平远高于其余两个时，推导出局部积分的一般显式公式。
• 在更广泛条件下，于水平方面建立次凸界 $ L(\Pi,1/2) \ll \mathrm{Nm}(\mathcal{N})^{1-1/12} $。
• 提供一个适用于一般单位酉 cuspidal 自守表示且具有任意中心特征标的框架。

提出的方法

• 采用通过放大法控制全局积分并归约为全局矩阵系数估计的策略。
• 利用涉及局部积分 $ I_v $ 的 $ L(\Pi,1/2) $ 的积分表示，将其与 $ \mathrm{GL}_2 $ 上的矩阵系数关联。
• 当 $ c_3 \geq 2\max\{c_1,c_2,1\} $ 时，显式计算 $ \mathrm{GL}_2({\mathbb{F}}_v) $ 上的局部积分 $ \int \prod_{i=1}^3 \Phi_i(g) \, dg $，得到包含 $ A $ 和 $ B $ 的闭式表达。
• 利用对Ramanujan猜想的估计，证明 $ A $ 和 $ B $ 与1保持正距离，从而确保局部积分有正的下界。
• 应用展开技巧与谱分解，控制放大法中Eisenstein级数的贡献。
• 使用柯西-施瓦茨不等式及自守形式的 $ \ell^2 $-范数估计，控制放大论证中全局矩阵系数的大小。

实验结果

研究问题

• RQ1 三重乘积L函数的次凸界是否可推广至非不相交分歧与非平方自由导子的情形？
• RQ2 当一个表示的水平远高于其余两个时，尤其在存在分歧的情况下，局部积分 $ I_v $ 的行为如何？
• RQ3 一般单位酉中心特征标与非平凡局部ε因子如何影响次凸界？
• RQ4 能否在高阶水平区域推导出局部积分的统一且显式的公式，且独立于表示的具体结构？
• RQ5 放大法在水平方面处理非平凡中心特征标与联合分歧时，其适用范围在多大程度上可被拓展？

主要发现

• 推导出局部积分的一般公式：$ \int \prod_{i=1}^3 \Phi_i(g) \, dg = \frac{(1-A)(1-B)}{(q+1)q^{c_3-1}} $，当 $ c_3 \geq 2\max\{c_1,c_2,1\} $ 时成立，其中 $ A, B $ 仅依赖于 $ \pi_{1,v} $ 和 $ \pi_{2,v} $。
• 由于对Ramanujan猜想的估计，$ A $ 和 $ B $ 与1保持正距离，从而保证了局部积分的非零下界。
• 本文在水平方面建立了次凸界 $ L(\Pi,1/2) \ll \mathrm{Nm}(\mathcal{N})^{1-1/12} $，适用于固定 $ \pi_1, \pi_2 $ 且 $ \pi_3 $ 的导子 $ \mathcal{N} $ 变化的场合，即使存在联合分歧与一般中心特征标。
• 该结果推广了以往工作，消除了对平凡中心特征标、平方自由导子及 $ \epsilon_v(\Pi,1/2) = 1 $ 的假设。
• 局部积分的显式公式在形式上出人意料地简洁，尤其相较于以往的逐案计算。
• 该方法成功处理了三个表示均为超临界的情形，克服了以往基于Rankin-Selberg积分方法的局限性。