什么是卡氏几何和阶段描述?
发布网友
发布时间：2022-05-04 21:41
共3个回答
热心网友
时间：2022-06-30 20:47
蜷缩的高维
应该说，这六维空间目前还没有一个固定的模型能在计算机上展现出来，也没有一种形状能让所有的物理学家都赞同。唉！宇宙不是那么简单的！它到底是什么样子，我们不得而知。但你可别气馁，科学家们认为这些多出来的维卷曲在一种叫做“卡拉比-丘成桐”的空间结构里，“卡-丘”空间的大小如何呢？它的半径小于亿亿亿亿分之一米，只有质子和中子半径的亿万分之一！太小了！目前我们是无法用任何办法来考察到的，更别说钻到里南去旅游一番、看个究竟了。
的确， 要描述“卡-丘”空间几乎是不可能的，因为它有六个维度。但是，还是让我们试着去想象出一个图景来吧！
“卡-丘”空间看起来就像纸团，就是那些你随手扔掉的攥成团的用过的草稿纸那样，然而，“卡-丘”空间的迂回曲折和翻转可比你那随手一攥，拧出来的形状复杂多了，它们像一条条蛟龙一样，尽情地翻腾，绕着自己翻过去，再转回来，打成一个个环，丝毫没有一针见规则可以用传的欧几里德几何描述，可是它们呢？却对此表现出完全蔑视的态度，它们只遵循一种更为抽象的几何学，比如说，卡-丘空间根本不知道什么是直线！
身处某一个“卡-丘”空间的感觉一定很刺激吧？确实，它很像一胩有趣的房子，很多墙壁围绕着我们，房子上似乎到处都是镜子，镜子里有无数我们自身的影像，当我们凝视的目光投向任何方向，我们都在经历着奇特的视觉魔幻，比方说，你注视正前方，看到的是什么？不是你的正面，而是你的背部！
当然，卡-丘空间里面并没有什么镜子，那里只空间本身。所以这里存在一个本质上的差异：从理论上讲，当你可以看着前方而确实看到了你的北面时，你可以对着你的“背”扔个球过去，两秒钟后，你猜会怎么样？你会感到有个发射物朝着你的剂量冲过来！想知道这个球的具体行踪吗？客观存在可能已经在六维空间里来回折腾了好几圈，就像乘坐了好多个过山车一样，最终，它结束了整了旅行，在你背上停了下来。“卡-丘”空间就是这么一种奇怪的东西！
从猜想到定理
科学家们“算”出来，多余的那六维空间正是采取了这种特殊、古怪的方式紧缩起来的，它们看起来是细细长长的弦上面的一颗颗珠子，
弦可能从它们的“孔”中穿过去，也可能绕过它们，包着它们。这些细细长长的弦在不停的振动，就组成了各种奇怪的形状的发掘过程颇
具戏剧性！
科学家们讨论额外空间的时候，他们从不用我们的日常语言来叙述，因为这样会误导我们，以为这些空间也和我们的三维空间一样。科学家
们是用数学语言来表达*空间的，数学的概念很容易推广来讨论任意维数的空间。
比方说，你知道数学家是如何思考圆圈和球体的不同吗？对你们来说，他们实际上是同一种东西，都是离一点距离相同的点组成的集体。
数学家管圆圈叫做一维的球体，因为要画一个圆，只需要适度弯曲的一信线条就可以了；而实际的球体被叫做维球，因为要得到一个球，需
要一个二维平面。对于数学家来说，一维球和维球之间的区别无关紧要。他们更喜欢学习N维球，就是你想要多少维就有多少维的球。不管你
能否想象得出，总之你就假设它存在于思维空间吧！
卡拉比就是这种几何学的想象大师，你在职954年的国际数学家大会上提出了的一个猜想，预言有这么一类紧缩的空间结构存在，但由于证明十
分困难，此类空间的存在性一直悬而未决。可以说，除了卡拉比本人，几乎没有人相信这个猜想是对的。包括后来获得数学领域中的"诺贝尔奖"
--菲尔兹奖的新一代华人数学家杰出代表丘成桐在内.
丘成桐只有21岁时就开始思索这个久攻不克的大难题,他在研究上花了两年工夫,想证明它是错的,他甚至在一个很大的国际会议里面宣布找到一个反
例证明这个是错的,听的数学家也认为很有道理,于是大家都认为卡拉比猜想是错的.
两个月以后,卡拉比得知此事,让丘成桐将证明重新再讲一遍.这让丘成桐不得不重新考虑这个问题,这时他发现自己的推论是有漏洞的.在讲给卡拉比听以前,
丘成桐两个星期没有睡觉,想弥补这个漏洞,结果他发现,没办法弥补!
这下,他只好承认错误,于是写信给卡拉比,决定反过来,将全部时间用来想证明它.这个决定让他花了四年工夫,1976年底,他用强有力的证明,终于解决了这一问
题!
这个伟在猜想的证明,将几何学带入一个全新领域,更在物理学各方面大放异彩."卡-丘"空间对于超弦理论如此重要--它的"紧缩性能"正是超弦理论物理学家要找
的.目前已经测试出25种"卡--丘"空间构造符合超弦理论的"胃口".
热心网友
时间：2022-06-30 20:47
热心网友
时间：2022-06-30 20:48
初始阶段 古典的局部微分几何是研究三维欧氏空间的曲线和曲面在一点邻近的性质﹐它的发展与分析学的发展有著不可分割的联系。微分几何起源於17世纪发现微积分之时﹐函数与函数的导数的概念实质上等同於曲线与曲线的切线的斜率﹐函数的积分在几何上则可解释为一曲线下的面积。当时﹐平面曲线﹑空间曲线及曲面的几何也可作为微积分的应用来瞭解。
在这方面第一个作出贡献的是瑞士数学家欧拉﹐L.。1736年他首先引进了平面曲线的内在坐标这一概念﹐即以曲线弧长这一几何量作为曲线上点的坐标﹐从而开始了曲线的内在几何的研究。欧拉将曲率描述为曲线的切线方向和一固定方向的交角相对於弧长的变化率。在曲面论方面﹐他有重要的贡献﹐例如引进了曲面上的法曲率﹑总曲率﹑关於法曲率的欧拉公式及球面映射等。测地线是平面上的直线在曲面上的推广﹐欧拉和约翰第一伯努利及丹尼尔第一 伯努利一起最早地把测地线描述为某些微分方程的解。1736年﹐欧拉证明了在无外力作用之下﹐一个质点如约束在一曲面上运动﹐则它必定是沿测地线运动。另外﹐值得指出的是法国数学家蒙日﹐G.及其学派﹐他们对曲面论的建立也很有贡献﹐蒙日在1807年出版的书《分析学在几何中的应用》是关於曲线和曲面理论的第一部独立的著作。他的工作中反映出他对微分方程的兴趣。在这些数学家的研究中﹐可以看到力学﹑物理学与天文学以及技术与工业的日益增长的要求是促使微分几何发展的因素。
1847年弗雷内得出了曲线的基本微分方程﹐亦即通称的弗雷内公式。後来﹐达布﹐(J.-)G.创造了空间曲线的活动标架概念﹐完整地建立起曲线理论。
黎曼几何学的提出 在三维欧氏空间中﹐与曲线相比﹐曲面有著重要得多的性质。设x﹐x﹐x为的笛氏坐标﹐则曲面的参数方程为
(1)
曲面的几何性质完全由被称为曲面的第一﹑第二基本形式(见曲面)的两个二次微分形式所决定。
1827年德国数学家高斯﹐C.F.的论文《弯曲曲面的一般研究》在微分几何学的历史上有重大的意义。微分几何发展经历了150年之後﹐高斯抓住了微分几何中最重要的概念和带有根本性的内容﹐他在论文中建立了曲面的内在几何学﹐其主要思想是强调了曲面上只依赖於第一基本形式的一些性质﹐例如曲面上曲线的长度﹑两条曲线的夹角﹑曲面上一区域的面积﹑测地线﹑测地曲率和总曲率等等﹐称之为曲面的内在性质。
高斯之前的几何学家﹐在研究曲面时总是把曲面与外围空间相联系﹐找出曲面上一点的主方向﹐再计算两曲率线的法曲率的乘积﹐这是欧拉的研究。高斯证明了由曲面的第一基本形式就确定了曲面的总曲率﹐这就是高斯方程﹐所以总曲率通常也称为高斯曲率﹐这是高斯的著名发现﹐被称为“极妙定理”。他说:“如果一个弯曲的曲面可展开到任何另外的曲面上去﹐则每点的曲率是保持不变的。”这里﹐“可展”表示了映射是1-1(一一)且保持距离的。高斯建立的内在几何学有著深远的影响﹐是在微分几何上的一关键而重大的突破﹐但当时并未被人们所认识。
更重要的发展属於德国数学家黎曼﹐(G.F.)B.。1854年他在格丁根大学发表了题为《论作为几何学基础的假设》的就职演讲﹐黎曼将曲面本身看成一个独立的几何实体﹐而不是把它仅仅看作欧氏空间中的一个几何实体。他发展了空间的概念﹐首先提出了维流形(当时称为多重广延量)的概念﹐其中的点用个实数(x﹐x﹐…﹐x)作为坐标来描述﹐他定义了流形上无限邻近两点(x)与(x+dx)(i=1﹐2﹐…﹐)的距离
﹐ (2)
并以此作为几何学的出发点。後来称(2)为黎曼度量﹐这里(g)是正定对称阵。黎曼认识到度量(2)是加到流形上去的一个结构﹐因此﹐同一流形可以有众多的黎曼度量。黎曼以前的几何学家只知道外围空间的度量赋予曲面以诱导度量
﹐ (3)
即第一基本形式﹐而并未认识到曲面还可以独立於而定义﹐可以独立地赋予度量结构。黎曼意识到这件事是非凡的重要﹐他把诱导度量与独立的黎曼度量两者分开来﹐从而开创了以(2)为出发点的黎曼几何。这种几何以种种非欧几何作为其特例。例如﹐这时可以把
( 是常数) (4)
作为两个无限邻近点的距离﹐当>0时﹐就是球面几何或椭圆几何(又称为正常曲率空间的几何)﹐=0时就是欧氏几何﹐<0时就是罗巴切夫斯基几何或双曲几何﹐又称负常曲率空间的几何。
黎曼几何中的一个基本问题是微分形式的等价性问题。在两个不同坐标系x﹐x﹐…﹐x与x﹐x﹐…﹐x 中﹐给定两个二次微分形式
与
﹐
求存在坐标变换(=1﹐2﹐…﹐)将一个微分形式变到另一个的条件﹐这个问题1869年由克里斯托费尔﹐E.B.与李普希茨﹐R.(O.S.)解决。克里斯托费尔的解包含了以他的名字定名的记号﹐即第一类克里斯托费尔记号[k﹐l]和第二类克里斯托费尔记号[]﹕
﹐ (5)
及协变微分(见黎曼几何学)的概念。在此基础上﹐1887～1896年间里奇﹐G.发展了张量分析方法﹐这在广义相对论中起了基本的作用。里奇和他的学生列维－齐维塔﹐T.在研究报告《绝对微分法及其应用》(1901)中对里奇计算法作了详细的综述。
《埃尔朗根纲领》对微分几何的影响 比克里斯托费尔﹑李普希茨解决二次微分形式的相互转换问题稍迟一些﹐1872年克莱因﹐(C.)F.在德国埃尔朗根大学作就职演讲时﹐阐述了《埃尔朗根纲领》﹐这就是把几何学定义为研究变换群所作用的空间﹐例如欧氏空间具有刚体运动群﹐所研究的对象是在刚体运动群下不变的性质。射影空间具有射影变换群﹐仿射空间与共形空间分别具有仿射变换群与共形变换群等等。这样就用变换群对已有的几何学进行了分类。这些几何学中所研究的对象是在相应变换群下不变的性质。这种用群论统一几何学的思想把几何学与李群结合起来了。在《埃尔朗根纲领》发表後的半个世纪内﹐它成了几何学的指导原理﹐推动了几何学的发展﹐导致了射影微分几何﹑仿射微分几何﹑共形微分几何的建立。特别是射影微分几何起始於1878年阿尔方的学位论文﹐後来1906年起为E.J.威尔辛斯基为代表的美国学派所发展﹐1916年起为以富比尼﹐G.为首的义大利学派所发展。20世纪30年代起中国蘇步青及其学生们以及蘇联..菲尼科夫等进一步发展了射影微分几何。
另一方面﹐克莱因的《埃尔朗根纲领》与狭义相对论完美地相配合﹐狭义相对论中的一个原理是洛伦茨群下场方程的不变性﹐这导致了克莱因成为狭义相对论的最早支持者之一。洛伦茨结构在相对论中起了基本的作用。
当克莱因制定《埃尔朗根纲领》时﹐已观察到黎曼几何并不包括在内﹐因为一般的黎曼空间﹐除恒等变换外﹐并不含有其他等长变换。经过W.K.J.基灵﹐嘉当﹐.(-J.)的努力﹐使得李群成为微分几何的有力工具﹐而李群本身也成为微分几何的研究对象﹐它的推广就是齐性流形即容有可迁变换群的微分流形﹐这就给出了埃尔朗根纲领中所设想的几何空间的最一般形式。在齐性流形中﹐具有正定黎曼度量的齐性黎曼流形﹐特别是对称空间﹐显得特别重要。
广义相对论的产生及其对几何学的影响 黎曼几何的建立对近代物理学产生了巨大的影响。黎曼对引力论很有兴趣﹐曾对牛顿的引力论发生怀疑﹐牛顿的引力是一种超距作用﹐而黎曼认为引力作用应通过接触来传递﹐但他并没有把黎曼几何用於引力论。50年後﹐爱因斯坦创立了新的引力理论──广义相对论﹐黎曼几何(严格地说是洛伦茨几何﹐这时(2)中所定义的ds 是非正定的二次微分形式)及其运算方法(里奇计算法)成为广义相对论有效的数学工具。爱因斯坦引进了约定求和这一很有用的符号。广义相对论的产生对微分几何的影响是令人震动的。当时黎曼几何成为研究的中心课题﹐斯考顿﹑列维－齐维塔﹑.嘉当及艾森哈特等人的关於黎曼几何的权威著作几乎都出现在1924～1926年期间。
爱因斯坦在狭义相对论中﹐把时间与空间作为相关的量一起来考虑﹐构成了一个四重广延量﹐这显示了时空概念的一个根本性变化。这时﹐时空中两点(x)﹐(x+dx)(i=1﹐2﹐3﹐4)的距离由非正定的二次形式
(6)
所描述﹐其中x=﹐是光速﹐是时间。这种具体形式是闵科夫斯基空间﹐或称闵科夫斯基四维时空﹐简称四维时空﹐它是洛伦茨流形中的一个特例。
广义相对论采用的是洛伦茨流形﹐这时ds 是非正定的﹐它的特点是在任何一点的小邻域中和闵科夫斯基时空性质相近似。引力论的基本问题是要说明质点在引力作用下的运动轨线问题﹐在广义相对论中运动轨线为流形上类时(即“弧长”平方为负)的测地线﹐类时意味著质点的速度低於光速﹐测地线是变分
(7)
所得微分方程的解。
爱因斯坦的引力场方程是一个关於g的二阶偏微分方程
(8)
式中 称为里奇张量﹐是由g的一﹑二阶导数构成的﹔﹐其中由所确定﹔是描述物质分布的能量动量张量。特别﹐真空中的引力场方程由=0所表述。如果弯曲空间化为平直空间﹐则表示引力场不存在﹐这时质点作匀速运动。
爱因斯坦的广义相对论的思想来自物理学的研究﹐但值得注意的是从欧几里得几何学到黎曼几何学经历了二千多年时间﹐而从闵科夫斯基时空到洛伦茨流形只经过十年时间﹐这是因为黎曼几何学的张量分析已为此作了一切数学上的准备。爱因斯坦在建立广义相对论的过程中得益於数学家M.格罗斯曼﹐在发展广义相对论过程中他和.嘉当进行了许多的讨论﹐希尔伯特﹐D.也参加建立场方程的研究。
把黎曼几何应用於广义相对论时﹐列维-齐维塔平行移动的概念具有相当的重要性。外尔﹐(C.H.)H.在1918年的名著《时间﹐空间﹐物质》中引进了仿射联络的概念﹐它是黎曼流形中列维－齐维塔平行移动的推广。在流形上可以用仿射联络作为出发点来定义平行移动和协变微分等结构﹐这样﹐仿射联络就不必从黎曼结构来得出。外尔所给出的联络是无挠率的(即对称的)。流形上定义了仿射联络﹐就得到仿射联络流形。
.嘉当在他的主要论文《仿射联络流形及广义相对论理论》(1923～1924)中给出仿射联络的权威性论述﹐并将仿射联络这一概念推广到有挠率的情况。文中主要说明为什麼爱因斯坦引力论是牛顿引力论的推广﹐後来他更进一步建立了各种联络理论﹐例如射影联络﹑共形联络等。
黎曼几何还有另外的推广﹐P.芬斯勒以一般的出发建立了一种度量的几何学﹐只是dx的正齐二次函数而不必要求它为二次型﹐也就是说g除依赖於x之外﹐还是dx的正齐0次函数。对这种空间也引进了联络﹑曲率等等概念﹐从而得到芬斯勒几何。随後﹐还有很多的推广﹐得到的空间通称为一般空间。
曲线和曲面的整体性质 在古典的曲线论和曲面论中﹐人们所研究的问题已可分为两种类型﹕局部问题与整体问题。曲线或曲面在一点充分小邻近成立的性质是局部性质。例如﹐曲线在一点的切线﹑法平面﹑曲率﹑挠率﹐曲面的切平面﹑法线以及各种曲率的概念都是局部性质。整体性质则是考虑整个曲线或曲面上的性质﹐它与局部性质所得出的定理时常是极不相同的。例如﹐平面凸闭曲线成立四顶点定理﹐即它的曲率至少有四个极值点。又如﹐对任何曲面﹐局部来说﹐两邻近点之间有且仅有惟一的测地线弧相连结﹐但从整体来说﹐这个问题就相当复杂。例如﹐欧氏空间的测地线是直线﹐任意两点之间有且只有一条直线段相连结﹐球面上的测地线是大圆弧﹐球面上任意两点﹑(如果不是对顶点)﹐可有两条测地线弧(优弧与劣弧)相连结﹐﹑是对顶点时﹐它们之间则有无限条测地线弧相连结。如果考虑闭测地线﹐则可看到欧氏空间没有闭测地线﹐而球面上任何测地线(即大圆)都是闭的。至於一般曲面有可能存在闭测地线﹐也有可能不存在闭测地线﹐可有许多情况﹐讨论闭测地线的存在性就是一个整体性质。
又如﹐欧氏空间的曲面由第一﹑第二基本形式所决定。如果两个曲面小片﹐﹐它们的第一基本形式相同﹐第二基本形式不同﹐则称与是互为变形的。三维欧氏空间的一小曲面片总有无穷个曲面与它相变形﹐然而这个性质整体上是不成立的﹐例如球面以及一般的凸闭曲面不存在与之变形的曲面﹐这称为球面的刚性定理及凸闭曲面的刚性定理。讨论小曲面片的变形问题是局部性质﹐讨论曲面的变形问题则是整体性质。曲面上测地线弧的指标(它表示测地线弧的两端固定时﹐使其长度得到缩短的变形的维数)是一个整体的不变量。
曲面的整体性质的一个重要结果是高斯-博内定理﹐它指明﹐在闭曲面上﹐总曲率的积分除以2就是曲面的欧拉数。等於1减去曲面上洞的个数﹐是个拓扑不变量﹐因而这个定理建立了曲面的微分几何量与曲面的拓扑量之间的重要联系。
此外﹐希尔伯特还发现﹐双曲平面(二维的双曲几何)不能在三维欧氏空间中完整地实现﹐尽管它在三维欧氏空间中局部地实现对於双曲几何(即罗巴切夫斯基几何)的被承认起了重大的作用。
曲面和曲线的整体性质的研究激起了人们对整体微分几何的巨大兴趣。
整体微分几何的兴起 现代微分几何学所研究的对象是微分流形﹐其上还配有附加的结构。例如﹐微分流形上引进黎曼度量﹑洛伦茨度量﹑辛尺度这些结构後﹐就分别成为黎曼流形﹑洛伦茨流形和辛流形﹐相应地也就丰富了几何内容。
外微分形式﹑德拉姆定理与霍奇定理 微分流形上的外微分形式是一个微分几何量﹐对它可进行外微分运算﹐这在几何上十分重要(见外微分形式)。外微分形式实际上是多重积分的积分元。一个外微分形式的外微分如等於零﹐则称它为闭形式﹐微分流形上次闭形式全体构成一个线性空间。一个次外微分形式如果是另一个(-1)次外微分形式的外微分﹐则称之为正合形式。正合形式是闭形式﹐它所构成的线性空间是闭形式所构成的线性空间的子空间。闭形式可以划分为一些类﹐称为上同调类﹐两个次闭形式当且仅当它们之差是一个正合形式时属於同一个上同调类。这些上同调类全体构成一个线性空间──上同调空间 。以瑞士数学家德拉姆而命名的著名定理说明﹕对於紧致流形﹐上同调类空间必是有限维的﹐并且维数恰等於微分流形上第个贝蒂数。贝蒂数是流形的拓扑不变量﹐它描述流形上有关连通的性质。在流形上引进了黎曼度量後﹐霍奇引进了调和形式的概念﹐并证明了著名的霍奇定理﹕在一个定向﹑紧致黎曼流形上﹐每一上同调类中有惟一的调和形式。这个定理是复变函数理论中紧致黎曼面的一些基本结果的一个重大的推广﹐它在代数几何中有重要作用。这两个定理提供了流形上局部性质与整体性质的联系﹐建立了流形上微分结构﹑拓扑结构及黎曼结构的深刻的制约关系﹐具有十分重要的意义。
黎曼流形的完备性 在黎曼流形的研究中﹐完备性是一个很重要的概念。在黎曼流形上﹐两点之间可以定义距离﹐因而可成为一个度量空间﹐这个度量空间在拓扑意义下的完备与任一测地线均可无限延伸(依弧长或仿射参数)这一性质相等价﹐从而形成了完备黎曼流形的概念。特别﹐紧致黎曼流形是完备的黎曼流形。霍普夫与里诺给出了下述结果﹕完备黎曼流形上每二点均可用一极小测地线相连结﹐其长度就等於二点的距离。
引进了完备性这一概念後﹐也推进了对三维欧氏空间曲面论的整体性质的研究。例如﹕对於曲率为常数的曲面的完备性的研究有﹕1959年P.哈特曼与L.尼伦伯格证明了完备的可展曲面必为柱面﹐迈尔斯与李卜曼证明了正常数曲率定向的完备曲面必为球面。
完备性概念对非紧致黎曼流形的整体几何研究是十分重要的。
曲率与拓扑 黎曼流形的曲率是微分几何中最重要的几何量之一﹐曲率和流形的拓扑结构之间的联系是一个十分重要的问题。美国数学家C.B.艾伦多弗和法国数学家韦伊﹐A.与陈省身用不同的方法将紧致曲面上的高斯-博内公式扩充到高维曲面和紧致黎曼流形上去﹐这是微分几何上很重大的一项进展。另外﹐阿达马﹐J.(-S.)和.嘉当发现﹕单连通的﹑曲率非正的完备黎曼流形必同胚於欧氏空间。这也是极富有启发性的成果。
对於黎曼流形来说﹐有三种不同层次的曲率﹐一种是截面曲率﹐它相应於在每点某一平面方向所相应的曲率。另一种是里奇曲率﹐它是由截面曲率以适当的形式作和而成。第三种是数量曲率﹐它是里奇曲率的迹。这三种曲率和流形的拓扑性质之间有很强的相互制约作用﹐这方面的研究成果非常丰富﹐而且是微分几何主要研究方向之一。
等距嵌入 嵌入问题是指一个具有某种结构的流形是否可以作为高维欧氏空间的子流形的问题。当只涉及微分结构时﹐惠特尼在1936年证明了每一个维的微分流形均可以嵌入到一个2+1维的欧氏空间中﹐美国另一数学家C.B.莫利证明了对紧致的实解析流形这个结果也成立。
等距嵌入是研究一黎曼流形是否能与高维欧氏空间的子流形成等距对应的问题。对於局部的等距嵌入﹐瑞士数学家L.施勒夫利很早就作了下述预测﹕维的黎曼流形总可等距嵌入到维欧氏空间中去。1926年法国数学家H.约尼和.嘉当在黎曼流形上添上解析这一条件时证明了这个预测。因此﹐作为特例﹐一个二维的解析黎曼度量总可局部地作为三维欧氏空间中某个曲面的第一基本形式。当流形非解析时﹐情况相当复杂﹐至今还是一个研究课题﹐当曲率在曲面上变号时﹐任一个二维黎曼流形是否可局部地等距嵌入到三维欧氏空间﹐已经有若干结果。
黎曼流形的整体等距嵌入定理於1954～1956年由J.纳许等所给出﹕ 维黎曼流形总可等距嵌入到欧氏空间﹐如流形为紧致时﹐则可嵌入到﹔如果只考虑等距嵌入﹐则维黎曼流形可嵌入於﹔如果紧致则可嵌入到。纳许的方法後来对非线性分析和非线性偏微分方程的求解产生了重要影响。
纤维丛 在整体微分几何发展中﹐纤维丛及其上的联络论的产生和发展﹐占有显著的地位。基本的纤维丛有向量丛和主丛﹐前者包括切丛﹑馀切丛﹑张量丛及一般性的推广﹐後者是由标架丛抽象而成。在黎曼几何研究中所产生的列维－齐维塔联络被推广为仿射联络﹑射影联络﹑共形联络﹑……然後形成了一般向量丛或纤维丛上的联络论﹐它以优美的形式把几何学的群的结构和流形上的微分结构有机地结合起来﹐陈省身-外尔映射用代数的方法通过联络和曲率作出了底流形上的一些上同调类﹐这种上同调类称为示性类包括陈示性类﹐欧拉示性类﹐庞特里亚金示性类等﹐它们都能表示纤维丛的拓扑性质。
纤维丛上的联络论成为理论物理学家的有力工具﹐杨振宁和米尔斯所提出的规范场理论是在物理学中形成的纤维丛上的联络论﹐不仅如此﹐他们对纤维丛上的联络提出了一个过去数学家没有想到过的偏微分方程(後称为杨-米尔斯方程)﹐这个方程不仅对物理学﹐而且对纯粹数学发生了重大影响。此外﹐联络论中的一些示性类和示性数﹐也得到了物理学上的解释﹐成为物理学中的各种“粒子”数﹐如“磁单极”数﹑瞬子数等等。由於这些事实﹐微分几何和理论物理的关系就更其密切了﹐可以说是在爱因斯坦广义相对论後的一个新的*。
微分几何和分析学新的结合 微分几何的研究与发展离不开微分方程﹐达布的《曲面论》一书就包含了丰富的古典微分方程的内容。.嘉当和凯勒所发展的外微分方程理论﹐对於解析函数领域的一大类局部微分几何问题﹐给出了一般的有效的方法。
整体微分几何的发展﹐需要运用更深入的﹐现代化的分析工具﹐特别是偏微分方程理论以及与之有关的非线性分析。
在线性理论中﹐一个突出的成果是阿蒂亚和辛格的指标定理﹐紧致微分流形上的一个线性椭圆算子的零空间的维数与象空间的维数都是有限数﹐其差称为指标﹐这个定理指出﹐这种指标可以表示为和流形(或纤维丛)及椭圆算子有关的拓扑不变量﹐而过去的黎曼-罗赫定理﹐希策布鲁赫的指标定理等都是它的特殊情形。这个定理对於确定杨-米尔斯方程的解的存在性和其自由度﹐起了重要作用。此外﹐流形上的拉普拉斯算子的特徵值的研究也是一个重要方面。
微分几何学所遇到的偏微分方程大多是非线性的﹐调和函数的概念被推广成黎曼流形间的调和映射﹐它联系於一个推广的狄利克雷积分的变分问题﹐其欧拉方程是非线性的椭圆型方程组﹐J.伊尔斯等人用了多种分析的技巧证明了各种存在性和不存在性定理﹐近年来﹐R.舍恩和K.K.乌伦贝克又对广*的奇性作了深入的分析。极小曲面理论近年来得到更深入的发展﹐研究范围日趋广泛﹐而且对流形的拓扑以及广义相对论中的数学问题均有重要应用。在调和映射﹑极小曲面﹐以及其他许多微分几何问题上﹐大范围变分方法成了重要工具﹐非线性泛函的极小元素或临界元素的正则性和存在性起了很大作用。如果考虑洛伦茨流形到黎曼流形的调和映射﹐就归结为双曲型偏微分方程的整体解的存在性问题﹐这方面成果国际上较少﹐谷超豪证明了闵科夫斯基平面到完备黎曼流形的调和映射的柯西问题的整体存在性定理﹐某些调和映射在物理学中称为非线性模型﹐是物理学家独立地提出的。
有些微分几何学问题还必须求解“真正”非线性偏微分方程﹐这是比拟线性方程的非线性程度更高的偏微分方程﹐其难度更大﹐突出的事项是丘成桐解决了由卡拉皮所提出的一个猜想﹐证明了某种爱因斯坦-凯勒流形的存在定理﹐这需要求解复的蒙日-安培方程﹐它的非线性程度更高﹐需要有高度的分析技巧。丘成桐还解决了一系列的其他的与非线性偏微分方程有关的几何问题。
具有复结构的微分流形特别是凯勒流形在多元复变函数和代数几何中起著重要的作用。
