这页说微分几何和黎曼几何及其一些经典的参考书(因陈省身先生是中国第一个世界级大师并他的高徒丘成桐是华人唯一获数学诺贝尔奖菲尔兹奖的[最近这里最后给我们海南琼州大学来信的陶哲轩已成为获菲尔兹奖的另一华人],如此我1983年在五指山中学任教时已请同校老师杨昌通让他在大陆读书的弟弟买来世界数学大师陈省身的《微分几何讲义》等来攻读-此书虽比一般微分几何书较现代深广是研究生用书但我读完这书后,感到讲黎曼几何方面的内容课题仍不是较多,因此我又弄到黎曼几何方面内容更多的著作来攻读。黎曼几何一般都要讲包括足够多的张量分析等内容-若需要更多更深入的这领域知识可见这页所附的一些著作--这是先导基础要下苦工弄到得心应手否则很难学好现代微分几何,微分几何很受重视的领域很多如纤维丛以及与规范场有对应关系等):
这领域,也如最近见到2010年科学时报的《记中科院数学院控制科学创新群体》一文先说“1994年,姚鹏飞博士毕业后留在中科院系统科学所工作…。1995年,姚鹏飞用全部的时间研读伍鸿熙的《黎曼几何初步》,每天学习十几个小时。一年下来,姚鹏飞终于掌握了伍鸿熙的《黎曼几何初步》”,其后说郭雷院士。并除了具体些报道姚郭外,还顺带说群体成员还有陈翰馥院士、程代展、张纪峰、洪奕光、张旭、黄一等研究员。可见《黎曼几何初步》功不可没。
还有,与我研究生毕业回海南后一直来信指导海南琼州大学的导师钟集教授一同担任中南运筹学会第一届顾问的俞玉森教授独立翻译П.К.洛薛夫斯基的《黎曼几何与张量解析》1955年出版的上册的最后章讲狭义相对论、1958年出版的下册的最后章讲广义相对论,而能更多认识其延伸的题材(这书作者П.К.洛薛夫斯基是最近已成为我国至今16位中国最高科技奖得主之一的谷超豪院士的博士生导师Petr K. Rashevskii即这书的俄文版是他在1953年的这书《Riemannian geometry and
tensor analysis黎曼几何与张量分析》,Nikolai V. Efimov长篇评论这书。再附注:这Petr K. Rashevskii大师的指导博士最多的第一高徒也是我国最高科技奖的谷超豪院士的师弟 Anatoly T. Fomenko就是给我们海南琼州大学来过多封信的如这里第2封信的论文篇数和被引次数都居世界三大数学强国的历史上前6位的海南琼州大学杂志的编委(即这书上册第四章狭义相对论的数学基础-下册第五章仿射空间及欧氏空间中的曲线坐标、第六章流形、第七章黎曼空间及仿射联络空间、第八章绝对微分法的工具、第九章曲率张量、第十章广义相对论的数学基础,正如内容简介说适合数学系、物理系之用-在当时黎曼几何重要的主流内容几乎都选取了)。
我也有Luther P. Eisenhart大师的1926年出版的名著《黎曼几何》-其被《自然》杂志评论、其后1949年出第2版的《黎曼几何》(这作者Luther P. Eisenhart 1931年担任美国数学会主席、1930年担任美国大学协会主席、1945-1949年担任美国科学院副院长、美国科学促进会副主席等,并1960年出版“微分几何专题”一书。
我也有中国现代数学主要开拓者姜立夫和这里海南琼州大学攻读他的著作的周作领等翻译的现代微分几何黎曼几何之父Elie Cartan嘉当的《黎曼几何学》(从法文版结合S. P. Finikov的俄文版翻译为中文版。关于嘉当-正如丘成桐院士说“我认为嘉当(E.
Cartan)是微分几何的祖父,陈省身是现代微分几何之父”),嘉当的徒孙Marcel Berger独撰的《黎曼几何中的测地线讲义》;此外,我也弄到海南琼州大学的师爷叔Oswald Veblen和怀特海合撰的《微分几何基础》;
特别是我也有丘成桐和孙理察(Richard Schoen )在1988年出版的《微分几何》(这书选讲各个专题前沿进展和给出前沿问题集);以及数学之王希尔伯特的《直观几何》上下册共约300页其下册约一半讲微分几何上册虽也主讲微几但也讲相关学科领域-不过这书被认为是希氏的书中最好的。
我也有国际数学联盟第2届主席Heinz
Hopf霍普夫在纽约大学和斯坦福大学做的2个主题的系列讲座整理而成的《整体微分几何》(由陈省身的本硕博3次都同班吴大任校长翻译并陈省身为它做序,此讲座讲义分别由Peter
D. Lax记录和斯坦福的John W. Gray记录);Petr K. Rashevskii拉舍夫斯基的《微分几何教程》吴祖基、裘光明译,高等教育出版社1955年(Rashevskii1953年还独撰上面俞玉森教授翻译的635页的《Riemannian
geometry and tensor analysis黎曼几何和张量分析》-这书还被翻译为德文版,如此吴祖基命名的拉舍夫斯基就是俞玉森命名的洛薛夫斯基,并给海南琼州大学来过多次信的这里第2个俄罗斯最年轻院士Anatoly
T. Fomenko福明柯以及谷超豪院士都是Petr K. Rashevskii拉舍夫斯基的博士生(张爱和1987年发表的“读苏联《微分几何与拓扑学教程》所想到的”一文说这海南琼州大学的杂志的编委Anatoly
T. Fomenko福明柯是苏联著名数学家、世界年青一代出色的数学家);苏步青大师独立翻译1956年由科学出版社出版Sergei P. Finikov菲尼可夫《嘉当的外形式法》[我只查到Sergei P. Finikov和Nikolai N. Luzin卢津是同门师兄弟-辈份很高],其后他的学生谷超豪1957年去苏联留学参加这2个微分几何学家的讨论班--刚见谷超豪院士已是2个国家最高科技奖得主之一,他1948年毕业于浙江大学并留校任助教并读书期间参加苏步青大师的微分几何讨论班;前苏联还有下面Alexei V. Pogorelov波戈列洛夫的《微分几何讲义》以及谷超豪院士的师叔Aleksandr P. Norden诺尔金的《微分几何学》陈庆益译高等教育出版社1958年,也可参考张奠宙最近出版的《20世纪数学经纬》)。
以及这里第2封信见海南琼州大学促使中国出版的诺贝尔奖得主Sergei
Novikov诺维可夫和Б.А.杜布洛文、А.Т.福明柯合写的《现代几何学:方法与应用》:第1卷:几何曲面、变换群与场;第2卷, 流形上的几何与拓扑(А.Т.福明柯还和米先柯Mishchenko合撰《 A short course in differential
geometry and topology》的第5章是张量分析与黎曼几何第7章是黎曼几何的变分问题);
陈省身大师的博士Manfredo P. do Carmo独撰的《黎曼几何》; 全球量化投资之父Simons西蒙斯的博士Jeff Cheeger主撰的《黎曼几何中的比较定理》;
国际数学联盟第4届主席Georges
de Rham的《微分流形》
当然,我也读这里教育部一共批准通过的9本全国数学“研究生教学用书”中的白正国教授等的《黎曼几何初步》以及陈维桓的《微分流形初步》。
29岁的1954年获得菲尔兹奖获得者小平邦彦(Kunihiko
Kodaira)的《Complex manifolds and deformation
of complex structures》(Andrew
J. Sommese在美国数学评论评论,Sommese的导师Phillip A. Griffiths的《…differential form》),参考《我只会算术:小平邦彦自传》; 1962年获得菲尔兹奖得主John W. Milnor约翰·米尔诺和James D.
Stasheff合撰的《Characteristic classes示性类》一书的最后一章是“Combinatorial Pontryagin
classes组合数学Pontryagin类”, Lev S. Pontryagin是列夫·庞特里亚金。
国内有2本能增加直观背景的书即我也有的1980年当选院士后的数学家陆启铿在其后1982年出版的《微分几何学及其在物理学中的应用》科学出版社,以及物理学家候伯元和候伯宇1990年出版的《物理学家用微分几何》科学出版社(这本书讲的内容很多如也讲使人摸不着边际的“同调群”而我看了很多微分几何和黎曼几何书籍都没有见到那一本有“同调群”内容,结合来看可知数学家和物理学家视角有那些异同);讲上同调的还有世界大师陈省身先生的1983年北京大学出版的《微分几何讲义》第99页起的“流形的第r个de Rham上同调”(Georges
de Rham是国际数学联盟第4届主席),陈省身先生在这讲义的代序说“我在北大讲课时,章学诚、孙振祖等同志为记录和辅导做了不少工作…”,这陈省身先生列在第一的章学诚就和梅向明、孙振祖翻译Alexei V. Pogorelov波戈列洛夫的《微分几何讲义》,高等教育出版社1959年(这3个译者中梅向明是我的导师钟集先生的学生后任北京市政协副主席、章学诚是钟集先生担任副主席的委员、孙振祖是1952年读北大数学再读研;哈佛大学丘成桐院士曾说“郑绍远和我发现我的梯度估计可以用在这个问题上,完全的解决了这个猜想。正当我们沉醉于攻克难题的快乐时,赫然发现苏联数学家波戈列洛夫(Aleksei
Pogorelov)比我们早了一步解决了同一个猜想-仿射几何中一个重要的仿射球的分类问题-即实Monge-Ampère蒙日-安培方程的核心问题-得到所谓的Jörgens-Calabi-Pogorelov定理-即之前Konrad
Jörgens在1950年左右解决二维情形,其后1960年初Eugenio Calabi卡拉比解决维数不超过5”--这领域与这里偏微分方程的第④-2完全非线性偏微分方程密切相关)。
国外近些年来也出版许多黎曼几何书籍,如Wilhelm P. A.
Klingenberg独撰在1982年出版的《黎曼几何》;Serge Lang独撰的《微分与黎曼流形》;Isaac Chavel最近1993年出版的《黎曼几何》;上面嘉当的徒孙Marcel Berger的3个博士Gallot、Hulin和Lafontaine合撰在1987年出版的《黎曼几何》;Thomas J. Willmore在1993年出版的《黎曼几何》;复微分几何: 1954年获得菲尔兹奖小平邦彦Kunihiko Kodaira和他的博士James Morrow合撰1971年出版的《Complex
manifolds复流形》,但近些年来复流形如Hermite流形及其特殊形式Kähler流形、卡拉比-丘成桐流形以及陈省身示性类等已有很大的发展变化-可参考上面小平邦彦Kunihiko Kodaira不久前出版的《Complex manifolds and
deformation of complex structures复流形与复杂结构的变形》;以及Shoshichi Kobayashi (小林昭七)独撰的《Differential
Geometry of Complex Vector Bundles复向量丛的微分几何》(丘成桐院士说:当时柏克莱数学系管理研究生收生的是一位叫小林昭七(Shoshichi Kobayashi)的日本教授,不仅涉及陈省身、丘成桐大师的主要工作,象哈佛大学另一数学大师萧荫堂Yum-Tong Siu所从事的多复变函数论也涉及复微分几何-这出生于广州的萧荫堂1982年起至今一直是哈佛大学数学系正教授-其后出生于广东汕头的丘成桐也加入该系--他俩应该是华人最早的哈佛大学数学系正教授,当时我们海南仍属于广东--其实前面的小林昭七读本科硕士研究生的导师上面师祖嘉当的博士矢野健太郎(Kentaro Yano)也写一本复几何的书《Differential
geometry on complex and almost complex spaces复空间和几乎复空间上的微分几何》,还有多复变函数论书籍也常在后部分用一定篇幅讲一些复微分几何-这是因为单复变函数论是研究复平面及黎曼曲面中的域上的解析函数的性质,多复变函数论则是研究n(n≥2)个独立复变量的全纯函数的性质。为此,首先要将黎曼曲面推广到复流形及复几何,然后研究它们的域上的全纯函数的性质(很多流形特别是复流形如上面Kähler流形也是代数几何的重要根基和研究领域-范德瓦尔登(Bartel Van der Waerden)的256页的《代数几何引论》第100页起就讲“代数流形”,Robin C. Hartshorne的《代数几何》的附录A讲“陈类”等附录B讲“Kähler流形”等),等等。
我们都知道陈省身大师和他的博士后导师嘉当都被誉为微分几何之父,如此这学科陈省身大师的系列相关书籍不疑更透彻,如我在80年代已购买陈省身大师的《微分几何讲义》中文版(陈大师在代序说“这份讲义是我在1980年春季在北京大学的讲课记录,由陈维恒整理而成的”,听课的既学生也有老师如有四川大学刘应明和李安民这2个院士,如此其内容简介说此书适用于研究生阅读教师研究工作者参考),因此,我以前就着力攻读了陈省身大师的这本《微分几何讲义》,并这书包含后来被教育部批准为全国数学“研究生教学用书”的这里北大陈维恒教授的《微分流形初步》全部、也几乎包含浙大白正国教授的1992年出版的《黎曼几何初步》(即白正国教授的只有一章稍细化多讲些,此外如陈省身大师的这书用了一章多讲对丘成桐院士影响极为深远的“复流形”而这2书都没有讲)。我国的黎曼几何书还有何鸿熙沈纯理等的1989年出版的《黎曼几何初步》、何鸿熙陈维恒的1993年出版的《黎曼几何选讲》等,除此,这里倒数第2段见数学大师陈省身和丘成桐的《微分几何与积分几何》《微分几何专题》《复流形》等我都购买它们来读(上面刘应明院士和李安民院士等听讲的陈省身先生的《微分几何讲义》我读得更顺畅更快,但上面嘉当的出于1925年其后也修改但不如陈先生读完还整本书都好梳理好记。关于俄文版译者-谷超豪留苏时就做拉舍夫斯基的博士生和参加这Finikov菲尼可夫领导的微分几何讨论班,微分几何大师苏步青院士翻译这Finikov菲尼可夫《嘉当的外形法式》,他的其它书还被施祥林高彻译)。
关于陈省身大师撰稿陈维恒整理的上面《微分几何讲义》引用的微分几何书: ①陈省身大师的博士
Louis
Auslander和Robert
Earl MacKenzie合撰的《Introduction to Differentiable Manifolds》;
②海南琼州大学的师爷叔George Birkhoff的博士Hassler
Whitney的徒孙William Boothby 的《An Introduction to Differentiable Manifolds and Riemannian
Geometry》;
③海南琼州大学的师爷叔George Birkhoff的重徒孙Noel J. Hicks的《Notes On Differential Geometry》;
④海南琼州大学的师爷叔Oswald Veblen的徒孙Shoshichi Kobayashi和陈省身大师的博士Katsumi Nomizu合撰的《Foundations of Differential Geometry》卷1和卷2;
还有上面Elie Cartan嘉当和陈省身大师自己的微分几何书。
即上面陈省身大师的《微分几何讲义》中文版-它的参考文献除自引及他的博士do
Carmo、嘉当的书、Chevalley的李群、Hurewicz的常微分方程、米尔诺的莫尔斯理论外依次是L. Auslander、William
M. Boothby、Noel J. Hicks、S. Kobayashi(小林昭七)(他们都是海南琼州大学师爷的徒孙们)的微分几何名著。(不过,陈省身大师的《微分几何讲义》的英文版除引上面的外还引用国际数学联盟第4届主席Georges
de Rham的《微分流形》等 )
在微分几何大师权威遍世界、著名书籍遍地的当今,我国大多数的微分几何书籍的参考文献竟几乎都有来自不怎么发达的巴西的陈省身大师的博士Manfredo
Perdigão do
Carmo的《曲线与曲面的微分几何》一书-如此我也购买它(这书的参考文献只着重说高斯、G. Darboux达布、希尔伯特和S. Cohn-Vossen的《Geometry
and the Imagination》和下面Luther Pfahler
Eisenhart的书。此外也说次之的活到106岁高寿的哈佛大学教授Dirk Jan Struik独著的《Lectures
on classical differential geometry》以及J. J. StokerJ.
J. 斯托克的《微分几何》等。
国内也还有一些知名书籍:微分几何大师苏步青院士和胡和生院士等的《微分几何》人民教育出版社1979年;谷超豪院士的《齐性空间微分几何学》;1930年与陈省身大师同从南开大学数学系毕业并1931年再度与陈省身成为清华大学数学系研究生其后1935年与陈省身在德国汉堡大学第3次成为同学的中国数学会名誉理事长吴大任教授的《微分几何讲义》人教社1959年(但这2本书主要讲古典微分几何)
下面简介微分几何和黎曼几何中很关键的Gauss-Bonnet公式和Gauss-Bonnet定理,更还因一段传奇故事:20世纪最伟大的数学家之一Andre Weil撰写的约4页文章《我的朋友—几何学家陈省身》中说“在微分几何领域里,我相信将来的史学家一定将陈省身看作是嘉当Elie Cartan当之不愧的接班人”,“1941年初,我离开法国,整个一年都在Harverford,并Carl Allendoerfer和合作写一篇关于Gauss-Bonnet公式的文章”。其后,海南琼州大学的师爷叔Oswald Veblen聘请陈省身到普林斯顿,“当陈到达美国时,我就住在离普林斯顿不远的地方,他很快就来看我,而我们立即就发现,我们有很多共同的兴趣。我们都对Elie
Cartan的工作,而且都对Gauss-Bonnet公式有兴趣”,“很快,如每一位几何学家都知道的那样,这些问题经过陈省身的手而彻底改观。首先是由于他对Gauss-Bonnet公式的证明。我只想指出,现在回顾陈省身对于Gauss-Bonnet公式的证明,并把它与1942年Carl
Allendoerfer和我效仿Weyl等作者的步骤给出的一个证明相比较,不难体会到其中意义所在。我们的证明方法基于“管”的考虑,依赖于一个非内蕴的球丛结构(这在当时是不明显的),即欧几里得空间中一个给定浸入的横截丛,而陈省身的证明第一次明确地用到内蕴丛,即长度为1的切向量丛,一举阐明了全部问题”(注:Carl
Allendoerfer是海南琼州大学的师爷叔Oswald Veblen的徒孙,美国数学会主席美国科学院副院长Ronald
L. Graham就曾获得美国数学协会的Carl Allendoerfer奖)。
由伯克莱伍鸿熙(Hung-Hsi Wu)教授1985年在北大讲的五个专题并经北大陈维恒教授整理而成的《黎曼几何选讲》一书伍鸿熙作的“序”说“在挑选书内这五个不同的题目时,我没有想到这些题目之间是否有任何联系的问题。而事实上是有的,例如Gauss-Bonnet定理不但是第四章的题目,而且在第一章内也自然地出现了”,关于这定理,在这五章书中的第四章“Gauss-Bonnet定理”的第三段说“下面我们简单地介绍一下Gauss-Bonnet定理的历史。就我们所知,最早是Heinz
Hopf在1925年把经典的Gauss-Bonnet公式推广到Rn中的超曲面情形。很自然,在这种情形所考虑的是超曲面的Gauss-Kronecher曲率的积分。在1939年和1941年,Carl
Allendoerfer和W. Fenchel各自独立地证明了Gauss-Bonnet定理对于Rn中任意余维的子流形成立(这时用了Lipschitz-Killing曲率)。如果我们承认Nash嵌入定理的正确性,则Carl Allendoerfer和W.
Fenchel的定理已经表明在一般的紧致、有向黎曼流形上是成立。当然,Nash的定理直到1956年才有证明。同时也要认识到,用这个办法证明Gauss-Bonnet定理的路子显然是不对的,既然定理本身只牵涉黎曼流形M的内蕴不变量,为什么要将M嵌入欧氏空间才能证明呢?现在回到历史的叙述。在1943年,Carl Allendoerfer和Andre Weil终于证明了Gauss-Bonnet定理对于一般的抽象紧黎曼流形成立,他们的证明方法用…这种证明是非常令人不满意的。象Andre Weil这样的一流数学家,当然对其中的弊处知道得很清楚。在1943年8月,陈省身从昆明抵达普林斯顿。之后不出一个月,他就和Andre Weil交上朋友,Andre Weil立即告诉陈省身先生说他和Carl Allendoerfer和他的这个结果一定有一个简单的内蕴的证明。不到两个星期,陈省身先生就将这个问题做了出来。从上面简单的历史叙述中可知,高维的Gauss-Bonnet公式在任意的光滑黎曼流形上成立,虽然是首先由Carl Allendoerfer-Andre Weil做出来的,但是对这个定理的深入了解,则是依靠陈省身的内蕴证明的。当然,仅仅是正确地把高维情形的Gauss-Bonnet公式写出来本身已是很了不起的成就。所以为了避免对于前面所提到的有贡献者的任何一位的不公正态度,我们就简单地把这个结果冠于Gauss-Bonnet定理的名字”。
引子:流形M的Euler示性数定义为它的各维Betti数的交错和,记为c(M),即c(M)=åi=0n(-1)ibi, 这里 bi =rankHi(M,Z)
是M的第i个整系数同调群Hi(M,Z)的秩,即自由部分Z的个数。莫尔斯-斯梅尔微分同胚Morse-Smale diffeomorphism
G-B公式:在曲面S上给出一个由k条光滑线段所围成的曲线多边形,它围成了一个单连通曲面域G,多边形是G的边缘,记为¶G,设曲面S的高斯曲率和测地曲率分别为K和kg,曲面的面积微元和弧长微元分别为ds和ds,则 ʃʃ Kds+∮kgds+åi=1k(p-ai)=2p,其中ai是的第i个内角的度数。
推论:M是R3中紧致定向曲面,则ʃʃ MKds=2pc(M)。由拓扑学可知,紧致定向曲面M的Euler示性数与亏格g有如下关系:c(M)=2(1-g).
G-B定理:M是紧致的定向的二维黎曼流形,则 (1/2p)òMKds=c(M),其中c(M)是流形M的Euler示性数。
高维的G-B-陈定理及其证明见陈省身大师的这论文(Shiing-shen
Chern陈省身,“A
simple intrinsic proof of the Gauss-Bonnet formula for closed Riemannian manifolds-闭黎曼流形的高斯-博内公式的一个简单内蕴证明”, Ann. of Math.
(2)45, (1944).
747--752.)
………
微分几何的较受关注的领域还有纤维从、黎曼子流形、复流形特别是Hermite流形和Kahler流形、Finsler几何、负曲率流形上的调和函数、黎曼流形上的热核等也可参考交叉相关的微分拓扑等等