[论文解读] Vanishing of some Galois cohomology groups for elliptic curves

Tyler Lawson, Christian Wüthrich|arXiv (Cornell University)|May 12, 2015

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

一句话总结

本文完全分类了当椭圆曲线 $ E/\mathbb{Q} $ 的伽罗瓦上同调群 $ H^1(G, E[p]) $ 不为零时的情形，识别出三个例外情况：$ p=3 $ 时存在唯一的 3-同源，$ p=5 $ 时存在特定的 5-同源及其扭，以及 $ p=11 $ 时对应于曲线 121c2 的情形。研究进一步将此分类扩展至更高阶的挠子群 $ E[p^i] $，表明 $ H^1(G_i, E[p^i]) $ 仅在涉及有理 $ p $-挠子群或同源度为 $ p $ 或 $ p^2 $ 的特定情形下非零，该结果在 Birch 和 Swinnerton-Dyer 猜想以及 Grunwald–Wang 问题中具有应用。

ABSTRACT

Let E/Q be an elliptic curve and p be a prime number, and let G be the Galois group of the extension of Q obtained by adjoining the coordinates of the p-torsion points on E. We determine all cases when the Galois cohomology group H^1(G, E[p]) does not vanish, and investigate the analogous question for E[p^i] when i>1. We include an application to the verification of certain cases of the Birch and Swinnerton-Dyer conjecture, and another application to the Grunwald-Wang problem for elliptic curves.

研究动机与目标

• 确定所有满足 $ H^1(G, E[p]) $ 不为零的椭圆曲线 $ E/\mathbb{Q} $ 的情形，其中 $ G = \operatorname{Gal}(\mathbb{Q}(E[p]) / \mathbb{Q}) $。
• 将分类结果扩展至更高阶挠子群 $ E[p^i] $（$ i > 1 $），尤其关注 $ p > 3 $ 的情形。
• 将上同调结果应用于验证 Birch 和 Swinnerton-Dyer 猜想的特定情形，以及椭圆曲线的 Grunwald–Wang 问题。
• 明确构造局部-整体除法在 $ m = 9 $ 时的反例，以修正并扩展先前结果。

提出的方法

• 将问题约化至伽罗瓦群 $ G $ 不包含非平凡位似变换的情形，从而简化上同调分析。
• 运用群论与伽罗瓦表示理论技术分析 $ H^1(G, E[p]) $，特别关注模 $ p $ 伽罗瓦表示的像。
• 应用上同调消失性结果，包括关键的 $ H^2 $ 消失性定理，以将问题简化为可处理的情形。
• 计算伽罗瓦群 $ G_i = \operatorname{Gal}(\mathbb{Q}(E[p^i]) / \mathbb{Q}) $，并通过 $ \operatorname{GL}_2(\mathbb{Z}/p^i\mathbb{Z}) $ 的结构性质分析 $ H^1(G_i, E[p^i]) $。
• 通过 Frobenius 元素和模 $ \ell $ 的约化，对局部可除性条件进行数值验证，尤其关注 $ m = 9 $ 的情形。
• 通过分析上同调序列中局部化映射的核，构造出局部-整体除法的显式反例。

实验结果

研究问题

• RQ1 对于哪些椭圆曲线 $ E/\mathbb{Q} $ 和素数 $ p $，$ H^1(G, E[p]) $ 不为零？
• RQ2 当 $ i > 1 $ 时，$ H^1(G_i, E[p^i]) $ 非平凡的确切条件是什么，尤其在 $ p > 3 $ 时？
• RQ3 这些上同调群的消失性如何用于验证 Birch 和 Swinnerton-Dyer 猜想的特定情形？
• RQ4 能否利用上同调障碍构造出 $ m = 9 $ 时局部-整体除法原则的反例？
• RQ5 对于 $ m = 9 $，上同调序列中局部化核的结构是怎样的？它与伽罗瓦群 $ G_2 $ 的关系如何？

主要发现

• 上同调群 $ H^1(G, E[p]) $ 仅在三种特定情形下非平凡：$ p=3 $ 时存在唯一的 3-同源，$ p=5 $ 时存在特定的 5-同源及其扭，以及 $ p=11 $ 时对应于曲线 121c2 的情形，每种情形的群阶恰好为 $ p $。
• 对于 $ p=11 $，在 $ \mathbb{Q} $ 上存在无穷多例，但对于 $ p > 17 $ 仅有有限多例，且当 $ p \equiv 1 \pmod{3} $ 时无例外。
• 对于 $ i > 1 $，$ H^1(G_2, E[p^2]) $ 消失当且仅当对所有 $ i \geq 2 $，$ H^1(G_i, E[p^i]) $ 均消失，且该情形仅在涉及有理 $ p $-挠子群或同源度为 $ p $ 或 $ p^2 $ 的特定情形下不成立。
• 存在显式反例表明局部-整体除法在 $ m = 9 $ 时不成立：例如，在曲线 243a2 上，存在一点 $ P $，使得 $ 3P $ 在所有 $ \ell \neq 3 $ 处局部可被 9 整除，但全局不可被 9 整除。
• 对于 $ p=5 $，在 $ \operatorname{GL}_2(\mathbb{Z}/25\mathbb{Z}) $ 中恰好存在三个子群 $ G_2 $，其局部化核非平凡，每个的维数为 2，阶为 4。
• 对于 $ p=2 $，存在十二种情形其局部化核非平凡，核的大小为 $ \mathbb{Z}/2 $ 或 $ \mathbb{Z}/2 \oplus \mathbb{Z}/2 $，且 $ M_2 $ 的维数从 1 到 3 不等。