Divisibility of the coefficients of modular polynomials

技术摘要：模多项式系数的可除性

问题陈述
本文研究了经典模多项式 $\Phi_N(X, Y) \in \mathbb{Z}[X, Y]$ 的算术性质，该多项式在由次数为 $N$ 的循环同构连接的椭圆曲线的 $j$-不变量对处消失。虽然 $\Phi_N(X, Y)$ 的系数已知极其巨大，但它们对小素数表现出显著的可除性。本文旨在解决的核心问题是，建立这些系数（特别是当多项式通过奇异模进行平移时）的 $p$-进估值的精确下界。其中 $J$ 是代数数（对应于具有复乘性质的椭圆曲线的 $j$-不变量）。具体而言，作者研究了 $\Phi_N(X+J, Y+J)$ 的系数，其中 $J$ 是一个有理奇异模，重点讨论 $J=0$ 以及其他在素数 $p$ 下具有超奇异约化的情形。

研究方法
作者结合了形变理论、显式同构公式和多项式插值技术：

1. 形变理论与超奇异约化： 核心策略是构造定义在完备赋值域 $K$ 上的椭圆曲线族 $E_k$，这些曲线在模 $\pi$ 的高次幂意义下约化到固定的曲线 $E$。通过命题 3.6，利用 Serre-Tate 提升定理，作者构造了无穷多个这样的曲线 $E_k$，它们在模 $\pi^{M+1}$ 意义下互不同构，但在模 $\pi^M$ 意义下同构。这使得作者能够控制 $j$-不变量之差的估值 $v(j(E_k) - j(E_l))$。
2. 同构的估值分析： 本文分析了循环 $N$-同构的约化。当约化曲线是超奇异时，其自同构环是四元数代数的一个极大序。通过与这些四元数序相关的 theta 级数，显式计算了约化为自同构的循环同构的数量 $C_J(N, \pi)$（命题 2.3）。
3. 多项式插值： 为了将特定求值点的估值界限转移到系数上，作者利用了一个广义插值引理（引理 3.3）。通过在具有受控估值的点 $y_k = j(E_k) - J_2$ 处对 $\Phi_N(X+J_1, Y+J_2)$ 进行求值，并利用根的对称性，推导出了系数 $a_{i,j}$ 的下界（命题 3.4）。
4. 显式公式（Vélu 公式）： 对于残特征 $p$ 为 2 或 3 的特定情况，作者使用 Vélu 的显式同构公式直接计算 $j(E') - j(E)$ 的估值。由此定义了一个依赖于 $N \pmod 4$（对于 $p=2$）或 $N \pmod 6$（对于 $p=3$）的常数 $n_v$（定理 3.2）。

主要贡献与结果

• 定理 1.1（$J=0$ 的情形）： 本文建立了当 $N$ 不被 $p$ 整除时，$\Phi_N(X, Y)$ 系数 $a_{i,j}$ 的 $p$-进估值下界。

  • 对于 $p=2$（若 $2 \nmid N$）：$v_2(a_{i,j}) \ge 15(\psi(N) - i - j)$。
  • 对于 $p=3$（若 $3 \nmid N$）：$v_3(a_{i,j}) \ge 3(\psi(N) - i - j)$，若 $N \equiv 1 \pmod 3$，则具有更强的界限 $\lceil \frac{9}{2}(\psi(N) - i - j) \rceil$。
  • 对于 $p=5$（若 $5 \nmid N$）：$v_5(a_{i,j}) \ge 3(\psi(N) - i - j)$。
  • 对于 $p \ge 11$ 且 $p \equiv 2 \pmod 3$：$v_p(a_{i,j}) \ge 3(C_0(N, p) - i - j)$，其中 $C_0(N, p)$ 是 $\Phi_N(X, 0) \pmod p$ 的消去阶数。
  • 这些结果证实并推广了 Wang [26] 的猜想。

• 定理 1.2（一般奇异模）： 研究结果扩展到了 $\Phi_N(X+J, Y+J)$，其中 $J$ 是有理奇异模（对应于具有类数为 1 的序的复乘椭圆曲线）。

  • 界限形式为 $v_p(a_{i,j}) \ge n_p(C_J(N, p) - i - j)$。
  • 常数 $n_p$ 取决于素数 $p$ 以及 $p$ 是否整除 $J$ 或 $J-1728$。例如，若 $p|J$ 且 $p=2$，则 $n_p=15$；若 $p|J$ 且 $p=3$，则 $n_p=6$。
  • 本文针对特定的判别式（如 $D=-12, -27$）提供了“异常估值”表，在这些情况下，根据 $N \pmod 3$ 或 $N \pmod 6$，$n_p$ 的一般公式需要进行调整。

• 最优性： 作者指出，计算表明所导出的 $n_p$ 界限是优的，除了 $D=-12$ 和 $D=-27$ 这两个特定情形外，在这些情形下，对于某些 $N$ 的同余类，真实的取值被认为会略高。

重要性与应用

本文声称其在以下领域具有重要意义：

1. 计算数论： 其结果为模多项式的单个系数的大小提供了更紧的界限。这直接适用于基于中国剩余定理（CRT）计算 $\Phi_N(X, Y)$ 的算法，可能减少重建所需的素数数量。
2. 数据存储： 通过仅存储这些可除性定理未预测到的系数因子，可以实现显著的空间节省。作者引用了对于 $N=5$ 时减少了 43% 的十进制位数，以及对于 $N=101$ 时减少了 12% 的数据。
3. 验证： 可除性条件可作为计算大 $N$ 模多项式的“快速合理性检查”。
4. 理论背景： 本工作被视为对 Gross 和 Zagier 开创的奇异模差值主题的一种变体，扩展了对超奇异约化如何影响模多项式算术性质的理解。

作者明确指出，研究结果源于对椭圆曲线约化类型的研究，并未提出新的实验算法或超出上述直接计算与理论应用之外的未来影响。