[论文解读] Classicality of overconvergent Hilbert eigenforms: Case of quadratic residue degree

Yichao Tian|arXiv (Cornell University)|Apr 23, 2011

Algebraic and Geometric Analysis参考文献 20被引用 10

一句话总结

该论文在 $p$ 对实二次域 $F$ 惰性时，建立了过收敛 Hilbert 特征形式的经典性，证明了小斜率的此类形式为经典模形式。通过采用 Buzzard-Kassaei 的解析延拓方法，并利用 $p$-除子群设定下的典范子群，作者将 Coleman 的经典性判别准则推广至二次剩余度情形的 Hilbert 模形式设定。

ABSTRACT

Let $F$ be a quadratic real field, $p$ be a rational prime inert in $F$. In this paper, we prove that an overconvergent $p$-adic Hilbert eigenform for $F$ of small slope is actually a classical Hilbert modular form.

研究动机与目标

• 将 Coleman 关于 $p$-进模形式的经典性定理推广至实二次域中 $p$ 惰性时的 Hilbert 模形式设定。
• 在二次剩余度情形下，建立过收敛 Hilbert 特征形式的古典性，将经典性判别准则推广至该情形。
• 将 Buzzard 与 Kassaei 的解析延拓方法适配至 Hilbert 模形式设定，特别是在缺乏完全分裂 $p$-进结构的情况下。
• 构建并利用具有实乘法的 $p$-进域上 $p$-除子群的典范子群，以定义 $U_p$-算子与过收敛形式。
• 证明小斜率的 $U_p$-特征形式可延拓为整个 Hilbert 模形式簇上的全局截面，从而通过刚性 GAGA 推出其经典性。

提出的方法

• 通过将过收敛形式沿函数方程 $f = \frac{1}{a_p}U_p(f)$ 延拓，将 Buzzard-Kassaei 的解析延拓策略适配至 Hilbert 模形式簇。
• 利用 Katz 与 Lubin 发展的具有实乘法的 $p$-进域上 $p$-除子群的典范子群理论，定义 $U_p$-算子。
• 将过收敛 Hilbert 模形式构作为刚性解析 Hilbert 模形式簇中平凡邻域上线丛 $\underline{\omega}^{\vec{k}}$ 的截面。
• 将平凡点集定义为 Hasse 不变量（$E_{p-1}$ 的提升）模 $p$ 非零约化的位置，推广椭圆情形。
• 应用刚性 GAGA，推导出在整条刚性解析模形式簇上解析延拓的截面对应于经典代数模形式。
• 利用具有实乘法的 $p$-除子群及其滤子结构，控制 $U_p$-特征形式的行为，确保延拓过程的收敛性。

实验结果

研究问题

• RQ1 当基域中 $p$ 惰性时，Coleman 关于 $p$-进模形式的经典性判别准则能否推广至 Hilbert 模形式？
• RQ2 在二次剩余度情形下，过收敛 Hilbert 特征形式若具有小斜率，是否必然源自经典 Hilbert 模形式？
• RQ3 Buzzard 与 Kassaei 的解析延拓方法能否适配至具有实乘法且 $p$ 惰性的 Hilbert 模形式簇？
• RQ4 具有实乘法的 $p$-除子群的典范子群如何促进 $U_p$-算子的构造与过收敛形式的延拓？
• RQ5 平凡点集及其补集在过收敛形式延拓至经典形式的过程中起何作用？

主要发现

• 对于实二次域 $F$，若 $p$ 在 $F$ 中惰性，且其 $U_p$-特征值满足 $v_p(a_p) < k_1 + k_2 - 2$，则其过收敛 Hilbert 特征形式为经典形式。
• 解析延拓过程将过收敛形式延拓至整个刚性解析 Hilbert 模形式簇，包括平凡点与超奇异点。
• 通过依次应用函数方程 $f = \frac{1}{a_p}U_p(f)$ 实现延拓，利用模形式空间的 $p$-进解析结构。
• 所得延拓截面为 $\underline{\omega}^{\vec{k}}$ 的全局解析截面，由刚性 GAGA 可知其下降为经典 Hilbert 模形式。
• 具有实乘法的 $p$-除子群的典范子群理论对于定义 $U_p$-算子及确保延拓过程收敛至关重要。
• 该方法将椭圆情形推广至二次剩余度情形下的 Hilbert 模形式设定，填补了文献中 $p$ 惰性时的空白。