The Smallest Invariant Factor of Elliptic Curves, and Coincidences

论文概要

标题：椭圆曲线的最小不变因子与重合现象
作者：Alexander Milner 和 Jack Shotton
核心问题：研究定义在有理数域 $\mathbb{Q}$ 上的椭圆曲线 $E$，对于给定的正整数 $j$，有多少个素数 $p$（具有好的约化性质）使得 $E(\mathbb{F}_p)$ 的群结构中最小的不变因子 $d_{E,p}$ 等于 $j$。具体而言，文章旨在确定 Cojocaru 提出的密度常数 $C_{E,j}$ 何时严格大于零（即在广义黎曼猜想 GRH 下，是否存在无穷多个这样的素数 $p$）。

---

1. 研究背景与问题定义

• 背景：
  对于椭圆曲线 $E/\mathbb{Q}$ 和素数 $p$（好约化），$E(\mathbb{F}_p)$ 是一个至多由两个循环群生成的阿贝尔群，可表示为：
  $$E(\mathbb{F}_p) \cong \mathbb{Z}/d_{E,p}\mathbb{Z} \times \mathbb{Z}/e_{E,p}\mathbb{Z}$$
  其中 $d_{E,p} | e_{E,p}$。$d_{E,p}=1$ 当且仅当 $E(\mathbb{F}_p)$ 是循环群。
• Cojocaru 的结果：
  Cojocaru ([Coj04]) 证明了在广义黎曼猜想 (GRH) 下，满足 $d_{E,p}=j$ 的素数 $p \le x$ 的渐近密度为：
  $$\#\{p \le x : d_{E,p} = j\} \sim C_{E,j} \text{Li}(x)$$
  其中常数 $C_{E,j}$ 定义为：
  $$C_{E,j} = \sum_{k=1}^{\infty} \frac{\mu(k)}{[\mathbb{Q}(E[jk]) : \mathbb{Q}]}$$
• 核心问题：
  上述定理并未解决 $C_{E,j} > 0$ 的条件。如果 $C_{E,j} = 0$，则除了有限个素数外，不存在满足 $d_{E,p}=j$ 的素数。
  • 已知反例：若 $E$ 具有全有理 2-挠点（即 $\mathbb{Q}(E[2]) = \mathbb{Q}$），则对所有 $p$，$2 | d_{E,p}$，导致 $C_{E,1}=0$。
  • 目标：对于无复乘（Non-CM）椭圆曲线，给出 $C_{E,j} > 0$ 的充要条件（在 GRH 下），并研究 $C_{E,j}=0$ 的机制。

---

2. 方法论

本文主要采用群论和伽罗瓦表示的方法，特别是利用椭圆曲线的**进伽罗瓦表示（Adelic Galois Representation）**的像。

1. 伽罗瓦像分析：

   • 设 $\rho: \text{Gal}(\bar{\mathbb{Q}}/\mathbb{Q}) \to \text{GL}_2(\hat{\mathbb{Z}})$ 为 $E$ 的进伽罗瓦表示，其像为 $H$。
   • 定义 $E$ 的进级数（Adelic level）$m_E$ 为 $H$ 的级数。
   • 利用 $H$ 在模 $n$ 下的像 $H \pmod n$ 来刻画分式域 $\mathbb{Q}(E[n])$ 的扩张次数。

2. $C_{E,j}$ 的群论重述：

   • 利用莫比乌斯反演和包含排斥原理，将 $C_{E,j}=0$ 的条件转化为伽罗瓦像的集合包含关系。
   • 关键命题 (Proposition 2.3)：$C_{E,j} = 0$ 当且仅当
     $$H \cap \Gamma_j \pmod m = \bigcup_{p \in S} (H \cap \Gamma_{jp} \pmod m)$$
     其中 $S$ 是整除 $m/j$ 的素数集合，$\Gamma_n$ 是模 $n$ 的核。
   • 这意味着 $C_{E,j}=0$ 等价于某种“重合”现象：分式域 $\mathbb{Q}(E[j])$ 与 $\mathbb{Q}(E[jp])$ 相等。

3. 正性判据 (Positivity Criterion)：

   • 通过研究 $H \cap \Gamma_j$ 在行列式映射下的像，以及 $H$ 与循环扩张 $\mathbb{Q}(\zeta_n)$ 的交集，建立了 $C_{E,j} > 0$ 的充分条件（Theorem 3.2）。
   • 利用 Goursat 引理分析子群结构，证明在特定条件下，存在元素属于 $H \cap \Gamma_j$ 但不属于任何 $H \cap \Gamma_{jp}$。

---

3. 主要贡献与结果

3.1 推广 Kim 的结果 (Theorem 1.6 & Corollary 3.8)

• Kim [Kim15] 的结论：若 $j$ 与 $E$ 的进级数 $m_E$ 互素，则 $C_{E,j} > 0$。
• 本文改进：
  • 证明了若 $j$ 与 $2A(E)$ 互素（其中 $A(E)$ 是 $p$-进表示非满射的素数乘积），且 $\mathbb{Q}(E[2]) \not\subset \mathbb{Q}(E[j])$，则 $C_{E,j} > 0$。
  • 进一步给出了更精细的判据（Theorem 3.2），允许 $j$ 与 $2A(E)$ 有公因子，只要满足特定的分式域不相等条件。
  • 推论：若 $\mathbb{Q}(E[2]) \neq \mathbb{Q}$ 且 $\gcd(j, 2A(E)) = 1$，则 $C_{E,j} > 0$。这推广了关于 $C_{E,1} > 0$ 的已知结果（Theorem 1.2）。

3.2 修正前人错误 (Section 5)

• 指出并修正了 [CM04] 中关于 $C_{E,1} > 0$ 证明的一个小错误。原证明假设某些分式域线性无关，但这在判别式导子为合数时不成立。
• 本文通过更细致的包含排斥计算（Lemma 5.1 和 Corollary 5.2 的修正应用）给出了 $C_{E,1} > 0$ 的严格证明。

3.3 重合现象 (Coincidences) 的分类与猜想

• 定义：称 $\mathbb{Q}(E[j]) = \mathbb{Q}(E[jp])$ 为 $p$-重合（$p$-coincidence）。
• 核心猜想 (Conjecture 2.6 & 4.2)：
  • 对于非复乘椭圆曲线，$C_{E,j} = 0$ 当且仅当存在素数 $p$ 使得 $\mathbb{Q}(E[j]) = \mathbb{Q}(E[jp])$。
  • 进一步猜想：对于非复乘曲线，$p$-重合仅发生在 $p=2$ 或 $p=3$ 时。即不存在 $p \ge 5$ 的重合。
• 构造实例：
  • 利用阿贝尔分式域（Abelian division fields）构造了无穷族的重合例子。
  • 2-幂挠点：当 $\mathbb{Q}(E[2^r])$ 为阿贝尔扩张且满足特定导子条件时，可构造 $\mathbb{Q}(E[2^r k]) = \mathbb{Q}(E[2^{r+1} k])$。
  • 3-挠点：利用 $\mathbb{Q}(E[3]) = \mathbb{Q}(\zeta_3)$ 且判别式满足特定条件，构造 $\mathbb{Q}(E[m]) = \mathbb{Q}(E[3m])$。
  • 提供了 LMFDB 数据库中的具体曲线编号（如 19.a3, 50.b3, 960.a5 等）作为验证。

3.4 数值验证

• 利用 Zywina 的算法和 LMFDB 数据，验证了所有导子 $\le 500,000$ 的非复乘椭圆曲线，证实了猜想 2.6 和 4.2 在这些范围内成立。

---

4. 关键定理总结

• Theorem 3.2 (正性判据)：
  设 $j | m_E$，$R$ 为 $j$ 与 $m_E/j$ 的奇素数因子的乘积。若 $\mathbb{Q}(E[j]) \cap \mathbb{Q}(\zeta_R) = \mathbb{Q}(\zeta_j)$ 且 $\mathbb{Q}(E[2^{a+1}]) \neq \mathbb{Q}(E[2^a])$（其中 $a=v_2(j)$），则 $C_{E,j} > 0$。
• Corollary 3.8：
  若 $\mathbb{Q}(E[2]) \neq \mathbb{Q}$ 且 $\gcd(j, 2A(E)) = 1$，则 $C_{E,j} > 0$。
• Proposition 4.1：
  对于任意不被 12 整除的正整数 $j$，存在椭圆曲线 $E$ 使得 $C_{E,j} = 0$（通过构造重合 $\mathbb{Q}(E[j]) = \mathbb{Q}(E[2j])$ 或 $\mathbb{Q}(E[3j])$）。

---

5. 意义与影响

1. 理论深化：
   文章将椭圆曲线点群结构的统计性质与伽罗瓦表示的精细结构（特别是进像的包含关系）紧密联系起来，提供了比前人更精确的 $C_{E,j} > 0$ 判据。
2. 解决开放问题：
   修正了 [CM04] 中的证明漏洞，并给出了 $C_{E,1} > 0$ 的更简洁证明。
3. 揭示新现象：
   系统研究了“分式域重合”（Coincidences）现象，提出了关于重合仅发生在 $p=2,3$ 的强猜想，并通过构造无穷族例子和数值验证支持了这一猜想。这加深了对椭圆曲线分式域之间“纠缠”（Entanglements）关系的理解。
4. 应用价值：
   对于理解椭圆曲线在有限域上的群结构分布、素数分布以及相关的算术几何问题提供了重要的理论工具。

总结：该论文通过群论和伽罗瓦表示理论，精确刻画了椭圆曲线最小不变因子分布密度的正性条件，并揭示了分式域重合是导致密度为零的唯一机制（在 $p=2,3$ 的范围内），极大地推进了该领域的认知。