[论文解读] Selmer groups of elliptic curves in degree $p$ extensions

Julio Brau|arXiv (Cornell University)|Jan 14, 2014

Algebraic Geometry and Number Theory参考文献 19被引用 5

一句话总结

本文为数域的 $p$ 次伽罗瓦扩张中椭圆曲线的 $p$-Selmer 群的伽罗瓦不变量的 $\mathbb{F}_p$-维数提供了完整的公式，特别针对 $K=\mathbb{Q}(\zeta_p)$ 及其扩张 $L_m = K(\sqrt[p]{m})$。该维数被表示为每个素数处局部贡献的和，其中显式条件基于局部不变量、约化类型和希尔伯特符号，扩展了先前结果，消除了对普通约化或欧拉特征值的假设。

ABSTRACT

We study the growth of the Galois invariants of the $p$-Selmer group of an elliptic curve in a degree $p$ Galois extension. We show that this growth is determined by certain local cohomology groups and determine necessary and sufficient conditions for these groups to be trivial. Under certain hypotheses this allows us to give necessary and sufficient conditions for there to be growth in the full $p$-Selmer group in a degree $p$ Galois extension.

研究动机与目标

• 确定数域的 $p$ 次伽罗瓦扩张中 $p$-Selmer 群伽罗瓦不变量的精确 $\mathbb{F}_p$-维数。
• 通过消除对 $p$ 处普通约化及分圆欧拉特征值的假设，推广先前关于 Selmer 群增长的结果。
• 为 $p$-扩张中 Selmer 群增长提供必要且充分的条件，尤其在 $K=\mathbb{Q}(\zeta_p)$ 和 $L_m = K(\sqrt[p]{m})$ 的背景下。
• 利用局部上同调和形式群理论计算 Selmer 群维数的局部贡献，特别是对上奇异和分裂乘法约化素数。

提出的方法

• 使用伽罗瓦上同调和局部对偶性分析 $\mathrm{Sel}_p(E/L)^G$ 的结构，重点研究在 $p$ 次扩张的伽罗瓦群 $G$ 作用下的固定子模。
• 应用 Hachimori 和 Matsuno 关于 $p$-幂扩张中 $\lambda$-不变量的公式，并将其调整以计算伽罗瓦不变量的维数。
• 引入由 $j$-不变量和 $m$ 的赋值导出的局部不变量 $u_{\ell,m}$，以确定分裂乘法约化素数处的希尔伯特符号条件。
• 运用形式群理论和高阶分歧理论，特别是利用 $t_w = \mathrm{ord}_w(\sigma(\pi_w) - \pi_w) - 1$，计算高度 $h > 1$ 的形式群中的范数像。
• 分析形式群 $\mathcal{F}(\mathfrak{m}_L)$ 上的范数映射，以计算 $\mathcal{F}(\mathfrak{m}_K)/N^\mathcal{F}(\mathcal{F}(\mathfrak{m}_L))$ 的维数，证明当 $p \mid m$ 时其维数为 $p-2$。
• 利用局部 Selmer 群 $W_{v,L}$ 及其维数 $\delta_v$，将总维数分解为素数的和，根据约化类型和分裂行为进行分类讨论。

实验结果

研究问题

• RQ1 对于 $p$ 次伽罗瓦扩张 $L/K$，$\mathrm{Sel}_p(E/L)^{\mathrm{Gal}(L/K)}$ 的精确 $\mathbb{F}_p$-维数是多少？
• RQ2 在何种局部条件下，$p$-Selmer 群在这些扩张中增长，特别是当 $E$ 在 $p$ 上方的素数处具有上奇异约化时？
• RQ3 如何利用希尔伯特符号和局部不变量表征分裂乘法约化素数对 Selmer 群维数的贡献？
• RQ4 在扩张 $K(\sqrt[p]{m})$ 中，$m$ 的 $p$-进赋值在确定 Selmer 群增长中的作用是什么？
• RQ5 能否在不假设欧拉特征值平凡或普通约化的情况下计算 $p$-Selmer 群伽罗瓦不变量的维数？

主要发现

• 在 $\mathrm{Sel}_p(E/L_m)^{\mathrm{Gal}(L_m/K)}$ 中，$\mathbb{F}_p$-维数由有限和 $\sum_v \delta_v$ 给出，其中每个 $\delta_v$ 依赖于 $v$ 在 $L_m/K$ 中的约化类型和分裂行为。
• 对于 $p$ 上方的素数 $v$ 且具有良好上奇异约化的情形，若 $p \mid m$，则 $\delta_v = p-2$；否则 $\delta_v = 0$，表明该贡献随 $p$ 增长。
• 对于非 $p$ 上方的分裂乘法约化素数 $v$，若 $u_{\ell_v,m}^{(q_v-1)/p} \equiv 1 \pmod{\ell_v}$，则 $\delta_v = 1$，其中 $u_{\ell_v,m}$ 是由 $j$-不变量和 $m$ 导出的局部不变量。
• 对于非 $p$ 上方的非分裂乘法约化素数 $v$，无论分歧或 $m$ 的取值如何，$\delta_v = 0$。
• 对于 $v|p$ 处的良好普通约化，若 $\tilde{E}(k_v)[p] \neq 0$，则 $\delta_v = 1$ 或 $2$；否则 $\delta_v = 0$。
• 对于 $v \nmid p$ 处的良好约化，$\delta_v = \dim_{\mathbb{F}_p} \tilde{E}(k_v)[p]$；对于惰性或分裂素数，除非满足额外条件（如 $p \mid c_v$），否则其贡献为零。