[论文解读] Rational points on X_0^+ (p^r)

Yu. Bilu, Pierre Parent+1 more|arXiv (Cornell University)|Apr 24, 2011

Analytic Number Theory Research参考文献 10被引用 7

一句话总结

本文证明了对于所有满足 $ p \geq 11 $，$ p \neq 13 $ 的素数 $ p $ 以及所有满足 $ r > 1 $ 的整数 $ r $，模曲线 $ X_0^+(p^r) $ 上的有理点集合仅由平凡点——尖点和复乘点组成。该研究结合了 Gaudron 和 Rémond 的精细同源界，并采用基于 Gross 向量的计算机辅助算法，证明了当 $ p \leq 10^{14} $ 时该结论成立，从而完成了除 $ p = 13 $ 外所有此类有理点的分类。该结果解决了模曲线算术中一个长期存在的问题。

ABSTRACT

We show how the recent isogeny bounds due to É. Gaudron and G. Rémond allow to obtain the triviality of X_0^+ (p^r)(Q), for r>1 and p a prime exceeding 2.10^{11}. This includes the case of the curves X_split (p). We then prove, with the help of computer calculations, that the same holds true for p in the range 10 < p < 10^{14}, p eq 13. The combination of those results completes the qualitative study of such sets of rational points undertook in previous papers, with the exception of p=13.

研究动机与目标

• 完成对所有 $ r > 1 $ 的 $ X_0^+(p^r) $ 上有理点的分类，扩展先前的定性结果。
• 填补此前因超越性界中常数过大而无法处理的范围 $ 11 \leq p \leq 10^{14} $，$ p \neq 13 $ 的空白。
• 开发并应用一种基于 Gross 向量方法的计算高效算法，系统排除小素数下的非平凡有理点。
• 解决剩余的开放情况 $ p = 13 $，该情况在 $ X_0^+(13^2) $ 上仍未解决。

提出的方法

• 利用 Gaudron 和 Rémond 提供的精细同源高度界，将理论平凡性的阈值从 $ 10^{80} $ 显著降低至 $ p > 1.7 \times 10^{11} $（当 $ r = 3 $ 时）。
• 应用 Runge 方法与 Mazur 的整性陈述，对 $ X_0^+(p^r) $ 上非尖点、非复乘有理点的高度进行有界。
• 基于 Gross 向量方法开发计算机算法，系统性地排除范围 $ 11 \leq p \leq 10^{14} $，$ p \neq 13 $ 内的所有素数。
• 利用中国剩余定理与希尓伯特类多项式计算，识别出在小类数的虚二次域中分裂的素数。
• 通过伪素性测试与 Kronecker 符号检验，高效筛选可能支持非平凡有理点的候选素数。
• 结合理论界与计算验证，覆盖所有满足 $ p \geq 11 $，$ p \neq 13 $ 的素数，仅剩 $ p = 13 $ 未解决。

实验结果

研究问题

• RQ1 对于哪些满足 $ p \geq 11 $，$ p \neq 13 $ 的素数 $ p $ 以及所有满足 $ r > 1 $ 的整数 $ r $，$ X_0^+(p^r) $ 上的有理点均为平凡点？
• RQ2 能否将 $ X_0^+(p^r) $ 上有理点平凡性的理论界从 $ 10^{80} $ 降低至计算上可行的范围？
• RQ3 基于 Gross 向量方法的计算算法是否能有效排除所有满足 $ p \leq 10^{14} $，$ p \neq 13 $ 的非平凡有理点？
• RQ4 曲线 $ X_0^+(13^2) $ 的状态如何？为何其仍为一个开放问题？

主要发现

• 对于所有满足 $ p \geq 11 $，$ p \neq 13 $ 的素数 $ p $ 以及所有满足 $ r > 1 $ 的整数 $ r $，集合 $ X_0^+(p^r)(\mathbb{Q}) $ 均为平凡点，从而完成此类有理点的分类。
• Gaudron 和 Rémond 的理论界将 $ r = 3 $ 时平凡性的阈值降低至 $ p > 1.7 \times 10^{11} $，使得剩余范围在计算上可处理。
• 基于 Gross 向量方法的算法成功排除了所有满足 $ p \in [11, 10^{14}] $，$ p \neq 13 $ 的非平凡有理点，且仅依赖于初等计算。
• 对于 $ p = 13 $，曲线 $ X_0^+(13^2) $ 的亏格为 3，已知存在七个平凡有理点，但非平凡点的存在性尚未被证明。
• 本文确认了在所有 $ r \geq 6, 4, 4, 3 $ 的情况下，$ X_0^+(p^r)(\mathbb{Q}) $ 对 $ p = 2, 3, 5, 7 $ 均为平凡点，但小值 $ r $ 时存在 $ \mathbb{P}^1 $-同构的例外情况。
• 唯一未解决的情况是 $ X_0^+(13^2) $，其中七个已知有理点被猜想为全部有理点，但目前尚无有效的 Mordell 界可填补该间隙。