西蒙·唐纳森 · 世界数学发展史

获奖原因

西蒙·唐纳森（Simon Donaldson，1957– ）获 1986 年菲尔兹奖，表彰他把理论物理中的杨–米尔斯规范场论（瞬子，instantons）引入 4 维微分拓扑，开创了全新的不变量理论。

他的核心定理（唐纳森定理，1983）：若单连通的光滑闭 4 维流形 $X$ 的交形式（intersection form）是定号的，则它必为对角形（即同构于若干 $\pm 1$ 的直和）。而拓扑上著名的 $E_8$ 形式（8×8 正定、非对角、行列式 1）作为拓扑流形存在（由弗里德曼构造），却因唐纳森定理不可能是光滑流形——从而首次证明：存在拓扑 4 维流形没有光滑结构。

更进一步，他构造了怪异光滑 $\mathbb{R}^4$ ：欧氏 4 维空间具有不可数多种互不等价的光滑结构（高维 $R^n\ (n\ne 4)$ 光滑结构唯一，唯独 4 维例外）。唐纳森还定义了一系列唐纳森不变量（由 SU(2) 反自对偶瞬子的模空间给出），成为 4 维流形区分的核心工具；他于 1994 年获克拉福德奖、2009 年获阿贝尔奖（与弗里德曼共享）。

问题来龙去脉

一、4 维的异常

2、3 维流形分类已相当清楚；高维（≥5）由 surgery 理论（米尔诺、斯梅尔、诺维科夫）统御。唯独 4 维异常：弗里德曼（1982）证明拓扑 4 维庞加莱猜想、并把单连通拓扑 4 流形按交形式分类；但光滑 4 维完全未知。一个关键谜题：拓扑 4 维流形是否都有光滑结构？

交形式 $Q_X$ 是单连通闭 4 流形的基本不变量：在 $H_2(X;\mathbb{Z})$ 上双线性、幺模、对称。经典定理（米尔诺、怀特黑德）说：对光滑流形， $Q_X$ 可被对角化（当定号时）；而拓扑上 $E_8$ （正定、非对角）这样的形式也可能作为某拓扑流形的交形式出现。问题：光滑与拓扑在 4 维究竟差多少？

二、唐纳森的工具：杨–米尔斯瞬子

唐纳森的创见是引入物理瞬子作几何不变量。在 4 维流形 $X$ 上取 SU(2)（或 SO(3)）主丛 $P$ ，考虑反自对偶（ASD）联络——满足曲率 $F_A^+=0$ 的杨–米尔斯瞬子。其模空间 $\mathcal{M}$ 由非线性椭圆方程 $F_A^+ = 0$ 的解（模规范变换）组成。由于 4 维特殊的自对偶/反自对偶分解 $\Lambda^2=\Lambda^+\oplus\Lambda^-$ ，该方程可写成可约的椭圆系统，模空间在一般情形下是光滑流形（维度由指标定理给出）。

唐纳森用 $\mathcal{M}$ 上的”基本类”构造微分同胚不变量：把某 cohomology 类（Donaldson 不变量）沿 $\mathcal{M}$ 积分，得到只依赖光滑结构、与拓扑交形式交叉的数值。

三、唐纳森定理的证明

设 $X$ 单连通、光滑、交形式 $Q$ 正定。唐纳森考虑带 $c_2=k$ 的 SU(2) 丛的模空间。他证明：当 $k$ 足够大、且用”约化联络”（对应于 $X$ 上某球面嵌入）作约束时，模空间的几何与 $Q$ 的”对角性”直接冲突——具体说，若 $Q$ 非对角（如 $E_8$ ），则模空间的相交理论会推出矛盾（出现不可能的高维交）。

于是得出结论：光滑定号 4 流形的交形式必可对角化。而拓扑上弗里德曼构造的 $E_8$ 流形（其 $Q=E_8$ 正定非对角）因此不能是光滑的。这证明：存在拓扑 4 维流形没有光滑结构。

推论更惊人：考虑把 $E_8\oplus E_8$ （或单 $E_8$ ）“打开”成开流形，可构造 $\mathbb{R}^4$ 的怪异光滑结构——即** $\mathbb{R}^4$ 有不可数多种不等价的光滑结构**（这依赖于 4 维手术失败、Casson 柄等特殊现象）。

四、意义与后续

拓扑 ≠ 光滑的 4 维实证：唐纳森与弗里德曼的工作合起来表明，4 维是”拓扑简单、光滑诡异”的唯独维数；而高维 $\mathbb{R}^n$ 光滑唯一、低维也被唯一化，4 维因瞬子模空间的”特殊维数”成为异数。
规范场论进入纯拓扑：杨–米尔斯方程成为 4 维流形分类的主引擎，直接催生赛博格–威滕（Seiberg–Witten）不变量（1994，更易于计算、在很多情形取代唐纳森不变量）与弗洛尔（Floer）同调。
量子场论与 4 维拓扑：唐纳逊不变量还出现在拓扑量子场论（Donaldson–Thomas 不变量、Gromov–Witten）中，并与弦论 / 镜面对称深度相连。

唐纳森以”把物理的瞬子场变成拓扑的不变量”的天才移植，开创了 4 维几何拓扑的整个现代篇章；其工具体现了 20 世纪末数学物理与纯拓扑的深刻融合。