[论文解读] On the failure of Gorensteinness at weight 1 Eisenstein points of the eigencurve

Adel Betina, Mladen Dimitrov+1 more|Explore Bristol Research|Apr 2, 2018

Advanced Algebra and Geometry被引用 12

一句话总结

本文研究了在经典权1 Eisenstein点处特征值曲线的局部几何结构，证明了在这些点处，尖点特征值曲线在权空间上是 étale 的，且该点处的局部环是 Cohen–Macaulay 但不是 Gorenstein 的。本文建立了 $ R = T $ 定理，计算了过收敛形式的傅里叶系数，并通过几何构造的余维映射，给出了 Ferrero–Greenberg 定理和 Gross 公式的全新证明，表明同余理想由 Kubota–Leopoldt 的 $ p $-进 $ L $-函数生成。

ABSTRACT

We prove that the cuspidal eigencurve $C_{\\mathrm{cusp}}$ is \\'etale over the weight space at any classical weight $1$ Eisenstein point $f$ and meets two Eisenstein components of the eigencurve $C$ transversally at $f$. Further, we prove that the local ring of $C$ at $f$ is Cohen--Macaulay but not Gorenstein and compute the Fourier coefficients of a basis of overconvergent weight $1$ modular forms lying in the same generalised eigenspace as $f$. In addition, we prove an $R=T$ theorem for the local ring at $f$ of the closed subspace of $C$ given by the union of $C_{\\mathrm{cusp}}$ and one Eisenstein component and prove unconditionally, via a geometric construction of the residue map, that the corresponding congruence ideal is generated by the Kubota--Leopoldt $p$-adic $L$-function. Finally we obtain a new proof of the Ferrero--Greenberg Theorem and Gross' formula for the derivative of the $p$-adic $L$-function at the trivial zero.

研究动机与目标

• 理解特征值曲线在经典权1 Eisenstein点处的局部结构，特别是 Gorenstein 性质的失效。
• 在这些点处的局部环上建立 $ R = T $ 定理，结合尖点与一个 Eisenstein 分量。
• 计算与 Eisenstein 点处于同一广义特征空间中的过收敛权1模形式的傅里叶系数。
• 通过几何方法重新证明 Ferrero–Greenberg 定理和 Gross 关于 $ p $-进 $ L $-函数导数的公式。

提出的方法

• 使用普通伽罗瓦变形理论，构造与 Eisenstein 系列相关的典范可约但非分裂的伽罗瓦表示。
• 应用 Baker–Brumer 定理分析近似普通变形的切空间，并将其与 Iwasawa 上同调联系起来。
• 构造伽罗瓦表示的不可约变形，以研究尖点特征值曲线在权空间上的 étale 性质。
• 采用 Wiles 的数值准则，证明 Hecke 代数在局部环中的像为完全交。
• 通过几何构造余维映射，证明同余理想由 Kubota–Leopoldt 的 $ p $-进 $ L $-函数生成。
• 应用非尖点 Hida 家族的对偶定理，并分析 Eisenstein 家族的常数项，推导出傅里叶系数公式。

实验结果

研究问题

• RQ1 尖点特征值曲线在经典权1 Eisenstein 点处是否在权空间上是 étale 的？
• RQ2 该点处特征值曲线的局部环是否为 Gorenstein？如果不是，其结构如何？
• RQ3 在这些点处，同余理想是否可由 Kubota–Leopoldt 的 $ p $-进 $ L $-函数生成？
• RQ4 与 Eisenstein 点处于同一广义特征空间中的过收敛权1模形式的傅里叶系数是什么？
• RQ5 Ferrero–Greenberg 定理和 Gross 关于 $ p $-进 $ L $-函数导数的公式能否通过几何方法重新导出？

主要发现

• 尖点特征值曲线 $ \mathscr{C}_{\operatorname{cusp}} $ 在任意经典权1 Eisenstein 点 $ f $ 处是权空间 $ \mathcal{W} $ 上的 étale 映射，意味着通过 $ f $ 有唯一的尖点分支。
• 特征值曲线在 $ f $ 处的局部环 $ \mathcal{T} $ 是 Cohen–Macaulay 但不是 Gorenstein 的，且同构于 $ \varLambda \times_{\bar{\mathbb{Q}}_p} \varLambda \times_{\bar{\mathbb{Q}}_p} \varLambda $，具有对角 $ \varLambda $-代数结构。
• Hecke 代数 $ \varLambda[T_\ell]_{\ell \nmid Np} $ 在 $ \mathcal{T} $ 中的像 $ \mathcal{T}' $ 是一个完全交，同构于 $ \{(a,b,c) \in \varLambda^3 \mid a(0) = b(0) = c(0)\} $。
• 在 $ f $ 处的同余理想由 Kubota–Leopoldt 的 $ p $-进 $ L $-函数生成，通过余维映射的几何构造无条件地得到证明。
• 在平凡零点处，$ p $-进 $ L $-函数的导数满足 $ L_p'(\phi\omega_p, 0) = \mathscr{L}(\phi)L(\phi, 0) $，从而给出了 Ferrero–Greenberg 定理的新证明。
• 过收敛形式 $ f^\dagger_{\mathbf{1},\phi} $ 和 $ f^\dagger_{\phi,\mathbf{1}} $ 的傅里叶系数被显式计算，其中 $ a_0(f^\dagger_{\mathbf{1},\phi}) = (\mathscr{L}(\phi) + \mathscr{L}(\phi^{-1})) \cdot \frac{L(\phi, 0)}{2} $。