[论文解读] Slopes of eigencurves over boundary disks

Daqing Wan, Liang Xiao+1 more|arXiv (Cornell University)|Jul 1, 2014

Algebraic Geometry and Number Theory参考文献 20被引用 8

一句话总结

该论文利用雅克布-朗兰兹对应将问题转移至一个定值四元数代数，对 $p$-进除子高度可被 $p$ 整除的特征的过收敛模形式上的 $U_p$-特征值斜率的牛顿折线建立了精确的下界。研究证明，当权重增加时，斜率呈等差数列增长，为任意 $p$ 和一般水平下的布扎德-基尔福德猜想提供了首个普遍性证据，并给出了斜率序列中一部分的精确公式。

ABSTRACT

Let $p$ be a prime number. We study the slopes of $U_p$-eigenvalues on the subspace of modular forms that can be transferred to a definite quaternion algebra. We give a sharp lower bound of the corresponding Newton polygon. The computation happens over a definite quaternion algebra by Jacquet-Langlands correspondence; it generalizes a prior work of Daniel Jacobs who treated the case of $p=3$ with a particular level. In case when the modular forms have a finite character of conductor highly divisible by $p$, we improve the lower bound to show that the slopes of $U_p$-eigenvalues grow roughly like arithmetic progressions as the weight $k$ increases. This is the first very positive evidence for Buzzard-Kilford's conjecture on the behavior of the eigencurve near the boundary of the weight space, that is proved for arbitrary $p$ and general level. We give the exact formula of a fraction of the slope sequence.

研究动机与目标

• 为布扎德-基尔福德关于特征曲线在权空间边界附近行为的猜想提供理论依据。
• 在过收敛模形式的背景下，为 $U_p$-特征值斜率的牛顿折线建立一个精确的下界。
• 将雅各布对 $p=3$ 的先前工作推广至任意 $p$ 和一般水平，特别是对导子为 $p^m$ 且 $m \geq 2$ 的特征。
• 证明当 nebentypus 特征的导子高度可被 $p$ 整除时，随着权重增加，斜率呈等差数列增长。
• 利用雅克布-朗兰兹对应与 $p$-进表示理论，推导出斜率序列中一部分的精确公式。

提出的方法

• 利用雅克布-朗兰兹对应，将模形式上 $U_p$-特征值的研究转移至定值四元数代数上的自守形式。
• 通过 $p$-进表示理论与伪表示，显式计算四元形式上的 $U_p$-算子。
• 利用剩余伪表示分离特征值斜率，并控制牛顿折线逼近中的误差项。
• 使用 $P_{\bar{\rho}}^{p^n}$ 的极限投影到不可约分量，分析每个块上的 $U_p$-作用。
• 通过估计模 $p^2$ 的截断 $U_p$-矩阵的行列式 $p$-进赋值，推导出牛顿折线的下界。
• 应用霍奇折线比较与误差项分析，表明 $U_p$-作用接近于具有可控 $p$-进赋值的分块对角形式。

实验结果

研究问题

• RQ1 对于导子为 $p^m$（$m \geq 2$）的过收敛模形式上的 $U_p$-特征值斜率，当权重增加时，其是否呈等差数列增长？
• RQ2 能否在权空间边界区域为 $U_p$-特征值斜率的牛顿折线建立一个精确的下界？
• RQ3 特征曲线在权空间边界是否如布扎德-基尔福德所预测的那样，分解为有限个类似等差数列的族？
• RQ4 雅克布-朗兰兹对应能否在非经典情形下有效用于计算 $p$-进斜率？
• RQ5 当 nebentypus 导子高度可被 $p$ 整除时，$U_p$-特征值的斜率序列的确切结构是什么？

主要发现

• 在导子为 $p^m$（$m \geq 2$）的过收敛模形式空间上，为 $U_p$-特征值斜率的牛顿折线建立了精确的下界。
• 当 nebentypus 特征的导子可被 $p$ 的高次幂整除时，随着权重增加，斜率呈等差数列增长。
• 该论文首次证明了布扎德-基尔福德猜想在任意 $p$ 和一般水平下的普遍情形，不再局限于 $p=2$ 或小水平。
• 推导出斜率序列中一部分的精确公式，表明其由具有有理数步长的等差数列构成。
• 证明了定值四元数代数上同调的 $U_p$-作用可被具有可控 $p$-进赋值的分块对角矩阵逼近。
• 通过剩余伪表示与极限投影控制牛顿折线逼近中的误差项，确保了下界的有效性。