[论文解读] The 2-adic Eigencurve is Proper

Kevin Buzzard, Frank Calegari|ArXiv.org|Mar 17, 2005

advanced mathematical theories参考文献 7被引用 14

一句话总结

本文证明了主 level 1 的 2-adic 特征曲线满足正规性的取值准则，这意味着在穿孔点处，有限斜率的解析族不可能退化为无限斜率的模形式。作者通过分析 U-算子核中特征形式的过度收敛性，利用一个显式的模形式 $ h $，证明此类形式不可能高度过度收敛，从而排除了此类退化族的存在。

ABSTRACT

For p=2 and tame level N=1 we prove that the map from the (Coleman-Mazur) Eigencurve to weight space satisfies the valuative criterion of properness. More informally, we show that the Eigencurve has no "holes"; given a punctured disc of finite slope overconvergent eigenforms over weight space, the center can be "filled in" with a finite slope overconvergent eigenform.

研究动机与目标

• 解决 Coleman 与 Mazur 提出的问题：在穿孔圆盘上，有限斜率族是否可能收敛到 2-adic 特征曲线上的无限斜率特征形式？
• 证明 2-adic 特征曲线到权空间的投影满足正规性的取值准则，尽管其具有无限度。
• 分析 2-adic 设置下 U-算子核中特征形式的过度收敛行为，特别是非整数权的情形。
• 提出一种使用特定模形式 $ h $ 测量过度收敛性的新方法，避免依赖标准的 $ F/E_\kappa $ 变换。
• 证明高度过度收敛族不可能收敛到无限斜率形式，从而确保特征曲线具有‘函子性正规性’。

提出的方法

• 使用 $ F/h^s $ 而非 $ F/E_\kappa $ 定义新的过度收敛准则，其中 $ h $ 是权 12 的 level 2 模形式，且 $ h^{1/3} $ 为权 4。
• 在精心选取的 $ M_0[r] $ 基底下，构造 $ U $-算子与 $ 2VU - \mathrm{id} $ 的显式矩阵，从而对过度收敛性实现精确控制。
• 利用算子 $ U'_{k'} $，定义为 $ U'_{k'}(\phi) = E_2^{-1} h^m U(E_2 h^{-m} \phi) $，将权 $ 2 - 12m $ 的特征形式与权 0 的特征形式联系起来。
• 证明当 $ |s| < 8 $ 时，$ M_0[r] $ 上的算子 $ U'(s) $ 是紧的且增强过度收敛性，从而确保特征形式可延拓至更大的过度收敛区域。
• 分析权 $ 2 - 12m $ 下与 $ 2VU - \mathrm{id} $ 相关的矩阵 $ W $ 的矩阵元，证明其满足限制条件，从而防止无限斜率形式在 $ r = \frac{3 + \nu(2s)}{12} $ 处为 $ r $-过度收敛。
• 将这些界应用于证明：若一族有限斜率形式在穿孔点收敛于无限斜率形式，则极限必须是高度过度收敛的，而这是不可能的。

实验结果

研究问题

• RQ1 是否存在一个非平凡的穿孔圆盘上的有限斜率过度收敛特征形式的解析族，其在穿孔点收敛于无限斜率特征形式？
• RQ2 主 level 1 的 2-adic 特征曲线是否满足正规性的取值准则，即是否正规？
• RQ3 U-算子核中的特征形式是否可能高度过度收敛，特别是在非整数权处？
• RQ4 标准的 $ F/E_\kappa $ 过度收敛度量是否无法控制 U-算子核中特征形式的过度收敛性？若如此，何种替代方法有效？
• RQ5 在非标准基下，对 $ p=2 $ 显式计算 $ U $ 与 $ 2VU - \mathrm{id} $ 的矩阵是否能为 $ p=2 $ 提供强有力的过度收敛界？

主要发现

• 主 level 1 的 2-adic 特征曲线满足正规性的取值准则，即不存在此类退化族。
• U-算子核中的特征形式不可能高度过度收敛；其过度收敛性与最大可能程度保持有界距离。
• 当 $ |s| < 8 $ 时，$ M_0[r] $ 上的算子 $ U'(s) $ 是紧的且增强过度收敛性，从而确保特征形式可延拓至更大的过度收敛区域。
• 在所选基下，$ U $ 与 $ 2VU - \mathrm{id} $ 的矩阵元满足显式界，防止无限斜率形式在 $ r = \frac{3 + \nu(2s)}{12} $ 处为 $ r $-过度收敛。
• 使用 $ h^s $ 而非 $ E_\kappa $ 作为变换，可在非整数权下实现对过度收敛性的精确控制，克服了标准方法的局限性。
• 该结果适用于权空间中以原点为中心的圆盘，且由于在边界附近已知正规性（参见 [4]），因此整个特征曲线是正规的。