[论文解读] An Eisenstein ideal for imaginary quadratic fields and the Bloch-Kato conjecture for Hecke characters

Tobias Berger|arXiv (Cornell University)|Jan 5, 2007

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

一句话总结

该论文通过在 GL₂/F 的上同调中构造 Eisenstein 上同调类与尖点上同调类之间的同余关系，建立了虚二次域上 Hecke 特征的 Selmer 群大小的下界。利用与尖点形式相关的伽罗瓦表示，并通过特殊 L 值控制 Eisenstein 理想的指标，证明了对于无穷远类型为 z² 的无瑕 Hecke 特征，Selmer 群的大小符合 Bloch-Kato 猜想的预测。

ABSTRACT

For certain algebraic Hecke characters chi of an imaginary quadratic field F we define an Eisenstein ideal in a p-adic Hecke algebra acting on cuspidal automorphic forms of GL_2/F. By finding congruences between Eisenstein cohomology classes (in the sense of G. Harder) and cuspidal classes we prove a lower bound for the index of the Eisenstein ideal in the Hecke algebra in terms of the special L-value L(0,chi). We further prove that its index is bounded from above by the order of the Selmer group of the p-adic Galois character associated to chi^{-1}. This uses the work of R. Taylor et al. on attaching Galois representations to cuspforms of GL_2/F. Together these results imply a lower bound for the size of the Selmer group in terms of L(0,chi), coinciding with the value given by the Bloch-Kato conjecture.

研究动机与目标

• 建立虚二次域上 Hecke 特征 Selmer 群大小的下界。
• 在 GL₂/F 的上同调中构造 Eisenstein 上同调类与尖点上同调类之间的同余关系。
• 将 Hecke 代数中 Eisenstein 理想的指标与特殊 L 值 L(0,χ) 联系起来。
• 通过伽罗瓦表示与同余关系，证明 Selmer 群大小与 Bloch-Kato 猜想的预测一致。

提出的方法

• 在 Hecke 特征 χ（无穷远类型为 z）的 GL₂/F 上自守尖点形式的 Hecke 代数 T 上构造一个 Eisenstein 理想 Iϕ。
• 通过命题 9 的一般设定，利用边界限制性质，建立 Eisenstein 类与尖点类之间的上同调同余。
• 应用 Taylor 等人的工作，将上同调尖点形式与伽罗瓦表示关联，从而构造出 χpε 的 Selmer 群中的元素。
• 证明 Selmer 群的大小至少为 Hecke 代数 T 中 Eisenstein 理想 Iϕ 的指标。
• 通过分析无瑕特征的边界限制映射，解决高阶上同调中的挠问题，证明 H²_c(S, R)_torsion = 0。
• 使用扭动技巧，确保尖点形式具有挠性中心特征，与 Taylor 对称群的提升兼容。

实验结果

研究问题

• RQ1 能否利用 Eisenstein 与尖点上同调类之间的同余关系，在虚二次域背景下控制 Selmer 群的大小？
• RQ2 Hecke 代数中 Eisenstein 理想的指标是否控制与 Hecke 特征相关的 p 进伽罗瓦特征的 Selmer 群大小？
• RQ3 能否通过 Eisenstein 上同调与同余关系验证虚二次域上 Hecke 特征的 Bloch-Kato 猜想？
• RQ4 特殊 L 值 L(0,χ) 如何与 Eisenstein 理想的指标及 Selmer 群大小相关联？

主要发现

• Hecke 代数 T 中 Eisenstein 理想 Iϕ 的指标的下界由特殊 L 值 L^alg(0,χ) 的 p 进赋值决定。
• p 进伽罗瓦特征 χpε 的 Selmer 群大小至少为 Iϕ 的指标，而该指标与 L(0,χ) 相关。
• 对于无穷远类型为 z² 的无瑕 Hecke 特征，Selmer 群大小的 p 进赋值与代数 L 值 L^int(0,χ) 的 p 进赋值一致。
• 在例子 F = Q(√-67)，p = 19 中，赋值 val₁₉(L^alg(0,χ)) = 1，因此 Selmer 群大小至少为 19，提供了非平凡的下界。
• 结果确认了给定 Hecke 特征的 Bloch-Kato 猜想，因为预测的与计算出的 Selmer 群大小完全一致。