[论文解读] On the Brumer-Stark Conjecture

Samit Dasgupta, Mahesh Kakde|arXiv (Cornell University)|Oct 1, 2020

Algebraic Geometry and Number Theory被引用 5

一句话总结

该论文通过利用格丛环值的希尔伯特模形式及尖点形式与 Eisenstein 系列之间的精确同余关系，证明了在不考虑 2 的情况下，Brumer–Stark 猜想成立，其核心是建立了对 T-光滑化类群的 Pontryagin 对偶的负部的 0 阶 Fitting 理想的更强公式。关键结果表明，该 Fitting 理想由 Stickelberger 元素生成，从而也意味着在 Z[1/2] 上，Rubin 的更高秩版本的该猜想成立。

ABSTRACT

Let $H/F$ be a finite abelian extension of number fields with $F$ totally real and $H$ a CM field. Let $S$ and $T$ be disjoint finite sets of places of $F$ satisfying the standard conditions. The Brumer-Stark conjecture states that the Stickelberger element $Θ^{H/F}_{S, T}$ annihilates the $T$-smoothed class group $ ext{Cl}^T(H)$. We prove this conjecture away from $p=2$, that is, after tensoring with $\mathbf{Z}[1/2]$. We prove a stronger version of this result conjectured by Kurihara that gives a formula for the 0th Fitting ideal of the minus part of the Pontryagin dual of $ ext{Cl}^T(H) \otimes \mathbf{Z}[1/2]$ in terms of Stickelberger elements. We also show that this stronger result implies Rubin's higher rank version of the Brumer-Stark conjecture, again away from 2. Our technique is a generalization of Ribet's method, building upon on our earlier work on the Gross-Stark conjecture. Here we work with group ring valued Hilbert modular forms as introduced by Wiles. A key aspect of our approach is the construction of congruences between cusp forms and Eisenstein series that are stronger than usually expected, arising as shadows of the trivial zeroes of $p$-adic $L$-functions. These stronger congruences are essential to proving that the cohomology classes we construct are unramified at $p$.

研究动机与目标

• 证明在 F 为完全实数域、H/F 为 CM 扩张时，Brumer–Stark 猜想在 p=2 之外成立。
• 建立关于 T-光滑化类群的 Pontryagin 对偶的负部的 0 阶 Fitting 理想的更强版本的猜想。
• 证明该更强结果蕴含 Rubin 在 Z[1/2] 上对 Brumer–Stark 猜想的更高秩推广。
• 通过尖点形式与 Eisenstein 系列之间的同余关系，构建在 p-进 L 函数具有平凡零点背景下的无分歧伽罗瓦上同调类。
• 通过使用格丛环值的希尔伯茨模形式与普通投影，扩展 Ribet 的方法，以控制在 p 处的分歧。

提出的方法

• 在对 Gross–Stark 猜想的早期工作基础上，将 Ribet 方法推广至完全实数域上的格丛环值希尔伯茨模形式。
• 构造尖点形式与 Eisenstein 系列之间的同余关系，其强度超过预期，源于 p-进 L 函数的平凡零点。
• 在 Hecke 代数上使用普通投影，以分离 p-进形式族并控制其关联的伽罗瓦表示。
• 将模 ∇ 定义为通过伽罗瓦上同调表示的 Selmer 模，并利用其表示矩阵的转置计算其 Fitting 理想。
• 应用 Fitting 理想理论，将 ∇ 的结构与 Stickelberger 元素相关联，特别是在伽罗瓦模的负部中。
• 利用关键引理 (B.7)，将 ∇ 的 Fitting 理想与各个子域上的范数理想和 Stickelberger 元素的乘积相关联，最终证明 Kurihara 猜想。

实验结果

研究问题

• RQ1 能否通过改进的上同调技术，在不考虑 p=2 的情况下证明 Brumer–Stark 猜想？
• RQ2 是否存在关于 T-光滑化类群的 0 阶 Fitting 理想的更强结构性陈述，其以 Stickelberger 元素表达？
• RQ3 在伽罗瓦上同调的背景下，p-进 L 函数的平凡零点如何影响尖点形式与 Eisenstein 系列之间的同余关系？
• RQ4 更强的 Fitting 理想公式是否蕴含 Rubin 在 Z[1/2] 上对 Brumer–Stark 猜想的更高秩版本？
• RQ5 能否通过这些改进的同余关系，证明通过希尔伯茨模形式构造的上同调类在 p 处是无分歧的？

主要发现

• Brumer–Stark 猜想在与 Z[1/2] 张量后成立，即 Stickelberger 元素 Θ^{H/F}_{S,T} 消去 T-光滑化类群 Cl^T(H) ⊗ Z[1/2]。
• 证明了更强的版本：Pontryagin 对偶的 Cl^T(H) ⊗ Z[1/2] 的负部的 0 阶 Fitting 理想，由所有满足 S_∞ ⊂ J ⊂ S_∞ ∪ S_ram 的 J 的 Stickelberger 元素 Θ_{J,T}(H^{ar{J}}/F) 生成。
• 通过模块 ∇ 的表示矩阵实现 Fitting 理想的计算，其行列式给出 Fitting 理想，如公式 (175) 所示。
• 该结果蕴含 Rubin 在 Z[1/2] 上对 Brumer–Stark 猜想的更高秩版本，如定理 B.8 所确立。
• 关键技术创新在于构造了强于预期的尖点形式与 Eisenstein 系列之间的同余关系，其源于 p-进 L 函数的平凡零点，并确保在 p 处的上同调类无分歧。
• 证明依赖于改进的普通投影版本，以及使用格丛环值希尔伯茨模形式，以控制伽罗瓦作用与上同调结构。