[论文解读] Lower-Order Biases Second Moments of Dirichlet Coefficients in Families of $L$-Functions

Megumi Asada, Ryan Chen+10 more|arXiv (Cornell University)|Aug 18, 2018

Analytic Number Theory Research参考文献 23被引用 3

一句话总结

本文研究了L-函数族中狄利克雷系数二阶矩的低阶偏差，特别聚焦于椭圆曲线、狄利克雷特征标和全纯模形式。通过上同调技巧与显式特征和计算，作者证明了在许多族中，二阶矩展开中最大的非平均化低阶项在平均意义上始终为负，支持偏差猜想，并将其与过剩秩猜想及中心点附近的零点分布联系起来。

ABSTRACT

Let $\mathcal E: y^2 = x^3 + A(T)x + B(T)$ be a nontrivial one-parameter family of elliptic curves over $\mathbb{Q}(T)$, with $A(T), B(T) \in \mathbb Z(T)$, and consider the $k$ extsuperscript{th} moments $A_{k,\mathcal{E}}(p) := \sum_{t (p)} a_{\mathcal{E}_t}(p)^k$ of the Dirichlet coefficients $a_{\mathcal{E}_t}(p) := p + 1 - |\mathcal{E}_t (\mathbb{F}_p)|$. Rosen and Silverman proved a conjecture of Nagao relating the first moment $A_{1,\mathcal{E}}(p)$ to the rank of the family over $\mathbb{Q}(T)$, and Michel proved that if $j(T)$ is not constant then the second moment is equal to $A_{2,\mathcal{E}}(p) = p^2 + O(p^{3/2})$. Cohomological arguments show that the lower order terms are of sizes $p^{3/2}, p, p^{1/2}$, and $1$. In every case we are able to analyze in closed form, the largest lower order term in the second moment expansion that does not average to zero is on average negative, though numerics suggest this may fail for families of moderate rank. We prove this Bias Conjecture for several large classes of families, including families with rank, complex multiplication, and constant $j(T)$-invariant. We also study the analogous Bias Conjecture for families of Dirichlet characters, holomorphic forms on GL$(2)/\mathbb{Q}$, and their symmetric powers and Rankin-Selberg convolutions. We identify all lower order terms in large classes of families, shedding light on the arithmetic objects controlling these terms. The negative bias in these lower order terms has implications toward the excess rank conjecture and the behavior of zeros near the central point in families of $L$-functions.

研究动机与目标

• 研究L-函数族中狄利克雷系数二阶矩的低阶偏差的存在性与性质。
• 确定二阶矩展开中最大的非平均化低阶项是否在各种L-函数族中始终为负。
• 将分析扩展至椭圆曲线之外，涵盖GL(1)族（狄利克雷特征标）和GL(2)/Q上的全 holomorphic cusp forms 及其对称幂与Rankin-Selberg卷积。
• 探讨此类偏差对过剩秩猜想及L-函数族中中心点附近零点分布的影响。
• 识别控制低阶项的算术对象，并评估该偏差在高秩族中是否持续存在。

提出的方法

• 利用上同调论证将二阶矩分解为大小为p²、p^{3/2}、p、p^{1/2}和1的项，分离出主导的非平均化低阶项。
• 运用特征和技巧与勒让德符号求值，精确计算模p下椭圆曲线的点数，特别是j-不变量恒定的族。
• 应用高斯和恒等式与二次互反律，计算有限域上的和，尤其在x² + xy + y² ≡ 0 mod p及相关的丢番图条件情形。
• 分析以T参数化的椭圆曲线族，如y² = x³ - T^r A x和y² = x³ + T^r B，推导k阶矩的闭式表达。
• 将结果扩展至GL(1)族（狄利克雷特征标）与GL(2)族（cusp forms），利用L-函数性质与对称幂提升。
• 利用数值数据与计算启发式方法检验高秩族与高阶矩中的偏差行为，尤其在闭式不可用时。

实验结果

研究问题

• RQ1 在L-函数族中，狄利克雷系数二阶矩中最大的非平均化低阶项是否在平均意义上始终为负？
• RQ2 二阶矩展开中的低阶项如何与秩、复乘法和j-不变量等算术不变量相关联？
• RQ3 在高秩族中（特别是秩≥4），二阶矩中的负偏差是否持续存在？
• RQ4 在高阶矩（如四阶、六阶）中，偏差是否可通过数值方法检测，且对低秩族是否仍为负？
• RQ5 二阶矩中主导的非平均化低阶项的上同调或算术起源是什么？

主要发现

• 对于所有j-不变量恒定、具有复乘法或正秩的椭圆曲线族，二阶矩中最大的非平均化低阶项在平均意义上为负，支持偏差猜想。
• 线性椭圆曲线族的二阶矩展开中出现大小为p³ - 2p² - 2(p² - p)(-3/p)的项，确认了p²项中的负偏差。
• 在j-不变量为0或1728的族中，显式计算表明二阶矩包含项-2p²(1 + (-3/p))（j=0时）及类似结构（j=1728时），两者均导致平均负偏差。
• 数值证据表明，对于高秩族（秩≥4），偏差可能反转并变为正，提示行为中存在潜在相变。
• 对于高阶矩（四阶、六阶），主导非平均化项的大小为p^{5/2}或p^{7/2}，数据表明低秩族中存在负偏差，尽管可能被更大的平均项掩盖。
• 奇数阶矩（2k+1）的主项平均值为 -C_{k+1} r p^{k+1}，其中C_n为第n个卡塔兰数，表明奇数阶矩中也存在系统性负偏差。