[论文解读] On the density function for the value-distribution of automorphic $L$-functions

Kohji Matsumoto, Yumiko Umegaki|arXiv (Cornell University)|Jul 14, 2017

Analytic Number Theory Research参考文献 10被引用 4

一句话总结

该论文证明了在 $\Gamma_0(N)$ 上与本原形式相关的自守 $L$-函数的值分布存在极限测度，并通过显式构造的密度函数 $\mathcal{M}_\sigma(z, L_f)$ 建立了该测度的积分表示，利用一种针对自守 $L$-函数的新颖的 J essen-Wintner 型不等式，将 Bohr-Jessen 极限定理的适用范围从凸欧拉乘积推广至更一般情形。

ABSTRACT

The Bohr-Jessen limit theorem is a probabilistic limit theorem on the value-distribution of the Riemann zeta-function in the critical strip. Moreover their limit measure can be written as an integral involving a certaindensity function. The existence of the limit measure is now known for a quite general class of zeta-functions, but the integral expression has been proved only for some special cases (such as Dedekind zeta-functions). In this paper we give an alternative proof of the existence of the limit measure for a general setting, and then prove the integral expression, with an explicitly constructed density function, for the case of automorphic L-functions attached to primitive forms with respect to congruence subgroups Gamma_0(N).

研究动机与目标

• 将 Bohr-Jessen 极限定理推广至自守 $L$-函数，将极限测度的积分表达式扩展至非凸欧拉乘积的情形。
• 证明在 $\Gamma_0(N)$ 上与本原形式相关的自守 $L$-函数的极限测度 $W_\sigma(R; L_f)$ 的存在性。
• 构造一个显式的密度函数 $\mathcal{M}_\sigma(z, L_f)$，使得 $W_\sigma(R; L_f) = \int_R \mathcal{M}_\sigma(z, L_f) \, |dz|$ 成立。
• 通过证明一种专为自守情形设计的新不等式，克服以往方法依赖凸性或 J essen-Wintner 不等式的局限性。

提出的方法

• 使用 Matsumoto [11] 提出的推广方法证明极限测度 $W_\sigma(R; L_f)$ 的存在性，避免依赖凸性假设。
• 引入一类具有欧拉乘积的 zeta 函数，并将 Matsumoto [12] 的框架推广至该类函数。
• 为自守 $L$-函数建立一个新的 J essen-Wintner 型不等式（命题 7.3），该不等式是证明积分表示的核心。
• 通过倾角 $\Xi(\theta)$ 分析与对数 $L$-函数相关的平面曲线 $\Gamma_n$ 的切线行为，证明当 $n$ 足够大时该倾角单调递增。
• 利用 $q = e^{-2\pi t / n}$ 的渐近展开控制 $x(\theta)$ 与 $y(\theta)$ 的导数，得出关键估计 $\Xi'(\theta) = 1 + \frac{u_1^2}{v_1^2} + O(q)$。
• 通过证明切线角的单调递增性，确立曲线 $\Gamma_n$ 的凸性，从而说明在自守情形下 J essen-Wintner 不等式成立。

实验结果

研究问题

• RQ1 Bohr-Jessen 的积分表示 $W_\sigma(R; \zeta) = \int_R \mathcal{M}_\sigma(z, \zeta) \, |dz|$ 能否推广至自守 $L$-函数？
• RQ2 能否为自守 $L$-函数的值分布构造一个显式的密度函数 $\mathcal{M}_\sigma(z, L_f)$？
• RQ3 J essen-Wintner 不等式能否推广至非伽罗瓦性与非凸欧拉乘积的情形，如自守 $L$-函数？
• RQ4 自守 $L$-函数的值分布极限测度是否存在，并在不假设相关欧拉乘积凸性的前提下是否具有积分表示？

主要发现

• 对于所有 $\sigma > 1/2$，极限测度 $W_\sigma(R; L_f)$ 存在，且可表示为 $\int_R \mathcal{M}_\sigma(z, L_f) \, |dz|$，其中密度函数 $\mathcal{M}_\sigma(z, L_f)$ 为显式构造。
• 论文证明了自守 $L$-函数的一个新 J essen-Wintner 型不等式（命题 7.3），该不等式对积分表示至关重要，且不依赖于凸性假设。
• 与对数 $L$-函数相关的曲线 $\Gamma_n$ 在 $n$ 足够大时为凸曲线，因为其切线倾角 $\Xi(\theta)$ 单调递增，这源于 $\Xi'(\theta) = 1 + \frac{u_1^2}{v_1^2} + O(q)$。
• $\Xi'(\theta)$ 的渐近分析表明，曲率行为支持密度函数的存在性，且误差项由 $O(q)$ 控制（当 $q$ 较小时）。
• 该方法成功将 Bohr-Jessen 理论推广至自守 $L$-函数，尽管其欧拉乘积不具凸性，但通过以新分析不等式替代凸性条件实现了推广。