[论文解读] Sum formula for Kloosterman sums and fourth moment of the Dedekind zeta-function over the Gaussian number field

Roelof W. Bruggeman, Yoichi Motohashi|ArXiv.org|May 7, 2002

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

一句话总结

本文为高斯数域 Q(i) 上的 Kloosterman 和建立了完整的谱和公式，将 Kuznetsov 理论扩展至 PSL₂(C)，涵盖所有 K-类型。它推导出 Dedekind zeta 函数 ζ_F(1/2 + it) 的四阶矩的显式谱展开，表明谱项主导于 M_F(g) 项，这与有理数域中 M_F(g) 为主项的情况形成对比，为未来研究类数为一的数域上 L-函数的分析奠定了基础。

ABSTRACT

We prove the Kloosterman-Spectral sum formula for PSL(2,Z[i])\PSL(2,C), and apply it to derive an explicit spectral expansion for the fourth power moment of the Dedekind zeta function of the Gaussian number field. This sum formula allows the extension of the spectral theory of Kloosterman sums to all algebraic number fields.

研究动机与目标

• 为高斯数域 F = Q(i) 上的 Kloosterman 和发展完整的谱和公式，将 Kuznetsov 理论扩展至 PSL₂(R) 之外。
• 推导 Dedekind zeta 函数 ζ_F(1/2 + it) 的四阶矩的显式谱分解，类似于对 Riemann zeta 函数已知的结果。
• 解决四阶矩中 M_F(g) 项不占主导的结构性差异问题，与有理数域中的情况相反。
• 为研究类数为一的虚二次与实二次域上 L-函数的高阶矩和谱平均值提供基础。

提出的方法

• 通过自守形式的谱理论，为 PSL₂(C) 上的 PSL₂(Z[i]) 离散子群推导出包含所有 K-类型的广义 Kuznetsov 型和公式。
• 在和公式中反演 Bessel 变换，这是此前仅在 PSL₂(R) 及其覆叠上实现过的非平凡步骤。
• 利用 Jacquet 与 Goodman–Wallach 算子控制谱分量，确保所有 K-类型下和公式的完备性。
• 将和公式应用于将四阶矩 ∫|ζ_F(1/2 + it)|⁴g(t)dt 表示为谱项与 M_F(g) 项之和，通过积分变换实现。
• 通过将 Kloosterman 和的和与 PSL₂(Z[i])\PSL₂(C) 上自守形式的傅里叶系数关联，建立四阶矩的谱分解。
• 借助已知的 Bessel 变换与 Eisenstein 级数傅里叶展开结果，验证谱分解并分析渐近行为。

实验结果

研究问题

• RQ1 如何将 Kuznetsov 和公式推广至 PSL₂(C)，涵盖所有 K-类型，而非仅 K-平凡表示？
• RQ2 高斯数域 Q(i) 上 Dedekind zeta 函数 ζ_F(1/2 + it) 的四阶矩的谱分解是什么？
• RQ3 为何在 ζ_F 的四阶矩中，M_F(g) 项无法主导谱项，而有理数域中却是如此？
• RQ4 PSL₂(C) 上的谱和公式能否用于分析类数为一的数域上 L-函数的高阶矩或平均值？
• RQ5 ζ_F 的谱展开结构在渐近意义上与 Riemann zeta 函数的谱展开相比如何？

主要发现

• 本文建立了定理 13.1，即在 PSL₂(Z[i]) 为格点的 PSL₂(C) 上，对所有 K-类型，Kloosterman 和的完整谱和公式。
• ζ_F(1/2 + it) 的四阶矩具有显式谱展开（定理 14.1），通过积分变换表示为谱项与 M_F(g) 项之和。
• 与有理数域情况不同，M_F(g) 项在渐近展开中并非主项；谱项占主导，如由下界估计 ∫_{-T}^T |ζ_F(1/2 + it)|⁴ dt ≫ T log⁸T 所示。
• M_F(g) 的结构与有理数域中 M_Q(g) 的结构相似，其在 p_{1/2} 处的奇点阶数至多为 4，但并不产生主项。
• 该和公式是首个将 Kuznetsov 型谱理论扩展至 PSL₂(C) 上非 K-平凡表示的公式，为自守形式与 L-函数的新应用铺平道路。
• 本研究结果为未来研究四阶矩的 Mellin 变换及 H_V(1/2) 的谱平均值奠定基础，亦可推广至实二次域。