椭圆曲线的 7 进 Galois 表示如何经 Kummer 下降分类？

分类卡在两条 49 层曲线上

对 Q 上无复乘的椭圆曲线 E，Serre 的开像定理说明 ℓ 进 Galois 表示 ρE,ℓ∞ 在 GL2(Zℓ) 中的像是开子群。Mazur 的 Program B 追问哪些子群真正出现。Rouse、Sutherland 与 Zureick-Brown 把这一分类推进到只剩一小组模曲线的有理点，其中包括素数 ℓ>17 对应的曲线 X+ns(ℓ)，以及 Furio 与 Lombardo 记作 X♯ns(49)=49.147.9.a.1 与 X♯sp(49)=49.196.9.a.1 的两条亏格 9 曲线。

此前的工作已经解决 X+ns(27) 与 X+ns(49)；Furio 与 Lombardo 证明 X+ns(49) 恰有七个有理点，全部为 CM。剩下的就是两条亏格 9 曲线 X♯ns(49) 与 X♯sp(49)。本文计算了它们的有理点，正是这一步补上了分类的 7 进情形。

有理点化为超椭圆方程

曲线 X♯ns(49) 与 X♯sp(49) 带有到亏格零曲线 X+ns(7) 与 X+sp(7) 的自然 7 次映射。Furio 与 Lombardo 证明，这两条亏格 9 曲线上的任一非 CM 有理点给出互素整数 x、y 与整数 w，满足 F(x,y)=kw⁷，其中非分裂情形 k∈{7,56}，分裂情形 k∈{1,7}。这里 F 是两个三次型 fns(t)=t³−7t²+7t+7 与 fsp(t)=t³−4t²+3t+1 之一的齐次化，两者都定义域 K=Q(ζ7)+。

方程中的指数 7 并非任意选取：它来自潜在乘法约化的素数，在这些素数处 Tate 曲线使惯性幺幂作用，而 49 层群的形状迫使 F(x,y) 的赋值被 7 整除。7|k 的情形正是 Furio 与 Lombardo 留下的情形，也正是导向 Jacobian 的 Mordell–Weil 秩为 3 的 Klein 四次曲线扭的情形。

Kummer 下降把 49 个类缩到七个

作者没有直接攻击秩 3 的 Klein 四次曲线扭，而是按 Kummer 的方式在超椭圆方程本身上做下降。在 K 上，型 F(x,y) 是 x−θy 的范数，其中 θ 是 f 的一个根；由于 K 的类数为 1，一个解给出 x−θy=δω⁷，其中 ω∈K×，δ 是 S-单位。只有 δ 在 Selmer 群 K(7,S)=O×K,S/O×7K,S 中的类起作用，比较范数把它限制到 49 个类的显式子集 Δ(θ,k)。

每个 δ∈Δ(θ,k) 给出 Q 上一条亏格 15 的平面七次曲线 Cθ,δ，而在 K 上每条都变成对角七次曲线，即 Fermat 曲线 u₀⁷+u₁⁷+u₂⁷=0 的一个扭。值得注意的是，出现的全部六对 (F,k) 都导向同样的 49 个 Fermat 七次曲线扭。Fermat 七次曲线是 Klein 四次曲线 Z: v₀³v₁+v₁³v₂+v₂³v₀=0 的循环无分歧 7 次覆盖，这一覆盖在扭下保持，于是每条七次曲线都映到 Klein 四次曲线的一个扭 Zθ,δ。因此 49 条七次曲线至多映到 7 条四次曲线，实际上只映到三条。

7 进计算排除 49 个类中的 42 个

决定性的局部步骤发生在素数 7 处。当 7 整除 F(x,y) 时，在 K 对 7 的完备化中做一次简短计算即可看出相应类消失：到 F7 的同态 κ 必须在它上面取零。这排除了 49 个类 δ∈Δ(θ,k) 中的 42 个。剩下的 7 个都给出与某个固定四次曲线 Z₀ 在 Q 上同构的四次曲线，而 Klein 的一个经典坐标变换（定义在 K 上）给出 Z₀ 与 Klein 四次曲线本身在 Q 上的同构。

反过来，对其余 42 个类，四次曲线 Zθ,δ 在 Q 上不同构于 Klein 四次曲线。所以 7 进步骤不是启发式筛选，它恰好是区分存活扭与其余扭的条件，而 7|k 的情形正是此前工作缺失的那些。

Klein 四次曲线的有理点依赖 Fermat

Klein 四次曲线只有三个显然的有理点。Hurwitz 证明任何其他有理点都会给出指数 7 的 Fermat 方程的非平凡解，Elkies 后来通过一个秩为零的椭圆商给出直接证明。把这三个点沿 7 次覆盖拉回，就得到论文定理 1 中列出的解。

这是论文最引人注目的结构性要点：Mazur Program B 的 7 进部分最后一个未决情形，依赖于 Lamé 证明的指数 7 的 Fermat 大定理。因此这一分类不只是被一项新计算补全，它还被表明在逻辑上位于一个经典丢番图定理的下游。

六个解，其中四个非 CM

定理 1 断言，对三对 (Fns,7)、(Fns,56) 与 (Fsp,7)，方程 F(x,y)=kw⁷ 且 gcd(x,y)=1 的整数解 (x,y,w) 都满足 w=±1，并且恰好是论文表 1 中列出的那些。非分裂情形的解为 ±(0,1,1)、±(7,1,1) 与 ±(7,3,−1)；分裂情形的解为 ±(1,−1,1)、±(5,2,−1) 与 ±(4,3,1)。

它们对应 X+ns(7) 与 X+sp(7) 上的有理点 t=x/y：非分裂情形为 t=0、7、7/3，分裂情形为 t=−1、5/2、4/3。j 不变量在 t=0 与 t=−1 处为 0，在其余四个点为非 CM。这四个非 CM 点不能提升为 X♯ns(49) 或 X♯sp(49) 的有理点，这正是定理 2 所断言的。

Frobenius 判别法排除剩余候选

定理 2 断言 X♯ns(49) 与 X♯sp(49) 的每个有理点都是尖点或 CM 点，更精确地说，两条曲线上每个非尖点有理点的 j 不变量都为 0。非 CM 部分的证明使用一个群论判别法，而不是映射 X♯•(49)→X+•(7) 的显式方程。

判别法如下：设 E 是 Q 上的椭圆曲线，其模 49 Galois 像在共轭意义下包含于定义这两条曲线的群 G♯ns(49) 或 G♯sp(49) 之一，设 p≠7 是良约化素数，Frobenius 的迹为 ap。若 7∤ap(ap²−4p)，则 Frobp⁴⁸ 在 E[49](Q) 上作为纯量作用。模 7 时这样的 Frobenius 落在 Cartan 子群中，所以其 48 次幂模 7 为 1，而 49 层群的形状迫使该幂模 49 为纯量。对论文表 4 中列出的八个非 CM 候选，判别法都在某个小素数 p 处失效，从而给出矛盾。CM 点由同一判别法处理，非分裂情形还需结合 Furio 与 Lombardo 的一个引理。

无条件路径绕开秩 3 猜想

Furio 与 Lombardo 曾把 X♯ns(49) 与 X♯sp(49) 的有理点归结为单条平面四次曲线 XE3(7) 的有理点，它是 Klein 四次曲线的一个扭，其 Jacobian 的 Mordell–Weil 秩为 3，他们猜想这条四次曲线恰有四个有理点。本文不处理该猜想。它的证明是无条件的，走的是另一条路线，因此分类结果不依赖于该猜想成立。

论文还记录：2026 年 9 月 18 日，Eray Karabiyik 告知作者他直接证明了该猜想，本质上是在数域上做二次 Chabauty，使用一个 21 次数域上的椭圆商；2026 年 9 月 28 日，Nguyen Xuan Tho 通过电子邮件发来一篇带有 AI 生成证明的预印本。这些被记为独立进展，而不是本文论证的输入。

结果的范围恰好是 Q 上非 CM 椭圆曲线的 7 进情形。推论 3 指出 Furio 与 Lombardo 的定理 1.7 无条件成立：对 Q 上每条无复乘的椭圆曲线 E，7 进像 G=ρE,7∞(Gal Q) 满足 Rouse–Sutherland–Zureick-Brown 定理前两个选项之一，要么 XG 有无穷多个有理点且 G 是 Sutherland 与 Zywina 的群之一，要么 G 出现在 Rouse–Sutherland–Zureick-Brown 的表中。论文没有把这一结果推广到其他素数 ℓ，一般 ℓ 的分类仍是另一个问题。

本文引用的文献