The variation of zeros of the Miller basis

技术摘要：米勒基零点的变异性

问题陈述
本文研究了偶数权重 $k \ge 4$ 且水平为 1 的全纯模形式空间 $M_k$ 中，米勒基元素 $g_{k,m}$ 零点的渐近分布。这些形式由其傅里叶展开式 $g_{k,m} = q^m + O(q^{\ell+1})$ 定义，其中 $\ell = \dim M_k - 1$ 且 $0 \le m \le \ell$。

先前的工作已确立了该族中子集的特定行为：

• Rankin 和 Swinnerton-Dyer 证明了 Eisenstein 级数的零点位于标准基本域 $\mathcal{F}$ 中的单位圆弧 $A$ 上。
• Duke 和 Jenkins 表明，某些弱全纯形式在 $A$ 上也有零点。
• Raveh 证明了对于固定的 $m$，如果 $\ell$ 相对于 $m$ 足够大，则 $g_{k,m}$ 的零点位于 $A$ 上。
• Rudnick 证明了如果差值 $D = \ell - m$ 固定而 $k \to \infty$，则零点聚集在垂直线附近。

本文解决的核心问题是通过分析当比率 $\delta = m/\ell$ 变化时（特别是当 $k$ 和 $D$ 同时增长时），整个米勒形式族中零点的变化，从而统一这些现象。

方法论
作者结合了解析数论、复分析和计算验证：

1. 积分表示与圆法：作者利用源自 Duke-Jenkins 和 Raveh 框架的积分表示，在单位圆弧上近似 $g_{k,m}(e^{i\theta})$。这涉及在特定围道上积分核函数 $G(z, \tau)$，并估计对应于恒等变换和变换 $S = \begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix}$ 的极点的留数。
2. 误差估计：通过界定积分近似中的误差项，他们确定了 $g_{k,m}(e^{i\theta})$ 渐近表现为 $2\cos(2\pi m \cos \theta + k\theta/2)$ 的条件。这使得能够基于余弦项的振荡来计算圆弧 $A$ 上的零点数量。
3. Faber 多项式：形式 $g_{k,m}$ 通过关系式 $g_{k,m}/(\Delta^\ell E_{k'}) = P(j)$ 与 Faber 多项式 $P(j)$ 相关联。作者分析了随着次数 $D = \ell - m$ 增长时这些多项式的系数。
   • 对于较小的 $D$（相对于 $k$），他们利用 Stirling 近似和 Laguerre 多项式的性质，证明系数表现得像截断指数多项式的系数。
   • 对于较大的 $D$，他们利用组合估计和 $j$-不变量展开的性质，推导出系数的显式界限。
4. Szeg˝o 曲线分析：截断指数多项式零点的渐近分布已知收敛于 Szeg˝o 曲线 $S = \{z \in \mathbb{C} : |z e^{1-z}| = 1\}$。作者通过 $j$-不变量将此行为映射回模域，定义了“对数 Szeg˝o 曲线”$L_\pm$ 和移位曲线 $S_\delta$。
5. 计算验证：作者利用 SageMath 数值计算比率 $\delta$ 的阈值，在此阈值处零点从圆弧 $A$ 转移到曲线 $S_\delta$。他们还针对较小的 $D$ 进行了代数零点的穷举搜索。

主要贡献与结果

• 定理 A（圆弧上的零点）：作者建立了非椭圆零点位于单位圆弧 $A$ 上的比例的下界，该下界是 $\delta = m/\ell$ 的函数。

  • 如果 $\delta < 0.6194$，对于足够大的 $k$，所有零点都位于 $A$ 上。
  • 如果 $0.6194 \le \delta < 0.9546$，位于 $A$ 上的零点比例递减。
  • 如果 $\delta \ge 0.9546$，位于 $A$ 上的零点下界降至零。
  • 这些理论阈值与高达 $k=600,000$ 的数值实验高度吻合。

• 定理 B（收敛于对数 Szeg˝o 曲线）：当 $D = \ell - m \to \infty$ 但相对于 $k$ 增长缓慢（具体为 $D < \alpha \log |k| / \log \log |k|$）时，$g_{k,m}$ 的零点渐近趋近于移位对数 Szeg˝o 曲线 $S_\delta$。该曲线定义为 $L_\pm - \frac{1}{2\pi} \log |1-\delta|$，其中 $L_\pm$ 是由经典 Szeg˝o 曲线导出的函数图像。

• 猜想 C：作者提出，对于任何 $\delta > 0$，零点渐近趋近于曲线 $C_\delta$，该曲线定义为单元圆弧 $A$ 与曲线 $S_\delta$ 并集的上包络线。定理 A 和 B 证明了该猜想在 $\delta$ 极端情况下的部分结论。

• 弱全纯形式：针对弱全纯模形式推导了平行结果（定理 9），确定了 $\delta$ 的不同阈值（例如，当 $k \ll 0$ 时，若 $\delta > 1.1598$，则所有零点位于 $A$ 上）。

• 代数零点（第 7 节）：与 Eisenstein 级数（Kohnen 证明了其非椭圆零点为超越数）形成对比，作者展示了具有非椭圆代数零点的米勒形式。

  • 他们完全分类了所有 $\ell - m \le 25$ 的此类形式。
  • 他们发现非椭圆代数零点仅出现在 $m = \ell - 1$ 时，且零点对应于类数为 1 的特定二次虚域（判别式为 $-19, -27, -43, -67, -163$）。
  • 对于 $25 < \ell - m \le 100$，基于 Faber 多项式的伽罗瓦群分析，他们提供了一个概率性结果，表明对于几乎所有权重，不存在非椭圆代数零点。

意义
本文提供了一个全面的框架，用于理解米勒基零点的几何分布，弥合了“圆弧”现象（在小 $\delta$ 时占主导）与“垂直线”或"Szeg˝o 曲线”现象（在大 $\delta$ 或固定 $D$ 时占主导）之间的差距。

作者声称他们的工作：

1. 将 Duke、Jenkins、Raveh 和 Rudnick 的先前结果推广到单个连续参数族中。
2. 确定了模形式零点的一个新渐近轨迹（对数 Szeg˝o 曲线），将模形式与截断指数多项式理论联系起来。
3. 通过证明对于大 $\delta$，零点会迁移到不同的曲线，挑战了“圆弧上的零点”这一性质的普遍性。
4. 通过展示代数零点的存在（这是经典 Eisenstein 级数情形中缺失的特征）并为低次情形提供系统分类，突显了这些零点的算术复杂性。

本文最后提出，这些区域之间的过渡由比率 $\delta$ 控制，并得出了基于 Szeg˝o 曲线和单位圆弧几何结构的特定猜想截断值。