∑ 数学名人档案库
← 返回 奥斯卡·扎里斯基 简介档案 深度档案
代数几何

奥斯卡·扎里斯基（Oscar Zariski）

代数几何的「重建工程师」——当意大利学派以天才般的几何直觉把代数曲面理论推到极致却也滑向不严密时，扎里斯基把整座学科拆掉，用交换代数（整闭包、赋值环、正则局部环）重新打地基；他定义的「扎里斯基拓扑」与「正规簇」成为格罗滕迪克概形论的前阶，他 1944 年对三维簇的奇点消解至今仍是这一领域的高峰。芒福德说：「现代代数几何在某种意义上是扎里斯基的注脚。」（此为概括性评价，非直接引文。）

一、生平与时代背景

奥斯卡·扎里斯基 1899 年 4 月 24 日生于俄罗斯帝国科布林（Kobrin，今属白俄罗斯布列斯特州），出生名 阿舍尔·扎里茨基（Ascher Zaritsky）。父亲 Bezalel Zaritsky、母亲 Hannah Zaritsky 均为犹太裔。母亲极为重视教育，从他 7 岁起就请了家庭教师；小扎里斯基在俄语和算术上都显示出过人天赋。一战战火蔓延到白俄罗斯时，全家逃往乌克兰的切尔尼戈夫（Chernigov），这是他一生中数次因政治动荡被迫迁徙的开始。

1918 年他想进基辅大学数学系，但名额已满，只好改读哲学，1918—1920 年间在基辅同时旁听代数与数论。那段日子基辅城头变幻大王旗：1918 年 1 月乌克兰独立、随后德军占领、11 月再独立，1919 年白军短暂入城又被红军逐出，1920 年苏波战争中波军攻占基辅。在被战争反复蹂躏的城市里求学已无可能，他决定前往意大利。

在罗马，他进入意大利代数几何学派的核心圈，受教于卡斯泰尔诺沃（Guido Castelnuovo）、恩里克斯（Federigo Enriques）和塞韦里（Francesco Severi）。1924 年他以一篇与伽罗瓦理论相关的论文获罗马大学博士学位，题目由卡斯泰尔诺沃建议。也正是在恩里克斯的建议下，他把名字改成了更意大利化的「Oscar Zariski」，并以此名发表了与恩里克斯合作的第一篇论文。1924 年他与 Yole Cagli 结婚，回科布林完婚后返回罗马，以国际教育委员会（International Education Board）研究员身份留至 1927 年。

但扎里斯基骨子里是代数派。卡斯泰尔诺沃曾半开玩笑地对他说：「你和我们在一起，但你不是我们中的一员。」（"You are here with us but are not one of us."，据扎里斯基本人回忆，见 MacTutor 传记）——卡斯泰尔诺沃自己也清楚，意大利学派的几何方法已经走到尽头，不足以支撑代数几何的进一步发展。与此同时，1922 年墨索里尼「向罗马进军」，1925—1927 年法西斯取消言论自由、解散反对党与工会，反犹情绪日益高涨。1927 年，在莱夫谢茨（Solomon Lefschetz）帮助下，扎里斯基逃离意大利赴美，任约翰斯·霍普金斯大学 Johnston 学者，1929 年入教师序列，1937 年升正教授。

卡斯泰尔诺沃和塞韦里曾鼓励他把莱夫谢茨的拓扑方法视为代数几何的前进之路，因此 1927—1937 年间他频繁赴普林斯顿拜访莱夫谢茨，研究补空间的基本群（后来的扎里斯基—范坎彭定理即源于此）。1935 年他出版专著《代数曲面》（Algebraic Surfaces），系统整理意大利学派的成果——正是在写这本书的过程中，他对原证明的严密性深感不安，决心用纯代数方法重建整个双有理几何。1937 年起，他彻底转向，把抽象代数（整闭性、赋值环、正则局部环）引入代数几何基础。

1939—1940 年在约翰斯·霍普金斯，他完成了正规簇、局部单值化与奇点消解的核心工作。1944 年因 1939—1940 年的四篇论文获美国数学会（AMS）科尔代数奖。1945 年他在巴西圣保罗访问，每周三天讲课，听众只有安德烈·韦伊（André Weil）一人——两人在讨论（常常是争论）中互相启发，扎里斯基的代数化与韦伊的《代数几何基础》共同奠定了现代代数几何的基础。1946—1947 年在伊利诺伊大学访问后，1947 年起任哈佛大学教授，直至 1969 年退休。1969—1970 年任 AMS 主席。

1965 年获美国国家科学奖章，1981 年同获沃尔夫奖与 AMS 斯蒂尔终身成就奖。1970 年代后期起患阿尔茨海默病，晚年健康每况愈下，1986 年 7 月 4 日卒于美国马萨诸塞州布鲁克莱恩（Brookline），享年 87 岁。

二、学术生涯年表

年份 事件
1899 4 月 24 日生于俄罗斯帝国科布林（今白俄罗斯），出生名 Ascher Zaritsky，犹太裔
1918—1920 基辅大学读哲学（数学系名额已满），同时旁听代数与数论；亲历基辅反复易主
1921（约） 赴罗马，入意大利代数几何学派，师从卡斯泰尔诺沃、恩里克斯、塞韦里
1924 获罗马大学博士学位（伽罗瓦理论相关，卡斯泰尔诺沃建议题目）；与 Yole Cagli 结婚；经恩里克斯建议改名 Oscar Zariski
1924—1927 以国际教育委员会研究员留罗马
1927 经莱夫谢茨帮助赴美，任约翰斯·霍普金斯大学 Johnston 学者
1927—1937 频繁赴普林斯顿与莱夫谢茨合作，研究补空间基本群（扎里斯基—范坎彭定理）
1929 入约翰斯·霍普金斯教师序列
1935 出版《代数曲面》；写作中决心用纯代数方法重建双有理几何
1937 升正教授；彻底转向交换代数化的代数几何基础
1939—1940 完成正规簇、局部单值化、奇点消解核心工作
1944 证明特征零代数三维簇的奇点消解；同年获 AMS 科尔代数奖
1945 圣保罗大学访问，讲课听众仅韦伊一人，二人深度讨论
1946—1947 伊利诺伊大学访问教授
1947 阐明「简单点」（simple point）的代数定义；任哈佛大学教授
1950 在哈佛大学 ICM 作报告（代数几何）
1958, 1960 与萨缪埃尔合著《交换代数》两卷出版
1961, 1967 赴 IHÉS（巴黎高等科学研究院）讲学
1965 提出等奇性（equisingularity）与饱和（saturation）理论；获国家科学奖章
1969—1970 任美国数学会主席
1969 从哈佛大学退休
1981 同获沃尔夫数学奖与 AMS 斯蒂尔终身成就奖
1970s 后期—1986 患阿尔茨海默病，1986 年 7 月 4 日卒于布鲁克莱恩

三、核心成果（逐条技术解析）

1. 把代数几何代数化：整闭性、赋值环与正规簇（1937 起）

问题背景：意大利学派处理代数簇依赖「一般点」「邻近点」等几何直觉，双有理几何中许多证明（如 Severi 的连续系统理论）被发现有漏洞。到 1930 年代，范德瓦尔登（van der Waerden）已开始用抽象代数处理代数几何的部分基础，但双有理几何的深层方面仍是「未开垦的处女地」（扎里斯基语）。

关键思想：扎里斯基把 Emmy Noether 与范德瓦尔登的现代代数系统地注入代数几何：以交换环的整闭包（integral closure）定义「正规簇」（normal variety，局部环整闭），以赋值环（valuation ring）描述双有理对应中的无穷邻近点，以正则局部环（regular local ring）刻画「简单点」。他把几何命题翻译成纯交换代数命题再证明，从而摆脱对基域特征或解析/拓扑方法的依赖。

精确表述（核心概念）： - 一个代数簇 $V$ 是正规的，若它在每个点的局部环 $\mathcal O_{V,P}$ 在其分式域中整闭。 - $V$ 的一点 $P$ 是简单点（非奇异），若局部环 $\mathcal O_{V,P}$ 是正则局部环（即其极大理想可由 $\dim V$ 个元素生成）。扎里斯基 1947 年给出了「简单点」的代数判别，并证明在特征零（后由永田 Nagata 推广）下简单点的集合稠密、奇点集余维至少为 2（对正规簇）。

与前人关系：范德瓦尔登、诺特提供了代数工具；扎里斯基是第一个把它们系统用于双有理几何全部基础的人。

意义：这是现代代数几何的「地基工程」。格罗滕迪克的概形（scheme）正是以仿射概形 $\operatorname{Spec} R$ 及其正则/正规/整闭等局部环性质为语言——这些概念的代数化几乎全由扎里斯基完成。

2. 奇点消解（Resolution of Singularities）：特征零三维簇（1944）与局部单值化

问题背景：代数簇往往有奇点（如 $y^2=x^3$ 的尖点）。一个自然的问题：能否通过有限次双有理变换（如吹张 blow-up）把任意代数簇变成非奇异簇？这是代数几何最基本的问题之一，意大利学派只在曲线、曲面上有不严密的处理。

结果： - 扎里斯基 1944 年证明：特征零域上的任意三维代数簇都可消解奇点（存在到非奇异簇的固有双有理映射）。 - 更一般地，他对任意维数证明了局部单值化定理（local uniformization）：对函数域的任意一个赋值，存在一个模型使该赋值中心为简单点。这是整体消解的局部版本，在任意特征、任意维数都成立（在适当假设下）。

与前人关系：曲线情形经典已知，曲面情形由意大利学派（不严密地）处理过；扎里斯基首次给出特征零任意维的局部单值化严格证明，并完成三维整体消解。

局限与后续：特征零任意维的整体奇点消解直到 1964 年才由广中平祐（Hironaka）完全证明（他因此获 1970 菲尔兹奖），使用并极大发展了扎里斯基的方法。正特征情形至今（任意维）仍是未解决问题，扎里斯基的局部单值化仍是关键工具。

3. 扎里斯基主定理与连通性定理

问题背景：双有理映射在哪些条件下是同构？双有理变换的纤维如何连通？

扎里斯基主定理（Zariski's Main Theorem）有几个等价形式： - 双有理形式：设 $f:X\to Y$ 是双有理射影态射，$Y$ 正规，若 $f$ 的纤维有限，则 $f$ 是开浸入（即同构到其像）。直觉：双有理映射若不把任何点压缩成正维纤维，就必须是同构。 - 交换代数形式：设 $R$ 是整闭诺特整环，$R'$ 是 $R$ 的有限型扩环且在同一分式域中，则 $R'$ 中整于 $R$ 的元素的集合（即 $R'$ 在其整闭包中的像）恰好是所有这样的元素：在 $R'$ 的每个极大理想处都属于某个 $\mathfrak p$-进完备化的整闭。这是主定理最常用的代数形式。 - 连通性定理（Zariski's Connectedness Theorem）：若 $f:X\to Y$ 是固有态射且 $f_*\mathcal O_X=\mathcal O_Y$，则每个几何纤维连通。这是非交换形式，后来由格罗滕迪克用形式函数定理重新证明并推广。

意义：主定理是双有理几何的支柱，在概形论、模空间中反复使用；格罗滕迪克把它吸收进 EGA 并给出上同调证明。

4. 扎里斯基拓扑与抽象黎曼面（Zariski–Riemann space）

扎里斯基拓扑：在代数簇 $V$ 上，把闭集定义为代数子集（有限个多项式零点集的并），所得拓扑称为扎里斯基拓扑。它不是豪斯多夫的（任何两个非空开集相交），却是第一个能在任意基域上定义簇的内蕴拓扑。扎里斯基还在一个函数域的所有赋值（带中心）的集合上定义了拓扑，得到扎里斯基—黎曼空间（Zariski–Riemann space），用于描述双有理等价类的所有模型。

意义：扎里斯基拓扑是后来概形 $\operatorname{Spec} R$ 上拓扑的直接前身；格罗滕迪克正是把「以闭集为代数集」的想法搬到素谱上，才得以给任意环配上几何。

5. 全纯函数理论与形式函数定理（任意基域）

背景：在复数域上，代数簇上的全纯函数可由分析定义；但在任意基域上没有分析工具。

结果：扎里斯基把「全纯函数」代数化：对代数簇上的点，考虑局部环的完备化中的元素，发展了代数簇上的全纯函数理论（holomorphic functions on algebraic varieties over arbitrary ground fields），并证明了形式函数定理的雏形（后来由格罗滕迪克推广为 EGA III 的形式函数定理，是连通性定理、上同调与基变换的基础）。他还研究了形式有理函数，证明在适当条件下形式有理函数就是有理函数。

意义：使代数几何在任意特征、任意基域上都能讨论「解析」性质，是复几何与抽象代数几何之间的桥梁之一（与塞尔的 GAGA 形成对照）。

6. 等奇性理论与饱和（1965 起）

背景：何时两个代数簇的奇点「在同一族中」？如何定义奇点的连续形变中保持不变的奇性类型？

结果：扎里斯基 1965 年提出等奇性（equisingularity）理论，给出一族奇点中奇性不变的代数判据（用赋值和切锥定义）；并引入饱和环（saturation）概念，用于奇点消解中的正则性判断。

意义：等奇性是奇点理论、形变理论的重要课题，至今仍在发展（如 Hironaka 的等奇性分层）；扎里斯基奠定了其代数基础。

7. 补空间基本群与扎里斯基—范坎彭定理（早期拓扑工作，1928—1937）

背景：代数曲线补集的拓扑（如平面曲线 $C\subset\mathbb C^2$ 的补 $\mathbb C^2\setminus C$ 的基本群）是研究代数簇拓扑的入口。

结果：扎里斯基系统研究了代数簇补空间的基本群，证明平面曲线补的基本群可由各不可约分支的信息组合得到——这就是后来由范坎彭（E. R. van Kampen）推广表述的扎里斯基—范坎彭定理：若 $C=C_1\cup C_2$，则 $\pi_1(\mathbb CP^2\setminus C)$ 是 $\pi_1(\mathbb CP^2\setminus C_1)$ 与 $\pi_1(\mathbb CP^2\setminus C_2)$ 在交点信息下的合并。他还发现了具有同构亚历山大不变量但不同基本群的曲线（扎里斯基对偶对的雏形），开创了代数曲线的拓扑分类。

四、代表著作与文献

五、师承、学派与同时代交往

六、争议、公案与历史评价

七、身后影响与学术谱系

八、延伸阅读与权威来源