[论文解读] Evaluating Whittaker functions and Maass forms for SL(3,Z)

Borislav Mezhericher|ArXiv.org|Oct 18, 2009

Advanced Algebra and Geometry参考文献 6被引用 3

一句话总结

本文提出并基准测试了用于数值计算 SL(3,Z) 上雅克布 Whittaker 函数的算法，确定了通过其傅里叶展开计算 Maass 形式最有效的方法。作者将该方法应用于一个已知 Langlands 参数的通用 Maass 形式，发现在 SL(3,Z)-等价点处的数值结果高度一致，为该形式的自守性提供了强有力的数值证据。

ABSTRACT

We present and compare several algorithms for evaluating Jacquet's Whittaker functions for SL(3, Z). The most suitable algorithm is then applied to the problem of evaluating a Maass form for SL(3, Z) with known eigenvalues and Fourier coefficients.

研究动机与目标

• 开发并比较用于计算 SL(3,Z) 上雅克布 Whittaker 函数的计算算法，这是高秩自守形式中的一个关键挑战。
• 通过戈德菲尔德的形式化方法，利用其傅里叶展开实现对 SL(3,Z) 上 Maass 形式的数值实验。
• 为测试关于 L-函数和自守形式的假设提供计算工具，特别是鉴于近期发现了度数为 3 的 L-函数。
• 为比安与布克尔发现的一个通用 Maass 形式的自守性提供数值证据。
• 解决高秩 Whittaker 函数计算结果稀缺的问题，此前这限制了数值探索的范围。

提出的方法

• 本文采用 Barnes 型积分和 Mellin-Barnes 表示法，将 Whittaker 函数表示为 gamma 函数比值的围线积分。
• 通过移动围线并求和留数，对这些积分进行数值计算，使用 Pochhammer 符号和已知的 gamma 函数留数公式。
• 基于性能基准测试选择一种关键算法：通过固定乘积 $ D = (m_1 y_1)^2 m_2 y_2 $，显著降低每次计算的计算成本，从而高效评估 Whittaker 函数。
• 通过在 $ m_1, m_2 $ 和 $ c,d $ 上求和来计算 Maass 形式的傅里叶展开，其中 $ ext{gcd}(c,d)=1 $，$ c \geq 1 $，并利用指数衰减特性以及对 $ |cz_2 + d| $ 的有界性推导截断条件。
• 该方法将优化后的 Whittaker 函数评估应用于计算广义上半平面 $ \mathfrak{h}^3 $ 中特定点处的 Maass 形式值，包括单位矩阵点和在 $ SL(3,\mathbb{Z}) $ 作用下的变换点。
• 通过在贡献低于 $ 10^{-12} $ 时截断求和来控制数值精度，并通过比较群作用下等价点处的值来验证收敛性。

实验结果

研究问题

• RQ1 用于数值计算 SL(3,Z) 上雅克布 Whittaker 函数的最高效算法是什么？
• RQ2 能否通过其傅里叶展开和 Whittaker 函数评估准确计算 SL(3,Z) 上的 Maass 形式？
• RQ3 SL(3,Z) 等价点处 Maass 形式的取值如何比较，这对自守性意味着什么？
• RQ4 考虑到仅约 20 个系数就足以检测 L-函数，高精度计算所需的傅里叶系数数量在多大程度上超出预期？
• RQ5 在等价点处的数值一致性能否作为候选 Maass 形式自守性的证据？

主要发现

• 基于固定 $ D = (m_1 y_1)^2 m_2 y_2 $ 的 Whittaker 函数评估算法在 Maass 形式计算中表现最高效。
• 在单位矩阵处评估提升后的 Maass 形式，最多需要 1806 个傅里叶系数，且在 Pentium D 2.80GHz 上耗时达 972 秒，精度保持在 $ 10^{-12} $ 以内。
• 对于具有 Langlands 参数 $ (-14.141638, -2.380388, 16.522027) $ 的通用 Maass 形式，$ z_0 $ 和 $ \gamma z_0 $（$ \gamma \in SL(3,\mathbb{Z}) $）处的值在虚部相差 $ 10^{-4} $ 内，实部相差 $ 10^{-3} $ 内。
• 在多个测试点处 $ f(z_0) $ 与 $ f(\gamma z_0) $ 的一致性为比安示例的自守性提供了强有力的数值证据。
• 尽管所需系数数量较多（例如 $ r = 26.056918 $ 时需 861 个系数），该方法仍实现了高精度计算，暗示在对称展开中可能存在优化空间。
• 结果表明，高秩 Maass 形式的数值计算是可行的，并能为自守 L-函数提供有意义的洞见。