[论文解读] Computing special values of motivic L-functions

Tim Dokchitser|arXiv (Cornell University)|Jul 30, 2002

Advanced Algebra and Geometry被引用 5

一句话总结

本文提出了一种通用算法，可对动机 L-函数的特殊值及其导数进行任意精度的数值计算，利用函数方程和 Meijer G-函数的幂级数展开。该方法适用于任意形式为 ∏Γ((s+λj)/2) 的 Γ-因子的 L-函数，能够验证函数方程，并计算复数 s 处的 L(s) 和 L^(k)(s)。

ABSTRACT

We present an algorithm to compute values L(s) and derivatives of L-functions of motivic origin numerically to required accuracy. Specifically, the method applies to any L-series whose Gamma-factor is a product of any number of Gamma-functions Gamma((s+l(j))/2) with complex l(j), not necessarily distinct. The algorithm relies on the known (or conjectural) functional equation for L(s).

研究动机与目标

• 开发一种通用算法，用于对动机 L-函数的特殊值进行任意精度的数值计算。
• 将现有计算方法扩展至低维情形以外的范围（例如，亏格 g > 1 的曲线），克服以往方法的局限性。
• 提供一个在假设解析开拓存在且已知函数方程的前提下运行的框架，无需额外的算术约束。
• 实现函数方程的数值验证，并为深奥猜想（如 Birch–Swinnerton-Dyer 和 Bloch–Kato）提供支持性证据。

提出的方法

• 该方法利用函数方程 L*(s) = εL*(w−s)，将临界带内的值与收敛半平面内的值关联起来。
• 将 L-函数表示为涉及 Meijer G-函数的积分变换，这些 Meijer G-函数由 Γ-因子的逆 Mellin 变换导出。
• 推导 Meijer G-函数在原点附近的幂级数展开，以实现数值求值。
• 对大 |s| 的情形，使用 Meijer G-函数的渐近展开和连分数逼近。
• 该算法在 PARI/GP 中实现，支持任意精度算术、复数运算，以及 Γ-函数的洛朗级数/泰勒级数。
• 通过高精度验证函数方程进行数值检查，即使在不变量被猜测的情况下也能确保结果的可靠性。

实验结果

研究问题

• RQ1 是否能够对具有任意 Γ-因子的动机 L-函数的特殊值进行高精度的数值计算？
• RQ2 如何对高维动机的 L-函数实现函数方程的数值验证？
• RQ3 Meijer G-函数在表示和计算具有通用 Γ-因子的 L-函数中起到何种作用？
• RQ4 数值计算能否为高亏格情形下的 Birch–Swinnerton-Dyer 猜想提供可靠证据？
• RQ5 在标准级数不收敛时，哪些计算技术可实现对 L(s) 及其导数的精确评估？

主要发现

• 该算法可成功计算任意复数 s 处的 L(s) 及其导数，适用于任意形式为 ∏Γ((s+λj)/2) 的 Γ-因子，包括维度 d ≥ 1 的动机。
• 该方法可实现对函数方程的高精度数值验证，作为计算结果一致性的检验手段。
• 已提供对黎曼 ζ-函数、狄利克雷 L-函数、戴德金 ζ-函数、神田的 ζ-函数、模形式，以及亏格 1 至 4 曲线的 L-函数的实现。
• 即使某些不变量（如导子、局部因子）未知或被猜测，只要假设函数方程成立，该算法仍具鲁棒性。
• 利用 Meijer G-函数展开可实现整个复平面上的精确求值，克服了狄利克雷级数收敛性限制。
• PARI/GP 实现公开可用，支持任意精度算术，可满足研究级应用的高精度计算需求。