西蒙·唐纳森

获奖原因

西蒙·唐纳森是英国几何拓扑大师。1983 年，他在博士工作中把杨–米尔斯规范场论引入四维光滑流形的研究中，构造出”唐纳森不变量”，从而证明了许多惊人结论（例如存在”奇异”的四维流形，其拓扑上同胚但光滑不同胚）。这一工作开创了”规范理论拓扑”的新时代。他后来与克龙海默（Kronheimer）发展”瞬子空间”理论，并与西蒙·唐纳森、苏利文等推进了辛几何与复几何的交界。2015 年数学突破奖授予他，表彰其终身贡献。

问题来龙去脉

四维流形在拓扑上格外神秘：根据弗里德曼（Freedman）的结果，单连通拓扑四维流形由交形式完全分类；但在光滑范畴，情形完全不同。唐纳森的突破在于：用杨–米尔斯方程在四维上定义的”瞬子”（instanton）来探测光滑结构。

考虑主 $SU(2)$ 丛 $P \to X$ 上的联络 $A$，其曲率 $F_A$。杨–米尔斯泛函为

$\mathcal{YM}(A) = \int_X |F_A|^2 \, d\mathrm{vol}.$

其临界点满足自对偶方程

$F_A^+ = 0 \quad (\text{反自对偶}) \text{ 或 } F_A^- = 0,$

解称为瞬子。在四维中，反自对偶方程因指标定理给出模空间 $\mathcal{M}_k$（第 $k$ 个陈类的瞬子模空间）为有限维光滑流形（经适当扰动后），其”紧化”携带余维数信息。

唐纳森构造了从这些模空间的”相交理论”导出的不变量：

$q_X : \mathrm{Sym}^* H_2(X;\mathbb{Z}) \longrightarrow \mathbb{Q},$

即”唐纳森不变量”。它们的威力来自一个关键事实：这些不变量通过多项式关系”看到”交形式的具体形状，而不仅看到同伦型。由此他证明了若干”不可能定理”：

• 若 $X$ 是单连通、光滑、定号（正定或负定）的四维流形，则其交形式必为对角化（即”唐纳森定理”否定了某些由弗里德曼分类允许的拓扑流形具有光滑结构）。特别地，爱因斯坦相交形式 $E_8$ 不能有光滑结构——从而证明存在拓扑流形无光滑结构。
• 任何”可分解”的光滑定号四维流形，其交形式必须是标准二次型。

这些结论用纯拓扑手段难以触及，凸显了分析/几何方法的力量。

后续，唐纳森与克龙海默用” Kronheimer–Mrowka 基本类”与”瞬子 Floer 同调”研究三维链环与四维 surgery；并与 Ward、T. Mrowka 等把方法用于”赛弗特曲面”与”泰特猜想”。1994 年，威滕把唐纳森不变量重新解释为”赛伯格–威滕（Seiberg–Witten）方程”的不变量，后者的模空间更小、更易算，但二者在适当意义下等价（“威滕猜想”，由 Feehan–Leness 等证明）。

唐纳森还开创了”辛流形”与”近复结构”的几何分析：他证明”近复四维流形若可嵌入 $\mathbb{CP}^N$ 则其可辛化”（齐格–唐纳森），并与 D. Auroux、L. Katzarkov 等研究 Lefschetz 纤维化与镜像对称。他的工作把理论物理的规范场论变成了拓扑学的手术刀，是现代几何分析的一座高峰。

相关链接

突破奖 微分几何代数拓扑流形与胞腔复形 杨-米尔斯存在性与质量间隙