[论文解读] An orthogonality relation for GL(4,R)

Dorian Goldfeld, Eric Stade+2 more|arXiv (Cornell University)|Oct 30, 2019

Advanced Algebra and Geometry参考文献 20被引用 5

一句话总结

该论文首次为实李群 GL(4,ℝ) 建立了显式的正交关系，并带有幂次改进的误差项，通过在 Kuznetsov 迹公式中采用新颖技术计算几何侧。该结果推广了经典 GL(1) 和 GL(2) 的正交性，为高秩群上的谱理论与数论提供了基础工具。

ABSTRACT

Orthogonality is a fundamental theme in representation theory and Fourier analysis. An orthogonality relation for characters of finite abelian groups (now recognized as an orthogonality relation on $\mathrm{GL}(1)$) was used by Dirichlet to prove infinitely many primes in arithmetic progressions. Orthogonality relations for $\mathrm{GL}(2)$ and $\mathrm{GL}(3)$ have been worked on by many researchers with a broad range of applications to number theory. We present here, for the first time, very explicit orthogonality relations for the real group $\mathrm{GL}(4,\mathbb{R})$ with a power savings error term. The proof requires novel techniques in the computation of the geometric side of the Kuznetsov trace formula. An appendix by Bingrong Huang gives new bounds for the relevant Kloosterman sums.

研究动机与目标

• 将此前仅对 GL(1) 和 GL(2) 已知的正交关系，以及对 GL(3) 部分成立的结果，推广至更高秩群 GL(4,ℝ)。
• 利用确保快速衰减的测试函数，通过 Kuznetsov 迹公式建立 SL(4,ℤ) 上 Maass 余形式的谱正交关系。
• 精确计算 GL(4) 的 Kuznetsov 迹公式几何侧，克服处理高秩 Kloosterman 和与 Whittaker 函数时的技术挑战。
• 在正交关系中实现幂次改进的误差项，优于文献中已有的平凡或较弱界。

提出的方法

• 利用 SL(4,ℤ) 上的 Kuznetsov 迹公式，将谱侧分解为尖点形式、Eisenstein 系列与连续谱的贡献。
• 采用 Poincaré 级数与傅里叶-Whittaker展开，将自守形式与 Whittaker 函数及谱参数联系起来。
• 对 GL(4) Whittaker 函数应用 Mellin 变换技术，分析极点与留数，将函数表示为逆 Mellin 变换。
• 通过将测试函数分解为 Mellin 变换的极点与留数，发展新颖的几何侧界，估计单、双、三重留数项的贡献。
• 采用 p-进方法控制 GL(4) 上的 Kloosterman 和，借鉴 Stevens 的方法并引入 ℤ_p 上指数和的新估计。
• 利用驻相位法与平移技巧控制误差项，最终在正交关系中实现幂次改进。

实验结果

研究问题

• RQ1 能否构造出类似于 GL(2) 和 GL(3) 已知结果的、带有幂次改进误差项的 GL(4,ℝ) 显式正交关系？
• RQ2 计算 GL(4) Kuznetsov 迹公式几何侧时，特别是处理高秩 Kloosterman 和与 Whittaker 函数时，需要哪些新颖技术？
• RQ3 如何利用 GL(4) Whittaker 函数的 Mellin 变换推导谱恒等式并有效控制误差项？
• RQ4 在 GL(4) 自守形式的背景下，p-进方法与留数分析在多大程度上可改进 Kloosterman 和的界？
• RQ5 是否能以足够精度控制 Kuznetsov 公式中连续谱的贡献，从而得到一个精确的正交关系？

主要发现

• 该论文首次为 GL(4,ℝ) 建立了带有幂次改进误差项的显式正交关系，适用于 SL(4,ℤ) 上的 Maass 余形式。
• 通过将测试函数的 Mellin 变换的极点与留数进行新颖分解，计算了 Kuznetsov 迹公式几何侧。
• 推导出 GL(4) Kloosterman 和的新界，显示 |S_{a,b,c}(ψ,ψ′;c,w₈)| ≤ C p^{r+s+t/2}，其中 C 依赖于谱参数，优于平凡界。
• 正交关系中的误差项被证明为 O(T^{-1/2 + ε})，实现了幂次改进。
• 通过谱方法与 p-进技术控制连续谱贡献，最终界依赖于两个指数项的最小值，在关键情形下实现 p^{9(t+r+s)/10} 的衰减速率。
• 该方法成功将 Bruggeman 与 Goldfeld–Kontorovich 的框架推广至 GL(4)，为高秩正交关系提供了蓝图。