菲尔茨奖与流形拓扑学.doc

转载 转载 菲尔茨奖与流形拓扑学原文地址：转载菲尔茨奖与流形拓扑学作者：木鱼转载：菲尔茨奖与流形拓扑学-几何化介绍Mathms 2004年6月25日Riemann对几何的认识适用于任何微分流形：我们总可以给微分流形赋予一个Riemann度量，从而研究上面的几何。Klein的观点就不是那么普适了，因为Klein意义下的几何对度量的要求非常特殊，并不是所有的流形上都能有这样的几何。不过二维曲面上都可以有Klein式的几何，这就是Riemann,Klein,Poincar,Koebe等人所证明的单值化(uniformization)定理的内容。举例子说，在可定向闭曲面里，S2上当然是球面几何，T2上则可赋予欧氏几何，双环面等更复杂的曲面上可以有双曲几何。三维以上就没有这么好运了，Thurston的天才创见就在于：提出了单值化定理在三维情形的类比-Thurston的几何化猜想(geometrization conjecture)。Thurston本人对Haken流形证明了他的猜想，这已经涵盖了绝大多数情形。但他的证明相当艰深，强烈地依赖于几何直观。Thurston本人只是在Princeton的课堂上讲授这一证明，并将未正式出版的讲义在圈内散发。光直接向他索要讲义的就超过一千人，间接复印的则更多，可见他的工作影响之巨。Thurston后来也曾经想正式发表他的证明。他计划写一系列共7篇文章，第一篇于1981年投出，1986年才得以发表，可见其艰深晦涩。第二篇只有手稿在圈内流传，后面的几篇甚至根本没有出现。Thurston本人曾说，他对三维流形的感觉是写不出来的。这种述而不作的态度引来包括J.P.Serre在内的一些推崇严格论证的数学家的批评。但这并没有妨碍Thurston获得1983年的Fields奖。数学当然需要严格性，但像Thurston这样直觉远超乎常人的天才人物，根本无必要把精力放在琐碎细节的验证上。这些体力活自然有很多人抢着替他干，其中包括许多卓有成就的数学家。像John Morgan就曾给出Haken流形的几何化定理的较严格的不完全证明，McMullen以别的方法也给过严格证明。同样的事情也发生在Thurston其余的几个重要定理上。直至今日，他那些未严格证明的定理还成为不少人论文的源泉。需要指出，在几何化猜想之前，Thurston已经因为他在三维流形上的foliation方面的工作获得几何、拓扑方面的最高奖Veblen奖。而且他的文风一直以简洁清晰著称，这使他在圈内获得良好的声誉。所以如果你只是一个初出茅庐的毛头小伙，你就必须做一些非常实实在在的工作以立足；只有当你成为Thurston,Gromov那样的大师时，你才有资格指点江山、勾画蓝图，而把具体工作留给别人去做。Thurston几何化猜想可以直接推出Poincar猜想，最近对Poincar猜想的突破就从这里开始。但Thurston工作的重要性并不光是能推出Poincar猜想。因为Poincar猜想只是流形分类中遇到的一个特殊问题，而Thurston描述出了对所有三维流形进行分类的大纲。而且他把低维拓扑与古典几何(尤其是双曲几何)、Klein群、李群、复分析、动力系统等许多数学分支联系到了一起。在他之前，低维拓扑虽然也做得很热闹，也有Milnor等大人物涉足其中，但毕竟只是拓扑里一个偏僻的分支，引不起非拓扑学家的兴趣。Thurston等人的工作之后，低维拓扑才迅速在数学里占据了核心地位，引起广泛关注。要想彻底证明Thurston的几何化猜想，传统的几何、拓扑方法已经无能为力了，需要发展新的方法。1982年，Richard Hamilton(并非那位特别有名的19世纪爱尔兰数学家Sir William Rowan Hamilton)在中提出了Ricci flow的概念，给几何化猜想带来一丝曙光。所谓Ricci flow，流动的是度量。在流形上随便给定一个初始度量，Hamilton让它随时间变化，并用一组偏微分方程来描述这种变化，这便是Ricci flow.Hamilton期望，在特定的初始条件下，随着时间的增长，Ricci flow能够流向比较好的度量。二十多年来，Hamilton等人做了大量工作，使Ricci flow发展为微分几何里一种行之有效的方法。1996年，Hamilton被授予Veblen奖，for his continuingstudy of the Ricci flow and related parabolic equations for aRiemannian metric，与他同时获奖的是中国青年数学家田刚。Hamilton引入Ricci flow的一个非常明确的目标就是证明Thurston的几何化猜想。所以当2002年底，俄国数学家Grisha Perelman宣?#?Ricci flow证明了几何化猜想，从而解决Poincar猜想时，数学界的第一印象是：这件事是挺合乎情理的。Perelman总共有三篇文章。第一篇于2002年11月12日刊载在上；第二篇于2003年3月11日刊载在同一网站；第三篇文章则还没开始写。Perelman声称世界上有三个人可以替他写这第三篇文章，不过他所指的三人之一却说自己不知道该怎么写。Perelman的文章立刻激起了数学界的广泛关注，许多大学邀请他去作报告，也有很多小组开始研读他的论文。审阅他论文的包括许多一流的微分几何学家，如Richard Hamilton,Richard Schoen,田刚等。至今还没发现他有什么错误。以MIT的两个小组为例，他们已经审阅完第一篇文章，第二篇还正在看。已经验证通过的部分包含很多有趣且重要的结论。所以即使最后发现有错误，也是一个非常了不起的工作。目前数学界大部分人对此抱着比较乐观的态度，还没有人提出负面意见。甚至有人已经急着要分一杯羹了：据说Hamilton宣称，因为Perelman大量使用了他的工作(确是如此！)，所以那一百万美元得分他一半。不过笔者并不清楚Hamilton究竟是否说过这样的话，也不清楚他(如果说过)是以什么样语气说的。Perelman曾到美国访问过三年，当时已经能获得很好的职位。但他为了能心无旁骛地研究几何化猜想，又回到俄国，销声匿迹长达八年之久，终于一鸣惊人。他原先在圣彼得堡，一个月只挣一百美元，日子过得很不容易。通常我们写论文，都会感谢某某基金会对自己提供的经济资助，但Perelman在第一篇文章中写道：I was partiallysupported by personal savings accumulated during my visits to the CourantInstitute in the Fall of 1992,to the SUNY at Stony Brook in the Spring of1993,and to the UC at Berkeley as aMiller Fellow in 1993-95.Id like tothank everyone who worked to make those opportunities available to me.现在Perelman当然不愁吃穿了，还有好多美国大学抢着聘他去，他都不愿意。田刚说MIT找了几个俄国人劝他，试图向他证明Boston比圣彼得堡好。后来流传一个笑话说他迟早会去美国，因为俄国的Mafia比较多，知道他得了一百万美元后，他的安全会成问题当然了，现在断言Perelman将会获得一百万美元的巨奖还为时过早。就算他的文章能够发表在权威数学刊物上，按Clay研究所的条件，还得两年无人指出其中错误才能获奖。但无论如何，Perelman的工作是对微分几何的巨大贡献，我们也因此向着Poincar猜想的最后解决又迈进了一大步。也许我们真的就已经站在了终点上。拓扑学在20世纪数学中占有核心的地位。布尔巴基学派的主将迪厄多内(J.Dieudonn)在1970年代中曾这样概括：代数拓扑学与微分拓扑学通过它们对于所有其他数学分支的影响，才真正应该名副其实地称为20世纪数学的女王。拓扑：加速发展的渗透性学科在拓扑学还是灰姑娘的时候，20世纪最伟大的数学家之一、规范理论的奠基者外尔(H.Weyl)，已经多次强调抽象代数学和拓扑学是理解数学的两种途径，并论述拓扑学的奠基人黎曼和庞加莱工作的意义。但直到20世纪下半叶，通过本文介绍的12位菲尔兹奖获得者以及其他一些大数学家的工作，拓扑学才真正脱颖而出，成为数学发展的领头羊，把传统的数学领域-数论、代数、几何、分析加以改造，并推向一个全新的水平，而且还给理论物理、化学、生物科学、经济学甚至心理学带来意想不到的应用。这种成就是高斯的数学女王-数论与传统的前沿-分析所达不到的。20世纪下半叶获奖的12位数学家正好反映了拓扑学的蓬勃发展及其影响的扩大。他们是1954年获奖者塞尔(J.P.Serre)，1958年获奖者托姆(R.Thom)，1962年获奖者米尔诺(J.Milnor)，1966年获奖者阿蒂亚(M.Atiyah)、斯梅尔(S.Smale)，1970年获奖者诺维科夫(S.Novikov)，1978年获奖者奎伦(D.Quillen)，1982年获奖者瑟斯顿(W.Thurston)，1986年获奖者弗里德曼(M.Freedman)、唐纳森(S.Donaldson)，1990年获奖者琼斯(V.Jones)、威滕(E.Witten)。值得注意的是，他们虽都因拓扑学上的成就获奖，但大都在其他数学领域乃至理论物理和哲学方面取得新的突破，而这正反映了拓扑学的地位。许多人是真正的数学大师，是当今数学界的领袖人物。这12位获奖者的工作显示出20世纪拓扑学的发展轨迹。在上半世纪，不仅建立了一般拓扑学的基础，还创立了拓扑学中相互关联的四大领域：(1)同调论，特别是同调论的公理化，引入上同调及上同调运算；(2)同伦论；(3)纤维丛和示性类理论；(4)拓扑变换群和不动点理论以及连续映射、可微映射、莫尔斯(M.Morse)理论等。可是对至关重要的球面同伦群的计算，到1940年代末只计算出一两个，算第三个同伦群时，前苏联著名数学家庞特里亚金(L.S.Pontrjagin)还出过错(他由此离开拓扑学领域)。这时，法国学派领导世界新潮流，在韦伊(A.Weil)、嘉当(H.Cartan)、勒雷(J.Leray)等老一辈数学家的指引下，新一代数学家迅速成长，最突出的有塞尔、托姆、吴文俊等人，正是他们在1940年代末和1950年代初成就了拓扑学的辉煌时期，对于5维和5维以上的流形拓扑学取得重大突破。然而对于低维(特别是3维及4维拓扑学)却无能为力。在1970年代中，拓扑学进入一个低潮。不久，瑟斯顿、弗里德曼分别在3维和4维拓扑学上取得突破，这与物理学有着不可思议的关系，拓扑学进入第二个黄金时期。这也从获奖者获奖时间明显划分出来，前7位主要研究高维拓扑，而后5位则研究低维拓扑。高维拓扑学的辉煌成就第一位因拓扑学方面的成就荣获菲尔兹奖的是塞尔，他也是迄今为止最年轻的获奖者，获奖时还不满28周岁。塞尔1926年9月15日生于法国南部巴热，在七八岁时就喜欢数学，11岁到尼姆上中学，14岁开始看微积分。1944年参加中学会考，获数学第一名。1945年考进高等师范学校，1948年毕业。1948-1953年在国家科学研究中心任实习研究员，1951年获博士学位。1953年升任助理研究员，1954-1956年到南锡大学任数学系讲师。1956年，30岁的塞尔成为法兰西学院代数和几何讲座教授，1994年成为荣誉教授。塞尔在1951年的博士论文里把同伦论发展到新的高度，开拓了拓扑学广泛的应用前景。他首先攻克球面同伦群计算的大难题，证明有限性定理，证明除了两个无穷系列之外，其他同伦群都是有限阿贝尔群，还发展一些新方法来计算它们。在取得拓扑学的突破之后，他把拓扑学的方法成功应用到其他数学领域并取得一系列成就。首先是同嘉当在多复变函数论上利用勒雷的层的观念取得划时代的成果，证明定理A，B，发展斯坦因(K.Stein)空间理论。他独立证明代数几何和复解析几何的相似性，他的论文以GA著称。他还发展了同调代数学，简单说就是应用拓扑方法来研究抽象代数。他取得同调代数学的首批重大结果，而这是用抽象代数方法得不到的。这又一次显示拓扑方法的成功。最后，他的兴趣转向数论，也是引进一系列的拓扑方法，特别是伽罗瓦上同调，成为解决问题的有力工具。塞尔的工作博大精深，在解决大问题上也毫不逊色。在1994年英国数学家怀尔斯(A.Wiles)成功证明费尔马大定理的过程中，关键一步便是证明塞尔的猜想，这里的表示塞尔大猜想的一个极小部分。他的论文在1986年已收集成全集3卷，1985-1998年的论文收集成第4卷于2000年出版，其中不乏经典之作。他获得许多荣誉，包括法国科学院院士和美国科学院外籍院士，英国伦敦皇家学会外籍院士。他还荣获2000年度沃尔夫奖和1985年巴尔赞(Balzan)奖。他出版十几种论述性著作，论述清楚明白深入浅出，为此获得美国数学会斯蒂尔(Steele)奖中的论述奖。托姆于1923年9月2日生于法国蒙特利亚尔。1943年进入高等师范学校，1946年毕业后到斯特拉斯堡大学，跟随嘉当和埃雷斯曼(C.Ehresmann)读博士，在这里他结识了吴文俊并受到吴的影响。1951年他写出博士论文球丛空间及斯廷罗德(Steernod)平方，获得国家博士学位，其后两年去美国访问，1953年回国后任格林诺布尔大学讲师，1954年回斯特拉斯堡大学任讲师，1957-1963年任教授。1964年到巴黎高等科学研究院任数学教授，1988年退休。托姆的获奖工作主要是1954年发表的配边理论。配边是流形间的一个等价关系，两个n维流形称为配边，如果它们共同构成一个n+1维流形的边。流形按配边关系划分成等价类，这些等价类构成一个阿贝尔群Nn。而各维的群构成一个分次环N。托姆的功绩在于完全定出N的结构并定出其生成元。其中关键定理是Nn与托姆复形的同伦群同构。他还把配边理论推广到定向流形，并且得到相应的结果。这个漂亮的工作不仅引出一系列新配边理论，而且对数学产生冲击性的影响。利用托姆的配边理论，德国数学家希策布鲁赫(F.Hirzebruch)证明了高维代数的黎曼-洛赫定理，米尔诺证明了7维球面上有多种微分结构，阿蒂亚和辛格(I.M.Singer)给出指标公式最早证明。托姆其后发展了奇点定理，并提出突变理论，引起了轰动。突变理论系统论述于1972年出版的结构稳定性与形态发生一书中。这时他的兴趣转向生物学、语言学和哲学，并建立语义物理学。1989年语义物理学概要出版，提出他的一套科学哲学体系。托姆是法国科学院院士。米尔诺1931年2月20日生于新泽西州奥兰治，中学时期就是数学竞赛的优胜者。1948年进入普林斯顿大学学习，1951年毕业，1954年获博士学位，后留校任教，1956年任教授，1962年任亨利帕特曼讲座教授。1968-1970年任麻省理工学院教授。1970年任普林斯顿高等研究院数学教授。1989年起任纽约州立大学石溪分校数学科学研究所所长。米尔诺的工作继续托姆对于定向配边群的确定，并推广到复配边、酉配边、自旋配边等理论的研究。1956年他证明7维球面上存在多种微分结构而引起轰动，由此开创微分拓扑学的新纪元。接着他与瑞士数学家刻维尔(A.Kervaire)得出高维球面上微分结构群的结构，他提出的换球术成为研究高维流形的基本方法。1964年他证明微分流形的切丛和庞特里亚金示性类不是拓扑不变量。他在1961年首先举出主猜想的反例，系统建立怀特海(J.H.C.Whitehead)扰元理论，同穆尔(C.C.Moore)建立的霍普夫(H.Hopf)代数是量子群的原型。其后，他的工作涉及微分几何学、动力系统理论、代数K理论、二次型理论、代数数论等等，尤其在复超曲面理论、迭代映射等多方面有重大贡献。他是美国科学院院士，曾获美国国家科学奖章(1966)，1989年获沃尔夫奖。阿蒂亚1929年4月22日生于伦敦。1949年入剑桥三一学院学习，1952年毕业，1955年获博士学位，1954-1958年任研究员，1958-1961年任讲师。1961年去牛津大学任高级讲师，1963-1969年任塞维尔几何讲座教授。1969-1972年任美国普林斯顿高等研究院数学教授。1973年回牛津任皇家学会研究教授。1990年回剑桥任三一学院院长。阿蒂亚的最重大贡献是同辛格在1963年证明了指标定理，把拓扑不变量通过解析不变量来表示。由这个定理可以推出许多数学上的重要定理，其证明也涉及数学上诸多领域，特别是偏微分算子和他参与建立的K理论。K理论是第一个重要的广义上同调理论，有广泛应用，英国拓扑学家亚当斯(J.Adams)曾用来解决球面上独立向量场的数目问题。到1970年代阿蒂亚启动新一轮研究，即规范理论和拓扑与几何关系，进而导致20世纪最后25年低维拓扑及几何和理论物理如量子场论与弦论的奇妙关系的发现，它把拓扑、几何和物理都带到一个全新的境界。阿蒂亚是英国伦敦皇家学会会员，美国国家科学院和法国科学院外籍院士，1983年获爵士称号。1990-1995年任皇家学会会长，1990年他任新建牛顿数学科学研究所首任所长，在这些位置上对科学政策、教育与研究方向发挥重大作用。斯梅尔1930年7月15日生于密歇根州弗林特。1948年入密歇根大学学物理，后转为数学，1952年毕业，1953年获硕士学位，1956年获博士学位。其后在芝加哥大学任讲师，并在普林斯顿高等研究院作研究，1961-1964年任哥伦比亚大学教授，1964年起任加利福尼亚大学伯克利分校教授，1998年任香港市立大学教授。斯梅尔早期工作是关于流形的浸入问题，特别是他发现了不弄破球面而把里面翻到外面的方法。他最大的成就是证明5维及5维以上的庞加莱猜想，即一个与Sn(n维球面)具有相同同调群的单连通闭n维流形一定与Sn同胚(n5)。而原来n=3的庞加莱猜想至今尚未解决，成为21世纪最大难题之一。1960年以后他开始研究微分动力系统，通过拓扑方法奠定这门科学的理论基础，这理论其后获得飞速发展(如混沌理论)。他还研究数理经济学、计算复杂性理论、非线性泛函分析以及在物理学、生物学等方面的应用，成为当代最有影响的数学家之一。他获得过多种荣誉，如1965年获美国数学会维布仑(Veblen)几何学奖。1970年，他当选为美国国家科学院院士。前苏联数学家诺维科夫1938年3月20日生于高尔基城，父母都是杰出的数学家。1955年进入莫斯科大学数学力学系学习，1960年毕业后到数学研究所当研究生，1964年获副博士学位，1965年获博士学位，其后回莫斯科大学任教授。1971年以后，他转向理论物理，任科学院理论物理研究所数学室主任。到戈尔巴乔夫时代，他才获准出国访问，1992年后定期在美国马里兰大学任教。诺维科夫在1970年获奖之前工作方向主要是拓扑：研究稳定同伦群的计算以及复配边理论，证明3维流形上余维1的叶状结构一定存在紧叶。他最大的贡献是证明单连通流形有理庞特里亚金示性类的拓扑不变性(注意：庞特里亚金示性类不是拓扑不变的！)，还对5维及5维以上单连通光滑流形进行微分同胚的分类。他引入高阶符号差并提出诺维科夫猜想，推动了其后拓扑学的发展。1971年以后他研究数学物理学，特别是研究弧子解的周期性及其与黎曼曲面和函数的关系，完全可积系统的哈密顿力学，量子力学与量子场论中一些拓扑不变量等。诺维科夫早在1966年就当选为苏联科学院通讯院士，1981年当选为院士，1994年被选为美国科学院国外院士。奎伦于1940年4月22日生于美国新泽西州奥兰治。1961年大学毕业后到哈佛大学随拓扑学家博特(R.Bott，也是斯梅尔的博士导师，2000年沃尔夫奖获奖者)做博士论文，1964年获博士学位。此后他一直在麻省理工学院任教，1971年起任教授。他是美国科学院院士。奎伦的工作继续前人的工作：首先在米尔诺和诺维科夫的复配边理论中，发现其结构与形式群的关联，其后解决拓扑K理论的亚当斯猜想，在同伦理论中引入有理同伦理论及其重要工具，微分分次代数(DGA)以及极小模型。他的巨大贡献在于运用拓扑思想解决代数及其他领域中的问题，其中最重要的是系统建立代数K理论，现在已成为庞大分支。另一个重要成就是证明塞尔的猜想：多项式环上的射影模必是自由模。正如前面几位大师一样，奎伦最近的研究也与物理有关，这涉及当前的热门：黎曼曲面的参模空间，其上的向量丛等等，它们与规范理论和弦论有关。低维拓扑学的振兴瑟斯顿于1946年10月30日生于华盛顿。1967年在佛罗里达州的萨拉索塔新学院获生物学学士学位，后去加利福尼亚大学伯克利分校读数学研究生，1972年获博士学位。在麻省理工学院工作一年，1973年任普林斯顿大学教授。1992-1997年任伯克利数学科学研究所所长，其后到加利福尼亚大学戴维斯分校任教授。瑟斯顿的主要贡献是闭3维流形的分类。他把3维流形分解为素流形的连通和，然后提出一个分类纲领，即每一种素流形都具有8种几何结构的一种，他完成了这个纲领的大部分。他还对泰希米勒空间、克莱因群、动力系统等理论得出重大成果，在拓扑学方面对叶状结构理论以及证明史密斯(P.Smith)猜想做出贡献。他是美国科学院院士，获得1976年美国数学会维布仑奖。弗里德曼1951年4月21日生于洛杉矶，1968年在伯克利分校读一年之后，去普林斯顿大学读博士，1973年获博士学位，其后在伯克利任讲师。1976年到加利福尼亚大学圣迭戈分校任助理教授、副教授，1982年起任教授。1984年当选为美国科学院院士，1987年荣获美国国家科学奖章。弗里德曼的主要贡献是打破4维流形的禁区，在1981年率先证明了4维庞加莱猜想，而且完成4维单连通流形的拓扑分类，他的主要结果是任何整系数公模二次型都是某4维流形的交截形式。他的工作直接影响唐纳森进一步的结果。到1990年代，他的方向转向应用拓扑学与物理学，特别是等离子体物理和磁流体力学。唐纳森于1957年8月20日生于剑桥。1976年入剑桥大学彭布罗克学院学习，1979年毕业。1980年到牛津大学伍斯特学院读研究生，1983年获博士学位，其后在牛津大学万灵学院任初级研究员。1985年以后任牛津大学沃利斯(Wallis)数学讲座教授。唐纳森的数学工作紧随弗里德曼。他证明光滑单连通4维流形如具有正定交截形式，则可以化为整数系数的对角形式。结合弗里德曼的工作，由此得出惊人结果：4维流形上可以存在不同的微分结构。尤其是4维欧氏空间上存在着不可数无穷多种微分结构。更令人惊异的是他的结果建筑在拓