托马什·姆罗夫卡：驯服四维空间的拓扑学家

托马什·姆罗夫卡（Tomasz Mrowka）职业生涯的大部分时间都在证明关于四维空间的性质，这些性质是其他人无法触及的——他利用从粒子物理学中借用来的方程，解决了纯拓扑学中存在了百年的问题。他被引用次数最多的成果是与一位终身合作伙伴共同完成的，该成果解决了一个数学家们已经放弃证明的猜想，仅用了几页密集的分析就将其攻克。

数学传承

姆罗夫卡出生于1961年9月8日，父亲是波兰裔美国数学家斯坦尼斯瓦夫·姆罗夫卡（Stanisław Mrówka），他是一位普通拓扑学专家，曾移民美国并在纽约市立大学任教。姆罗夫卡的求学之路始于麻省理工学院（MIT），他于1983年获得学士学位，随后进入加州大学伯克利分校，在克利福德·陶布斯（Clifford Taubes）和罗比恩·柯比（Robion Kirby）的指导下，于1988年完成了关于杨-米尔斯模空间的博士论文。导师的选择至关重要：陶布斯当时正处于一场重塑低维拓扑学的革命中心，他将理论物理学的机制——即为了描述结合原子核的力而开发的数学工具“规范场论”——引入了对抽象形状的研究中。

作为拓扑学家工具的规范场论

推动那场革命的洞察力主要与西蒙·唐纳森（Simon Donaldson）有关，即当在四维流形上研究物理学家的场方程解时，它们编码了关于流形形状的微妙信息，而这是任何经典拓扑技术都无法看到的。姆罗夫卡成为了驾驭这一机制最娴熟的数学家之一。职业生涯早期，他曾在斯坦福大学工作，在加州理工学院担任访问学者，并于1992年至1996年期间在那里担任教授，随后于1996年加入麻省理工学院数学系，并在那里度过了余下的职业生涯——他于2007年至2010年担任西蒙斯教授，2010年起担任辛格教授，并于2014年至2017年担任系主任。

与克隆海默的合作

姆罗夫卡最具决定性的科学关系是他与英裔美国数学家彼得·克隆海默（Peter Kronheimer）长达数十年的合作，他们是在20世纪80年代的杨-米尔斯研究圈中作为研究生相识的。两人共同完成的研究成果非常重要，以至于美国数学学会两次将其作为联合成就进行表彰，而不是单独归功于某一人。他们最早的重大成果引入了现在该领域所称的“克隆海默-姆罗夫卡基本类”（Kronheimer-Mrowka basic classes），这是一种从瞬子模空间结构中提取四维流形拓扑信息的不变量，将唐纳森最初的不变量提炼成了一种更清晰、更可计算的形式。

免费测试

你的是多少？

二十道题、八分钟计时，以及与所有参与者对比得出的百分位。无需注册。

开始智商测试 →

解决汤姆猜想

他们最著名的单项成就在20世纪90年代初取得，当时塞伯格-威滕方程（Seiberg-Witten equations）的发现为规范场论家提供了一种在技术上比旧的杨-米尔斯方法更简单的替代方案。克隆海默和姆罗夫卡利用这些新方程证明了汤姆猜想（Thom conjecture），这是一个自20世纪50年代以来一直悬而未决的陈述，关于复射影平面中代表给定同调类的曲面的最小亏格。该证明是塞伯格-威滕理论能够解决前一代规范场论家认为棘手的问题的最早且最引人注目的演示之一，并促使该领域全面转向使用这些新方程。

纽结、单极子与P性质

姆罗夫卡后期的工作将同样的工具包应用到了纽结理论中。他与克隆海默一起使用塞伯格-威滕单极子弗洛尔同调（Seiberg-Witten monopole Floer homology）证明了P性质猜想（Property P conjecture），这是一个关于纽结补空间上的哪些手术可以产生三维球面的长期问题，该结果对更广泛的三维流形拓扑学有着直接影响。两人随后证明，霍瓦诺夫同调（Khovanov homology）——一种没有明显几何起源的组合纽结不变量——足以检测平凡纽结，从而将该学科的两个分支——规范场论弗洛尔同调和米哈伊尔·霍瓦诺夫（Mikhail Khovanov）的代数构造——联系在了一起，而这两个分支此前几乎是独立发展的。他们于2007年出版的关于单极子和三维流形的专著至今仍是该领域的标准参考书。

荣誉

数学界对这一系列工作的评价异常一致。姆罗夫卡和克隆海默于2007年共同获得了奥斯瓦尔德·维布伦几何奖，2011年获得了美国数学学会的约瑟夫·L·杜布奖，并于2023年获得了勒罗伊·P·斯蒂尔奖（研究贡献奖），这是数学家同行所能给予的最明确的信号，该奖项专门授予引入克隆海默-姆罗夫卡基本类并将其应用于汤姆猜想的论文。姆罗夫卡分别于2007年当选美国艺术与科学院院士，2015年当选美国国家科学院院士，并分别于1994年和2018年在里约热内卢举行的国际数学家大会上发表了全体会议演讲。他还获得了斯隆研究奖和古根海姆奖学金，并在麻省理工学院指导了数十名博士生和博士后。

为什么托马什被称为天才

姆罗夫卡的成就基于一种特定且有据可查的技术掌握能力：即能够从理论物理学中汲取方程，并通过对非线性偏微分方程极其精细的分析，解决纯拓扑学中几十年来未解的问题。汤姆猜想自20世纪50年代以来一直难以攻克；P性质猜想也属于同样古老且顽固的三维流形问题家族。两者之所以被解决，并非因为对纽结或曲面本身有了什么新想法，而是因为姆罗夫卡和克隆海默对模空间分析的掌控——这是规范场论中最困难的技术层面，大多数理解物理学的数学家甚至无法使估算奏效。他当选美国国家科学院院士以及斯蒂尔奖的颁奖词反映了拓扑学家们之间的一种真正共识，即这是一项独特的工作。诚实地说，其复杂之处在于几乎没有一项工作是独自完成的：这里讨论的每一项里程碑式成果都是与彼得·克隆海默共同完成的，维布伦奖、杜布奖和斯蒂尔奖都是授予两人的，这证明了姆罗夫卡的天才与这种伙伴关系密不可分，而非一种孤独的天赋。