零点不自由：函数域上的黎曼猜想，或一曲几何的赋格

引言：两个世界，一个猜想

1859年，伯恩哈德·黎曼在他唯一一篇数论论文中，提出了那个改变数学面貌的猜想： $\zeta$ 函数的非平凡零点全部落在临界线 $\operatorname{Re}(s) = 1/2$ 上。一个半世纪过去了，这个猜想仍与全世界最优秀的头脑对峙。它像一座不设防的城，无人能攻入，也无人能绕开。

然而，在另一个看似遥远的数学世界里，一个与黎曼猜想精神同构的命题，却已在1948年被安德烈·韦伊完整证明。这个世界是有限域上的代数曲线——函数域的世界。在这里，原本无穷无尽的素数序列被有限域上的点所替代，原本超越的黎曼 $\zeta$ 函数坍缩为一个有理函数，原本不可捉摸的零点分布变成一个有限多项式的根。正是在这个被压缩到有限的模型中，黎曼猜想第一次露出了它真正的几何面目。

本文将带领读者重走这条证明之路。我们的目标不仅是知道"它被证了"，更是看清它是如何被证的——看清那个把零点钉死在临界线上的机制，本质上究竟是什么。读完之后我们会发现，三条历史证明——哈塞、韦伊、格罗滕迪克–德利涅——就像一曲赋格的三个声部：主题只有一个，却在愈来愈宏大的结构中被反复奏响。而这个主题，可以浓缩成一句话：

零点不是自由的。一个正定性结构把它们锁在临界线上。

看清了这个主题，我们也就能理解，为什么整数域上的黎曼猜想至今无法攻克：不是因为缺少一条巧妙的推理，而是因为承载那个正定性的几何结构，在整数上还不存在。

一、舞台的搭建：从整数到曲线

1.1 类比的根源

数论中最古老的观察之一，是整数与多项式之间那种挥之不去的相似。一个整数可以唯一分解为素数之积；一个系数在域中的多项式可以唯一分解为不可约多项式之积。整数的加法对应多项式的加法；整数的大小——绝对值 $|n|$ ——对应多项式的"大小"——次数。这条类比的长河，流淌在数学的河床之下已逾两千年，而将它完整地摊开在眼前，便是理解一切分歧与统一的起点。

把这张对照表逐一展开：整数环 $\mathbb{Z}$ 对应多项式环 $\mathbb{F}_q[t]$ ；有理数域 $\mathbb{Q}$ 对应有理函数域 $\mathbb{F}_q(t)$ ；素数 $p$ 对应首一不可约多项式，亦即曲线上的闭点 $P$ ；绝对值 $|n|$ 对应范数 $q^{\deg P}$ ，其中 $\deg P$ 是闭点剩余域 $\mathbb{F}_{q^{\deg P}}$ 对 $\mathbb{F}_q$ 的次数； $\operatorname{Spec}\mathbb{Z}$ ——整数环的几何化身——对应曲线 $C$ 自身；黎曼 $\zeta$ 函数 $\zeta(s)=\sum_{n=1}^\infty\frac{1}{n^s}=\prod_{p}\frac{1}{1-p^{-s}}$ 对应曲线的 $\zeta$ 函数 $Z_C(u)=\prod_{P}\frac{1}{1-u^{\deg P}};$ 而整数上那个孤悬于所有有限素数之外的无穷远素点 $\infty$ ，在函数域一侧则有了踏实的落点——曲线上一个或多个无穷远点。

但这张看似完美的对照表，在底部藏着一处致命的断裂。有限域上的曲线 $C$ 是定义在基域 $\mathbb{F}_q$ 之上的几何对象——它下面还有一层；而 $\operatorname{Spec}\mathbb{Z}$ 是绝对的底，它下面空空荡荡，没有任何更基础的域可供依托。这一处不对称，是整条类比之河的瀑布：一侧的猜想早已在1948年被证明，另一侧的猜想到今天仍在夜空中沉默地闪烁。全文的伏笔，尽系于此。

函数域正是这一类比走到极致的产物。取有限域 $\mathbb{F}_q$ 上一条光滑射影几何不可约曲线 $C$ ，它的函数域 $K = \mathbb{F}_q(C)$ 是一个一元超越扩域； $K$ 中的"素数"（素位）对应曲线上的闭点 $P$ ，而闭点的"范数"恰好是 $q^{\deg P}$ ，其中 $\deg P$ 是该闭点剩余域 $\mathbb{F}_{q^{\deg P}}$ 对 $\mathbb{F}_q$ 的次数。

黎曼 $\zeta$ 函数在整数上的定义是 $\zeta(s) = \sum_{n=1}^\infty \frac{1}{n^s} = \prod_{p \text{ prime}} \frac{1}{1-p^{-s}}, \quad \operatorname{Re}(s) > 1.$ 在曲线 $C$ 上，我们一字不差地照搬欧拉乘积： $\zeta_C(s) = \prod_{P \text{ closed point}} \frac{1}{1 - (q^{\deg P})^{-s}}.$

1.2 坍缩的奇迹

令 $u = q^{-s}$ ，记 $N_k = \# C(\mathbb{F}_{q^k})$ 为曲线在 $k$ 次扩域上的有理点个数。把闭点按次数重新组织，欧拉乘积经过一个漂亮的组合计算，坍缩为一个母函数： $Z_C(u) = \exp\left(\sum_{k=1}^\infty N_k \frac{u^k}{k}\right).$

为什么整数上的 $\zeta(s)$ 是有无穷多零点的超越函数，而函数域上的 $Z_C(u)$ 却是有理函数？答案再次藏在"基"的差别里。每个闭点的剩余域基数是 $q$ 的幂，于是无穷乘积变成 $u$ 的幂级数；而由曲线点数的有限性，这个幂级数收敛成有理函数。

最干净的例子是射影直线 $\mathbb{P}^1$ 。它在 $\mathbb{F}_{q^k}$ 上恰有 $q^k+1$ 个点（仿射直线 $q^k$ 个，加无穷远 $1$ 个），于是 $Z_{\mathbb{P}^1}(u) = \exp\left(\sum_{k \ge 1} (q^k+1) \frac{u^k}{k}\right) = \exp\left(-\log(1-qu) - \log(1-u)\right) = \frac{1}{(1-u)(1-qu)}.$ 分子是 $1$ ，没有零点，亏格 $g = 0$ 。这台"机器"在最简单的情形下空转，但它已经把结构亮了出来：分母的 $(1-u)(1-qu)$ 对应 $H^0$ 与 $H^2$ （后文会看到），而所有有趣的信息都将住在分子里。

一般地，韦伊证明了 $Z_C(u) = \frac{P(u)}{(1-u)(1-qu)}, \quad P(u) \in \mathbb{Z}[u], \quad \deg P = 2g,$ 其中 $g$ 是 $C$ 的亏格。这里的一切都变得有限：只有 $2g$ 个零点，全在 $P(u)$ 里。这 $2g$ 个零点，就是函数域黎曼猜想的全部对象。

1.3 韦伊定理的三重奏

把 $P(u)$ 写成 $P(u) = \prod_{i=1}^{2g}(1 - \alpha_i u)$ 。这里约定一个贯穿全文的记法： $\alpha_i$ 是 $u$ 的倒根，我们称之为弗罗贝尼乌斯特征值（理由见第三章）； $P(u)$ 本身的根则是 $\alpha_i^{-1}$ 。韦伊1948年证明的定理由三句话组成：

第一重·有理性。 $Z_C(u)$ 如上，是有理函数。

第二重·函数方程。 $P(u)$ 满足 $P(u) = \pm q^g u^{2g} P\!\left(\frac{1}{qu}\right),$ 等价于 $\zeta_C(s)$ 在 $s \leftrightarrow 1-s$ 下的对称。它强制特征值成对：若 $\alpha$ 是特征值，则 $q/\alpha$ 也是；并且 $\prod\alpha_i = q^g$ 。

第三重·黎曼猜想。 每个特征值的绝对值恰为 $\sqrt{q}$ ： $|\alpha_i| = \sqrt{q} \quad (i=1,\dots,2g).$

这第三句翻回 $s$ 的语言： $P(u)$ 的根 $u = \alpha_i^{-1}$ 满足 $|u| = q^{-1/2}$ ，故 $|q^{-s}| = q^{-1/2}$ ，即 $\operatorname{Re}(s) = 1/2$ 。变量替换 $u = q^{-s}$ 把复平面上的圆 $|u| = q^{-1/2}$ ，映成了临界线 $\operatorname{Re}(s) = 1/2$ 。这正是黎曼猜想。

这里必须做一处史实校正：有理性与函数方程并非韦伊首证。早在1931年，F. K. 施密特就由黎曼–罗赫定理得到了这两条；亏格 $g=1$ 的黎曼猜想由哈塞在1933–1936年完成；韦伊真正攻下的，是任意亏格的第三重——那才是皇冠上的明珠。把这段顺序厘清，不是吹毛求疵，而是因为"函数方程从何而来"这个问题，本身就通向理解全局的钥匙。

1.4 函数方程的来源：黎曼–罗赫与塞尔对偶

为什么函数方程是"几乎免费"的？因为它是对偶的影子，而对偶在曲线层面就已经存在，根本不必等到弗罗贝尼乌斯登场。

把 $Z_C(u)$ 看成对全体有效除子求和（按次数分组即得前面的母函数）。对一个除子 $D$ ，黎曼–罗赫定理断言 $\ell(D) - \ell(K-D) = \deg D - g + 1,$ 其中 $\ell(D)$ 是 $D$ 的线性系维数， $K$ 是典范除子。塞尔对偶 $H^i(C, \mathcal{L}(D)) \cong H^{1-i}(C, \mathcal{L}(K-D))^*$ 给出一个对称：把"次数 $d$ "换成"次数 $2g-2-d$ "，正是 $Z_C(u)$ 的函数方程 $u \leftrightarrow 1/qu$ 的源头。

记住这一点：函数方程 $=$ 塞尔对偶。 在后文格罗滕迪克的语言里，同一个对偶将以"庞加莱对偶"的面貌再次出现。整条赋格里，对偶始终负责"把零点绑成对"，而正定性才负责"把这一对钉到临界线上"。两者缺一不可，且分工明确。

二、最小模型：哈塞的椭圆曲线（1933）

任何宏大的证明都有一个微小的起点。对于函数域黎曼猜想，这个起点是 $g=1$ ——椭圆曲线。哈塞的证明虽只处理两个零点，却已包含全部机制最纯净的形态。

2.1 点数与弗罗贝尼乌斯

取 $\mathbb{F}_q$ 上一条椭圆曲线 $E$ ，问它的有理点数 $N_1$ 。定义偏差 $a$ ： $N_1 = q+1 - a.$ 函数方程给出 $P(u) = 1 - au + qu^2$ ，两个特征值 $\alpha, \bar{\alpha}$ 满足 $\alpha\bar{\alpha} = q$ ， $\alpha+\bar{\alpha} = a$ 。黎曼猜想 $|\alpha| = \sqrt{q}$ 等价于 $|a| \le 2\sqrt{q}$ ——这就是著名的哈塞界。如何证明它？

哈塞的关键一手，是把 $q$ 次弗罗贝尼乌斯 $\varphi: (x,y) \mapsto (x^q, y^q)$ 看作曲线到自身的一个自同态。这里有一处常被讲错的细节，值得说清： $\varphi$ 恰恰是 $\mathbb{F}_q$ -概形的态射——它固定基域 $\mathbb{F}_q$ 中的每个元素，因而作为 $E$ （定义在 $\mathbb{F}_q$ 上）的同源态射是良定义的，其次数为 $q$ ，且不可分。它最重要的性质是： $\varphi$ 的不动点恰好是 $\mathbb{F}_q$ -有理点 $E(\mathbb{F}_q)$ （因为 $x^q = x$ 当且仅当 $x \in \mathbb{F}_q$ ）。于是 $N_1 = \deg(\varphi - 1).$

2.2 自同态环与度数

椭圆曲线的全体自同态构成环 $\operatorname{End}(E)$ ，其上有一个天然的度数函数 $\deg$ 。每个 $\psi \in \operatorname{End}(E)$ 有对偶 $\hat{\psi}$ ，满足 $\hat{\psi}\psi = [\deg \psi]$ （乘以 $\deg \psi$ 的自同态），且 $\deg$ 诱导的双线性型 $\langle \psi_1, \psi_2\rangle = \deg(\psi_1+\psi_2) - \deg\psi_1 - \deg\psi_2$ 是 $\operatorname{End}(E) \otimes \mathbb{R}$ 上的一个正定二次型。弗罗贝尼乌斯在此环中满足二次方程 $\varphi^2 - [a]\varphi + [q] = 0,$ 它的"根"就是 $\alpha, \bar{\alpha}$ ：迹是 $a$ ，范数是 $q$ 。点数与零点，被同一个算子 $\varphi$ 串了起来。

2.3 正定性出手

现在只需一步线性代数。对任意整数 $m, n$ ，因为度数非负， $\deg(m\varphi - n[1]) \ge 0.$ 展开这个二次型： $q \cdot m^2 - a \cdot mn + 1 \cdot n^2 \ge 0.$ 一个二元二次型对所有整数 $m, n$ 非负，等价于它的判别式非正： $a^2 - 4q \le 0,$ 即 $|a| \le 2\sqrt{q}$ 。证毕。

值得专门点破那个因子 $2\sqrt{q}$ 从何而来——它正是初学者最容易栽跟头的地方。若天真地对二次型 $(\psi, \psi) = \deg \psi$ 套柯西–施瓦茨 $|\langle \varphi, [1]\rangle| \le \sqrt{\deg\varphi \cdot \deg[1]}$ ，会得到错误的 $|a| \le \sqrt{q}$ 。错因在极化：二次型 $\deg$ 对应的双线性型 $\langle \psi_1, \psi_2\rangle = \deg(\psi_1+\psi_2) - \deg\psi_1 - \deg\psi_2$ 满足 $\langle \varphi, [1]\rangle = a$ 。于是真正的内积下 $\langle\varphi,\varphi\rangle=2q$ , $\langle[1],[1]\rangle=2$ , $\langle\varphi,[1]\rangle=a$ ，柯西–施瓦茨给 $|a| \le \sqrt{2q \cdot 2} = 2\sqrt{q}$ 。判别式写法之所以更稳妥，正是因为它把这个因子 $2$ 自动包含在内，无需手工追踪。

2.4 一个可手验的例子

抽象的证明值得用一个能用纸笔核对的例子来落地。取 $E: y^2 = x^3 - x$ over $\mathbb{F}_5$ 。其判别式 $\Delta = -16(4\cdot 0^3 + 27\cdot (-1)^2) = -432 \equiv 3 \not\equiv 0 \mod 5$ ，故光滑。 $\mathbb{F}_5$ 上的平方元为 $\{0, 1, 4\}$ 。逐点验算 $x=0,1,2,3,4$ ：

$x=0$ : $x^3-x=0$ ，平方元，得 $y=0$ ， $1$ 点；
$x=1$ : $0$ ， $y=0$ ， $1$ 点；
$x=2$ : $8-2=6\equiv1$ ， $y=\pm1$ ， $2$ 点；
$x=3$ : $27-3=24\equiv4$ ， $y=\pm2$ ， $2$ 点；
$x=4$ : $64-4=60\equiv0$ ， $y=0$ ， $1$ 点。

仿射点 $1+1+2+2+1=7$ 个，加无穷远点 $1$ ，故 $N_1=8$ 。于是 $a = q+1-N_1 = 5+1-8 = -2$ ， $|a|=2 \le 2\sqrt{5}\approx4.47$ 。 $P(u) = 1 - au + qu^2 = 1+2u+5u^2$ ，特征值满足 $1+2u+5u^2=0$ ，解之得特征多项式 $T^2 + 2T + 5 = 0$ 的根 $T = -1 \pm 2i$ ，模长 $\sqrt{(-1)^2+(\pm2)^2}=\sqrt{5}$ 。一条具体曲线、几行算术，黎曼猜想的全部内容——点数偏差被 $2\sqrt{q}$ 卡住、特征值精确落在半径 $\sqrt{q}$ 的圆上——就摆在了眼前。

2.5 正定性的经验

凝视这个证明，它只有三步：

找到一个几何对象（椭圆曲线的自同态环），其上有弗罗贝尼乌斯算子 $\varphi$ ；
$\varphi$ 满足一个二次方程，其系数 $a, q$ 恰好串起点数与零点；
环上有一个正定二次型（度数），判别式（即柯西–施瓦茨）自动给出 $|a| \le 2\sqrt{q}$ 。

黎曼猜想的全部力量，被一个正定性不等式吸了进去。 $\sqrt{q}$ 的出现不靠任何解析估计，只靠"度数永远非负"这一几何事实。这就是赋格主题第一次完整的陈述。剩下的两个声部，只是在更难的舞台上重奏同一句话。

三、韦伊的跨越：从曲线到曲面（1948）

3.1 $g>1$ 的困境

哈塞的证明严重依赖椭圆曲线丰富的自同态环。当 $g\ge 2$ 时，一般曲线的自同态只有 $[n]$ 这种平凡的，环太小，根本装不下论证。韦伊的天才在于：不在曲线上工作，而把舞台搬到一个更大的几何对象上，在那里重新找到正定性。

3.2 雅可比簇：零点变成特征值

对任意亏格 $g$ 的曲线 $C$ ，韦伊构造它的雅可比簇 $\operatorname{Jac}(C)$ ——一个 $g$ 维阿贝尔簇，曲线的"线性化"。弗罗贝尼乌斯诱导 $\operatorname{Jac}(C)$ 上的自同态 $\varphi_J$ ，而 $Z_C(u)$ 的分子 $P(u)$ 恰是 $\varphi_J$ 作用在 $\ell$ -进泰特模 $T_\ell$ （一个 $2g$ 维 $\mathbb{Q}_\ell$ -向量空间）上的特征多项式： $P(u) = \det(1 - u\varphi_J \mid T_\ell).$ 于是那 $2g$ 个 $\alpha_i$ ，正是弗罗贝尼乌斯算子在一个 $2g$ 维空间上的特征值——这也解释了我们为何从一开始就称它们为"特征值"。

这是极深的一步。希尔伯特与波利亚曾猜测，经典黎曼零点应是某个自伴算子的特征值；在函数域世界里，这个愿景被具体地实现了：零点就是弗罗贝尼乌斯的谱。但要小心一处精确性：希尔伯特–波利亚的"自伴 $\Rightarrow$ 本征值为实"，在函数域中对应的不是自伴性，而是"特征值的模长为 $\sqrt{q}$ "——这是一个由对偶配对给出的酉性/权陈述，而非实性陈述。经过 $u = q^{-s}$ ，"模长 $\sqrt{q}$ "才翻译成" $\operatorname{Re}(s) = 1/2$ "。这个区别在第六章会变得性命攸关。

3.3 曲面与相交：正定性的新家

仅把零点变成特征值还不够，还需约束它们的模长。哈塞用自同态环的度数正定性；韦伊需要雅可比簇上的某种正定性。他的策略堪称绝唱：考虑曲面 $S = C \times C$ （ $\mathbb{F}_q$ 上的纤维积）。弗罗贝尼乌斯的图像 $\Gamma_{\varphi}$ 与对角线 $\Delta$ 在 $S$ 上相交，而点数被表达为相交数 $N_k = \Gamma_{\varphi^k} \cdot \Delta.$ 这些相交数活在曲面的 Néron–Severi 群中——一个有限秩阿贝尔群，带有由相交配对给出的对称双线性型。而这个相交形式，在某个由超平面截面张成的子空间上是负定的：这是曲面上的霍奇指标定理（正特征版本由韦伊本人建立，等价于卡斯泰尔诺沃–塞维里不等式）。把负定性应用于 $\Gamma_{\varphi}$ 与 $\Delta$ 的适当线性组合，柯西–施瓦茨再次登场，逼出 $|\alpha_i| = \sqrt{q}$ 。

赋格主题在此重奏：哈塞用"度数非负"，韦伊用"曲面相交形式的霍奇指标"。正定性的来源升级了，逻辑骨架一字未改。

3.4 代价与遗产

为了让霍奇指标定理在正特征严格成立，韦伊不得不从零重建代数几何的基础——他1946年的《代数几何基础》正是为这个证明而写，其中的抽象簇、相交理论、纤维积，后来都成了格罗滕迪克概型理论的直接前身。一个定理逼出了一整套新数学——这是数学史上最激动人心的模式，也是后文整数 RH 给我们的最大暗示。

但韦伊的证明带着"绕路"的痕迹：它从曲线跳到曲面，借曲面的相交形式来约束曲线上算子的特征值。韦伊自己深知，正确的图景应当是直接在曲线上定义一种上同调理论，让弗罗贝尼乌斯自然作用其上，让莱夫谢茨不动点公式给出点数，让庞加莱对偶锁住特征值的模长。这个图景他没能亲手实现，却留下了明确的纲领——韦伊猜想。

四、终极形式：格罗滕迪克与平展上同调（1960–1974）

4.1 韦伊猜想的全景

1949年，韦伊把函数域黎曼猜想推广为任意维代数簇的四条猜想：

有理性： $\zeta$ 函数是有理函数；
函数方程： $\zeta$ 函数满足某种函数方程；
黎曼猜想：零点与极点的绝对值是 $q$ 的半整数次幂；
贝蒂数类比：若该簇是特征零某簇的良好约化，则 $\zeta$ 函数的次数等于其特征零提升的拓扑贝蒂数。

第一、二条在格罗滕迪克手中变成形式主义的推论；第四条与第三条由德利涅在1974年完成。第三条——高维黎曼猜想——是这顶皇冠上的明珠。

4.2 平展上同调：正确的语言

格罗滕迪克认识到，要证韦伊猜想，必须有一种在正特征代数簇上定义的上同调，它要模仿复簇奇异上同调的一切好性质：有限维、庞加莱对偶、屈内特公式、莱夫谢茨不动点公式。他与阿廷、韦迪耶等人从头建造了这座大厦——平展上同调。其要旨是：平展态射在平展拓扑中扮演"局部同胚"，从而上同调能捕捉代数簇的"拓扑"信息，却不依赖复数的超越性质。

在这套语言里，弗罗贝尼乌斯 $\varphi$ 自然作用在各 $H^i$ 上，莱夫谢茨不动点公式给出 $N_k = \sum_{i=0}^{2d} (-1)^i \operatorname{tr}(\varphi^k \mid H^i).$ $\zeta$ 函数成为 $Z_X(u) = \prod_{i=0}^{2d} \det(1 - u\varphi \mid H^i)^{(-1)^{i+1}}.$ 零点变成上同调上线性算子的特征值——不再绕道曲面与相交。对一条曲线 $C$ ： $H^0$ 贡献因子 $(1-u)^{-1}$ （弗罗贝尼乌斯本征值 $1$ ）， $H^2$ 贡献 $(1-qu)^{-1}$ （本征值 $q$ ），而中间的 $H^1$ 是 $2g$ 维， $P(u)$ 就是 $\varphi$ 在 $H^1$ 上的特征多项式。当年 $Z_C(u)$ 那个分母 $(1-u)(1-qu)$ ，此刻有了名字。

4.3 权与纯性：黎曼猜想的真正陈述

德利涅把第三条提炼成一个统摄一切的原理——纯性： $H^i$ 纯于权 $i$ ，即 $\varphi$ 在 $H^i$ 上的每个特征值都满足 $|\alpha| = q^{i/2}.$ 这里"纯于权 $i$ "是德利涅上同调理论的核心概念，直观涵义是：特征值落在复平面上半径为 $q^{i/2}$ 的圆上。对曲线的 $H^1$ （权 $1$ ），这正是 $|\alpha| = q^{1/2} = \sqrt{q}$ 。所谓"任意簇的黎曼猜想"，就是这一句"各阶上同调皆纯"。

而函数方程，此刻是庞加莱对偶的直接推论：完美配对 $H^i \times H^{2d-i} \to H^{2d} \cong \mathbb{Q}_\ell(-d)$ 把 $\varphi$ 在 $H^i$ 上的特征值 $\alpha$ 与 $H^{2d-i}$ 上的 $q^d/\alpha$ 锁成一对。这与 §1.4 的塞尔对偶、§3.3 的相交配对，是同一个对偶在不同语言里的化身。对偶绑对，纯性钉线——主题至此第三次完整奏响。

4.4 德利涅的最后一击

困难在于：平展上同调的全部公理（有限维、庞加莱对偶、屈内特）只能推出函数方程（特征值成对 $\alpha \leftrightarrow q^d/\alpha$ ），却锁不住单个特征值的模长。它把零点绑成对，没说这对落在何处。需要一个额外的正定性输入。

德利涅的突破来自一个出人意料的方向——自守形式理论中的 Rankin 取幂技巧。以曲线的 $H^1$ 为例，论证的真实形状是这样（高维类似）：反设某个特征值 $|\alpha| > \sqrt{q}$ ，欲导出矛盾。直接估计够不着，于是取 $\varphi$ 的高次张量幂，把许多本征值的贡献"叠加放大"，构造一个辅助 $L$ -函数（这是 Rankin–Selberg 卷积的精神）；该 $L$ -函数的系数因某个上同调配对的符号而非负，这迫使它在某区域内无极点；但若 $|\alpha|$ 过大，欧拉因子又会制造一个极点——矛盾。于是 $|\alpha| \le \sqrt{q}$ 。再由函数方程 $\alpha \leftrightarrow q/\alpha$ 的对称：所有 $|\alpha_i| \ge \sqrt{q}$ 且两两乘积为 $q$ ，逼出全体 $|\alpha_i| = \sqrt{q}$ 。

请注意这一击的内核，与哈塞、韦伊完全同构：依旧是"一个正定/非负的配对 + 取幂放大（柯西–施瓦茨的高阶变体）= 模长锁定"。正定性这一次既不来自自同态环的度数，也不来自曲面的相交形式，而来自平展上同调上某个配对的符号性质。德利涅1974年发表完整证明（Weil I），韦伊猜想成为韦伊定理。值得补充的是，德利涅在1980年的第二篇论文（Weil II）中，进一步利用反常层和 $\ell$ -进傅里叶变换给出了一个更具几何内涵的证明——但本文的叙事止于Weil I，因为它已完美呈现了"正定性锁定模长"这一核心主题。

五、解剖证明：正定性如何成为引擎

重走三条路线之后，做一次解剖。哈塞、韦伊、格罗滕迪克–德利涅，技术迥异，却共享同一副逻辑骨架，由三个部件构成。

部件一·弗罗贝尼乌斯算子。 三种证明里都有一个 $\varphi$ ：哈塞处是 $(x,y)\mapsto(x^q,y^q)$ ，韦伊处提升到雅可比簇，平展上同调里则是内蕴的算术弗罗贝尼乌斯。 $\varphi$ 统治一切——其不动点给出有理点，其特征值给出 $\zeta$ 的零点。 $\zeta$ 的全部信息，被浓缩进这一个算子。

部件二·对偶与函数方程。 三种证明里 $\zeta$ 都满足 $u \leftrightarrow 1/qu$ （即 $s \leftrightarrow 1-s$ ），来源依次是黎曼–罗赫/塞尔对偶、相交配对、庞加莱对偶。它把零点绑成对，却单独锁不住模长。

部件三·正定性。 这才是真正的发动机。 $\sqrt{q}$ 在三处都被一个正定性逼出：

哈塞：度数二次型正定 $\Rightarrow$ 判别式 $\Rightarrow |a| \le 2\sqrt{q}$ ；
韦伊：曲面相交形式负定 $\Rightarrow$ 柯西–施瓦茨 $\Rightarrow |\alpha_i| = \sqrt{q}$ ；
德利涅：上同调高阶配对的符号 $\Rightarrow$ Rankin 取幂 $\Rightarrow |\alpha_i| = q^{i/2}$ .

正定性的作用怎么强调都不过分：它是黎曼猜想从"可能为真"变成"必须为真"的唯一原因。函数方程负责对称，正定性负责钉死。没有正定性，零点可以在临界线上、也可以在别处；有了正定性，它们必须在临界线上。

把三件合起来，函数域黎曼猜想的证明逻辑是一句话：

存在几何空间 $X$ ，弗罗贝尼乌斯 $\varphi$ 作用在其上同调 $H^*(X)$ 上； $H^*(X)$ 带庞加莱对偶（强制 $\alpha \cdot \alpha' = q^d$ ），又带一个正定的天然配对（强制模长不超出由配对决定的界）。两个方向夹逼，给出精确模长。

附带一提，在函数域里，联系素数与零点的"显式公式"是精确且有限的——它就是恒等式 $u \cdot Z'_C/Z_C = \sum N_k u^k$ （ $Z$ 的对数导数）。而在整数上，对应的显式公式是一个带无穷多零点项的渐近式。有限与无穷的鸿沟，预示了下一章的全部困难。

六、断裂：为什么搬不到 $\mathbb{Z}$ 上

现在直面那个真正重要的问题。函数域上的证明如此干净，为什么四分之三个世纪过去，整数上的黎曼猜想仍是绝壁？答案不在技术细节，而在结构性的缺失。把三个部件逐一对号入座，看它们在整数上对应着什么——结果是三处空白。

6.1 缺失的弗罗贝尼乌斯

函数域上，整个证明由一个全局弗罗贝尼乌斯 $\varphi$ 驱动，它统一作用于曲线所有的点。整数上没有全局弗罗贝尼乌斯。每个素数 $p$ 有自己的局部弗罗贝尼乌斯（伽罗瓦群中的元素），但它们散落各处，不构成一个统一算子，无法在"整数曲线的上同调"上形成单一自同态。欧拉乘积 $\prod(1-p^{-s})^{-1}$ 之难处理，正因为它由无穷多个独立的 $p$ -因子拼成，没有一个 $\varphi$ 把它们绑在一起。阿兰·孔涅的整个非交换几何纲领，可理解为为整数制造"全局弗罗贝尼乌斯"的尝试——他让乘性流 $\mathbb{R}_+^*$ 作用在阿代尔类空间上，扮演 $\varphi$ 的角色。

6.2 缺失的有限维上同调

函数域上， $H^1$ 有限维（ $2g$ 维）， $\varphi$ 在其上是有限矩阵，特征多项式 $P(u)$ 次数 $2g$ ，零点有限，正定性只是有限维二次型上的一个不等式。整数上，黎曼 $\zeta$ 有无穷多零点；任何承载它们的"上同调空间"必然无穷维。在无穷维里，正定性需借助谱与本质谱来精确定义，柯西–施瓦茨不能直接套用，本征值可能连续分布——所有困难都在维度上升中重新长出。孔涅的谱三元组框架正卡在这里：他能在无穷维空间上定义一个狄拉克算子使其谱与黎曼零点相关，但如何在无穷维中施加那个关键的正定性、把零点逼到临界线上，至今无法跨越。这也正是希尔伯特–波利亚的"自伴算子"梦想：它要的不是函数域那种"酉性"，而是真正的自伴性——而那个自伴算子，没人写得出来。

6.3 缺失的基

最深层的奢侈，是曲线 $C$ 存在于基域 $\mathbb{F}_q$ 之上——正因如此，我们才能造 $C \times C$ 、谈"几何对象的几何"、用相交理论与庞加莱对偶。整数环 $\mathbb{Z}$ 是绝对的底， $\operatorname{Spec}\mathbb{Z}$ 之下没有更基础的域，也就没有自然的"二维算术曲面"供韦伊式相交论证施展。一元域纲领（ $\mathbb{F}_1$ 纲领）的全部动机，就是为 $\operatorname{Spec}\mathbb{Z}$ 制造一个假想的基 $\mathbb{F}_1$ ，使 $\operatorname{Spec}\mathbb{Z}$ 成为" $\mathbb{F}_1$ 上的曲线"、使 $\operatorname{Spec}\mathbb{Z} \times \operatorname{Spec}\mathbb{Z}$ 这个"算术曲面"有意义。这至今是一个未完成的梦想。

6.4 正定性的真空

三处缺失导致同一个后果：整数上没有一个已知的几何空间，其天然正定性能像哈塞的度数、韦伊的相交形式、德利涅的配对那样，把零点的模长锁死。黎曼猜想之难，不在零点本身——我们已用计算机验证了前数十万亿个零点都在临界线上——而在于约束零点的那个结构尚不存在。我们看得见零点排成一线，却没有一套正定性机制解释为什么它们必须如此。

于是，当代对黎曼猜想的所有进攻，本质上都是在为 $\mathbb{Z}$ 制造函数域所拥有的那三样东西：

$\mathbb{F}_1$ 纲领（Manin、Soulé、Connes–Consani、Borger 等）：制造"基"，让 $\operatorname{Spec}\mathbb{Z}$ 成为曲线；
非交换几何（Connes）：制造"全局弗罗贝尼乌斯"与"无穷维上同调"，并在其上寻找那把正定性钥匙；
动机与算术拓扑斯（格罗滕迪克未竟之梦）：制造一个万有上同调，让正定性成为它的内蕴性质。

三条路都在动工，但都还没有通车。

这里必须立一块诚实的界碑，否则前文的雄辩会变成误导：函数域上的黎曼猜想，并不蕴含整数上的黎曼猜想。 它是一面镜子、一座单元测试、一份精确的"缺失清单"，告诉我们要在 $\mathbb{Z}$ 上复刻这套机制，究竟缺哪三样东西。但镜中之物不会自己走到镜外——把证明从函数域搬到整数，所缺的那座"正定性之桥"，恰恰就是上面三个纲领正试图凭空架起、而至今没能架起的东西。难度没有消失，它只是被精确地搬到了"为 $\operatorname{Spec}\mathbb{Z}$ 造出基、弗罗贝尼乌斯与有限维上同调"这件事上。

尾声：黎曼猜想的两种未来

函数域黎曼猜想的历史，留给我们一个深刻的教训：

一个伟大的猜想，其证明往往不在于寻得一条巧妙的推理路径，而在于发现一个全新的结构，使猜想成为这个结构的必然推论。

哈塞证 $|a| \le 2\sqrt{q}$ ，没用任何解析数论的技巧——他只是发现了自同态环上的正定二次型。韦伊没去精炼估计——他建造了抽象代数几何的整个基础，因为旧基础装不下他的证明。格罗滕迪克与德利涅没去修补韦伊的论证——他们发明了平展上同调，一个之前不存在的数学宇宙。每一次，证明都不是一段推理，而是一个新世界的诞生。

整数上的黎曼猜想，很可能也是如此。它不是任何现有技术能攻克的，因为它所需的那座"正定性之桥"还未建成；每一个试图证明它的人，最终都会发现自己在造的，不是一段推理，而是一个新的数学世界——一个为 $\operatorname{Spec}\mathbb{Z}$ 同时供给基、弗罗贝尼乌斯与上同调的世界，且这个世界必须在退回函数域时，重现哈塞与韦伊的版本（否则它一定是错的）。这条苛刻的双重约束，既是路标，也是试金石。

或许这正是黎曼猜想如此迷人的原因。它不只是数论的一个命题，它是数学未来的一个路标。它的证明，将必然伴随一场不亚于函数域那场革命的、对数学基础的重新锻造。

而那场锻造，或许正由读到这里的你来开启。

致谢：本文的写作受惠于与一位匿名对话者的深入讨论，其对函数域与整数域黎曼猜想之结构性差异的洞察，直接塑造了本文的核心论点。数学的推进往往由这样的追问者驱动——他们不满足于"它被证了"，而一定要问"它为什么能被证"、"另一个为什么还不能"，以及最难的那一问："要让它也能被证，我得亲手造出什么？" 谨以此文，致敬这种追问的精神。