History of mathematics: Atiyah阿蒂亚：跨越数学与物理边界的巨匠

Atiyah

生平

迈克尔・弗朗西斯・阿蒂亚（Michael Francis Atiyah，1929–2019）是一位英国数学家，主要任职于 Oxford 大学和 Cambridge 大学，其研究工作深刻地重塑了二十世纪的几何学与拓扑学。

他最著名的成就是与 Isadore Singer 合作证明了 Atiyah‑Singer 指标定理，并与 Friedrich Hirzebruch 共同创立了拓扑 - 理论。

Atiyah 于 1929 年出生于伦敦，他的家庭背景本身就是文化交融的缩影。他的父亲爱德华・塞利姆・阿蒂亚（Edward Selim Atiyah，1903‑1964）是一位黎巴嫩裔的东正教徒，母亲让・莱文斯（Jean Levens）则是苏格兰人。

他的童年在苏丹的喀土穆（Khartoum）度过，并在那里接受了初等教育（1934‑1941）。

他的中学时代则是在埃及开罗和亚历山大的 Victoria College 度过的（1941–1945）。这所学校在当时是一个独特的国际中心，聚集了因第二次世界大战而流离失所的欧洲贵族后裔以及未来的阿拉伯国家领导人。

这种多元文化的成长环境，无疑在他思想深处播下了开放与包容的种子，使他天然地倾向于跨越边界、寻求联系，而非固守壁垒。

Atiyah 早年曾对化学产生浓厚兴趣，但他最终放弃了这条道路，因为他认为化学仅仅是 “一堆事实的罗列”。

相比之下，数学所蕴含的深刻概念与内在激情更能吸引他。这一早期的选择清晰地揭示了他追求概念性理解、而非机械记忆的智识品味，这种品味贯穿了他整个学术生涯。

为了备考 Cambridge，Atiyah 于 1945 年进入 Manchester Grammar School 学习，并于 1947–1949 年在英军皇家电气与机械工程军团服役。他于 1949 年正式进入 Cambridge 大学 Trinity 学院深造。他一入学便展露出非凡的才华，在第一学年的考试中名列全校第一。

作为本科生，Atiyah 对经典射影几何颇感兴趣，并在 1952 年发表首篇论文《关于扭曲立方切线的注记》（A note on the tangents of a twisted cubic）。

Atiyah 的博士生导师是威廉・瓦兰斯・道格拉斯・霍奇（William Vallance Douglas Hodge，1903‑1975），这一选择对他未来的学术道路产生了决定性影响。Hodge 的研究融合了微分几何与拓扑学，并积极采用新兴的层论（sheaf theory）工具。1954 年他因以层论方法研究直纹面（ruled surface）而获 Smith 奖，从而坚定继续从事数学而不是转向他另外感兴趣的建筑与考古。

Atiyah 于 1955 年完成博士论文《拓扑方法在代数几何中的一些应用》（Some applications of topological methods in algebraic geometry），核心内容是运用层论方法研究代数簇上的第二类积分理论，这项工作最终促成了他与导师 Hodge 的合作论文。这项早期研究不仅锻炼了他驾驭抽象理论的强大技术能力，也确立了他职业生涯的核心模式：运用一种全新的、更强大的数学语言来统一并解决经典问题。因为这项研究，他受邀前往普林斯顿高等研究院（IAS）访学一年。

在 IAS 期间，他完成了椭圆曲线上向量丛的分类：证明椭圆曲线上任意向量丛可分解为（本质唯一的）不可分解向量丛的直和，并进一步将给定度数且维数为正的不可分解向量丛的模空间与该椭圆曲线本身等同起来（Vector bundles over an elliptic curve，PLMS 1957）。

随后他研究复曲面的 double points，给出了三维代数簇中首个 flop 例子；flop 技巧后来在 Mori 的三维极小模型纲领（MMP）中发挥关键作用。

1955 年至 1956 年，Atiyah 在 IAS 的访问经历是他学术生涯的一个关键转折点。正是在这里，他遇到了三位将与他共同定义二十世纪几何学面貌的合作者：来自德国的赫策布鲁赫（Friedrich Ernst Peter Hirzebruch，1927‑2012）、美国的辛格（Isadore Manuel Singer，1924‑2021）和博特（Raoul Bott，1923‑2005）。

当时的 IAS 是世界数学的中心，充满了来自让‑皮埃尔・阿尔伯特・阿奇耶・塞尔（Jean‑Pierre Albert Achille Serre，1926‑）和亚历山大・格罗滕迪克（Alexander Grothendieck，1928‑2014）等欧洲数学大师的最新思想。这种顶尖的学术氛围成为催化剂，促使 Atiyah 的研究超越了其博士论文的范畴，迈向了全新的、革命性的方向。

Atiyah 与 Hirzebruch 的合作始于 1959 年，他们系统地发展了 - 理论，并发表了一系列奠基性的论文，展示了其在示性类计算、齐性空间研究以及各种可积性定理中的广泛应用。

1963 年 Atiyah 与 Singer 合作证明 Atiyah-Singer 指标定理，即对于紧致流形上的任意一个椭圆微分算子，其分析指标等于其拓扑指标。这一定理被公认为二十世纪数学最伟大的成就之一，它在分析学、几何学与拓扑学之间建立了一座前所未有的桥梁。

大约在 1966 年，Atiyah 与 Bott 合作证明了 Atiyah-Bott 不动点定理。对于一个流形上的自映射，该定理不仅能判断不动点的存在性，还能给出一个计算 Lefschetz - 数的公式。

这个公式将一个全局的拓扑量表示为在每个不动点处的局部贡献之和，具有十分广泛的应用。

事实上，在 1964 年的 AMS Woods Hole Conference in Algebraic Geometry 上，志村五郎（Gorō Shimura，1930-2019）猜想在复几何中有关于全纯（holomorphic）映射的 Lefschetz 不动点定理，当时在场的听众都很兴奋。

Atiyah 和 Bott 的工作可以看成是 Shimura 猜想的一个推广。

Shimura 猜想的一维情形由马丁・马克西米利安・埃米尔・艾希勒（Martin Maximilian Emil Eichler，1912-1992）完成。事实上，Shimura 猜测类似的不动点定理对 correspondence（更复杂的几何对象）成立，相关的想法也在一定程度上影响了 Eichler-Shimura 后续在数论中的合作。

Atiyah 的学术生涯遍布英美顶尖学府。他曾在 Cambridge 的 Pembroke College（1958–1961）和 Oxford 的 St Catherine’s College（1961–1963）任职，之后于 1963 年至 1969 年担任 Oxford 的 Savilian 几何教授。1969 年，他再次前往 IAS 担任教授，三年后返回 Oxford 成为英国皇家学会研究员。

1970 年代末，Atiyah 的学术兴趣发生了一次重要的转向，他开始密切关注理论物理，特别是规范场论（gauge theory）的发展。这次转向不仅为物理学带来了深刻的数学洞见，更出人意料地在低维拓扑学中引发了一场革命。这次转向的驱动力主要来自两方面：

一方面，他的老合作者 Singer 向他介绍了 Yang-Mills 方程，这一理论在物理学界正变得日益重要。

另一方面，当时罗杰・彭罗斯（Roger Penrose，1931- ）及其领导的研究小组也在 Oxford，他们之间的深入交流为 Atiyah 打开了通往物理世界的大门。

Atiyah、奈杰尔・詹姆斯・希钦（Nigel James Hitchin，1946- ）和 Singer 很快就意识到，他们手中的强大武器指标定理可以直接应用于规范场论中的一个核心问题：计算瞬子（instanton）模空间的维数。他们通过一次简单的指标定理计算，就得到了这个维数的精确公式。受到初步成功的鼓舞，Atiyah 深入研究了构造瞬子解的几何方法。

他创造性地运用了 Penrose 的扭量理论（twistor theory），与合作者发展了对应，将求解 ASD Yang-Mills 方程这个困难的分析问题，转化为一个代数几何问题，即在所谓的扭量空间上寻找特定的全纯向量丛。

除了四维时空中的瞬子，Atiyah 还将这些思想应用于三维空间中的磁单极子（magnetic monopoles）问题。

Atiyah 在规范场论的许多想法，后续被他和 Nigel Hitchin 的学生 Simon Donaldson 进一步的实现，对低维拓扑学产生了重要的影响。

与此同时，Atiyah 也在拓扑量子场论（Topological quantum field theories, TQFT）上做出了重要贡献，主要的文章是 1988 年他在《拓扑量子场论》（Topological quantum field theories, IHÉS Publ. 68）中给出了 TQFT 的范畴论公理化构想。

但是其实早在 1970 年代，Atiyah 在规范场论（gauge theory）与拓扑的交汇处做出奠基性工作，除上述提及的共享外，还包括与约翰・戴维・斯图尔特・琼斯（John David Stuart Jones, 1949-）合作研究《Yang-Mills 理论的拓扑方面》（Topological aspects of Yang–Mills theory, 1978），以及讲义《Yang-Mills 场的几何》（Geometry of Yang–Mills Fields, 1979）等。

这一脉络帮助数学界理解 “场论量（field-theoretic quantities）如何产生拓扑不变量（topological invariants）”，为后来提出 TQFT 的公理化提供了思想土壤。

1984–1985 年，沃恩・弗雷德里克・兰德尔・琼斯（Vaughan Frederick Randal Jones, 1952–2020）（和上面的 John David Stuart Jones 没有直接关系）发现 Jones 多项式（Jones polynomial），激发了 “量子场论是否能统一地解释结与三维流形不变量” 的追问。

在这一背景下，Atiyah 于 1988 年发表《拓扑量子场论》（Topological quantum field theories, IHÉS Publ. 68），提出了如今标准的 Atiyah–Segal 公理：

把可定向配边范畴（oriented cobordism category）到有限维向量空间范畴的对称单张量函子（symmetric monoidal functor）作为有限维 TQFT 的定义。

后续，威腾（Edward Witten, 1951-）、尼古拉・莱舍提金（Nicolai Yuryevich Reshetikhin, 1958-）–图拉耶夫（Vladimir Georgievich Turaev, 1954-）、Baez–Dolan 等进一步在此基础上对 TQFT 做出了更进一步的贡献。

除了卓越的研究，Atiyah 还在科学界担任了多个领导职务。他曾任伦敦数学会主席（1974–1976）、皇家学会主席（1990–1995）、Cambridge 的 Trinity 学院院长（1990–1997）、Leicester 大学名誉校长（1995–2005）以及爱丁堡皇家学会主席（2005–2008），并于 1997–2002 年出任帕格沃什科学和世界事务会议（Pugwash Conferences on Science and World Affairs）主席。

他最重要的行政贡献之一是创办了 Cambridge 的牛顿数学科学研究所（Isaac Newton Institute for Mathematical Sciences）并担任其首任所长（1990–1996）。

Atiyah 一生荣誉等身，其中包括 1966 年的 Fields 奖、1988 年的 Copley 奖、1983 年被册封为爵士、1992 年获颁功绩勋章（Order of Merit），并于 2004 年与 Isadore Singer 共同获得 Abel 奖。

他的治学风格高度依赖合作与对话。他曾说自己的许多想法都产生于 “交谈的过程之中”。他不仅与同时代最顶尖的数学家进行平等合作，也以极大的热情和慷慨培养后辈。他以卓越的指导著称，门生遍布几何与拓扑诸领域。其中

唐纳森（Simon Kirwan Donaldson, 1957-）（与 Nigel Hitchin 共同培养）因四维流形拓扑的突破获 1986 年 Fields 奖、2020 年 Wolf 数学奖；

Hitchin 因几何与物理的深刻贡献获 2016 年邵逸夫数学科学奖；

乔治・卢斯蒂格（George Lusztig，1946- ）因代数表示论的奠基性工作获 2014 年邵逸夫数学科学奖、2022 年 Wolf 数学奖、2025 年北京基础科学大会终身成就奖；

彼得・本尼迪克特・克朗海默（Peter Benedict Kronheimer，1963- ）因规范场论与低维拓扑的贡献获 2007 年 Veblen 奖。

Atiyah 对数学的统一性抱有深刻信念，他曾说：“代数学是魔鬼向数学家开出的条件。魔鬼说：‘我给你这台强大的机器，它会回答你感兴趣的任何问题。你所要做的就是给我你的灵魂：放弃几何学，你就会拥有这台奇妙的机器。’”

他也认为：“过去那些因物理而得到解决的数学问题，或由物理催生的技术，一直是数学的命脉。”

费曼（Richard Feynman，1918-1988）说：“若数学在一夜之间全部消失，物理大概会倒退一周左右。” 而 Atiyah 机智地回应说：“那一周就是上帝创造宇宙的那一周。”

1955 年 7 月 30 日，Atiyah 与莉莉（Lily Brown）结婚，育有三子 John、David 与 Robin。Lily 于 2018 年去世，享年 90 岁；Atiyah 于 2019 年 1 月 11 日逝世于 Edinburgh，享年 89 岁。他长期倡导理性与公共科学精神，亦为英国人文主义协会成员。

贡献

一、拓扑 K- 理论（与 Hirzebruch 合作，1959-1974）

Friedrich Hirzebruch 在著作《代数几何中的拓扑方法》（Topological methods in algebraic geometry, 1956）中推广了 Riemann–Roch 定理之后，1957 年，Grothendieck 将相关的结果推广到代数簇上，同时为了描述结果，Grothendieck 对任意（交换）环，引入了现在称为 Grothendieck 群的，构建了代数 - 理论的基础。

而 Atiyah 凭借其在层论（sheaf theory）和拓扑学方面的深厚背景，特别是对 Bott 周期性定理（Bott periodic theorem）的了解，在 1960 年左右，Atiyah 与 Hirzebruch 共同构建了拓扑- 理论，后来系统地发展为拓扑学中的一个强大的广义上同调理论。

Grothendieck 群

Grothendieck 在 1957 年的文章中给出了群的抽象定义，现在也称作：

给定一个环，其 Grothendieck 群（简记为）是一个 Abel 群，由上的所有投射模（projective modules）生成。同时利用模上的短正合列（short exact sequences）定义其上的加法结构。

拓扑空间的群

Atiyah 与 Hirzebruch 对于一个紧 Hausdorff 空间，其复群

定义为上复向量丛的同构类所构成的交换幺半群（运算为直和，单位为平凡零丛）的形式 Abel 群，其中加法由向量丛的正合序列（exact sequence）定义。上还存在张量积，它在上诱导乘法，使成为交换环。

约化 - 理论（Reduced K-theory）

对于带基点的紧空间，约化群定义为

等价地，它是稳定等价的向量丛类构成的群。两个丛和是稳定等价（stably equivalent）的，如果存在平凡丛和使得。对连通的紧空间，

其中由秩（rank）给出。

Bott 周期性定理

该定理是 K- 理论的核心。它断言存在一个自然的同构

其中是的二重悬挂（double suspension）。对紧空间，通常记。利用悬挂与 Bott 周期性，可以定义奇数度的群（其中为约化悬挂）以及一般的（）。我们有

拓扑 K- 理论的精妙之处在于，它将复杂的几何对象（向量丛）转化为了更易于计算和处理的代数对象（环）。由于 Bott 周期性定理的存在，它拥有了一个关键的优良性质：它是一个可计算的、具有周期性的广义上同调理论。这使得 K- 理论不仅是一种抽象的分类工具，更成为解决拓扑学中具体问题的强大武器。例如，Adams 通过实 K- 理论（ KO 群）给出了球面上线性无关向量场个数的最优上界，这是传统上同调方法难以企及的成就。

二、Atiyah-Singer 指标定理（与 Singer 合作，1963–1984）

该定理被公认为二十世纪最伟大的数学成就之一，它在分析、几何与拓扑之间建立了一座深刻的桥梁。

定理陈述

设为维紧致光滑流形，、为其上的复向量丛，为阶线性椭圆微分算子（更一般地也可取椭圆伪微分算子），其分析指标（analytical index）等于其拓扑指标（topological index）：

椭圆性（ellipticity）意味着其主符号（principal symbol）

在任意时为同构，其中为处的余切向量。

分析指标

定义为

这是一个整数，但通常难以直接计算。

拓扑指标

这是一个纯粹由流形的拓扑性质决定的量，可以通过一个积分公式计算：

其中：

是陈特征（Chern character），对于一个曲率为的复向量丛，其定义为。

更一般地，

其中

是与球丛有关的 Thom 同构（）。

是中的 “差元”，由上的两个向量丛与及其在子空间上的同构所确定。

是的复化切丛的 Todd 类（Todd class），其定义为

Atiyah-Singer 指标定理的意义远不止其本身，它统一并推广了数学中许多看似孤立的经典定理。著名的 Chern-Gauss-Bonnet 定理、Hirzebruch-Riemann-Roch 定理以及 Hirzebruch 符号差定理等，都可以被看作是指标定理在特定算子和特定流形下的特例。

指标定理的原始证明综合使用了 - 理论与配边理论（cobordism theory）等拓扑技巧与伪微分算子等分析技巧；随后出现热核（heat kernel）等方法。该理论后有许多推广，如族指标定理（families index theorem，1969–1971，Atiyah-Singer）、等变指标定理（equivariant index theorem，1968–1970，Atiyah–Segal、Berline–Vergne），以及带边流形的推广（1975–1976，Atiyah–Patodi–Singer）。指标定理由此成为分析、几何与拓扑之间的 “通用翻译器”。

三、Atiyah-Bott 不动点定理（与 Bott 合作，1967-1968）

该定理是经典的 Lefschetz 不动点定理的一个深刻推广，适用于椭圆复形。设为紧致光滑流形，给定一个椭圆复形

其中是上的复向量丛，为一阶（或更一般椭圆伪微分）算子，使得复形的总符号是处处正合（exact）。

设为光滑映射，且给定一组丛映射

在截面（section）层面有自然的拉回，使得在截面层面与微分可交换：

这样诱导了上同调群上的自同态

Lefschetz 数

定义的 Lefschetz 数（Lefschetz number）为

定理

若的不动点集合由有限个点组成，且在每个处可逆，则有

其中

是在处纤维上诱导的 “超迹（supertrace）”，分母中的行列式是在切空间上的行列式，按所选取的定向计算。

这一定理在取为 de Rham 复形、为自然提升时，退化为经典的（实）Lefschetz 不动点公式。

该定理具有诸多应用和推广，如通过在旗流形 / 齐性空间上对的作用取定点求和，Atiyah 和 Bott 给出 Weyl 特征标公式与 Borel–Weil–Bott 定理的简洁证明（Atiyah, M. F.; Bott, R. A Lefschetz fixed point formula for elliptic complexes. II. Applications, Annals of Mathematics (2) 88 (1968), 451–491）。

该定理为后续的等变局部化理论（Atiyah–Bott–Berline–Vergne 定理）与表示论、几何量子化中的固定点求和方法奠定了基础。

四、Atiyah-Segal 完备化定理（与 Graeme Segal 合作）

该定理在等变 - 理论和表示论之间建立了联系。设为紧李群，为 -CW 复形。环的增广理想（augmentation ideal）记为。Borel 商写作。等变群是 - 模，可对做 - 进完备：

定理（Atiyah-Segal，1969）

由投影诱导的映射，给出 pro-ring 的同构

当为一个点，该定理给出。

五、规范场论

在 1970 年代末，Atiyah 的兴趣转向规范场论，这在数学和物理之间建立了新的桥梁。

受 Singer 和 Penrose 的影响，Atiyah、Hitchin 和 Singer 运用指标定理，给出了四维流形上 Yang-Mills 方程的瞬子模空间维数的精确公式。

定理（Atiyah–Hitchin–Singer, 1978）

设为紧致有定向的黎曼 4 - 流形，为紧李群，为主 - 丛，为上一个不可约 ASD 联络。与相关的形变复形为

若（不可约）且（正则点；对一般度量可通过横截性实现），则 ASD 模空间在附近是光滑流形，其维数等于椭圆算子的指标。

对且，有

特别地，时，故

通过与德林费尔德（Vladimir Gershonovich Drinfeld, 1954-）、Hitchin 和马宁（Yuri Ivanovich Manin, 1937-2023）的合作，他利用代数几何方法（即 ADHM 构造）给出了所有瞬子解的构造。取复向量空间、。

ADHM 数据是四元组

令按

作用。

定义 “复动量映射”

和 “实动量映射”

ADHM 方程即、。其解集对的 hyper-Kähler 商记为

定理（ADHM, 1978）

设，则

$带标架联络（）在上的等价类$

该对应由 ADHM 算子的核丛构造出秩复向量丛及其联络，实现从代数数据到瞬子的构造；反向通过解析 — 代数对应（Twistor / Monad）复原 ADHM 数据。

Atiyah 与 Hitchin 在专著《磁单极子的几何与动力学》（The geometry and dynamics of magnetic monopoles, 1988）中研究了磁单极子，即 Bogomolny 方程

的有限能量解。固定磁荷与无穷远标架，可形成带标架模空间，维数为，赋予自然的度量；再去除整体平移与整体相位，得到相对模空间，维数为。对，。

两个单极子的相对模空间上的度量是一个完备的超 - Kähler（hyper-Kähler）度量；该 4 维 hyper-Kähler 流形（常称 “Atiyah–Hitchin 流形”）在无穷远处渐近于 Taub–NUT 度量的商。

六、TQFT 的公理化

1988 年，Atiyah 在《拓扑量子场论》（Topological quantum field theories, IHÉS Publ., 68）中给出了 TQFT 的范畴论公理化（常称为 Atiyah–Segal 公理）。他把 “从流形得到量子不变量” 的物理直觉形式化为 “从配边范畴（cobordism category）到有限维向量空间范畴的对称幺半函子（symmetric monoidal functor）”。

固定维数与基域（常取）。构造可定向配边范畴（oriented cobordism category）：