Strong Weil Degree Divisibility at Higher Levels

技术摘要：高层级下的强 Weil 度数整除性

问题陈述
本文研究了从模曲线 $X_0(N)$（以及中间曲线如 $X_1(N)$）到属于强 Weil 曲线 $E$（其导数为 $M$）的有理同构类的椭圆曲线 $E'$ 的态射的算术性质。具体而言，它探讨了关于强 Weil 参数化 $\pi_E: X_0(M) \to E$ 的度数与 $N$ 为 $M$ 的倍数的态射 $g: X_0(N) \to E'$ 的度数之间关系的两个主要问题：

1. 整除性： $\deg \pi_E$ 是否整除 $\deg g$？如果不是，哪些显式因子控制了整除性的失效？
2. 整性结构： 由退化映射诱导的“旧”同态是否构成了同构群 $\text{Hom}_{\mathbb{Q}}(J_0(N), E')$ 的整基？如果不是，整同构系数的分母是否可以被显式地控制？

虽然 $N=M$ 的情况通过最优商的普遍性质已得到充分理解，但 $N > M$ 的高层级行为涉及退化映射、Manin 常数以及模雅可比结构之间复杂的相互作用。

方法论
作者结合了代数几何、模形式理论和格理论。核心方法包括：

• 旧形式分解（Old-Form Decomposition）： 利用 Atkin–Lehner–Li 分解，将有理向量空间 $\text{Hom}_{\mathbb{Q}}(J_0(N), E') \otimes \mathbb{Q}$ 与由退化映射 $\iota_r: X_0(N) \to X_0(M)$ 诱导的“旧”同构的张成空间进行识别。
• 度数配对（Degree Pairings）： 定义一个正定的度数配对。这使得态射的度数可以用涉及同构在“旧”基底下的坐标及一个“度数矩阵” $A_{E,N}$ 的二次型来表示。
• 通过尖点展开控制分母： 为了控制有理基底中系数的分母，作者分析了在两种特定尖点下的不变微分（Néron 微分）在态射下的拉回。他们通过检查标准尖点 $\infty$ 及其在 Fricke 对合 $w_N$ 下的像，建立了整性条件。
• 下降论证（Descent Arguments）： 对于满足 $\ell^2 \mid (N/M)$ 的素数 $\ell$，作者使用下降论证。他们证明了退化映射 $\delta_\ell: X_0(N) \to X_0(N/\ell)$ 在 $\infty$ 处是全分歧的（对于 $X_0$）或在基本群上是满射的（对于中间曲线），这意味着诱导的雅可比映射具有几何连通的核。这一性质确保了整性可以从层级 $N$ 下降到 $N/\ell$。
• 塔准则（Tower Criterion）： 作者将这些性质抽象为“塔准则”（条件 T1–T3），以将 $X_0$ 的结果扩展到包括 $X_1$ 和钻石塔（diamond towers）在内的兼容的中间模曲线塔。

主要贡献与结果

1. 整除性定理（定理 1.1）：
   本文证明了对于任何非恒常态射 $g: X_0(N) \to E'$，强 Weil 参数化的度数在受 Manin 常数 $c_E$ 和 $N/M$ 素因子个数控制的因子范围内整除 $\deg g$。具体为：
   $$\deg \pi_E \mid c_E^{\Omega(N/M)} \deg g$$
   其中 $\Omega(n)$ 是计入重数的素因子个数。

   • 精化： 任何素数 $\ell \mid c_E$ 的指数可以从 $\text{ord}_\ell(c_E)\Omega(N/M)$ 精化为 $\text{ord}_\ell(c_E) + \lfloor \text{ord}_\ell(N/M)/2 \rfloor$。
   • 无条件情况： 如果 $c_E = 1$（这在 $M$ 为无平方因子数时已知成立，或在 $M < 500,000$ 时经验证成立），则 $\deg \pi_E \mid \deg g$ 无条件成立。

2. 整基与分母定理（定理 1.2）：
   作者确立了旧同构构成 $\mathbb{Z}$-基的条件。如果复合映射 $u \circ \pi_E$ 的 Manin 常数为 1（其中 $u$ 生成 $\text{Hom}_{\mathbb{Q}}(E, E')$），那么集合 $\{ \Phi_{r,u} : r \mid (N/M) \}$ 构成 $\text{Hom}_{\mathbb{Q}}(J_0(N), E')$ 的 $\mathbb{Z}$-基。

   • 一般界限： 在一般情况下，任何整同构系数的分母由一个显式整数 $D_{u \circ \pi_E}(N/M)$ 控制，该整数取决于 $N/M$ 的素因子分解和 Manin 常数。
   • 度数谱（Degree Spectrum）： 当 Manin 常数为 1 时，任何态射的度数完全由二次型 $b^T A_{E,N} b$ 决定，其中 $b$ 是同构在旧基底下的整数系数向量。

3. 向中间曲线的扩展（定理 5.12–5.19）：
   结果被扩展到包括 $X_1$-塔在内的兼容中间模曲线塔。

   • 对于 $X_1(N)$，类似的整除性和基底结果由 Manin–Stevens 常数 $c_1$ 支配。
   • 本文展示了用于 $X_0$ 的全分歧论证必须被涉及基本群满射性的拓扑论证所取代（对于中间曲线），然而最终的整除性和基底结论在结构上保持相似。

意义与主张
本文声称提供了从高层级模曲线到椭圆曲线的态射度数的完整算术描述，并将其与最小层级参数化联系起来。

• 无条件整除性： 它确认了当 $c_E = 1$ 时，整除性 $\deg \pi_E \mid \deg g$ 是无条件的，这一条件在平方因子导数的情况下满足，并在大范围的导数下得到了计算验证。
• 结构洞察： 它阐明了整 Hom 群的结构，表明“旧”映射在受控的分母下生成了完整的格。这解决了“旧”格是否饱和的问题。
• 显式界限： 本文提供了整性与整除性失效的显式、可计算界限，通过减少 Manin 常数因子的指数，精化了以往的估计。
• 泛化性： 通过制定“塔准则”，作者证明了这些现象并非 $X_0$ 所特有，而是属于包括 $X_1$ 在内的兼容模曲线族的内在属性。

这项工作依赖于半稳定情形下的 Manin 常数猜想（由 Česnavičius 证明）以获得平方因子情况下的无条件结果，并利用了针对特定导数的现有计算验证（Cremona）。本文并未提出新的应用，而是巩固了理解高层级下模参数化的理论基础。