[论文解读] Triple Shifted Sums of Automorphic L-Functions

Thomas A. Hulse|arXiv (Cornell University)|Aug 22, 2013

Analytic Number Theory Research参考文献 18被引用 6

一句话总结

本文利用谱理论与复分析，建立了与偶权 $k > 0$ 的全纯尖点形式相关的自守 L-函数的三重平移和的渐近行为。证明该和收敛于三重乘积 $T^{\times}_{f_1,f_2,f_3}(1 - k/2, k/2, 1/2 - k/2)$ 的特殊值加上一个 $\mathcal{O}(X^{-1/2 + \varepsilon})$ 阶的误差项，为导数量方面子凸界提供了关键步骤。

ABSTRACT

In this work we provide a meromorphic continuation in three complex variables of two types of triple shifted convolution sums of Fourier coefficients of holomorphic cusp forms. The foundations of this construction are based in the continuation of the spectral expansion of a special truncated Poincaré series recently developed by Jeffrey Hoffstein. As a result we are able to produce previously unstudied and nontrivial asymptotics of truncated shifted sums which we expect to correspond to off-diagonal terms in the third moment of automorphic L-functions.

研究动机与目标

• 分析与偶权 $k > 0$ 的全洁尖点形式相关的自守 L-函数平移和的谱展开。
• 将平移和理论推广至三重和情形，将双和技巧推广至高阶相关性。
• 在导数量方面推导三重平移和的渐近公式，并给出显式的误差界。
• 研究相关三重 zeta 函数 $Z^{\times}_{f,\nu}(s,w)$ 的解析延拓与极点结构。
• 证明主项来自三重乘积 $T^{\times}_{f_1,f_2,f_3}$ 的特殊值，且在临界极点处留数为零。

提出的方法

• 利用截断 Poincaré 级数的谱展开，将平移和表示为与 Eisenstein 级数及尖点形式的内积。
• 应用积分变换方法，特别是 Mellin-Barnes 积分，通过双重与三重围线积分表示三重和。
• 运用 Bochner 的凸性定理与解析延拓技术，将 Dirichlet 级数 $Z^{\times}_{f,\nu}(s,w)$ 的收敛域延拓。
• 分析三重和函数 $D^{\times}_{f,\nu}(s;h)$ 与 $Z^{\times}_{f,\nu}(s,w)$ 的亚纯延拓，识别极点与留数。
• 在多个复变量中进行围线平移，通过衰减估计控制误差项并分离主项。
• 证明在 $s_2 = k/2$ 处的留数因谱分量中的抵消而消失，从而主项为三重乘积 $T^{\times}_{f_1,f_2,f_3}$ 的特殊值。

实验结果

研究问题

• RQ1 在导数量方面，自守 L-函数三重平移和的渐近行为是什么？
• RQ2 在三重和情形下，谱分量与 Eisenstein 级数的贡献如何结合？
• RQ3 三重 zeta 函数 $Z^{\times}_{f,\nu}(s,w)$ 的极点与留数性质如何？它们是否对主项有贡献？
• RQ4 渐近展开中的误差项能否被 $\mathcal{O}(X^{-1/2 + \varepsilon})$ 控制？
• RQ5 在何种条件下，留数 $R^{\times}_{f_1,f_2,f_3}(s_1)$ 恒为零？这对主项意味着什么？

主要发现

• 当 $X \to \infty$ 时，三重平移和收敛于特殊值 $T^{\times}_{f_1,f_2,f_3}(1 - k/2, k/2, 1/2 - k/2)$，即渐近展开的主项。
• 渐近展开中的误差项对任意 $\varepsilon > 0$ 满足 $\mathcal{O}_{f_1,f_2,f_3}(X^{-1/2 + \varepsilon})$，且在形式 $f_1, f_2, f_3$ 上一致。
• $s_2 = 1 - s_1$ 处的留数 $R^{\times}_{f_1,f_2,f_3}(s_1)$ 恒为零，因此该极点不产生额外的主项。
• 平移围线中的双重积分项为 $\mathcal{O}(X^{-1/2 + \varepsilon})$，确认其贡献可忽略。
• 最终的单重积分项被证明等于特殊值 $T^{\times}_{f_1,f_2,f_3}(1 - k/2, k/2, 1/2 - k/2)$ 加上一个同阶的更小误差项。
• 在 $s_2 = k/2$ 处留数的消失确保主项不发散，而是一个良定义的三重乘积特殊值。