2025-11-19T03:55:21.337707

Divisibility of the coefficients of modular polynomials

Breuer

Let $N>1$ and let $Î¦_N(X,Y)\in\mathbb{Z}[X,Y]$ be the modular polynomial which vanishes precisely at pairs of $j$-invariants of elliptic curves linked by a cyclic isogeny of degree $N$. In this note we study the divisibility of the coefficients of $Î¦_N(X+J, Y+J)$ for certain algebraic numbers $J$, in particular $J=0$ and other singular moduli. It turns out that these coefficients are highly divisible by small primes at which $J$ is supersingular.

academic

Divisibility of the coefficients of modular polynomials

基本信息

论文ID: 2509.06423
标题: Divisibility of the coefficients of modular polynomials
作者: Florian Breuer
分类: math.NT (数论)
发表时间: 2025年9月8日 (arXiv预印本，2025年10月16日修订)
论文链接: https://arxiv.org/abs/2509.06423

摘要

设 $N>1$ , 令 $\Phi_N(X,Y)\in\mathbb{Z}[X,Y]$ 为模多项式，它在椭圆曲线的 $j$ -不变量对 $(j_1,j_2)$ 处为零，当且仅当这些椭圆曲线通过度数为 $N$ 的循环同源映射相连。本文研究对于特定代数数 $J$ （特别是 $J=0$ 和其他奇异模），多项式 $\Phi_N(X+J, Y+J)$ 系数的整除性质。研究发现，这些系数在 $J$ 为超奇异的小素数处具有高度可整除性。

研究背景与动机

问题背景: 模多项式 $\Phi_N(X,Y)$ 是数论和代数几何中的重要对象，它们编码了椭圆曲线之间同源关系的信息。虽然这些多项式的系数通常非常大，但它们也表现出被小素数高度整除的性质。
实用价值:
- 在密码学和计算数论中有重要应用
- 可用于椭圆曲线约化类型的研究
- 对基于中国剩余定理的算法优化有帮助
现有研究局限: Wang在23中对 $p \leq 5$ 的情况提出了猜想，但缺乏完整的证明和更一般的结果。
研究动机:
- 提供模多项式系数整除性的下界
- 扩展到奇异模的一般情况
- 为计算算法提供理论支持

核心贡献

主要定理1.1: 对于模多项式 $\Phi_N(X,Y) = \sum_{0\leq i,j\leq\psi(N)} a_{i,j}X^iY^j$ ，当 $i+j < \psi(N)$ 时，给出了系数 $a_{i,j}$ 的 $p$ -adic赋值的精确下界。
主要定理1.2: 将结果扩展到有理奇异模 $J \in \mathbb{Z}$ 的情况，证明了 $\Phi_N(X+J, Y+J)$ 的系数具有更强的整除性质。
计算优化: 通过预测的整除性质，可以显著减少存储模多项式系数所需的空间（如 $N=5$ 时节省43%）。
理论框架: 建立了连接椭圆曲线变形理论与模多项式系数整除性的一般性框架。

超奇异情况: 利用Lubin-Tate理论，通过一参数族 $\Gamma(t)$ 参数化 $p$ -可除群的变形
一般情况: 使用Serre-Tate参数 $q \in 1 + \pi A$ 来参数化椭圆曲线的变形

3. 主要技术工具 (Proposition 3.4)

构造满足特定条件的椭圆曲线族 $E_k/K$ ：

每个 $E_k$ 都有良好约化
$v(j(E_k)-J) = v(j(E_k)-j(E_l)) = n$ 对所有 $k \neq l$
对于与 $E_k$ 通过度数 $N$ 的循环同源相连的椭圆曲线 $\tilde{E}_k$ ，有适当的赋值条件

技术创新点

统一框架: 将Wang的猜想和奇异模的情况统一在同一个理论框架下。
精确界: 不仅给出存在性结果，还提供了精确的数值界，并证明这些界在大多数情况下是最优的。
计算可行性: 方法具有计算可行性，可以实际应用于模多项式的计算和存储优化。

实验设置

数据来源

使用在线数据库LMFDB获取椭圆曲线的全局最小模型
利用Sutherland的模多项式数据库验证理论结果

验证方法

对于 $N \leq 400$ 和许多大素数 $N$ 的情况进行了计算验证
特别检验了13个有理奇异模的情况

定理1.1的验证:
- 对于 $p=2,3,5$ ：分别验证了 $v_2(a_{i,j}) \geq \frac{1}{5}(\psi(N)-i-j)$ 等不等式
- 对于 $p \geq 11, p \equiv 2 \pmod{3}$ ：验证了更一般的界
存储优化效果:
- $N=5$ : 从523位数字减少到298位，节省43%
- $N=101$ : 从6,383,216位数字减少到5,606,370位，节省12%
特殊情况分析:
- 表1列出了13个有理奇异模的例外赋值情况
- 表2展示了 $\Phi_5(X,Y)$ 系数的完整因式分解