Correlations of zeros of a family of $L$-functions in function fields with symplectic symmetry

技术摘要：具有辛对称性的函数域 $L$-函数零点相关性

问题陈述
本文研究了函数域中 $L$-函数零点的统计分布，特别关注二次狄利克雷 $L$-函数族的 $n$-级密度（$n$-level density）零点。虽然 $L$-函数零点与随机矩阵理论（RMT）之间的联系在主项方面已得到充分建立，但精确计算低阶项和高阶相关性（$n > 1$）仍然是一个复杂的挑战。作者旨在将 Mason 和 Snaith 开发的方法论（最初是针对数域制定的）应用于基于 $\mathbb{F}_q[T]$ 的函数域背景。研究的特定族包括：

1. 与次数为 $2g+1$ 的无平方因子单项式多项式（亏格为 $g$ 的超椭圆曲线）相关的二次狄利克雷 $L$-函数。
2. 与素数特征（次数为 $2g+1$ 的单项不可约多项式）相关的 $L$-函数。
   目标是为这些族推导出显式的、猜想性的 $n$-级密度零点公式，从而扩展此前主要局限于 1-级密度的研究工作。

方法论
作者采用了“比例猜想”（Ratios Conjecture）框架，该框架改编自 Conrey、Farmer、Zirnbauer 和 Snaith 的工作，并使用了 Mason 和 Snaith 引入的集合论重构方法。核心方法步骤包括：

1. 集合论重构：作者使用集合符号重新编写了针对二次狄利克雷 $L$-函数（最初由 Andrade 和 Keating 提出）的比例猜想。他们定义了位移集合 $A = \{\alpha_1, \dots, \alpha_K\}$ 和 $B = \{\gamma_1, \dots, \gamma_Q\}$，并将 $L$-函数的比值的平均值表示为对子集 $D \subseteq A$ 的求和。这种表述涉及与多项式环相关的欧拉乘积和 Zeta 函数，记作 $\zeta_A(s)$。
2. 微分：为了从比例过渡到密度，作者对位移进行微分。通过令 $B=A$ 并进行微分，他们推导出了 $L$-函数对数导数（$L'/L$）乘积平均值的表达式。这一过程利用了 Lemma 5.1（来自 Mason 的论文）来处理集合划分上指数和的微分。
3. 留数分析：作者分析了所得表达式的极点。利用 $L$-函数的泛函方程以及 $\zeta_A(s)$ 的性质，他们在特定极点（即位移之和为零处）处计算留数。这产生了一个递归结构，使得可以将 $n$-点相关性降低为低阶项。
4. 轮廓积分：作者应用柯西留数定理，将积分轮廓从临界线移动到虚轴。他们证明了被积函数的奇异性可以适当地抵消，从而推导出 $n$-级密度的最终积分公式。

主要贡献与结果
本文提出了以下主要结果：

• 猜想 3.1：针对函数域中二次狄利克雷 $L$-函数族的比例猜想的集合论重构。它提供了一个关于涉及欧拉乘积和特定 Zeta 函数组合的 $L$-函数比值平均值的紧凑表达式。
• 定理 3.2 & 3.3：关于微分后的比例及其结果留数的公式。这些定理建立了计算高阶相关性所需的递归关系。
• 定理 3.4：主要结果，提供了与超椭圆曲线相关的二次狄利克雷 $L$-函数族之 $n$-级密度零点 的显式猜想公式。该公式将密度表示为对集合 $\{1, \dots, n\}$ 的划分进行求和，涉及微分后的比例函数 $J^*_{DL}$ 对测试函数 $f$ 的积分。
• 定理 3.5：将 $n$-级密度公式扩展到与 素数特征 相关的 $L$-函数族。作者指出，由于是在素数而非所有无平方因子多项式上进行平均，其欧拉乘积结构与二次情形略有不同。
• 验证（第 8 节）：作者利用其通用的 $n$-级密度公式显式计算了 1-级密度。他们证明了该结果与 Andrade 和 Keating 先前建立的 1-级密度公式（定理 1.2）完全吻合，从而验证了其广义方法的连贯性。

意义
本文声称在以下领域具有重要意义：

• 泛化：它成功地将 Mason 和 Snaith 的方法论推广到了函数域环境，超越了 1-级密度，提供了一个用于 $n$-级密度的框架。
• 一致性：通过恢复对于二次和素数特征族已知的 1-级密度结果，本文确认了所改编的比例猜想框架在函数域背景下是稳健且一致的。
• 算术洞察：推导出的公式提供了一个系统性的工具，用于预测零点统计行为中的领先项和低阶项。这对于理解细微的算术特征（例如函数域中欧拉乘积的具体结构）如何影响零点的精细尺度分布至关重要，可能揭示出对随机矩阵理论所预测的普适行为的偏离。

这项工作并不声称证明了比例猜想，而是假设其有效性以推导出显式的 $n$-级密度公式，为未来在函数域背景下的严格验证提供了一个具体的靶点。