$p$-twisted Selmer near-companion curves

“p-扭转 Selmer 近伴随曲线”技术摘要

问题陈述与背景
本文探讨了椭圆曲线的算术性质与其在扭转下的 Selmer 群之间的关系。基于 Mazur 和 Rubin [7] 关于定义 $n$-Selmer 近伴随曲线的工作，本文研究了 Selmer 秩差的有界性与扭转子群同构之间的关系。Mazur 和 Rubin 曾提出猜想：如果两个定义在数域 $K$ 上的椭圆曲线 $E_1$ 和 $E_2$ 是 $n$-Selmer 近伴随的（即它们在二次扭转下的 $n$-Selmer 群维数之差是有界的），那么它们的 $n$-扭转子群 $E_1[n]$ 和 $E_2[n]$ 作为 $G_K$-模必须是同构的。

虽然 Yu [11] 证明了该猜想在 $n=2$ 时成立，但对于奇素数 $p$ 的一般情况仍是一个开放问题。引言中指出的一项关键困难在于：生成扭转点的域相等 $K(E_1[p]) = K(E_2[p])$ 并不自动意味着 $G_K$-模同构 $E_1[p] \cong E_2[p]$。为了弥补这一差距并扩展该框架，作者引入了 $p$-扭转 Selmer 近伴随曲线 ($p$-TSNC) 的概念。与仅考虑二次扭转的原有定义不同，$p$-TSNC 考虑了由所有特征 $\chi \in \text{Hom}(G_K, \mu_p)$ 进行的扭转。

研究方法
核心策略是分析 $p$-扭转下 Selmer 秩的行为。作者定义了 $p$-扭转 Selmer 群 $S_p(E/K, \chi)$，并研究了维数之差 $r_p(E_1, \chi) - r_p(E_2, \chi)$。

证明依赖于利用 Chebotarev 密度定理的“密度论证”。研究方法如下：

1. 域扩张分析： 作者假设 $K(E_1[p]) \neq K(E_2[p])$，并分析与 $E_1$ 和 $E_2$ 相关的伽罗瓦表示。证明根据域 $M_i = K(E_i[p])$ 的结构以及 $p$-扭转点 $E_i(K)[p]$ 的情况分为若干情形。
2. 局部-全局原理： 利用全局类域论工具以及局部 Selmer 条件（特别是 Kummer 映射 $\gamma_v(\chi_v)$ 的像）的性质，作者构造了满足特定素数 $q$ 处局部条件的全局特征 $\chi$。
3. 秩的操作： 通过选择具有特定 Frobenius 性质的素数 $q$（例如，Frobenius 在 $E[p]$ 上作用为平凡的素数 $q \in P_2(E)$），作者构造了能够使一条曲线的 Selmer 秩增加 2，而保持另一条曲线不变，或者使两者增加不同数值的特征。
4. 归纳构造： 通过一系列引理（第 3-8 节），本文证明了如果 $K(E_1[p]) \neq K(E_2[p])$，则可以找到无穷多个特征 $\chi$，使得 $|r_p(E_1, \chi) - r_p(E_2, \chi)|$ 变得任意大。这与 $p$-TSNC 的定义相矛盾，因为 $p$-TSNC 要求该差值被一个常数 $C$ 控制。

主要贡献与结果
本文引入了 $p$-扭转 Selmer 近伴随曲线的定义，并确立了以下主要定理：

• 定理 1.6（具有不同域的 $p$-TSNC 不存在性）： 如果 $E_1$ 和 $E_2$ 是 $K$ 上的 $p$-TSNC，则 $K(E_1[p]) = K(E_2[p])$，前提是至少满足以下条件之一：

  • 对于某个 $i$，$E_i[p] \subset E_i(K)$。
  • 对于 $i=1,2$，$E_i(K)[p] \cong \mathbb{Z}/p\mathbb{Z}$。
  • $E_1(K)[p] \cong \mathbb{Z}/p\mathbb{Z}$ 且 $K(\mu_p) \subsetneq M_2$。
  • 对于 $i=1,2$，次数 $[M_i : K(\mu_p)]$ 不被 $p$ 整除。
  • $\mu_p \subset K$。
    本质上，在这些条件下，$p$-TSNC 的性质强制要求生成 $p$-扭转点的域是相同的。

• 定理 1.7（同构的充分性）： 如果存在 $G_K$-模同构 $E_1[p] \cong E_2[p]$（对于 $p \ge 3$），则 $E_1$ 和 $E_2$ 是 $K$ 上的 $p$-TSNC。这证实了在新定义背景下主猜想的逆方向。

• 推论： 本文得出，如果 $\mu_p \subset K$ 且 $E_i(K)[p] \cong \mathbb{Z}/p\mathbb{Z}$，则 $p$-TSNC 意味着作为 $G_K$-模的 $E_1[p] \cong E_2[p]$（推论 1.9）。类似地，如果 $E_1[p] \subset E_1(K)$，则 $p$-TSNC 意味着同构（推论 1.10）。

意义
本文通过将扭转机制从二次特征推广到所有进入 $\mu_p$ 的特征，扩展了 Mazur 和 Rubin 的框架。其主要意义在于证明了对于广泛的椭圆曲线（涵盖了 $p$-扭转是合规的、部分合规的或伽罗瓦像较大的情况），$p$-扭转 Selmer 近伴随的条件足以强制要求 $K(E_1[p])$ 与 $K(E_2[p])$ 相等。

作者指出，对于没有复乘（CM）的椭圆曲线，Faltings 定理意味着如果两条曲线不是同源的，则对于无穷多个素数，都有 $K(E_1[p]) \neq K(E_2[p])$。因此，本文表明，如果两条非同源曲线对于除了有限个素数之外的所有素数都是 $p$-TSNC，那么它们必然是同源的。这项工作为 Mazur-Rubin 猜想在 $p$-扭转 Selmer 群背景下提供了严谨的部分解决，特别是建立了有界的 Selmer 秩差与在特定算术约束下扭转域相等之间的联系。