[论文解读] Iwasawa Main Conjecture for Non-Ordinary Modular Forms

Xin Wan|arXiv (Cornell University)|Jul 26, 2016

Advanced Algebra and Geometry参考文献 36被引用 11

一句话总结

本文在较弱假设下，证明了任意权且与素数 $p > 2$ 互素的非典型模形式的 Iwasawa 主猜想。通过 p-进 L 函数与欧拉系，建立了塞尔默群的特征理想与 p-进 L 函数之间的精确联系，将 Kato 的猜想推广至非典型情形。

ABSTRACT

Let $p>2$ be a prime. Under mild assumptions, we prove the Iwasawa main conjecture of Kato, for modular forms with general weight and conductor prime to $p$.

研究动机与目标

• 将 Kato 的 Iwasawa 主猜想推广至任意权且与 p 互素的非典型模形式。
• 在非典型情形下，建立 p-进 L 函数与塞尔默群之间的结构性联系。
• 克服 p-进 L 函数插值中非典型临界斜率带来的技术难题。
• 将 Iwasawa 理论框架推广至在 p 处无典型假设的模形式。
• 为非典型 Iwasawa 理论中的模形式提供基础性结果。

提出的方法

• 通过 p-进插值特殊值，构造非典型模形式的 p-进 L 函数。
• 利用 Kato 的欧拉系控制非典型情形下的塞尔默群。
• 运用形变理论与伽罗瓦上同调，将欧拉系与 p-进 L 函数联系起来。
• 在非典型情形下应用 Kolyvagin--Rubin 方法，并将其适配至高权形式。
• 建立塞尔默群的特征理想与 p-进 L 函数生成的理想之间的等式。
• 借助 Hida 系列与 p-进模形式理论，处理在 p 处的非典型行为。

实验结果

研究问题

• RQ1 Iwasawa 主猜想能否推广至在 p 处非典型的模形式？
• RQ2 在非典型情形下，p-进 L 函数如何与塞尔默群相关联？
• RQ3 当形式在 p 处非典型时，欧拉系在控制塞尔默群中起什么作用？
• RQ4 在非典型情形下，塞尔默群的特征理想是否由 p-进 L 函数生成？
• RQ5 非典型临界斜率如何影响 Iwasawa 模的结构？

主要发现

• 在较弱假设下，任意权且与 p 互素的非典型模形式的 Iwasawa 主猜想成立。
• 塞尔默群的特征理想由 p-进 L 函数生成，建立了精确的算术-几何对应关系。
• 证明依赖于非典型情形下 p-进 L 函数的整性与非零性。
• 由 Kato 理论构造的欧拉系即使在形式在 p 处非典型时，也能控制塞尔默群。
• 该结果将 Kato 的猜想推广至非典型情形，是非典型 Iwasawa 理论中的关键一步。
• 该方法通过精细控制 p-进 L 函数与伽罗瓦上同调，成功处理了非典型临界斜率。