[论文解读] Mean values of L-functions and symmetry

J. Brian Conrey, David W. Farmer|ArXiv.org|Dec 13, 1999

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

一句话总结

本文确立了L-函数族的对称类型决定了其均值与截断均方值的行为，利用与Barnes–Vignéras $Γ_2$-函数及自相似函数的联系。文章给出了均值猜想中常数$g_k$的显式渐近公式，将其与对称类型（正交、酉、辛）关联，并通过Stirling型展开与zeta函数导数，精确推导出当$k \to \infty$时$g_k$的对数渐近行为。

ABSTRACT

Recently Katz and Sarnak introduced the idea of a symmetry group attached to a family of L-functions, and they gave strong evidence that the symmetry group governs many properties of the distribution of zeros of the L-functions. We consider the mean-values of the L-functions and the mollified mean-square of the L-functions and find evidence that these are also governed by the symmetry group. We use recent work of Keating and Snaith to give a complete description of these mean values. We find a connection to the Barnes-Vignéras $Γ_2$-function and to a family of self-similar functions.

研究动机与目标

• 研究L-函数族的对称类型如何决定其均值渐近行为。
• 将关于黎曼zeta函数矩的民间猜想推广至具有指定对称类型（正交、酉、辛）的更广泛L-函数族。
• 推导出均值猜想中出现的常数$g_k$的精确渐近公式，将其与算术常数$a_k$及对称群参数联系起来。
• 将$g_k$的渐近行为与特殊函数（特别是Barnes–Vignéras $Γ_2$-函数）以及来自$p$-进展开的自相似函数联系起来。
• 利用解析数论工具，为不同对称类型下$L$-函数矩的增长提供统一框架。

提出的方法

• 使用Katz与Sarnak关于对称类型的猜想框架，根据其关联的对称群（O, U, Sp）对L-函数族进行分类。
• 应用Keating与Snaith关于随机矩阵特征多项式矩的最新结果，以建模$L$-函数的均值。
• 通过Stirling公式与Euler–Maclaurin求和公式，对阶乘与双阶乘的对数和进行渐近展开，推导出$g_k$的渐近展开。
• 依赖Montgomery与Vaughan关于Dirichlet多项式的均值定理，将$g_k$定义为捕捉$\zeta(s)^k$均方值所需的长度为$T$的多项式数量的度量。
• 分析实数的$p$-进展开，定义自相似函数$c_p(x)$与$v_p(g_{k,O})$，并证明当$j \to \infty$时，其极限收敛于分形-like结构。
• 利用Barnes–Vignéras $Γ_2$-函数，将$g_k$的渐近行为表达为Riemann zeta函数及其导数的特殊值形式。

实验结果

研究问题

• RQ1 L-函数族的对称类型如何影响其均值渐近增长？
• RQ2 出现在$L$-函数矩猜想性均值公式中的常数$g_k$的精确渐近行为是什么？
• RQ3 常数$g_k$能否用特殊函数（如Barnes–Vignéras $Γ_2$-函数）表示？
• RQ4 算术常数$a_k$与对称群参数如何相互作用，以决定$L$-函数矩的增长率？
• RQ5 L-函数的截断均方值与来自$p$-进展开的自相似函数之间有何联系？

主要发现

• 对于酉对称类型，当$k \to \infty$时，有$\log g_{k,U} = k^2 \log k + \left(\frac{1}{2} - 2\log 2\right)k^2 + O(k \log k)$。
• 对于正交对称类型，有$\log g_{k,O} = \frac{1}{2}k^2 \log k + \left(\frac{1}{4} - \log 2\right)k^2 + O(k \log k)$，其中显式常数涉及$\zeta'(-1)$与$\zeta'(0)$。
• 辛对称情形下，有$\log g_{k,Sp} = \frac{1}{2}k^2 \log k + \left(\frac{1}{4} - \log 2\right)k^2 + O(k \log k)$，其主项与正交情形一致，但低阶系数不同。
• 常数$g_k$受对称类型控制，且对黎曼zeta函数有$g_1 = 1$、$g_2 = 2$，与酉情形一致。
• 当$j \to \infty$时，$v_p(g_{k,O})/p^j$的极限收敛于自相似函数$\frac{1}{2} x c_p(x)$，其中$c_p(x)$为与$||x||^2$相关的分形-like函数。
• 通过Stirling型展开与Euler–Maclaurin求和，推导出$g_k$的渐近性，得到包含$\zeta^\prime(-1)$、$\zeta^\prime(0)$与对数项的精确对数展开。