亚历山大·格罗滕迪克 · 世界数学发展史

获奖原因

亚历山大·格罗滕迪克（Alexandre Grothendieck，1928–2014）获 1966 年菲尔兹奖，表彰他彻底重构代数几何的划时代工作。他提出了**概型（scheme）**这一统一语言，把”多项式方程的解集”推广到任意环上的几何对象，使数论与几何融为同一门学问。

他的贡献横跨多个层次：（1）同调代数基础——在《Tohoku 论文》（1957）中奠定阿贝尔范畴与导出函子理论，使上同调成为通用语言；（2）概型与层论——以《代数几何基础》（EGA）系统建立概型、态射、上同调；（3）韦伊猜想计划——他预见到需要一种”良好的”上同调理论来研究有限域上的簇，提出 étale 上同调（与 Artin、Verdier 等实现）、 $\ell$ -进上同调、拓扑斯（topos）与动机（motives）构想，为德利涅（Deligne）最终证明韦伊猜想中的黎曼假设类比铺平道路；（4）K-理论、黎曼–罗赫的推广（Grothendieck–Riemann–Roch）等。

格罗滕迪克拒绝前往莫斯科领奖（抗议苏联政治），由他人代领，成为菲尔兹奖史上少有的缺席者。

问题来龙去脉

一、韦伊猜想：有限域上的”黎曼假设”

1949 年，安德烈·韦伊（A. Weil）在对有限域上代数曲线（如模 $p$ 的椭圆曲线）的点数估计中，提出一组关于zeta 函数的猜想。设 $X$ 是有限域 $\mathbb{F}_q$ 上的光滑射影簇， $N_k$ 为 $X$ 在 $\mathbb{F}_{q^k}$ 中的点数，定义 $\zeta_X(s)=\exp\left(\sum_{k\ge1}\frac{N_k}{k}q^{-ks}\right).$ 韦伊猜想其可写成有理函数并满足函数方程，最惊人的是黎曼假设类比：所有零点落在 $\Re(s)=\frac{1}{2},\frac{3}{2},\dots,\frac{n-1}{2}$ 上（即 $\zeta_X$ 的极点/零点满足 $| \alpha_i|=q^{i/2}$ ）。

难点在于：韦伊只对曲线（dim 1）用”雅可比簇 + 正定性”证明。高维情形缺一个上同调理论——经典拓扑上同调（奇异上同调）依赖实数拓扑，对 $\mathbb{F}_q$ 上的簇不存在。要证明”零点的绝对值 $=q^{i/2}$ “，必须有一个上同调，其弗罗贝尼乌斯自同态的特征值模长恰好 $q^{i/2}$ ，类比复流形上 Frobenius 的拓扑作用。

二、格罗滕迪克的纲领

格罗滕迪克不试图逐点计算，而是先重建整个代数几何的范式，使”上同调”成为内建的结构：

概型：把簇推广到 Spec 函子——环 $A$ 的素谱 $\mathrm{Spec}\,A$ 是基本几何对象，点可以是”广义点”（素理想），从而把数论（如 $\mathbb{Z}$ 、有限域）纳入几何。概型让”在任意基上做几何”成为可能。
层与上同调：用塞尔的凝聚层思想 + 格罗滕迪克的导出函子框架，对任意拓扑（Zariski、étale、fppf…）定义层上同调 $H^i(X,\mathcal{F})$ ，使上同调成为”从几何对象到交换群”的函子。
étale 上同调：为模拟奇异上同调，他引入étale 拓扑——用”有限 étale 覆盖”代替开覆盖。对簇 $X/\mathbb{F}_q$ ，其 $\ell$ -进 étale 上同调 $H^i_{\text{ét}}(X_{\bar{\mathbb{F}}_q},\mathbb{Q}_\ell)$ 是有限维 $\mathbb{Q}_\ell$ -向量空间，弗罗贝尼乌斯 $\mathrm{Frob}_q$ 在其上作用，韦伊猜想的 RH 类比等价于： $\text{所有 }\mathrm{Frob}_q\text{ 在 }H^i_{\text{ét}}\text{ 上的特征值绝对值}=q^{i/2}.$
标准猜想与动机：他提出一组”标准猜想”（Lefschetz 型、Künneth 型）来保证上同调的正定性，并以”动机”（motives）统一各上同调理论。虽标准猜想至今未全证，但其框架为德利涅提供了工作场。

三、德利涅的完成与格罗滕迪克的角色

格罗滕迪克本人证明了韦伊猜想中的有理性与函数方程部分（用 étale 上同调 + Grothendieck 迹公式： $\#X(\mathbb{F}_{q^k})=\sum_i (-1)^i \mathrm{Tr}(\mathrm{Frob}_q^k\mid H^i_{\text{ét}})$ ）。黎曼假设类比（最难的”绝对值”部分）由他的学生皮埃尔·德利涅于 1973 年完成——德利涅借助”权重”论证与霍奇型不等式，证明了 $\ell$ -进上同调的”纯度”，从而所有特征值模 $=q^{i/2}$ 。

四、意义与后续

数论与几何合一：概型使费马大定理（怀尔斯）、朗兰兹纲领（数域的表示 ↔ 自守形式）能在几何语言下进行；如今”算术代数几何”几乎等于格罗滕迪克体系的代名词。
上同调的百花齐放：étale、 crystalline（Berthelot）、刚性、导出代数几何等，皆其直系后裔；模形式、伽罗瓦表示的研究仰赖 $\ell$ -进上同调。
范畴论渗透：阿贝尔范畴、拓扑斯成为现代数学基础词汇，影响逻辑与理论计算机科学。

格罗滕迪克以”把问题提升到正确抽象层级”的风格，让代数几何从技巧繁复的手艺变为由范畴与上同调统御的宏伟建筑；他的《EGA》《SGA》至今仍是该领域的基石。