Intrinsic Subgroups and the $\ell$-adic Galois image

技术摘要：内蕴子群与 $\ell$-进伽罗瓦图像

问题陈述
本文研究了椭圆曲线 $E$ 在域 $k$ 上的挠点“内蕴子群”（intrinsic subgroup）的分类与计算。基于 Yamazaki 等人 [5] 的工作，他们定义了一个定义在光滑射影曲线 $X$ 的挠部分 $\text{Pic}(X)_{\text{tors}}$ 上、取值为 $k^\times \otimes \mathbb{Q}/\mathbb{Z}$ 的双加性对称配对 $\langle -, - \rangle$，本文将内蕴子群定义为该配对的核。对于椭圆曲线 $E$，由于 $E(k) \cong \text{Pic}^0(E)$，该内蕴子群 $E(k)_{\text{is}}^{\text{tors}}$ 由在配对下与所有其他挠点正交的挠点组成。

虽然 Yamazaki 等人利用解析方法对 $\mathbb{Q}$ 上的椭圆曲线进行了分类，但本文旨在将这些结果推广到任意域 $k$（特别是 $\mathbb{C}$ 的子域），并为确定该子群的结构提供显式的代数判据和算法。

研究方法
本文结合了代数几何、伽罗瓦理论和模曲线理论：

1. 通过同构进行代数特征化： 在第 2 节中，作者利用配对的函子性推导了内蕴子群规模的充分条件。具体而言，引理 2.1 确立了：若同构 $\psi: E_1 \to E_2$ 的核等于全挠子群 $E_1(k)_{\text{tors}}$，则对偶同构 $\hat{\psi}$ 作用于 $E_2(k)_{\text{tors}}$ 的像位于 $E_1(k)_{\text{is}}^{\text{tors}}$ 内。这引出了定理 2.2，该定理将特定循环同构的存在性与内蕴子群的阶联系起来。
2. 模曲线与扭曲（Twists）： 第 3 节将分析扩展到子域 $k \subset \mathbb{C}$。作者构造了模曲线 $X_1(N)$ 及其扭曲的显式平面模型。通过将配对值 $\langle P, P \rangle$ 表示为 Jacobi 泰特函数（Jacobi theta functions）和模曲线上有理函数的函数形式，本文证明了具有特定挠结构和内蕴子群的椭圆曲线对应于模曲线 $X_{1,0}(N, MN)$ 的特定扭曲 $X_1(N)^\zeta_M$ 上的有理点。
3. 算法计算： 第 4 节详细介绍了针对 $k=\mathbb{Q}$ 情况的计算算法。该程序将椭圆曲线转化为 Tate 标准型，利用从泰特函数关系中导出的预计算有理函数 $f_N(t)$，并通过分析配对公式中所得有理数的指数来确定内蕴子群的阶。

主要贡献与结果

• 对 Yamazaki 等人工作的推广： 本文将内蕴子群的分类从 $\mathbb{Q}$ 推广到任意域 $k \subset \mathbb{C}$。本文证明，对于具有循环挠群 $\mathbb{Z}/N\mathbb{Z}$ 和内蕴子群 $\mathbb{Z}/M\mathbb{Z}$ 的椭圆曲线，该曲线对应于模曲线 $X_{1,0}(N, MN)$ 的一个特定扭曲上的有理点。
• 代数条件： 定理 2.2 提供了一个纯代数的充分条件：若 $E$ 拥有一个阶为 $MN$且包含阶为$N$的点$P$的$k$-有理循环子群，则由$[N/M]P$ 生成的子群包含在内蕴子群中。
• 伽罗瓦图像特征化： 定理 3.2 建立了内蕴子群与阿代尔（adelic）伽罗瓦图像之间的关系。若 $E(k)_{\text{tors}} \cong \mathbb{Z}/N\mathbb{Z}$ 且 $E(k)_{\text{is}}^{\text{tors}} \cong \mathbb{Z}/M\mathbb{Z}$，则 $E$ 的伽罗瓦图像共轭于 $\Gamma_{1,0}(N, MN)$ 的一个子群。
• 显式算法： 文中提供了一个算法（算法 4.2），在给定 Weierstrass 系数和挠群生成元的情况下，计算 $E(\mathbb{Q})_{\text{is}}^{\text{tors}}$ 的阶和生成元。该算法已被实现，并用于计算 LMFDB 中所有椭圆曲线的内蕴子群阶。
• 模问题： 本文指出，模曲线 $X_{1,0}(N, MN)$ 及其扭曲是分类具有给定挠结构和内蕴子群结构的椭圆曲线这一模问题的解（至少在 $\mathbb{C}$ 的子域上是如此）。

意义与局限性

本文声称其意义在于将内蕴子群的研究从受限于 $\mathbb{Q}$ 的解析方法转向适用于一般域的代数方法。它为理解内蕴子群、同构以及伽罗瓦表示之间的关系提供了一个具体的框架。

然而，作者对研究范围持谦逊态度：

• 第 2 节中的代数条件是充分而非必要的；并非每个具有所需内蕴子群的曲线都通过考虑扭曲后成为特定模曲线 $X_{1,0}(N, MN)$ 的有理点。
• 向任意域 $k$（除 $\mathbb{C}$ 的子域外）的推广仍是一个猜想（猜想 5.1）。本文指出，虽然模问题在 $k \subset \mathbb{C}$ 时已解决，但这些方法尚未证明其对一般域同样成立。
• 目前的结果主要集中在挠群为循环群的情况。作者承认，解析方法无法立即推广到非循环挠群的情况，这使得内蕴子群与伽罗瓦图像在非循环情况下的关系仍是一个开放性问题。
• 针对一般域的算法在 $k^\times \otimes \mathbb{Q}/\mathbb{Z}$ 中的恒等测试以及预计算函数 $f_N$（其次数随 $N$ 线性增长）方面面临挑战。