[论文解读] A general Voronoi summation formula for GL(n,Z)

Stephen D. Miller, Wilfried Schmid|ArXiv.org|Dec 6, 2009

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

一句话总结

本文利用自守分布理论，将 Voronoi 求和公式从 $GL(3)$ 推广至任意 $n$ 的 $GL(n,\mathbb{Z})$ 自守形式，将此前针对 $GL(3)$ 的结果推广至一般 $n$。通过包含阿基米德 $L$-函数因子的积分核，建立了傅里叶系数与变换后测试函数之间的对偶性，为解析数论提供了强大工具，适用于次凸性估计与 $L$-函数上界研究。

ABSTRACT

In an earlier paper we derived an analogue of the classical Voronoi summation formula for automorphic forms on GL(3), by using the theory of automorphic distributions. The purpose of the present paper is to apply this theory to derive the analogous formulas for GL(n).

研究动机与目标

• 将 $GL(3)$ 的 Voronoi 求和公式推广至一般 $GL(n)$（$n \geq 2$），适用于全水平尖形式。
• 基于自守分布建立 Voronoi 求和公式的统一框架，适用于广义 Hecke 特征形式之外的情形。
• 推导出 Voronoi 公式中测试函数之间的积分变换，推广傅里叶变换与 Mellin 变换的对偶性。
• 为将次凸性与 $L$-函数上界推广至高秩 $GL(n)$ 自守 $L$-函数奠定基础。
• 通过赋予经典构造的阿代尔化形式，建立适用于一般同余子群的公式。

提出的方法

• 利用自守分布推导 $GL(n)$ 的 Voronoi 求和公式，推广 $GL(3)$ 情形的处理方法。
• 通过包含 $|x_j|^{-\lambda_j}$、$\operatorname{sgn}(x_j)^{\delta_j}$ 及指数因子 $e(-x_j)$ 的多维积分，定义积分变换 $f \mapsto F$。
• 建立 Mellin 变换对偶性：$M_\delta F(s) = (-1)^{n\delta} \prod_{j=1}^n G_{\delta_j + \delta}(s - \lambda_j + 1) \cdot M_\delta f(-s)$，其中 $G_\delta(s)$ 为 Gamma 因子。
• 对经典公式进行阿代尔化重构，以扩展其在一般同余子群上的适用性，假设具备类似 Atkin-Lehner 的信息。
• 利用 Casselman 嵌入定理，确保阿代尔局部成分的表示参数 $(\lambda, \delta) \in \mathbb{C}^n \times (\mathbb{Z}/2\mathbb{Z})^n$ 存在。
• 证明公式在 $\lambda, \delta$ 的选择上保持不变（至多同时置换指标），且对偶性结构得以保持。

实验结果

研究问题

• RQ1 如何将 $GL(3)$ 的 Voronoi 求和公式推广至任意 $n \geq 2$ 的 $GL(n)$？
• RQ2 在 $GL(n)$ 情形下，Voronoi 公式中测试函数之间积分变换的正确推广形式是什么？
• RQ3 自守分布方法如何实现 $GL(n)$ 上公式推导的统一性？
• RQ4 阿代尔 $L$-函数因子 $G_\delta(s)$ 在 $f$ 与 $F$ 之间的对偶性中起什么作用？
• RQ5 该公式能否推广至非全水平同余子群？若可，需要哪些附加数据？

主要发现

• 本文建立了 $GL(n,\mathbb{Z})$ 尖形式的广义 Voronoi 求和公式，将带指数和测试函数加权的傅里叶系数和，与包含 Kloosterman 类型和的对偶和联系起来。
• 变换 $f \mapsto F$ 通过多维积分定义，推广了傅里叶变换，并通过 $G_\delta(s)$ 函数引入了阿代尔 $L$-因子。
• Mellin 变换对偶性 $M_\delta F(s) = (-1)^{n\delta} \prod_{j=1}^n G_{\delta_j + \delta}(s - \lambda_j + 1) \cdot M_\delta f(-s)$ 在测试函数之间建立了精确的解析联系。
• 该公式适用于非 Hecke 特征形式，且在 $\lambda, \delta$ 的选择上至多通过指标的同步置换保持不变。
• 阿代尔形式使公式可推广至一般同余子群，前提是获得关于傅里叶系数的附加信息（类比 Atkin-Lehner 理论）。
• 该结果推广了经典 Poisson 求和公式及 $GL(2)$、$GL(3)$ 的 Voronoi 公式，将它们统一于 $GL(n)$ 的单一框架之下。