[论文解读] Slopes of modular forms and the ghost conjecture (unabridged version)

John Bergdall, Robert Pollack|arXiv (Cornell University)|Jul 15, 2016

Algebraic Geometry and Number Theory参考文献 18被引用 5

一句话总结

本文提出一个统一的猜想——称为幽灵猜想（ghost conjecture）——该猜想预测了在 $\mathrm{GL}_2$ 关于 $\mathrm{SL}_2(\mathbb{Z})$ 和 $\Gamma_0(N)$-正则水平的 $p$-进权空间中，所有 $p$-进权下过收敛 $p$-进尖点形式的斜率。该猜想构建了一个双变量 $p$-进幂级数（幽灵级数），其在任意权下的牛顿多边形与对应过收敛尖点形式的 $U_p$-斜率一致，推广了 Buzzard 的算法和谱晕猜想，且在 $p=2$、$N=1$ 情况下有强有力的计算证据。其关键贡献在于，通过单一框架统一了权空间中心与边界处的斜率预测。

ABSTRACT

We formulate a conjecture on slopes of overconvergent p-adic cuspforms of any p-adic weight in the Gamma_0(N)-regular case. This conjecture unifies a conjecture of Buzzard on classical slopes and more recent conjectures on slopes "at the boundary of weight space".

研究动机与目标

• 统一预测 $p$-进权空间中心与边界处过收敛 $p$-进尖点形式的 $U_p$-斜率。
• 推广 Buzzard 的算法至 $\Gamma_0(N)$-正则情形，并推广边界权空间中的等差数列猜想。
• 构建一个单一的 $p$-进幂级数（幽灵级数），其在任意权下的牛顿多边形可重现对应过收敛尖点形式的 $U_p$-斜率。
• 为幽灵猜想提供计算与理论证据，尤其在 $p=2$、$N=1$ 情况下，利用弗雷德霍姆级数与迹计算。
• 形式化定义“幽灵零点”——即整数权的 $p$-进形变，使得弗雷德霍姆级数的系数为零——并将其与斜率模式关联。

提出的方法

• 在 $\mathbb{Z}_p$ 上构造一个双变量 $p$-进幂级数（幽灵级数），其在 $p$-进权 $\kappa$ 处的限制即为 $U_p$-算子在过收敛尖点形式上的弗雷德霍姆级数 $P_\kappa(t)$。
• 利用幽灵级数在特定权 $\kappa$ 处的限制的牛顿多边形，预测该权下 $U_p$-斜率。
• 应用 Buzzard 的算法及已知的斜率公式（如 $p=2$ 时的 Buzzard–Kilford 公式）验证幽灵级数与经典及过收敛斜率的一致性。
• 计算实现 Koike 公式，以计算弗雷德霍姆级数系数 $a_i(w)$，并分析其根的 $p$-进赋值相对于整数权 $w_k$ 的关系。
• 将“幽灵零点”定义为整数权 $w_k$ 的 $p$-进形变 $w_0$，使得 $a_i(w_0) = 0$，其重数反映整数 $k$ 在斜率模式中出现的次数。
• 利用幽灵零点的重数模式（例如：端点处重数为一，中间处重数为二）预测权空间中斜率序列的结构。

实验结果

研究问题

• RQ1 是否存在一个单一的 $p$-进幂级数，可预测 $\Gamma_0(N)$-正则情形下所有 $p$-进权中过收敛 $p$-进尖点形式的 $U_p$-斜率？
• RQ2 弗雷德霍姆级数系数 $a_i(w)$ 的根如何与整数权相关联？它们能否被解释为经典权的 $p$-进形变？
• RQ3 幽灵零点的重数是否存在统一的规律，可解释斜率序列的结构，特别是在 $p=2$、$N=1$ 情况下？
• RQ4 幽灵级数的牛顿多边形在经典与过收敛情形下，与实际 $U_p$-斜率的匹配程度如何？
• RQ5 幽灵猜想能否将 Buzzard 的算法（用于中心权）与等差数列猜想（用于边界权）统一于一个连贯的框架中？

主要发现

• 在 $p=2$、$N=1$ 情况下，幽灵级数在权 $k=14$ 处的牛顿多边形与 $S_{14}(\Gamma_0(2))$ 的 $U_2$-斜率一致，且 $U_2$ 的迹模 $2^{13}$ 为零，与 $w_{14}$ 处存在幽灵零点一致。
• 弗雷德霍姆级数的第一个系数 $a_1(w)$ 在 $w_{14}$ 处有唯一零点，且满足 $v_2(w_{14} - w_0) = 13$，确认 $w_{14}$ 为重数为一的幽灵零点。
• 对于 $a_2(w)$，在 $w_{20}, w_{22}, w_{26}$ 处预测的三个幽灵零点分别满足 $v_2(w_0 - w_k) = 12, 13, 9$，且根位于这些权附近的极小 $2$-进圆盘内。
• 对于 $a_4(w)$，在 $k=32,34,...,50$ 处预测的九个幽灵零点由十个根匹配；$w_{38}$ 处有两个根邻近，表明其重数为二，与幽灵重数模式一致。
• 幽灵零点的重数遵循对称模式：首次与最后一次出现时重数为一，第二次与倒数第二次出现时重数为二，依此类推，如 $a_5$ 至 $a_{10}$ 中 $w_{38}$ 与 $w_{62}$ 的情形所示。
• 幽灵猜想预测：任意 $p$-进权 $\kappa$ 处的 $U_p$-斜率由幽灵级数在 $\kappa$ 处限制的牛顿多边形给出，从而统一了经典与边界斜率的预测。