[论文解读] The Equivariant Tamagawa Number Conjecture for modular motives with coefficients in the Hecke algebra

Olivier Fouquet|arXiv (Cornell University)|Jan 8, 2014

Advanced Algebra and Geometry参考文献 42被引用 7

一句话总结

本文為模动机（modular motives）在 Hecke 代数系数下的等变 Tamagawa 数猜想（ETNC）提出形式化表述，填补了此前因伽罗瓦上同调复形不完美而致理论空白。文章证明了基本线在满足权重-单值猜想的几何点处的相容性，以及在水平降低/提升操作下的相容性，借助欧拉系统与 Taylor-Wiles 系统，在模形式与 Hida 理论背景下证明了 ETNC 的重要部分。

ABSTRACT

We propose a formulation of the Equivariant Tamagawa Number Conjecture for modular motives with coefficients in universal deformation rings and Hecke algebras; something which seems to have been heretofore missing because the complexes of Galois cohomology required were not known to be perfect. We show that the fundamental line of this conjecture satisfies the expected compatibility property at geometric points (more precisely at the points satisfying the Weight-Monodromy conjecture) and is compatible with level-lowering and level-raising. Combining these properties with the methods of Euler and Taylor-Wiles systems, we prove a significant part of the ETNC with coefficients in Hecke algebras for motives attached to modular forms and the full conjecture when the main conjecture of Iwasawa theory for modular forms is known to be true.

研究动机与目标

• 为具有通用变形环与 Hecke 代数系数的模动机形式化等变 Tamagawa 数猜想（ETNC），此前因伽罗瓦上同调复形缺乏完美性而缺乏该框架。
• 证明 ETNC 的基本线在满足权重-单值猜想的几何点处具有预期相容性。
• 在模形式背景下，证明 ETNC 与水平降低及水平提升操作的相容性。
• 利用欧拉系统与 Taylor-Wiles 系统，特别是在模形式与 Hida 理论设定下，验证 Hecke 代数系数下 ETNC 的重要部分。
• 在标准猜想性假设下，将 Hecke 代数上的 ETNC 归约为经典模形式的 Iwasawa 理论，尤其针对权重 k > 2 的情形。

提出的方法

• 为具有通用 Hecke 代数 T^new 及其约化商 T^red 的模动机形式化 ETNC，将经典猜想推广至非有理系数情形。
• 将行列式函子应用于 Nekovář-Selmer 复形与平展上同调，以在动机设定下定义基本线与 zeta 元素。
• 利用模曲线上同调的积分格，并通过验证模动机的权重-单值猜想，确保在几何点处的相容性。
• 使用在 Iwasawa 代数 Λ 中取值的欧拉系统，并通过 Taylor-Wiles 系统构造精化基本线，以控制特殊值。
• 通过将基本线与模形式的 Iwasawa 主猜想关联，将 Hecke 代数上的 ETNC 归约为经典 Iwasawa 理论。
• 借助 Kato、Ochiai 与 Sujatha–Urban 的结果，在标准假设（如不可约性、变形条件）下验证 Iwasawa 理论中的主猜想，从而证明 ETNC 的关键情形。

实验结果

研究问题

• RQ1 在相关伽罗瓦上同调复形不完美的情形下，是否能为具有 Hecke 代数系数的模动机一致地形式化等变 Tamagawa 数猜想（ETNC）？
• RQ2 对于 Hecke 代数系数的 ETNC，其基本线是否在满足权重-单值猜想的几何点处具有预期相容性？
• RQ3 在模形式及其关联伽罗瓦表示的背景下，ETNC 是否与水平降低及水平提升操作相容？
• RQ4 是否能将 Hecke 代数系数下的 ETNC 归约为权重 k > 2 的经典模形式 Iwasawa 理论？
• RQ5 在何种条件下，ETNC 对具有通用变形环 RΣ,Iw 或其 Hida 理论变体 RΣ,Hi,Iw 的模形式成立？

主要发现

• 本文证明，具有 Hecke 代数 T^new 系数的模动机 ETNC 的基本线，在满足权重-单值猜想的几何点处具有预期相容性。
• ETNC 被证明与水平降低及水平提升操作相容，从而将该猜想的适用范围扩展至更广泛的模形式类。
• 在残余伽罗瓦表示满足标准条件（如不可约性、分歧约束）的假设下，利用欧拉系统与 Taylor-Wiles 系统，证明了 Hecke 代数 T^red 系数下 ETNC 的重要部分。
• 在存在一个权重 k > 2 的模形式特化使得经典 ETNC 成立的假设下，证明了 RΣ,Iw 上的 ETNC，从而将问题归约为 Iwasawa 理论中的已知结果。
• 将 Greenberg 与 Mazur 提出的模形式 Iwasawa 理论主猜想作为关键输入，其有效性（由 Sujatha–Urban 建立）在所述假设下意味着 RΣ,Hi,Iw 上 ETNC 的成立。
• 建立了 RΣ,Iw 上 ETNC 与存在一个满足经典 ETNC 的模形式特化的等价性，从而在全局与局部表述之间建立起桥梁。