← 返回 丘成桐 简介档案 深度档案
微分几何几何分析数学物理

丘成桐(Shing-Tung Yau)

几何分析的主要奠基人,首位华人菲尔兹奖得主;以非线性偏微分方程征服几何,把卡拉比—丘流形写入了弦论的宇宙蓝图。

一、生平与时代背景

丘成桐 1949 年 4 月 4 日生于广东汕头(MacTutor 记为 Kwuntung,即广东),家中八个孩子里排行第五。父亲丘镇英是经济学家、哲学家,早年留学日本,抗战期间回国,1949 年底因政权更迭举家迁往香港,在一所书院任教(该书院后来并入香港中文大学)。母亲梁若琳靠织毛衣补贴家用。幼年家境贫寒,住在香港郊外没有水电的村子里,丘成桐一度逃学、当街头孩子王,但父亲家中常有学生讨论哲学与文学,使他从小习惯抽象思辨;父亲让孩子们背诵古文与诗词,这些积累他后来常说在研究中派上了用场。

14 岁(1963 年)时父亲去世,家庭陷入困境,丘成桐靠做家教补贴家用,在培正中学(Pui Ching)就读。1965 年中学毕业后进入香港中文大学崇基学院(Chung Chi College,1963 年刚并入港中大),1968 年在毕业前离校。讲师 Stephen Salaff(伯克利博士)看出他的天赋,在 Donald Sarason 和陈省身的协助下,让伯克利破例免去入学要求,并授予他 IBM 奖学金之一。1969 年 9 月他借钱买机票飞往旧金山,每月 300 美元奖学金要寄一半回香港。

在伯克利,丘成桐大量选课,旁听 Morrey 的非线性偏微分方程课,寒假泡在图书馆读《微分几何杂志》,被 Milnor 关于曲率与基本群的论文吸引,入学数月便推广了其中结果。第二年陈省身回到伯克利,他拜陈省身为师,转向复流形,研读卡拉比的论文并迷上卡拉比猜想。1971 年,仅用两年即以论文《On the Fundamental Group of Compact Manifolds of Non-positive Curvature》获博士学位,其时已有三篇论文发表。

此后:1971–72 年普林斯顿高等研究院成员;1972 年纽约州立大学石溪分校助理教授;1974 年斯坦福大学副教授(后升正教授);1976 年与物理学家郭友云(Yu-yun Kuo)结婚,育有两子 Isaac、Michael;1979 年重返普林斯顿高等研究院,1980 年升任教授;1984 年任加州大学圣地亚哥分校讲席教授;1987 年起任哈佛大学教授(后任 William Caspar Graustein 讲座教授);2022 年 4 月从哈佛荣休(荣休教授),全职回到北京清华大学任教,任丘成桐数学科学中心主任。

二、学术生涯年表

年份 事件
1949 4 月 4 日生于广东汕头;年底随家迁往香港。
1963 父亲去世;在培正中学就读,开始做家教养家。
1965 入香港中文大学崇基学院数学系。
1968 离校(未毕业),在 Salaff 推荐下准备赴美。
1969 9 月入加州大学伯克利分校;开始跟随陈省身。
1971 获伯克利博士学位(导师陈省身),22 岁;已有三篇论文发表。
1971–1972 普林斯顿高等研究院成员。
1972 任纽约州立大学石溪分校助理教授。
1974 任斯坦福大学副教授(后升正教授)。
1976 证明卡拉比猜想;与郭友云结婚。
1979 重返普林斯顿高等研究院;与 Schoen 证明正质量猜想。
1980 升任普林斯顿高等研究院教授。
1981 获 AMS Oswald Veblen 几何奖与美国国家科学院 John J. Carty 奖。
1982 获菲尔兹奖(首位华人;1983 年于华沙 ICM 补发)。
1984 任加州大学圣地亚哥分校讲席教授。
1986 与 Uhlenbeck 解决高维 Hitchin–Kobayashi 对应。
1987 任哈佛大学教授。
1993 当选美国国家科学院院士;创办香港中文大学数学科学研究所。
1994 获瑞典皇家科学院 Crafoord 奖(与 Donaldson 分享)。
1996 创办中国科学院晨兴数学中心。
1997 获美国国家科学奖章。
2009 创办清华大学丘成桐数学科学中心(YMSC)。
2010 获沃尔夫数学奖。
2022 从哈佛荣休,全职回到清华大学。
2023 获邵逸夫数学科学奖(与 Drinfeld 分享)。

三、核心成果(逐条技术解析)

1. 卡拉比猜想与卡拉比—丘流形(1976)

问题背景:1954 年卡拉比提出猜想:在紧致凯勒流形上,任取与里奇形式同调类的闭实 $(1,1)$ 形式 $\omega'$,都存在唯一的凯勒度量,其里奇形式恰为 $\omega'$。唯一性由卡拉比本人证明,存在性归结为解一个高度非线性的复蒙日—安培方程,被认为几乎无法攻克。丘成桐起初试图反证,1973 年在斯坦福报告“反例”后发现错误,转而花三年证明存在性,1976 年完成。

精确表述:设 $M$ 为紧致凯勒流形,$[\omega]$ 为其凯勒类,则对任意光滑体积形式 $dV'$ 与 $M$ 同体积,存在唯一凯勒度量 $\omega'\in[\omega]$ 使得 $\omega'^n = dV'$,等价地里奇形式 $\operatorname{Ric}(\omega')$ 等于事先给定的代表。当第一陈类 $c_1(M)=0$ 时,取 $\omega'=0$ 便得到里奇平坦(Ricci-flat)凯勒度量——这类流形即“卡拉比—丘流形”。

影响与局限:方法是先验估计的“经典路线”,Nirenberg 称之为 tour de force。卡拉比—丘流形成为弦论紧化额外六维的标准几何对象,是数学物理的核心词汇。局限:该结果只保证存在性,不能显式写出度量,对一般流形的度量结构仍知之甚少。

2. 正质量猜想(与 Richard Schoen,1979–1981)

问题背景:广义相对论中,渐近平坦时空满足主能量条件时,总 ADM 质量应为非负,且仅当闵氏时空时为零。这是保证引力能量有下界、孤立系统稳定的物理直觉,但长期缺乏严格证明。

关键思想与结果:Schoen 与丘成桐用极小曲面方法证明:对三维以上渐近平坦、满足主能量条件的类空超曲面,ADM 质量 $E\ge |\mathbf p|$(尤其 $E\ge 0$),等号仅在闵氏时成立。证明通过反证:假设质量负,则可构造出稳定极小曲面,再用稳定性不等式与主能量条件推出矛盾。Witten 随后(1981)给出旋量方法的另一证明。

意义与局限:把几何分析引入广义相对论,催生了 Schoen–Yau 黑洞存在性定理与拟局域质量的内蕴定义。原始证明对高维情形的处理后经 Schoen–Yau 进一步发展;旋量证明要求流形自旋,极小曲面证明则无此限制。

3. 凯勒—爱因斯坦度量与稳定性猜想(Yau 猜想,后演变为 Yau–Tian–Donaldson 猜想)

背景:丘成桐在解决卡拉比猜想后,对第一陈类为正的法诺(Fano)流形提出:存在凯勒—爱因斯坦度量应当与某种代数几何的“稳定性”等价。他指出仅考察流形上的全纯向量场不够,应研究射影嵌入在射影空间全纯向量场下的形变。

发展:田刚据此引入 K-稳定性(1997),Donaldson 独立给出代数化表述,三者合称为 Yau–Tian–Donaldson 猜想:法诺流形存在凯勒—爱因斯坦度量当且仅当它是 K-稳定的。该猜想于 2012–2015 年间被田刚以及 Chen–Donaldson–Sun 分别解决(详见田刚档案)。

意义:把微分几何的度量存在性问题翻译成代数几何的稳定性语言,是 21 世纪复几何的中心纲领之一;丘成桐是这一纲领的提出者。

4. 厄米特—杨—米尔斯联络与高维 Hitchin–Kobayashi 对应(与 Karen Uhlenbeck,1986)

问题背景:Hitchin–Kobayashi 对应断言:紧致凯勒流形上不可约全纯向量丛存在厄米特—杨—米尔斯联络,当且仅当该向量丛是稳定的(斜率稳定)。二维情形由 Donaldson(1985)证明。

结果:丘成桐与 Uhlenbeck 在论文《On the existence of Hermitian Yang-Mills connections in stable bundles》(1986)中证明了高维紧致凯勒流形上的对应,把规范场论的存在性与代数几何的稳定性彻底联系起来。

影响:这是杨—米尔斯理论数学化的关键一步,与 Donaldson 理论、镜像对称同属数学物理的经典基石。

5. 极小曲面、Plateau 问题与嵌入解(与 William Meeks,1980)

背景:Plateau 问题——给定空间中一条闭曲线,是否存在以其为边界的极小曲面——由 Douglas 与 Radó 在 1930 年代解决,但解是否为嵌入曲面(而非自交浸入)长期悬而未决。

结果:Meeks 与丘成桐(1980)证明:若边界曲线位于某凸体的边界上,则 Douglas–Radó 解是嵌入的。此外他们系统发展了极小曲面的稳定性理论,并把极小曲面用作研究三维流形拓扑的工具(与正质量定理的方法一脉相承)。

影响:把极小曲面从分析对象变成几何拓扑的利器,启发了 Hamilton–Perelman 的 Ricci 流路线之外的另一种三维几何化思路。

6. 热核估计、微分 Harnack 不等式与 SYZ 镜像对称(与 Peter Li;与 Strominger、Zaslow)

Li–Yau 不等式:丘成桐与 Peter Li 在 1986 年证明了黎曼流形上热方程正解的微分 Harnack 不等式与热核的高斯型上下界估计,成为流形上分析的标准工具。它直接影响了 Hamilton 的 Ricci 流工作(Hamilton 把 Li–Yau 型不等式推广到 Ricci 流,是 Perelman 证明庞加莱猜想的关键成分之一)。

SYZ 构造:1996 年,Strominger、丘成桐与 Zaslow 提出镜像对称的几何构造:卡拉比—丘流形的镜像可通过其特殊拉格朗日环面纤维化(special Lagrangian torus fibration)做 T-对偶得到。这是镜像对称从物理直觉走向严格数学的核心纲领,至今仍是代数几何与辛几何的研究热点。

四、代表著作与文献

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

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

七、身后影响与学术谱系

八、延伸阅读与权威来源