On the Finiteness of Isolated $j$-invariants for $X_1(N)$

技术摘要：论 $X_1(N)$ 上孤立 $j$-不变量的有限性

问题陈述
模曲线 $X_1(N)$ 上有理点的分类是算术几何中的一个核心问题。虽然属于无限参数族（例如由映射到 $\mathbb{P}^1$ 或阿贝尔簇产生的族）的点已被充分理解，但“孤立”点——即不属于此类族的点——为固定次数点的完整分类带来了显著障碍。本文专门研究了 $X_1(N)$ 的孤立 $j$-不变量集合，其定义为 $X_1(N)$ 上孤立点通过映射到 $j$-线 $X_1(1) \cong \mathbb{P}^1$ 所得到的 $j$ 值。

本文探讨的核心问题是 问题 1（源自 Bourdon 等人 [10]）：对于每个固定的次数，是否存在有限个孤立 $j$-不变量？ 虽然 Merel 的一致有界性定理保证了在任何特定 $X_1(N)$ 上，给定次数的孤立点是有限的，但这并不直接意味着随着 $N$ 的变化，孤立 $j$-不变量也是有限的。本文研究了这一问题与其他领域中一致性猜想之间的关系，并建立了新的有限性结果，特别是针对具有有理 $j$-不变量的椭圆曲线。

方法论
本文结合使用了模理论、伽罗瓦表示分析以及模曲线的几何界限。

1. 假设间的相互作用： 作者建立了关于度为 $d$ 的数域上椭圆曲线一致性的四个主要假设之间的逻辑蕴含关系：

   • 假设 1： 广义 Serre 一致性（对于大素数 $p$，其 $p$-进伽罗瓦表示是满射）。
   • 假设 2： 度为 $d$ 的孤立 $j$-不变量是有限的。
   • 假设 3： 非 CM 同构界限（对于大水平 $N$，在 $X_0(N)$ 上度为 $d$ 的非尖点、非 CM 点是有限的）。
   • 假设 4： 关于挠增长的精细多项式界限。
     本文证明了假设 1 蕴含假设 2，并且至关重要的是，假设 2 同时蕴含了假设 3 和假设 4。这使得问题 1 被定位为同构和挠界限的一个精细化版本，且该版本并不具备广义 Serre 一致性的完整强度。

2. 伽罗瓦表示与纠缠： 为了处理有理情况 ($d=1$)，本文分析了模 $p$ 和 $p$-进伽罗瓦表示 $\rho_{E,p}$ 及 $\rho_{E,p^\infty}$ 的图像。作者利用这些图像的分类结果（例如 Mazur, Serre, Bilu, Parent, Rebolledo, Lemos）来确定 $X_1(N)$ 上点的次数。一个关键的技术工具是对不同素数的挠域之间“纠缠”（entanglement）的分析。通过控制分歧以及对图像非满射的素数（特别是非分裂卡坦子群）的贡献，作者推导出了 $X_1(N)$ 上点次数的新下界。

3. 亏格与孤立性： 本文利用了模曲线亏格的下界（Abramovich）以及点的次数与曲线亏格之间的关系。如果一个点的次数超过了亏格（或特定的亏格界限），则该点不能是孤立的。

主要贡献与结果

• 假设间的蕴含关系（定理 9）： 本文正式证明了孤立 $j$-不变量的有限性（假设 2）是建立大水平下 $X_0(N)$ 上非 CM 点的有限性（假设 3）以及挠增长的多项式界限（假设 4）的充分条件。
• 有理 $j$-不变量的有限性（定理 3）： 主要的无条件结果确立了对于形式为 $X_1(p^a q^b)$（其中 $p$ 和 $q$ 为素数）的模曲线，存在有限个有理孤立 $j$-不变量。这是通过结合以下内容实现的：
  • Lemos [39, 40] 关于非满射素数伽罗瓦图像结构的著作；
  • Smith [58] 关于分歧的结论（引理 3），用于在图像为非分裂卡坦子群时界定点的次数；
  • 一个关于点次数的新下界（推论 1），该下界改进了作者及其合作者 Genao [11] 先前的研究。
    证明表明，对于足够大的素数，任何具有有理 $j$-不变量的 $X_1(p^a q^b)$ 上的点的次数都超过了曲线的亏格，从而使其成为非孤立点。
• 强化的挠界限（定理 4）： 对于具有 $j(E) \in \mathbb{Q}$ 的非 CM 椭圆曲线 $E/F$，本文证明了对于任何 $\epsilon > 0$，存在常数 $C_\epsilon$ 使得：
  $$\exp E(F)_{\text{tors}} \leq C_\epsilon \cdot [F:\mathbb{Q}]^{1/2 + \epsilon}$$
  $$\#E(F)_{\text{tors}} \leq C_\epsilon \cdot [F:\mathbb{Q}]^{1 + \epsilon}$$
  这比之前的研究 [11, 18] 将次数界限的指数提高了平方根倍数。结果显示，挠群指数的 $1/2$ 几乎是优的。
• 实验数据与分类： 本文提供了一个已知的度 $\leq 10$ 的非 CM 孤立 $j$-不变量的综合表，并通过雅可比簇秩的计算和亏格界限证明了它们的孤立性。

意义与主张

本文声称，问题 1 是该领域更广泛的一致性问题的一个关键“精细化”。通过建立孤立 $j$-不变量的有限性蕴含对同构和挠的强界限，这项工作表明，攻击这些特定点的有限性是解决更广泛猜想的一条可行路径。

对于有理 $j$-不变量的结果代表了迈向完全分类的重要一步，因为它们排除了对于水平为 $p^a q^b$ 的曲线存在无限孤立 $j$-不变量族的可能性。作者指出，虽然目前对“纠缠”（不同素数挠域之间的相互作用）的控制尚不足以在所有有理 $j$-不变量的情况下无条件地证明假设 2，但实验数据表明，该问题可以通过形式嵌入（formal immersion）论证来解决，特别是由于相关的“纠缠模曲线”通常具有非平凡的秩 0 商，这与标准模曲线的纤维积不同。

文章总结道，虽然孤立 $j$-不变量的完整有限性仍然是一个开放问题，但本文开发的方法成功地强化了有理 $j$-不变量的已知挠界限，并理清了连接这些一致性问题的逻辑图景。