解法：怀尔斯利用泰勒–怀尔斯方法给出的模性证明(1994年)

第 4/11 步：模形式与模性的通俗解释

通俗地说

椭圆曲线 $E$ 生活在代数世界里:对于每个使 $E$ 光滑的素数 $q$ ,可以数出它在模 $q$ 下有多少个点 $(x, y)$ ,并记录误差 $a_q(E) = q + 1 - |E(\mathbb{F}_q)|$ 。这就给出了一列无穷多个整数,每个素数对应一个。

模形式 $f(\tau)$ 则生活在截然不同的世界——上半平面 $\operatorname{Im}(\tau) > 0$ 上的复分析世界;它在分式线性变换 $\tau \mapsto (a\tau + b)/(c\tau + d)$ 下满足刚性的对称性,并展开为傅里叶级数 $\sum_{n \ge 1} c(n, f) q_{\tau}^n$ 。称 $E$ 是模的,是指存在一个模形式 $f$ ,其傅里叶系数 $c(q, f)$ 对每个好约化素数 $q$ 都恰好等于点数误差 $a_q(E)$ 。

a_q(E) = q + 1 - |E(\mathbb{F}_q)| = c(q, f), \quad f(\tau) = \sum_{n=1}^{\infty} c(n, f)\, e^{2\pi i n \tau}

详细分析

对于椭圆曲线 $E/\mathbb{Q}$ 和好约化素数 $q \nmid \Delta$ ,设 $|E(\mathbb{F}_q)|$ 为解 $(x, y) \in \mathbb{F}_q^2$ 的个数加上无穷远点 $\mathcal{O}$ ,并定义弗罗贝尼乌斯迹 $a_q(E) = q + 1 - |E(\mathbb{F}_q)|$ (Qiu et al. 2025, 第3.2.1节)。这些整数被打包进哈塞–韦伊 $L$ 级数 $L(E, s) = \sum_{n=1}^{\infty} a_n(E) n^{-s}$ 。

在分析一侧,同余子群 $\Gamma_0(N) = \{\binom{a\ b}{c\ d} \in \operatorname{SL}_2(\mathbb{Z}) : N \mid c\}$ 上权 $k = 2$ 、水平 $N$ 的尖点形式 $f$ 是上半平面上的全纯函数,对 $\Gamma_0(N)$ 中的所有矩阵满足 $f((a\tau+b)/(c\tau+d)) = (c\tau+d)^2 f(\tau)$ 且在尖点处为零(Wiles 1995, 第445页; Qiu et al. 2025, 第3.2.2节)。当 $f$ 是所有赫克算子 $T_n$ 的本征形式(即 $T_n f = c(n, f) f$ )时,其傅里叶展开 $f(\tau) = \sum_{n=1}^{\infty} c(n, f) e^{2\pi i n \tau}$ 携带着算术本征值 $c(n, f)$ 。

根据艾希勒与志村的定理(Wiles 1995, 第444–445页, 定理0.1),导子为 $N$ 的椭圆曲线 $E/\mathbb{Q}$ 是模的——即被模曲线 $X_0(N)$ 有限覆盖——当且仅当存在权 $2$ 、水平 $N$ 的有理系数赫克本征形式 $f$ ,使得对每个素数 $q \nmid N$ 都有 $c(q, f) = a_q(E)$ 。这在三次曲线的世界与刚性的有限维模形式空间之间架起了桥梁。

本步骤中的术语

权 $2$ 、水平 $N$ 的尖点形式: 在复上半平面上全纯、在满足 $N \mid c$ 的矩阵 $\binom{a\ b}{c\ d} \in \Gamma_0(N)$ 作用下按 $(c\tau+d)^2$ 变换且在所有尖点处为零的函数 $f(\tau)$ 。对每个固定的水平 $N$ ,这些函数构成一个有限维向量空间。
赫克本征形式: 同时作为所有赫克平均算子 $T_n$ 的本征向量的模形式 $f$ (即 $T_n f = c(n, f) f$ )。它的傅里叶系数 $c(n, f)$ 是满足乘法关系的代数整数。

本步骤用到的知识

模形式算术几何