[论文解读] Primitive points on some low degree Fermat curves

Maleeha Khawaja|arXiv (Cornell University)|Mar 16, 2026

Algebraic Geometry and Number Theory被引用 0

一句话总结

论文证明在 F7 和 F8 的伽玛闭包为 A4 时没有非平凡四次点，并给出在某些原始数域上排除 F6/F8 的非平凡点的准则。

ABSTRACT

Let $n\geq 3$ be an integer. Let $F_n$ be the Fermat curve defined by the Fermat equation $x^n+y^n=z^n$. For a curve $C/\mathbb{Q}$, we say an algebraic point $P\in C(\bar{\mathbb{Q}})$ is primitive if the Galois group of the Galois closure of the number field $\mathbb{Q}(P)$ is a primitive permutation group. Recall that $A_4$ is a primitive subgroup of $S_4$. We prove that there are no non-trivial quartic points on $F_n$ with Galois closure $A_4$, when $n = 7$ and $n = 8$. We also provide sufficient conditions for the non-existence of non-trivial points on the Fermat curves $F_6$ and $F_8$ defined over a given primitive number field of degree at least $3$.

研究动机与目标

• 研究费马曲线上的低次数点的动机与点域的原始伽玛群的理解。
• 确定 F7 和 F8 上的四次点的伽玛闭包是否可能具有 A4 作为伽玛群。
• 提供充分条件以排除给定原始数域上 F6 与 F8 的非平凡点。
• 发展一种通过双曲线曲线和 Riemann–Roch 空间对原始四次点进行参数化并加以排除的方法。

提出的方法

• 构造一个次数 n 的双曲线 C_n: y^2 = -4x^n + 1，并定义从 F_n 到 C_n 的非常数态射 pi。
• 利用该态射将问题转移到 C_n 上，借助 Riemann–Roch 空间 L(D) 分析有理点。
• 使用椭圆曲线映射与雅可比群的秩与有界 torsion 信息确定 C_n(Q) 对于 n = 6, 7, 8。
• 研究 C_7 与 C_8 上的有效度数-4 的除子以参数化四次点并检查它们的伽玛闭包。
• 应用克利福德定理及双曲线除子性质来界定并识别可能的点。
• 利用 Magma 计算与下降论证来表明某些投影点必须是有理的，或在更小的域上定义，因此仅产生平凡点。

实验结果

研究问题

• RQ1 F7 或 F8 上是否存在伽玛闭包为交替群 A4 的非平凡四次点？
• RQ2 当点域是至少三次原始数域时，是否可以刻画或排除 F6 与 F8 的非平凡点？
• RQ3 将态射到双曲线曲线如何简化费马曲线原始点的研究？
• RQ4 哪些原始数域的条件能确保 F_n 在 n = 6 或 n = 8 时只有平凡点？
• RQ5 雅可比群结构与 Riemann–Roch 空间在识别或排除这些曲线上的原始点方面扮演何种角色？

主要发现

• 在四次域且其伽玛闭包为 A4 的情形下，没有 F7 或 F8 的非平凡四次点。
• 对于 n = 7 与 n = 8，四次点必须通过双曲线态射映到 C_7(Q) 或 C_8(Q) 的有理点，且这些点已被明确确定。
• C_7(Q) = { (0,1), (0,-1), ∞ } 而 C_8(Q) = { (0,1), (0,-1) }。
• 通过 L(D) 空间对度数-4 的除子进行分析可知，与某些 a 值相关的四次点在 K 上不存在，从而强制为平凡点。
• 若 K 是一个原始数域且 E(K) = E(Q) 对某给定椭圆曲线 E 成立，则 n = 6 与 n = 8 的 F_n 在 K 上没有非平凡的 K-有理点。
• 结果给出充分条件，利用显式双曲线曲线与下降来排除在三次及以上原始数域上的 F6 与 F8 的非平凡点。