安德烈·韦伊

将代数几何方法引入数论,提出著名的韦伊猜想,奠定现代算术几何基础

奖项
沃尔夫奖
年份
1979
国籍 / 出生
法国
出生
1906

获奖原因

安德烈·韦伊(1906–1998)是布尔巴基学派的灵魂人物。他用代数几何重构数论,提出”韦伊猜想”,并建立了代数几何的基础语言(如抽象簇、韦伊上同调),深刻塑造了二十世纪后半叶的数学。

问题来龙去脉

韦伊工作的核心动机,是理解有限域上的” zeta 函数”与经典数论的联系。对一条定义在有限域 Fq\mathbb{F}_q 上的代数曲线 CC,可定义

Z(C,T)=exp(r=1NrrTr),Z(C,T)=\exp\left(\sum_{r=1}^{\infty} \frac{N_r}{r}T^r\right),

其中 NrN_rCCFqr\mathbb{F}_{q^r} 上的点数。韦伊在 1949 年证明:当 CC 为光滑射影曲线时,Z(C,T)Z(C,T) 是有理函数,满足形如黎曼假设的”函数域黎曼假设”,即其零点的绝对值恰为 q1/2q^{-1/2}。他进一步猜想:对一般光滑射影簇 X/FqX/\mathbb{F}_q,存在一种”好的”上同调理论,使得点数的计数公式

#X(Fqr)=i=02dimX(1)iTr(FrHi(X))\#X(\mathbb{F}_{q^r})=\sum_{i=0}^{2\dim X}(-1)^i \operatorname{Tr}(F^r|H^i(X))

成立,且 HiH^i 的特征零点的绝对值均为 qi/2q^{i/2}(即高维的黎曼假设)。这便是韦伊猜想

韦伊的远见在于:他预见到要证明这些关于有限域的深刻命题,必须先在任意域(特别是特征 0)上建立严格的代数几何与合适的上同调。他为此写下奠定现代代数几何基础的一系列论著,引入抽象簇、除子、相交理论等工具,并明确提出构造”韦伊上同调”的纲领。

这一纲领最终由格罗滕迪克(概型与 l 进上同调)、德利涅(1973 年证明韦伊猜想中的黎曼假设部分)实现。韦伊猜想的证明是现代算术几何的里程碑:它不仅统一了数论、代数几何与拓扑,还直接催生了 étale 上同调、动机(motive)等概念,成为朗兰兹纲领的基石之一。韦伊在数论、代数几何、拓扑群表示等方面的浩瀚著述,至今仍是数学家的标准参考文献。