[论文解读] Lissite de la courbe de Hecke de GL(2) aux points Eisenstein critiques

Joël Bellaïche, Gaëtan Chenevier|ArXiv.org|May 21, 2004

Advanced Algebra and Geometry参考文献 1被引用 4

一句话总结

本文证明了 GL(2) 的 Coleman-Mazur 特征曲线在临界 Eisenstein 点处的光滑性，并通过 p-adic zeta 值建立了一个关于权重映射在这些点处为 étale 的判别准则。关键结果将光滑性与 étaleness 关联到 p-adic L-函数的非零性，依赖于相关伪特征的概型可约性轨迹与 p-adic Hodge 理论。

ABSTRACT

Let p be a prime number and C be the p-adic tame level 1 eigencurve introduced by Coleman-Mazur. We prove that C is smooth at the evil Eisenstein points and we give necessary and sufficient conditions for etaleness of the map to the weight space at these points in terms of p-adic zeta values. A key step is the determination at these points of the schematic reducibility locus of the pseudo-character carried by C restricted to a decomposition group at p. Then, the smoothness appears to be a consequence of the fact that the Dirichlet L-functions only have simple zeros at integers.

研究动机与目标

• 建立 Coleman-Mazur 特征曲线在临界 Eisenstein 点处的光滑性，这些点处相关的伽罗华表示是可约的，并对应于一个狄利克雷特征与分圆特征的扭。
• 确定特征曲线到权重空间的权重态射在这些临界 Eisenstein 点处为 étale 的必要且充分条件。
• 分析特征曲线的伪特征在 p-adic 分解群上的概型可约性轨迹，证明其为一个约化点。
• 将光滑性与 étaleness 与 p-adic L-值的非零性（特别是 p-adic zeta 函数在临界整数处的取值）联系起来。
• 利用 Mazur-Wiles 与 Bloch-Kato 猜想的技术，将极大理想的最小生成元个数与 Selmer 群的维数联系起来。

提出的方法

• 研究特征曲线在 p-adic 分解群 D 上的伪特征 T，利用 Kisin 理论确定其概型可约性轨迹。
• 通过 Coleman 经典性定理的极限情形，证明在临界 Eisenstein 点 x 处，T|D 的可约性轨迹同构于权重映射在 x 处的纤维。
• 通过证明 x 处的局部环具有主极大理想，得出 T 的全局可约性轨迹是约化点 x。
• 利用 Mazur-Wiles 方法，以 Selmer 群的维数为依据，对极大理想的最小生成元个数进行上界估计。
• 证明极大理想为主理想当且仅当 p-adic zeta 函数 ζ_p(w*) 在临界整数处有单零点或非零。
• 应用判别准则：权重映射在 x 处为 étale 当且仅当该映射的次数为 1，而此条件恰好在 ζ_p(w*) ≠ 0 时成立。

实验结果

研究问题

• RQ1 Coleman-Mazur 特征曲线在伽罗华表示可约的临界 Eisenstein 点处是否光滑？
• RQ2 在何种条件下，权重态射在这些点处为 étale？
• RQ3 伪特征在 p-adic 分解群上的概型可约性轨迹如何与特征曲线的几何结构相关？
• RQ4 p-adic L-值的非零性与特征曲线的光滑性/étaleness 之间有何联系？
• RQ5 临界 Eisenstein 点处极大理想的主理想性质能否归约为对 p-adic zeta 值的某个猜想？

主要发现

• 在所有临界 Eisenstein 点处，特征曲线是光滑的，因为该点处局部环的极大理想是主理想。
• 权重态射在临界 Eisenstein 点 x 处为 étale 当且仅当 p-adic zeta 值 ζ_p(w*) 非零。
• 在该点处，伪特征 T|D 的概型可约性轨迹同构于权重映射在 x 处的纤维，且为一个约化点。
• 特征曲线在 x 处的光滑性源于狄利克雷 L-函数在整数处仅有单零点这一事实，该结果与 Bloch-Kato 猜想结合使用。
• 极大理想的最小生成元个数受某个 Selmer 群维数的限制，且当且仅当 ζ_p(w*) ≠ 0 时该理想为主理想。
• 权重映射在 x 处的次数为 1 当且仅当 ζ_p(w*) ≠ 0，这等价于映射在 x 处为 étale。