皮埃尔·德利涅 · 世界数学发展史

获奖原因

皮埃尔·德利涅（Pierre Deligne，1944– ）获 1978 年菲尔兹奖，时年仅 34 岁，核心成就是证明韦伊猜想中的黎曼假设类比（1973），完成了格罗滕迪克未竟的事业。

在格罗滕迪克建立 étale 上同调的框架下，德利涅证明：对有限域 $\mathbb{F}_q$ 上的光滑射影簇 $X$ ，弗罗贝尼乌斯自同态在 $\ell$ -进上同调 $H^i_{\text{ét}}(X_{\bar{\mathbb{F}}_q},\mathbb{Q}_\ell)$ 上的所有特征值，其绝对值恰为 $q^{i/2}$ 。这等价于韦伊 zeta 函数的零点落在临界带上——是”有限域上的黎曼假设”。他进一步（1980，Weil II）建立了一套完整的** $\ell$ -进层权理论**（theory of weights），使这一结果推广到任意 $\ell$ -进层，并由此证明了拉马努金–彼得森猜想（模形式的系数有界，即 Ramanujan $\tau$ 函数的 Deligne 界 $|\tau(p)|\le 2p^{11/2}$ ）。

德利涅还创立混合霍奇结构（mixed Hodge structures）、给出霍奇猜想在标准情形下的部分结果、并在表示论与范畴论中贡献深远（如 Deligne 猜想、Tannakian 范畴）。他于 2008 年获沃尔夫奖、2013 年获阿贝尔奖。

问题来龙去脉

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

设 $X$ 是 $\mathbb{F}_q$ 上的光滑射影簇， $N_k=\#X(\mathbb{F}_{q^k})$ 。韦伊（1949）定义 $\zeta_X(T)=\exp\left(\sum_{k\ge1}\frac{N_k}{k}T^k\right),$ 并猜想：

$\zeta_X(T)$ 是有理函数；
满足函数方程（对称于 $q^{-k}T^{-1}$ ）；
可写成 $\prod_{i=0}^{2\dim X} P_i(T)^{(-1)^{i+1}}$ ，其中 $P_i$ 的首一整系数多项式；
黎曼假设类比： $P_i$ 的每个零点 $\alpha$ 满足 $|\alpha|=q^{-i/2}$ （等价地，其倒数 $\beta$ 满足 $|\beta|=q^{i/2}$ ）。

前三条由格罗滕迪克用 étale 上同调证明：由格罗滕迪克迹公式 $N_k = \sum_{i=0}^{2n} (-1)^i \mathrm{Tr}\big(\mathrm{Frob}_q^k \mid H^i_{\text{ét}}(X,\mathbb{Q}_\ell)\big),$ 于是 $P_i(T)=\det(1-T\,\mathrm{Frob}_q\mid H^i_{\text{ét}})$ 。第四条（最难）要求弗罗贝尼乌斯特征值的模长恰好 $q^{i/2}$ ——这正对应于复簇上”霍奇结构纯度”的有限场类比。

二、核心困难：纯度

要证 $|\lambda|=q^{i/2}$ ，需证明 $H^i$ 是”纯权 $i$ “的——即所有特征值模 $q^{i/2}$ 。困难在于：

$H^i$ 是 Galois 表示的张成空间，没有现成的”内积”直接给出模长；
经典复几何用霍奇分解 + 凯勒度量证明 purity（韦伊对曲线的证明也靠雅可比簇的正定性），但有限场没有这样的正定性结构。

三、德利涅的突破

德利涅的关键创意是用”相对”与”形变”把问题降维，并把”单个簇”嵌入到可被控制的族中：

秩一情形与外部张量：先处理”系数层”（rank-one $\ell$ -进层）的纯度——对应指数和 $S=\sum_{x\in\mathbb{F}_q} \chi(f(x))\,\psi(g(x)),$ 德利涅用拉梅（Laumon）型 / 阿廷–施赖尔层把这种和写成弗罗贝尼乌斯迹，并用”权”的归纳证明其界 $|S|\le (\deg f+\deg g)\sqrt{q}$ 。这其实是有限域上的韦伊界对指数和的推广。
相对上同调与硬 Lefschetz：对一般簇，德利涅引入”相对”框架——考虑映射 $f:X\to Y$ ，用相对上同调 $R^if_*\mathcal{F}$ 把高维问题沿纤维降维；配合一条”相对硬 Lefschetz”定理（来自格罗滕迪克的 Lefschetz 型标准猜想的特例），把纯度逐层推上去。
极化与半单性：他证明弗罗贝尼乌斯在 $H^i$ 上半单，且存在”极化”（类 Weil 配对）使特征值成对 $q^{i/2}\cdot$ (单位根)，从而模长恰 $q^{i/2}$ 。

1973 年的论文证明光滑射影簇情形；1980 年的 Weil II（“La conjecture de Weil. II”）把”纯度”发展为一套完整的权重机器：对任意 $\ell$ -进层 $\mathcal{F}$ ，其支撑上同调的权重有可计算的上下界（“权重递降”），从而能处理非光滑、带奇点、带系数的普遍情形。

四、意义与后续

数论地震：纯度立刻推出拉马努金–彼得森猜想（模形式 Hecke 特征值 ≤ $2p^{(k-1)/2}$ ），因为相关伽罗瓦表示的权重被压在临界带上；还给出指数和的韦伊界，广泛用于解析数论（如布饶–德利涅对黎曼假设在函数的类比）。
代数几何的”权”范式：德利涅的权重理论成为 étale 上同调、混合霍奇结构、动机范畴的通用语言；后来的证明（如 Faltings 的 Mordell、Wiles 的模组形式–伽罗瓦对应）都仰赖它。
几何朗兰兹的先声：l-进表示的权重/纯度为几何朗兰兹纲领（Drinfeld、Lafforgue、吴宝珠）提供了最基本的”函子性”判据。

德利涅以极致的精确与品味，把格罗滕迪克的宏大纲领收束为一个干净利落的定理；韦伊猜想的解决被视为 20 世纪代数几何的巅峰之一。