西蒙·唐纳森（Sir Simon Kirwan Donaldson）

用物理方程「看见」四维空间的人——他把理论物理中的杨—米尔斯瞬子变成研究四维光滑流形的显微镜，发现四维是唯一存在「奇异微分结构」的维度，震惊数学界；晚年又用深刻的分析证明了代数几何中凯勒—爱因斯坦度量与 K-稳定性的等价，横跨拓扑、规范理论、复几何与数学物理。

一、生平与时代背景

西蒙·柯文·唐纳森 1957 年 8 月 20 日生于英国剑桥。父亲是电气工程师，第一份职业在海军，婚后转至剑桥大学生理学实验室制造研究神经系统的实验仪器；母亲在剑桥长大，毕业于剑桥自然科学专业，婚后未从事职业。西蒙是四个孩子中的一个（有一个哥哥、一个姐姐、一个弟弟），两个兄弟后来都成为工程师。

成长环境充满「动手做项目」的氛围：父亲做模型飞机、修理家中器物。西蒙最早记得父亲说「……然后我就能回去做研究了」——那时他还不懂「研究」是什么，却从此觉得这个词带着浪漫色彩。外祖父（退休校长）对几个孩子的教育影响很大，或许给了西蒙格外多的关注。

他先在剑桥的预备学校就读，最喜欢的科目是历史。12 岁时家搬到伦敦以南约 30 公里的 Sevenoaks（因父亲离开剑桥，加入医学研究委员会资助的新研究组，研发神经植入体），他遂入读 Sevenoaks 学校（1970—1975）。最初不适应，几年后才融入；他对游艇设计的理论兴趣（他不像家人那样喜欢动手，而是做理论设计）帮他融入了这所有航海传统的学校——为了理解造船理论，他读了比学校进度更深的数学书，父亲也教他一些数学技巧，使他远早于学校课程就学了微积分。

14 岁时他放弃游艇设计，转而从外祖父买的书中自学数学，立志做数学家（备选是会计师）。他赢得奖学金入读剑桥彭布罗克学院（Pembroke College），1976 年入学，学分析、拓扑与数学物理，最喜爱几何（尽管剑桥课程中几何不多）。1979 年获学士学位，继续读到 1980 年的 Tripos Part III。一位导师说他是很好的学生但「绝非年级第一」；然而弗兰克·亚当斯（Frank Adams）对他期末解答印象深刻，专门写信祝贺，并成为他申请牛津博士的推荐人之一。

1980 年他入牛津伍斯特学院（Worcester College）读博，先在奈杰尔·希钦（Nigel Hitchin）指导下，后转由迈克尔·阿蒂亚（Michael Atiyah）指导——围绕阿蒂亚、希钦与罗杰·彭罗斯（Roger Penrose）形成的学术文化最吸引他。1982 年，还是博士二年级学生的他证明了令数学界震惊的结果，1983 年发表于《美国数学会通报》，即后来的唐纳森定理。1983 年获牛津 DPhil，论文《凯勒流形上的杨—米尔斯方程》。

1983 年任牛津万灵学院（All Souls College）初级研究员，1983—1984 学年在普林斯顿高等研究院度过，在马里兰大学结识妻子诺拉（Nora）。诺拉是哥伦比亚人，1975 年获 Universidad del Valle 学士、1981 年弗吉尼亚理工硕士，当时在马里兰读数学统计博士（1988 年获博士，论文为肿瘤筛查中发病时间的非参数估计）。两人结婚，育有三子 Andres、Jane、Nicholas，并有继女 Adriana。

回牛津后任万灵学院博士后研究员至 1985 年，1985 年出任牛津大学沃利斯数学讲座教授（Wallis Professor）。1997—1998 年在斯坦福访学一年，1998 年转任伦敦帝国学院纯数学教授（皇家学会研究教授）。2014 年起兼任纽约石溪大学西蒙斯几何与物理中心（SCGP）终身成员，在该中心工作十年后任荣休教授；目前仍为帝国学院纯数学教授。

他于 1986 年获菲尔兹奖（伯克利国际数学家大会，由 Lars Ahlfors 颁奖，阿蒂亚作介绍），2012 年被封为爵士（Knight Bachelor），并获克拉福德奖、内默斯奖、邵逸夫奖、突破奖、维布伦奖、沃尔夫奖等几乎所有数学大奖。

二、学术生涯年表

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

1. 唐纳森定理（对角化定理，1983）

问题背景：单连通闭四维流形的相交形式（intersection form，一个幺模整系数二次型）是基本的拓扑不变量。弗里德曼（Michael Freedman）1981 年证明：任何幺模二次型都可作为某拓扑四维流形的相交形式。但哪些能来自光滑流形？

精确表述（Self-dual connections and the topology of smooth 4-manifolds，1983）：若光滑、闭、单连通四维流形的相交形式是正定或负定的，则它必在整数上可对角化（等价于 $\mathbb Z$ 上的标准对角型 $\langle 1\rangle^{\oplus n}$ 或 $\langle -1\rangle^{\oplus n}$）。

方法：考虑该流形上 SU(2) 自对偶杨—米尔斯联络（瞬子）的模空间——一个由物理学家引进的非线性偏微分方程的解空间；唐纳森研究其紧化与端点结构，从中读出对相交形式的强约束。

冲击：结合弗里德曼的拓扑分类，立刻推出： - 存在没有任何光滑结构的拓扑四维流形； - 四维是唯一存在奇异微分结构（拓扑同胚但不微分同胚）的维度，包括奇异的 $\mathbb R^4$（拓扑同胚于标准欧氏四维空间，却微分不同构，且其紧致集不能嵌入任何光滑三维球面）。

阿蒂亚评价：这篇论文「震惊了数学界」。

2. 唐纳森不变量（1988 起）

结果：唐纳森从瞬子模空间的同调类构造出四维流形的多项式不变量（Donaldson invariants），它们是微分结构的灵敏探针——同一个拓扑四维流形上不同的光滑结构给出不同的唐纳森不变量。由此他证明了某些拓扑四维流形上存在无穷多个互不微分同胚的光滑结构。

意义：开辟了「规范理论应用于四维拓扑」这一全新领域；后与弗洛尔同调结合，发展为 Donaldson–Floer 理论。

3. 小林—希钦对应（Donaldson–Uhlenbeck–Yau 定理，1987）

结果：非奇异射影代数簇上的稳定全纯向量丛必容许埃尔米特—爱因斯坦度量（Hermitian–Einstein metric，即杨—米尔斯—爱因斯坦联络）。唐纳森用归纳法、行列式丛与奎伦度量（Quillen metric）证明了代数曲面情形；Uhlenbeck 与丘成桐则对一般紧致凯勒流形证明了对应。该对应后来被称为 Kobayashi–Hitchin 对应或 Donaldson–Uhlenbeck–Yau 定理。

意义：把代数几何的「稳定性」（纯代数概念）与微分几何的「爱因斯坦度量」（偏微分方程可解性）联系起来，是后来 Yau–Tian–Donaldson 猜想的先导。

4. 四维光滑 h-配边不必然平凡（1987）

结果：单连通四维流形之间的光滑 h-配边不一定是平凡配边——这与高维（≥5）的 h-配边定理形成鲜明对比，再次显示四维的独特性。

5. 代数曲面的连通和分解（1990）

结果：非奇异射影代数曲面若微分同胚于两个有向四维流形的连通和，则其中必有一个相交形式为负定——这是唐纳森不变量的早期重要应用，用规范理论区分了代数曲面的微分结构。

6. 紧辛流形的辛勒夫谢茨束（1999）

结果：任何紧辛流形都容许一个辛勒夫谢茨束（Lefschetz pencil）。这把辛拓扑与近复结构、伪全纯曲线联系起来，为辛流形提供了类似代数几何的「纤维化」描述，成为辛拓扑的标准工具。

7. 法诺流形的凯勒—爱因斯坦度量与 K-稳定性（与陈秀雄、孙崧，2012—2015）

问题背景：Yau–Tian–Donaldson 猜想：法诺（Fano，反典范丛丰沛）流形上存在凯勒—爱因斯坦度量，当且仅当它是K-稳定的（一种代数几何稳定性概念，由田刚与唐纳森分别提出）。这是丘成桐关于卡拉比猜想的自然延续（丘证明了第一陈类 ≤ 0 情形的存在性，正陈类即法诺情形是剩余难题）。

结果：陈秀雄、唐纳森、孙崧在 2012 年宣布、2015 年于《美国数学会杂志》连发三篇完整证明了该猜想，核心技术包括度量的 Gromov–Hausdorff 极限分析、部分 $C^0$ 估计与连续性方法。

意义：解决了微分几何中悬而未决数十年的猜想，把代数稳定性与凯勒几何彻底打通。三人因此共获 2019 年维布伦奖；唐纳森 2014 年突破奖与 2020 年沃尔夫奖也部分表彰此方向。

8. 唐纳森—托马斯理论（与 Richard Thomas，1998）

结果：受弦论物理启发，唐纳森与学生理查德·托马斯定义了唐纳森—托马斯不变量：对卡拉比—丘三维流形上的凝聚层（或其模空间）做「虚基本类」积分，得到整数值不变量，是高维规范理论不变量的代数几何版本。

意义：DT 不变量与 Gromov–Witten 不变量、Pandharipande–Thomas 不变量之间通过 MNOP 猜想（Maulik–Nekrasov–Okounkov–Pandharipande）联系，是计数几何与弦对偶性的核心数学对象。

9. 极值凯勒度量与常标量曲率（toric 情形）

结果：在有理（toric）流形情形，唐纳森把常标量曲率凯勒度量（cscK）的存在性归结为矩体上一类凸函数的 Monge–Ampère 型方程，给出了「稳定性 ⟺ 存在性」纲领在 toric 情形的许多实例，为一般 Yau–Tian–Donaldson 纲领提供了模型。

四、代表著作与文献

• 《自对偶联络与光滑四维流形的拓扑》（Self-dual connections and the topology of smooth 4-manifolds，Bull. AMS. 14，1983，81–83）：唐纳森定理的宣告。
• 《凯勒流形上的杨—米尔斯方程》（博士论文，牛津，1983）。
• 《四维流形的几何》（The geometry of four-manifolds，1990，Oxford，与 Peter Kronheimer 合著）：瞬子与唐纳森理论的经典教材。
• 《光滑四维流形的多项式不变量》（Polynomial invariants for smooth four-manifolds，Topology 29，1990，257–315）：唐纳森不变量。
• 《杨—米尔斯场中的反自对偶方程与凯勒几何》（Donaldson–Uhlenbeck–Yau 方向的系列论文）。
• 《辛流形的勒夫谢茨束》（Lefschetz pencils on symplectic manifolds，J. Differential Geom. 53，1999，205–236）。
• 《法诺流形上的凯勒—爱因斯坦度量 I, II, III》（与 Xiuxiong Chen、Song Sun，J. Amer. Math. Soc. 28，2015）：Yau–Tian–Donaldson 猜想的证明。
• 《高维流形的规范理论》（Gauge theory in higher dimensions，与 Richard Thomas 等）：Donaldson–Thomas 理论。

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

• 师承：博士先后师从奈杰尔·希钦（Nigel Hitchin）与迈克尔·阿蒂亚（Michael Atiyah）。希钦把他引向瞬子与杨—米尔斯方程，建议他研究自己与阿蒂亚的一个猜想；阿蒂亚则是其菲尔兹奖介绍人，是其最关键的导师与支持者。
• 阿蒂亚：既是导师又是思想源头——阿蒂亚—希钦—丁金费尔德—马宁的 ADHM 瞬子构造是唐纳森工作的直接先导。
• 希钦：早期导师，后长期在牛津共事，几何分析与超凯勒传统的对话者。
• 威滕（Edward Witten）：1994 年威滕与塞伯格提出的 Seiberg–Witten 方程给出了比瞬子简单得多的四维不变量，与唐纳森不变量等价（威滕猜想，由 Taubes 等证明），使四维拓扑计算大幅简化；两人同属物理与几何交融的核心。
• 学生：Dominic Joyce（特殊全纯群、广义几何）、Paul Seidel（辛几何、富卡娅范畴）、Ivan Smith、Gábor Székelyhidi（极值度量、K-稳定性）、Richard Thomas（Donaldson–Thomas 理论）、Dieter Kotschick、Michael Thaddeus、Oscar Garcia-Prada 等，构成当代几何与辛拓扑的重要谱系。
• 合作者：陈秀雄、孙崧（凯勒—爱因斯坦）；Peter Kronheimer（《四维流形的几何》）；Thomas（DT 理论）。
• 学派归属：英国几何分析学派（霍奇—阿蒂亚—希钦/唐纳森传统），与阿蒂亚一同代表 20 世纪末几何与物理的「第二次联姻」。

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

• Seiberg–Witten 对唐纳森理论的「简化」：1994 年 Seiberg–Witten 方程出现后，许多用瞬子艰难得到的结果被 SW 方法轻松重证，一度有人认为唐纳森的原始理论「过时」。但学界共识是：唐纳森开辟的概念与方向（用规范场模空间研究四维光滑结构）是根本性的，SW 理论是其深化而非取代；两者的等价本身就是深刻的数学物理结果。
• 法诺流形凯勒—爱因斯坦证明的优先权讨论：Yau–Tian–Donaldson 猜想的法诺情形，田刚声称其在 2012 年已独立给出完整证明；而陈秀雄、唐纳森、孙崧在 2012 年宣布、2015 年正式发表三篇完整论文。围绕该成果的优先权与完整性，学界有过公开讨论。2019 年 AMS 维布伦奖授予了陈、唐纳森、孙三人（未含田），从一个侧面反映了评审的判断；但该问题的归属仍是一个存在不同看法的敏感议题（存疑：不同来源对田刚工作的完整性评价不一）。
• 历史评价：1986 年菲尔兹奖介绍人阿蒂亚说，唐纳森最初的结果「对几何学家与拓扑学家而言如此新颖陌生，他们只能困惑而钦佩地凝视」。2009 年邵逸夫奖称他与 Taubes「是用源自理论物理（包括量子论）的先驱技术与思想彻底改变整个学科的两位几何学家，从根本上改变了我们对空间与时间的几何理解」。2020 年沃尔夫奖表彰其「在四维流形的革命性新不变量，以及代数几何与整体微分几何中稳定性之关系的研究」。
• 常见误传澄清：唐纳森是物理学家大卫·格罗斯（David Gross）的学生吗？不是——那是威滕。唐纳森的博士导师是希钦与阿蒂亚。

七、身后影响与学术谱系

• 对拓扑：开创了规范理论在四维拓扑中的应用，直接催生了 Seiberg–Witten 理论、Floer 同调、Donaldson–Floer 理论，使四维微分拓扑成为独立而深刻的领域。
• 对代数几何与复几何：Kobayashi–Hitchin 对应、K-稳定性与 Yau–Tian–Donaldson 猜想的解决，把稳定性与度量存在性的对应从向量丛推广到流形本身，成为当前代数几何的主流方向之一。
• 对数学物理：唐纳森—托马斯理论、瞬子、磁单极子与规范场的几何，是弦论计数几何的数学基础。
• 命名遗存：唐纳森定理、唐纳森不变量、Donaldson–Uhlenbeck–Yau 定理、Donaldson–Thomas 理论/不变量、Yau–Tian–Donaldson 猜想、K-稳定性（与田刚分别提出）、唐纳森的辛勒夫谢茨束定理。
• 学术谱系：霍奇 → 阿蒂亚 → 唐纳森（与希钦并列）→ Joyce / Seidel / Smith / Székelyhidi / Thomas 等，构成英国几何分析学派的当代主干。

八、延伸阅读与权威来源

• MacTutor 数学史档案：Simon Donaldson：圣安德鲁斯大学权威传记，本档案主要生平出处。
• Wikipedia: Simon Donaldson：生平、职位、奖项与成果列表的交叉核对。
• Wikipedia: Donaldson's theorem：对角化定理的精确陈述与历史。
• Wikipedia: Donaldson invariant：唐纳森不变量。
• Wikipedia: Donaldson–Thomas theory：DT 理论。
• Wikipedia: K-stability：K-稳定性与 Yau–Tian–Donaldson 猜想。
• Wikipedia: Exotic R4：四维奇异微分结构。
• Royal Society: Sir Simon Donaldson FRS：皇家学会院士页面。
• The Shaw Prize 2009: Donaldson & Taubes：邵逸夫奖官方授奖。
• Mathematical Genealogy Project: Donaldson：学术谱系与学生列表。