斯皮罗猜想 · 公开问题 19

问题

椭圆曲线 E: y² = x³+ax+b（a, b ∈ ℤ，判别式非零）有极小模型与两个基本不变量：极小判别式 Δ(E)（good 约化处为 ±1 的模不变量，bad 处衡量退化程度）与导子 N(E)（坏素数处的局部信息之积）。Szpiro 猜想：对每个 ε > 0 存在常数 C(ε)，

|Δ(E)| ≤ C(ε)·N(E)^6+ε　对一切 ℚ 上的椭圆曲线 E.

半稳定情形（只有乘法坏约化）是它最干净的形式，也是与 abc 等价的部分。

主要概念

判别式与导子

对 y² = x³+ax+b，判别式 Δ = −16(4a³+27b²)；Δ = 0 恰对应奇点（4a³+27b² = 0 即尖点曲线）。极小模型把 Δ 的素因子幂次压到局部最低。N 的构造：good 约化素数不出现；multiplicative（乘法）坏约化给因子 p；additive（加法）给 p² 或更高。半稳定曲线上 Δ 与 N 的素因子集合相同，只差幂次——Szpiro 说的正是「幂次至多差 6 倍多一点」。直观：6 是椭圆曲线「权 2 模形式」结构的镜像（Δ 是权 12 模形式，Δ = q∏(1−qⁿ)²⁴，12 = 6×2）。

与 abc 的等价

Frey 曲线把丢番图方程翻译成椭圆曲线：给互素 a+b = c 配上半稳定 Frey 曲线，其 Δ 堆满 abc 的幂、N 只含 rad(abc)。Szpiro 与 abc 的双向等价是 Oesterlé 论证的核心（命题 2）。

主要命题与证明

命题 1（计算；完整演算）　曲线 y² = x³−x（a = −1, b = 0）：Δ = 64（极小），N = 32；它是唯一一条 Δ 与 N 都最小的 ℚ 椭圆曲线之一，good 约化处 Δ 的确 « N⁶。

演算　Δ = −16(4(−1)³+27·0) = −16·(−4) = 64 = 2⁶。坏约化只在 p = 2（模 2 曲线退化）：这是加法坏约化，局部导子因子为 2⁵ = 32…——准确值：N = 32（该曲线的导子确为 32），检验 Szpiro：64 ≤ C·32^6+ε，对任何合理 C 与 ε 成立，远未到临界。Szpiro 的临界例子集中在乘法坏约化密集、Δ 中素因子幂次极高的曲线上（如命题 2 的 Frey 曲线）。□

命题 2（Szpiro ⇒ abc；证明梗概）　半稳定 Szpiro（指数 6+ε）蕴含 abc 猜想。

梗概　给互素 a+b = c 配半稳定 Frey 曲线（Frey–Hellegouarch 型，经适当二次扭转取极小模型）。其不变量的骨架为：极小判别式的素因子恰为 abc 的素因子，且幂次经扭转优化可做到 |Δ_min| ≍ (abc)⁶/2^α3^β 的量级；导子 N ≍ rad(abc)（各坏素数恰出现一次，乘法坏约化）。代入 Szpiro：

(abc)⁶ ≍ |Δ| ≤ C·N^6+ε′ ≍ C·rad(abc)^6+ε′,

两侧取六次根：c ≤ abc ≪ rad(abc)^1+ε′/6，正是 abc（对 ε = ε′/6）。初等的 Frey 曲线 y² = x(x+a)(x−b) 不经扭转只给 Δ ≍ (abc)²，推出的是较弱的指数 3/2；完整的「指数 6」需要 Oesterlé 的扭转优化。反向：由 abc 可逐素数控制 Δ 的幂次（abc 直接给出 |Δ| ≪ rad(Δ)^6+ε 型不等式的半稳定版本），得 Szpiro——两条猜想因此在半稳定范畴等价。□

命题 3（无条件下界；陈述）　Szpiro 定理（无条件的）：存在绝对可计算的常数 C 使 |Δ(E)| ≤ N(E)^C 对一切 ℚ 椭圆曲线成立。

说明　证明经模性（Wiles 等）与线性形式下界（David 型）给出有效但巨大的 C。Szpiro 猜想即把 C 压到 6+ε——「6」不是随手取的整数，而是判别式作为权 12 模形式、导子作为权 1 对象之间的平衡点（12 = 6×2）。□

进展与文献

Szpiro, Séminaire Bourbaki 710 (1989)（猜想与 Szpiro 定理）；Oesterlé 的 Frey 论证见 Séminaire Bourbaki 同期讲义；半稳定等价的标准文献：Silverman, Advanced Topics in the Arithmetic of Elliptic Curves 第 V 章。