[论文解读] Iwasawa Main Conjecture for $p$-adic families of elliptic modular cuspforms

Tadashi Ochiai|arXiv (Cornell University)|Feb 18, 2018

Algebraic Geometry and Number Theory参考文献 40被引用 4

一句话总结

本论文通过欧拉系方法，利用为非典型族新构造的科尔曼映射，建立了 $p$-进家族的非典型椭圆模形式（科尔曼族）的两变量伊wasawa主猜想。关键结果是在伽罗瓦图像条件（SL）下，证明了两变量伊wasawa代数中，塞尔默群与 $p$-进 $L$-函数之间的特征理想相等。

ABSTRACT

In this article, we discuss Iwasawa Main Conjecture for $p$-adic families of elliptic modular cuspforms. After the overview on the situation of the ordinary case of Hida family, we will introduce a Coleman map for Coleman family for the non-ordinary case (Coleman family) which was obtained as a joint work with Filippo Nuccio [NO16] and we give some results on Iwasawa Theory for Coleman families as applications of . First, we give a construction of a two-variable $p$-adic $L$-function for a Coleman family thanks to the ingredients given in [NO16] (Theorem 5.1). Combining this result and Coleman map obtained in [NO16], we also construct Beilinson-Kato Euler systems over a Coleman family (Thorem 5.3). Finally we formulate Iwasawa Main conjecture for a Coleman family and prove the half of Iwasawa Main Conjecture (Theorem 5.6).

研究动机与目标

• 将伊wasawa主猜想从典型 $p$-进家族（希达族）推广至非典型的 $p$-进家族（科尔曼族）的椭圆模形式。
• 填补经典典型族理论中的空白，特别是关于格依赖性与复周期选择的问题。
• 为非典型情形下的伊wasawa理论构建科尔曼映射作为基础工具。
• 通过欧拉系方法建立科尔曼族的两变量伊wasawa主猜想，证明特征理想相等。
• 系统性地处理非典型情形，包括以往文献中常被忽略的细微技术问题。

提出的方法

• 与菲利波·努奇奥合作，采用联合方法构造科尔曼族的科尔曼映射，使非典型情形下 $p$-进 $L$-函数与塞尔默群的研究成为可能。
• 将欧拉系方法应用于科尔曼族上的贝林松-卡托欧拉系，利用科尔曼映射将上同调类与 $p$-进 $L$-函数联系起来。
• 在两变量框架下应用广义伊wasawa主猜想体系，使用伊wasawa代数 $\Lambda_{(k_0;r),\mathcal{O}_K}\widehat{\otimes}_{\mathbb{Z}_p}\Lambda_{\mathrm{cyc}}$。
• 运用塞尔默群与伽罗瓦上同调的工具，特别是对扭上同调表示的 $H^1$ 与 $H^2$ 群。
• 应用定理 4.5（欧拉系推论的一般准则）在（SL）条件下推导出特征理想相等。
• 采用控制定理与伪零子模分析，处理挠模并确保特征理想陈述的有效性。

实验结果

研究问题

• RQ1 如何将伊wasawa主猜想从典型族推广至非典型 $p$-进家族的模形式？
• RQ2 科尔曼映射在构造非典型族的 $p$-进 $L$-函数与欧拉系中起什么作用？
• RQ3 欧拉系方法如何应用于非典型情形下的两变量伊wasawa理论？
• RQ4 在非典型情形下，何种条件可确保塞尔默群与 $p$-进 $L$-函数具有匹配的特征理想？
• RQ5 伽罗瓦图像条件（SL）如何影响两变量伊wasawa主猜想的有效性？

主要发现

• 在（SL）条件下，科尔曼族的两变量伊wasawa主猜想成立，两变量伊wasawa代数中特征理想相等。
• 科尔曼族科尔曼映射的构造使得定义一个插值族中临界 $L$-值的 $p$-进 $L$-函数成为可能。
• 利用科尔曼映射在科尔曼族上构造了贝林松-卡托欧拉系，为伽罗瓦表示提供了一个上同调欧拉系。
• 在（SL）条件下，证明了塞尔默群 $H^1(\mathbb{Q}_\Sigma/\mathbb{Q}, (\mathbb{T} \widehat{\otimes}_{\mathbb{Z}_p} \Lambda^\sharp_{\mathrm{cyc}})^*(1))$ 模欧拉系类的特征理想与 $H^2$-项相同。
• 确立了 $H^2(\mathbb{Q}_\Sigma/\mathbb{Q}, (\mathbb{T} \widehat{\otimes}_{\mathbb{Z}_p} \Lambda^\sharp_{\mathrm{cyc}})^*(1))$ 的挠性，这是特征理想相等的关键步骤。
• 本论文通过详细处理格依赖性与周期选择问题，解决了加托工作中的技术空白，特别是针对 $p$ 整除水平的典型形式。