2025-11-18T23:46:13.591431

Symplectic criteria for elliptic curves, revisited

Kraus, Freitas, SÃ¡nchez-RodrÃguez

Let $\ell$ and $p \geq 3$ be different primes. Let $E/\mathbb{Q}_\ell$ and $E'/\mathbb{Q}_\ell$ be elliptic curves with isomorphic $p$-torsion. Assume that $E$ has potentially multiplicative reduction. We classify when all $G_{\mathbb{Q}_\ell}$-isomorphisms $Ï: E[p] \to E'[p]$ have the same symplectic type and prove two new criteria to determine the type in that case. In particular, when both curves have multiplicative reduction, our results cover the case of unramified $p$-torsion which is not covered by the original criterion due to Kraus and OesterlÃ©. We also give a variant of a symplectic criterion for the case when both $E$ and~$E'$ have good reduction and provide an algorithm to apply it. As an application, we determine the symplectic type of all the mod $p \geq 5$ congruences between rational elliptic curves with conductor $\leq 500 000$ that satisfy the hypothesis of either of our criteria at some prime~$\ell$.

academic

Symplectic criteria for elliptic curves, revisited

基本信息

论文ID: 2509.19938
标题: Symplectic criteria for elliptic curves, revisited
作者: Nuno Freitas, Alain Kraus, Ignasi Sánchez-Rodríguez
分类: math.NT (数论)
发表时间: 2025年10月6日 (arXiv v2)
论文链接: https://arxiv.org/abs/2509.19938v2

摘要

设 $\ell$ 和 $p \geq 3$ 为不同素数， $E/\mathbb{Q}_\ell$ 和 $E'/\mathbb{Q}_\ell$ 为具有同构 $p$ -扭子群的椭圆曲线。假设 $E$ 具有潜在乘性约化。本文分类了所有 $G_{\mathbb{Q}_\ell}$ -同构 $\phi: E[p] \to E'[p]$ 具有相同辛型的情况，并证明了两个新的判据来确定该类型。特别地，当两条曲线都具有乘性约化时，我们的结果覆盖了Kraus和Oesterlé原始判据未涵盖的非分歧 $p$ -扭子群情况。我们还给出了两条曲线都具有良好约化情况下辛判据的变形，并提供了应用算法。作为应用，我们确定了导子 $\leq 500000$ 的有理椭圆曲线间所有满足我们某个判据假设的模 $p \geq 5$ 同余的辛型。

研究背景与动机

问题背景

核心问题: 给定两条椭圆曲线 $E/\mathbb{Q}$ 和 $E'/\mathbb{Q}$ 具有同构的 $p$ -扭子群 $E[p] \cong E'[p]$ 作为 $G_{\mathbb{Q}}$ -模，需要确定这种同构是辛型还是反辛型的。
辛型的定义:
- 辛型：存在 $G_{\mathbb{Q}}$ -模同构 $\phi: E[p] \to E'[p]$ 的倍数 $\lambda \cdot \phi$ （ $\lambda \in \mathbb{F}_p^*$ ）保持Weil配对
- 反辛型：不存在保持Weil配对的 $G_{\mathbb{Q}}$ -同构
研究重要性:
- 这个问题与椭圆曲线的算术性质密切相关
- 在模形式理论和Galois表示理论中有重要应用
- 对理解椭圆曲线间的同余关系至关重要

现有方法的局限性

Kraus-Oesterlé原始判据局限于分歧 $p$ -扭子群的乘性约化情况
先前工作6中的列表 $L(E,E',p)$ 在潜在良好约化之外并不完整
计算挑战: 现有的良好约化情况判据在实践中难以应用

研究动机

本文旨在：

完善辛判据的存在性理论
提供新的实用判据覆盖未解决的情况
给出完整的辛判据分类
提供可计算的算法实现

核心贡献

完善了辛判据存在性理论: 分类了潜在乘性约化和混合约化情况下辛判据存在的条件（定理2.4和2.6）
提出两个新的辛判据:
- 定理1.1: 处理两条曲线都具有分裂乘性约化的情况
- 定理1.2: 处理混合约化情况（一条曲线乘性约化，另一条良好约化）
改进了良好约化情况的判据: 定理1.3提供了6,定理16的可计算变形，并给出Magma实现
完整的分类定理: 定理1.4给出了所有可能辛判据的完整列表
大规模计算应用: 确定了LMFDB数据库中导子≤500000的所有相关椭圆曲线对的辛型

(A) $\rho_{E,p}(G_F)$ 非阿贝尔
(B) $\rho_{E,p}(G_F)$ 由形如 $\begin{pmatrix} a & 1 \\ 0 & a \end{pmatrix}$ 的矩阵生成

2. 新判据的构造

定理1.1的方法（分裂乘性约化情况）:

利用Tate曲线理论和 $j$ -不变量的性质
通过离散对数计算确定辛型： $h_i := \text{Log}_{\zeta_p}(\tilde{j}_i^{\frac{\ell-1}{p}} \bmod \ell)$
判据： $E_1[p]$ 和 $E_2[p]$ 辛同构当且仅当 $h_1/h_2$ 是模 $p$ 的二次剩余

定理1.2的方法（混合约化情况）:

结合乘性约化曲线的Tate参数和良好约化曲线的Frobenius作用
判据：辛同构当且仅当 $-h/h'$ 是模 $p$ 的二次剩余

3. 计算算法设计

良好约化情况的算法（定理1.3）:

利用约化映射 $E[p] \to \tilde{E}[p]$ 保持辛性质
通过 $p$ -同源构造辛基
使用Weil配对计算Legendre符号
优化：使用不可约因子定义有限域扩张

技术创新点

统一处理: 首次系统处理了所有约化类型的组合
可计算性: 将理论判据转化为具体可执行的算法
完整性: 给出了辛判据存在的充要条件
实用性: 提供了处理大规模数据的高效实现

实验设置

数据集

LMFDB数据库: 导子 ≤ 500000 的椭圆曲线
素数范围: $p \in \{5,7,11,13,17\}$
曲线数量:
- $p=5$ : 396516个不可约三元组，22902个可约三元组
- $p=7$ : 39386个不可约三元组，626个可约三元组
- $p=11$ : 848个不可约三元组
- 更高素数的三元组数量递减

计算方法

同余检测: 通过Frobenius迹的比较确定 $\rho_{E,p} \cong \rho_{E',p}$
辛型计算: 应用新判据确定辛型
验证: 与已知结果交叉验证确保正确性

实现细节

编程环境: Magma计算代数系统
优化策略: 使用Conway多项式的相对扩张避免大有限域的直接构造
并行化: 针对大规模计算进行优化

实验结果

主要结果

新判据的应用统计:

$p=5$ $p = 5$ : 31168个三元组满足判据条件
- 定理1.1: 150个三元组（77个辛型，73个反辛型）
- 定理1.2: 31020个三元组（14936个辛型，16084个反辛型）
$p=7$ : 1032个三元组全部满足定理1.2
$p=11$ : 4个三元组满足条件
$p \geq 13$ : 无三元组满足条件