廿一世纪的数学展望

廿一世纪的数学展望丘成桐教授浙江大学哈佛大学1数学社会现象工程现象物理现象2数学和工程科学是社会科学的基础理论物理是工程科学的基础数学是理论物理的基础3人类科技愈进步愈能发现新现象种种繁复现象使人极度迷惘(例如︰湍流问题、黑洞问题)但是主宰所有现象变化的只是几个少数的基本定律。Standardmodel(标准模型)统一了三个基本场︰电磁场、弱力、强力但是重力场和这三个场还未统一物理学上的统一场论4

重力场由广义相对论描述，是狭义相对论和牛顿力学的统一理论而形成的。 这是爱因史丹最富有想象力的伟大创作。 爱因史丹方程是

其中gij是测度张量（引力场），Tij是物质张量

Rij是Ricci曲率张量 黎曼几何学从这个方程进入到物理学的核心部分︰

时空的变化5弦理论希望统一重力场和其他所有场。在廿一世纪，基本数学会遇到同样的挑战︰基本数学会朝统一的方向发展，只有在各门分支大统一后，这些分支才会放出灿烂的火花，而我们才会对这些学问得到本质性的了解。数学上的统一？6数学的大统一将会比物理的大统一来得基本，也将由统一场论孕育而出。弦论的发展已经成功地将微分几何代数几何群表示理论数论拓扑学相当重要的部分统一起来。数学已经由此得到丰富的果实。7

大自然提供了极为重要的数学模型，物理学和工程学上很多模型都是从物理直觉或从试验观察出来的。但是数学家却可以从自己的想象，在观察的基础上创造新的架构。

成功的数学架构往往是几代数学家共同努力得出的成果，也往往是数学中几个不同分支合并出来的火花。例如，AndrewWiles的工作就是由椭圆曲线理论和Automorphicform理论，表示论和交换代数理论的合并得出来的结果。

8

几何、数字（尤其是整数）和函数的架构可以说是数学里最直观的对象，因此在数学的大统一过程中会起着最要紧的作用。数学分析和代数则是研究这几门学问的主要工具，也是基本数学和应用数学的主要桥梁。数学的对象和工具9

数学的发展由一个变量到多个变量，由一维到高维空间，由可换群到非交换群，由低次方程到高次方程，由线性方程到非线性方程，都是不可逆转的趋势。凡此种种，都随自然而生，始得华茂。有些数学家逆时发展一些数学结构，难以得到丰盛的果实。数学的发展10中国古代哲学家就主张一切事物的发展都须顺应自然。老子︰“人法地，地法天，天法道，道法自然”孙子兵法︰“故兵无常势，水无常形。能因敌变化而取胜者，谓之神。”“激水之疾，至于漂石者，势也。”11

找寻数学方程的整数解是算术中一个重要的问题。对一次方程组，中国数学家对同余的方法有很重要的贡献，因此数学史上有着名的中国余数定理。 在现代计算机和密码理论亦用到这个同余的方法。数论12对任何一个素数p，我们可以找寻方程在p同余的意义下的整数解（同时也考虑pn的同余解）。这种解的个数可以由计算机算出。假如我们将这些数据全部放在一起，就可以构成所谓L函数，这是数论中最重要的函数。它是一个很美妙的函数，既有乘积又有无穷级数的的表示，它的数论意义极为重要，因此它有很多特殊的性质。13

L函数是个复函数。它有很多重要的解析性质。从Artin，Weil，一直到Langlands都想了解它。在六十年代时，Swinnerton－Dyer－Birch对L函数在零点的消减次数和椭圆曲线的整数解做出一个极为深刻的猜想，影响了五十年来的算术理论。这个猜想在多复变方程组时还没有很好的推展。（Beilinson的猜想就是其中一种尝试。）14

Swinnerton－Dyer－Birch猜想可以用来解决一些难题。一个数学上最古老的问题就可由它来解决:

找出所有正整数n，使得它是一个有理直角三角形（三个边的长度都是有理数）的面积。例如6=4×3/2，而{3,4,5}是直角三角形的边的长度。 这个问题由Tunnel在八十年代解决，但他需要假定Swinnerton-Dyer-Birch猜想的真实性。15

二十世纪的数论学家透过代数几何的方法已经将整数方程与几何结合，群表示理论则提供数论和几何学结合最重要的工具。在数论里的Galois群和在几何学里的规范群，都与群表示有关。五十年来，我们看到数论和几何的研究从可交换群发展到非交换群的表示理论。产生了Langlands理论和Yang－Mills理论。他们都在现代数学上占有重要地位置。16在Langlands理论的想法中，一般算术流形上的L函数可由所谓Shimura流形的L函数生成。在椭圆曲线的特殊情形下推出所谓Shimura－Tanniyama－Weil猜测。而这个猜测由AndrewWiles十年前证明，他透过Frey，Serre和Ribet的贡献将困扰了数学界近三百多年的Fermat猜测完全解决。就是说以下方程:在n≧3时的整数解必定在{0,-1,1}的集合中。17

Taylor是Wiles的学生，除了对上述Shimura－Tanniyama－Weil猜测工作有重要的贡献外，他最近还解决了一簇椭圆曲线上的Sato－Tate猜测。这是关于椭圆曲线对素数同余解的数目分布问题，它的分怖与物理学家E.Wigner在量子力学所用到的分怖极为相似，Tayler的理论将数论带进一个新的方向。18在二十一世纪我们可以预见数论函数的理论会有长足的发展，也希望他们的理论会跟几何、物理学逐渐凝结在一起。弦理论上的一个重要的代数流形叫做Calabi－Yau空间，它可以说是椭圆曲线的自然推展。我们已经逐渐见到弦学上的对偶理论在深刻地影响着Calabi-Yau空间的了解，所以也可以想象他们会在算术上有特殊的贡献。19

这二十年来数论学家发现很多算术函数的分布状况与大型矩阵领域上的谱积分有相似的地方。而后者在统计物理中却经常出现。四年前Vafa和他的合作者们从弦学的理念中将这些古典的矩阵积分推展到更一般的情形，并发现这些积分与Calabi－Yau流形里的全纯形式积分有关。我们有理由相信弦理论会提供数论和几何结合的桥梁。20

几何和拓朴在十九世纪中叶，复变函数开始奠基。因此刺激了各门数学学科的发展︰数论函数（如黎曼zeta函数）得到严格的处理，解析数论这门学科因此而生。

多叶函数的出现则引起了黎曼曲面的定义。

21到了二十世纪，Poincare证明了黎曼曲面上存在唯一的曲率等于-1的黎曼度量。率先引入几何和群论的方法来研究曲面，并得出自守形函数和双曲几何的密切关系。由于对多体力学问题相空间的构造问题，Poincare对高维空间产生浓厚的兴趣也开始奠定拓扑学的主要基础。一般来说，在研究空间的大范围架构时。拓扑学家希望将空间用代数的方法进行分类。用同调群和基本群来控制空间的架构。他们在研究空间时引进三角化和组合的方法，但对微分拓扑来说主要的方法乃是切割（Surgery）子流形。22高维空间用到Thom的Cobordism理论。Smale则更进一步由Morse理论悟出的handlebody理论，得以将高维空间的分类变成计算同调群，特征类和由基本群所产生的代数不变量。高维空间理论中一个重要的工具是由Whitney发展出的一个方法，但是Whitney的方法要依靠到空间中二维子流形在一般情形下不相交。23

由于一般曲面在三维和四维空间会自行相交。因此切割方法在低维空间遇到很大的困难。可是三维和四维空间恰恰是物理学家最为关心的空间。在爱因斯坦发现广义相对论后，我们知道空间会受到重力场影响而变更曲率，空间的拓扑亦随之变动。24

二十一世纪几何学的发展有相当重要的部分会是有组织地解决三维和四维空间的问题。除了它们的拓扑性质外，更重要的是空间上的几何和分析问题。 我们从二十世纪黎曼曲面的发展可以约略地猜测未来这个世纪几何和拓扑学的走向。25

黎曼曲面在代数几何、数论、分析、微分几何和复动力系统都占有重要的地位。 在代数几何里，它又叫做代数曲线。意大利几何学家们用射影几何的方法对它做深入的了解并作为工具去研究高维空间的代数流形。这种看法仍会是代数几何的主流。弦理论一个重要的贡献就是对代数曲线的个数的算法得到漂亮的公式。Mori的著名工作也是奠基在相当一般的代数流形里构造有理曲线。辛几何的发展则奠基于研究拟全纯（pseudoholomorphic）曲线的架构。26这些表面不同的理论已经逐渐融合，当它的理论完美发展后，将会成为数学中具有威力的工具。27

在数论上我们知道古典的modularform都是在代数曲线上定义的扭曲的复函数，而曲线上Riemann－Roch公式则往往给出这些函数的描述而因此得到很多重要的算术内容。例如它们可以描述一个正整数写成不同整数的power的和的个数。28

由Poincare、Koebe等人发展的单值化原理使我们知道黎曼曲面都可以看作单位圆面透过离散群得出来的商空间，而这些离散群可以看作二次矩阵群的子群。Poincare因此将离散群引入自守函数和黎曼曲面理论中，他因此得出新的方法来构造自守函数。29

黎曼曲面有很多独特的性质，而其中最重要的一点是上述的单值化原理。任何一个单连通的曲面都可以用保持角度的方法映射到球面上面去。正如我们现下用的地图是从地球保角不变地映射到平面上。当一艘船只在海上航行时，船长可以在地图上找出准确的方向就是因为保角的缘故。我们发现这种保角投影对任何二维曲面都可以办得到。30单值化定理的证明多姿多彩。最一般和最重要的证明由Morrey先生在1938年给出。他所需要函数的光滑性不多，在二十世纪非线性分析中占了重要的地位。无论二次二维非线性微分方程和复动力系统的理论都以它为基础。31在高维空间的单值化也是一个重要的问题，如何找出具体而有意思的问题是很重要的，在复几何的情况下，我在七十年代提出的一系列问题已得到一些解答，但是即使在这个情形下还未全部完成。我曾经证明复空间的Poincare猜想,在二维空间时答案是完满的，但是以下的高维的复Poincare猜想还未解决:如何证明同伦于射影空间的代数流形必须是射影空间。32黎曼曲面第二个重要基础就是如何去描述在非单连通的曲面上所有保角结构。从复函数的观点来看，这就是Teichmuller空间的建立。而从代数曲线的观点来看，它的商空间是代数曲线的模空间。模空间和Teichuniler空间的关系通过mappingclassgroup这个群的表示理论值得到多所考虑。如何具体的表示这两个空间也是个重要的问题。例如如何找到典型的方法将Teichuniler空间嵌入复欧氏空间中。33二十世纪中叶以后人们对它们的架构有一定的了解，在二十一世纪我们会继续努力。尤其在这两个空间的调和分析和其中的子流形问题。34弦理论开章明义是研究曲线在时空中振荡的所有经验。而曲线的轨迹就是一个黎曼曲面。弦理论因此对代数曲线的模提供了很多新的数学公式。例如E.Verlinder和Witten的公式，这两个公式的证明在这十五年来的数学界有深入的影响。35

三度空间和四维空间是时空本身的几何，可是我们对他们的了解远没有对黎曼曲面来得深入。可以想象的是本世纪的数学将会促使二维空间的研究提升到三维和四维空间。而将它们变成几何和理论物理的主要工具。36

三度空间的拓扑始于Poincare。他提出著名的Poincare猜想。以后经历Dehn，Kneser，Haken，Waldhausen直到Thurston才理出一条清晰的思路。

Poincare认为对任何一个封闭的三度空间，如果任何一条闭曲线都可以连续地收缩到一点，则这个空间必定是三维球面。37这个漂亮的问题吸引了数学家一百年。不单是因为它是一个难题，也因为它是研究三度空间的一个最基本问题。在1978年，Thurston提出全面了解三维空间的几何化猜测。他认为所有紧致封闭的三度空间必可由八种具有不同几何架构的三度空间构成。除了三维球和商空间外，最重要的乃是双曲空间。在所谓“足够大”的三度空间情形下，Thurston証明了他的猜想。但是他的方法不可能推展到最一般的三度空间上。381980年，我的朋友Hamilton发展了一套非线性微分方程组。他利用几何空间的曲率（Ricci曲率）来变动空间的几何。因此得到一些漂亮的定理。于是我建议他用这个方法来证明Thurston的几何化猜测。这是数学史上一个非常艰巨的事业。用到的工具是非线性方程和黎曼几何的理论。三十年来我们几何分析学家创造出来的定理都投入到这个研究领域里。39

Hamilton首先在正曲率的情形下解决了方程收敛性问题，奠定了重要的基础。这里侥幸地避开了微分方程的奇异点问题。但是在一般情形下，奇异点是不可避免的。Hamilton花了二十年的时间去研究奇异点的性质。40

对于一个非线性微分方程组，奇异点的架构极为复杂。所幸Hamilton方程乃是抛物形方程，它有比较好的性质。我在1985年与李伟光刚好完成在流形上的线性抛物方程的精细估计。我向Hamilton提出要将这个估计用到他的方程上。41

Hamilton因此提出了新的看法来接纳我的建议。他看出我和李伟光的估计办法最好在由他的方程产生的孤立子上去研究。孤立子有很多特殊的性质，因此我们的估计比较容易了解，也可以推展到Hamilton的方程。42

在1990年，Hamilton成功地推导了这个估计而得到奇异点的深入研究。这些研究可以说有划时代的重要性。在1995年，他在适当的条件下，找到全部了解Thurston问题的方法。这是极有深度的研究。 但是还有一些奇异点的问题尚未解决。如何控制奇异点切除的问题要到三年多以前俄国人Perelman的工作后才有头绪。43Perelman对上述Li－Yau－Hamilton估计做出更深入的了解，仿照他们的方法，引进了新的时空上的长度和体积来控制奇异点的变化。这些研究极为复杂。三年来很多人尝试补上Perelman遗留下来未证明的空白。直到最近，朱熹平和他的合作伙伴曹怀东和陈兵龙才将整个工作完成。这是几何拓扑创立以来最伟大的工作。44

我们可以想象二十一世纪的数学家将会花很多功夫来消化和深入研究这些空间的几何和调和分析。然后将三度空间的几何应用到物理学，数论和代数几何中去。45

微分方程组的奇异点是十分重要而又非常困难的问题。在工程上，在物理上，在计算数学上都遇到同样的问题。流体力学和广义相对论首要的问题就是如何处理奇异点。上述三度空间的方法应当会有更大发挥威力的地方。除了上述方法成功地处理奇异点外，古典的代数几何有Hironaka理论，用blowup的方法成功地处理代数空间的奇异点。希望这些方法能够得到统一。46四维空间的研究极为困难。到目前为止连一个让人信服的猜测都没有。最重要的四维流形是由代数曲面形成的，但目前人们还没有办法将其作细致的拓扑分类。四维空间拓扑的第一个突破是由Donaldson引入Yang－Mills理论完成的。以后Seiberg－Witten在九十年代得到另一个突破。总体来说，前途还很漫长。这将是几何学、几何分析学、代数几何学以及物理学一个共同的研究领域。几何分析是我们在七十年代发展出来的理论，在一九七六年我利用KahlerEinstein结构来证明了复的Poincare构想，因此一直来都深信用非线性方法来构造Einstein度量，是构造几何结构的主要方向。47在四维空间还有一个极为重要的几何结构就是self-dual度量的存在性，Taubes在相当一般的情形下，证明它的存在性，但是在四维拓朴的发展中没有得到应有的注意，问题在于我们对它们的模空间不了解，无从给予拓朴不变量的意义。无论是Einstein度量或self-dual度量，它们在四维空间时的几何意义都需要深入的研究，self-dual空间的twistorspace有自然的可积复结构，这个结构值得去探讨，应当和代数几何的方法甚至弦理论有关。48四维到八维空间都有重要的几何和物理意义。六维有Calabi－Yau空间，七维有G2空间，八维有Spin(7)和hyperkahler空间，它们在弦理论中都占有重要的位置。这些空间的研究牵涉到数学不同的领域。我们对它们的存在性和模空间仍不甚了了。六维以上的几何架构除了上述以外，最重要恐怕就是复架构的存在性问题。非代数的复流形可能会成为二十一世纪数学的一个重要方向。最近弦学家也在考虑这些架构。我们希望它们的研究对代数流形会有帮助。高维的代数流形的分类大致上需要更灵活的结构来帮忙，正如Cobordism理论，我们可能需要在更大范围的复空间来考虑流形如何改变它们的拓朴和子流形。由于Blowingdown并不保持代数复流形这种结构，流形的有理结构的分类可能要包括非Kahler的复流形。49

弦理论发现有不同的量子场论可以互相同构（isomorphic），然而scale刚好相反。在半径为R的圆上的场论与半径为1/R的圆上的场论同构。因而推出某些强CouplingConstant的理论可以同另一个弱CouplingConstant的理论同构，而后者可以从渐进分析理论来计算。(CouplingConstant可以解释如下，假设场论由LagrangianL给出，我们可以产生新的场论，其Lagrangian是L+CL’这个常数C就是couplingconstant)。50

由于R→1/R这种奇妙的对称可以保持量子场论的架构，使得我们可以用扰动性的方法去计算非扰动性的场论，在数学上有惊人的结果。最动人心弦的定理乃是由此引出的镜对称可以用来找出Calabi-Yau空间中代数曲线的公式。 更要注意的一点是时空的架构可能因此有基本理念的改变。极小的空间不再有意义。时空的量子化描述需要更进一步的探讨。物理学家和几何学家都希望能够找寻一个几何架构来描述这个量子化的空间。有不少学人建议用矩阵模式来解释这种现象，虽然未能达到目标，但已得到美妙的数学现象。51约在两百年前，Gauss发现Gauss曲率的理念而理解到内蕴几何时，就觉察到空间的理念与时而变与人类对大自然的了解有密切关系。这二十年来，超对称的理念深深地影响着基本物理和数学的发展。在实验上虽然尚未发现超对称，但在数学上却起着凝聚各门分支的作用。我们宁愿相信在极高能量时，超对称确实存在。但如何看待超对称在现实时空中的残余，应当会是现代应用物理和应用数学的一个重要命题。52

举例来说，在超对称的架构中，规范场和电磁场会与完全不相关的子流形理论同构。是否意味着这种日常能见的场论可以用不同的手法来处理？对偶的看法使得我们猜测复几何和辛几何有对偶的关系，大部分重要的动力系统可以在辛几何的架构上来考虑，这是否意味着很多重要的动力系统问题可以变成复几何问题来处理。53

在空间中找寻雅致的子流形是了解空间的一个重要环节。在我们见到平坦的空间里，我们就看到很多漂亮图形。但是在三维球里，这些图形会改变。在三维的圆环里，二维球不能连续地收缩成一点。这些二维球却提供了空间的重要讯息。微分几何学家对子流形的研究有很长久的历史，也应用它们到空间结构上去，但是没有有系统的结构性的研究。弦学理论却提供了这样的结构。54

在弦理论的影响下，有很多不同的子流形受到重视。它们叫做Brane。弦学家不单考虑子流形，还考虑子流形上的规范场。这一点为数学家提供了新的看法。 在十年前，我和一位博士后Zaslow就用这种新的看法找出K3曲面有理曲线的个数问题。我们发现这些数字与modularform有关。对代数几何学家来说，这是值得惊讶的结果。后来，Strominger、Zaslow和我又发现有些子流形（specialLagrangiancycle）对对偶空间提供重要的讯息，这些流形与代数流形同样重要。55一般来说，我们希望用拓扑或代数的方法来描述有宏观意义的子流形，在这个领域里，最重要的问题无过于Hodge猜测。 Hodge猜测的重要性在于它提供一个有效的方法去描述代数流形里面可用多项式来定义的子流形的同调群。无论在代数、算术、还是在几何里，这都是举足轻重的猜测。对于这个世纪的数学发展，这应当是一个重要的命题，很可能是几何分析一个主要目标。在数论里，由Grothendieck、Deligne以来发展的motivic理论试图理解这些子流形。Tate猜测则在算术流形上考虑同样的问题。我本人相信应当将代数流形推广到一般的复流形来考虑Hodge猜测，同时应当考虑更一般的子流形。56

数论学家为了研究算术而大胆地改变空间的定义。他们所引进的概念可能在现象界会有真实的意义。其中一个重要的几何叫做Arakelov几何。它在Faltings证明Mordell猜测时得到应用。这是很吸引人的一种几何。我们不单考虑在复数上定义的空间，也考虑同余于p的空间，而且要将所有这些空间一同处理。这种空间是否含有物理意义？57从相反的观点来说，弦学家提出holographicprinciple，希望用空间边界上的知识来确定空间本身的物理状况。他们发展出AdS/CFT的理论已经得出很多丰富的几何结果。

但是数学家还没有提出很好的办法来描述这个principle.Hilbert提出过一个问题可能与它有关:在流形的边界上任何两点的距离已经决定，可否决定流形的几何。58

现下来谈谈数学分析。从微积分发展以后，数学分析在Euler，Lagrange，Gauss，Fourier等人的大力发展下已成为基础数学、应用数学、工程学、经济学和物理学不可缺少的学问。从上述的讨论亦可以看到，近几十年来发展的几何分析是构造几何架构不可或缺的工具。函数结构和分析学59

牛顿力学中第一个重要问题就是引力问题。

星体问题的研究沿袭至今，产生了动力系统很多重要而漂亮的问题。由于Poincare，kolmogorov，Arnold，Moser一直到最近Mather，Hermann等人的工作，我们晓得星体问题的复杂性，尤其是三体问题已经出现了Chaos的现象。这个动力系统的理论变得极为困难，尤其是KAM的理论只有在轻微扰动时始能成立。在非扰动的Hamilton系统没有强有力的办法来了解多体的稳定性。非线性常微分方程组多姿多彩，他们的深入了解应当可以帮助偏微分方程的研究。60动力系统用到的办法影响了几何学中的测地线研究，例如geodesic流的ergodie理论，闭测地线个数的问题。Morse在这方面有大贡献，以后又有Conly的工作，geodesic的理论在微分几何中发展很快，例如equavarantcohomology在证明闭测地线的存在和算他们的个数起了很大作用，闭测地线的长度和Laplacian算子的谱有密切的关系，也许这些理论可以反过来帮忙多体问题。 在流形上，我们可以想象用点结合起来形成图后，用多体问题方法来处理其上的几何动力问题。事实上在处理Hamilton的Ricci流时，Li-YauHamilton和Perelman引入的时空上的路线积分基本上是Hamilton力学得出来的Lagrangian。61

历来科学家都很重视多体问题，尤其是体数很大的时候，无论古典或量子化的多体问题，都还有很多困难。一般说来，统计物理提供主要的方法。从Morrey开始到Varadhan和姚鸿泽等人的工作我们发觉流体方程可由多体问题推导。Dyson，Leonard，Lieb等人都为量子多体问题的稳定性做出重要的数学结果。

62粒子极多时，我们可用流体方程来逼近粒子的变化，但是粒子的残余性质不见得全部由连续方程吸收。尤其是粒子不算太多也不算太少的时候，古典的流体方程和Navier－Stokes方程未必能够准确地描述粒子的所有物理现象。反过来说研究流体方程的学人亦企图用粒子的随机过程来逼近和描述方程的动态变化。在各种重要的线性或非线性方程加上随机过程将是数学应用到工程学上一个重要方向。63

除了流体方程和描述表面张力的方程外，十九世纪的分析学家大致上致力于线性方程的研究。基本波动方程的模式是线性的（波的叠加成线性现象）。另外一个基本原因是任何非线性方程的研究必须奠基于线性方程的深入了解。（到目前为止，非线性方程的严格处理大致上仍在于控制它们的线性化方程。）64

十九世纪时数学家对Laplace算子、热传导方程、波动方程和Tricomi方程这些线性方程做了深入的研究。种种不同的积分变换如Fourier、Laplace变换等成为数学分析的重要支柱。Fourier级数的发现有划时代的重要性，它与线性算子的谱分析有密切的关系，它与积分方程理论引起了Hilbert空间的发现。Laplace算子和Dirac算子的谱分析在群表示理论、数论、几何学上都有重大的意义。举例来说，Dirac算子的研究导致Atiyah－Singer指标定理的证明，在现代数学上有重要的贡献。65各种不同的积分变换除了帮忙解决线性微分方程式外，也将Euler的发散函数理论得到严格化，Zeta函数因此得到解析延拓(Analyticcontinuation)Fourier变换可以用来证明PoissonSummationformula，这个公式仍然是一般函数作解析延拓时的主要工具，可是数论上重要的L函数的延拓问题还没有全部解决，它有深远的算术意义，我们需要新的解析延拓的工具，有了解析延拓，泛函方程(functionalequation)才有意义。有了泛函方程我们才知道这些函数的对称关系，这些函数的零点因此有特殊的性质，因此66黎曼猜测Zeta函数的主要零点是在Res=1/2的在线，我们当然希望黎曼和广义的黎曼猜想得到解决，这些问题有深远的算术意义，它们可否单用解析方法去全部解决，是值得思考的，它是否跟离散群、算术几何、谱分析或数学物理有关。在弦理论中也产生了很多有算术意义的函数，它们的解析延拓还未解决，它们的算术性质值得去研究。它们有没有适当的泛函方程呢？67一般来说在分析中，我们希望找到一组简单而易于控制的函数来表示任意一个函数或一个波，除了正弦和余弦函数外还有各种正交多项式orthogonalpolgromial，函数不同的表示引导出不同的收敛的方法，这些问题极为有意义，Carelson著名的L2

函数收敛定理可说是分析学中划时代创作。有界函数却有截然不同的表现，Carelson解决的一维的复函数理论的Corona问题还未推广到高维空间，在高维复几何中，这是有迫切需要的。我们对有界全纯函数组成的Banach代数理解不深。这些Banach代数的谱分析还待深入研究。68

在十九世纪中叶，多维变分法开始发展。当时研究主要集中在Lapalce算子（Dirichlet原理），以后推展到一般的椭圆形算子系统，成为方程解存在的一个主要办法。 调和分析和势场理论对Laplace算子提供了深入的了解。我们也因此有一个基础去研究非线性椭圆方程的正则性问题，从而解决了各种几何和物理上遇到的存在性问题。69

尽管如此，我们对非线性椭圆微分方程组了解还是不够深入，他们解的奇异点还待了解。本世纪会从几何和物理的观点去探讨。正如Hamilton工作中对奇异点的处理将会提供我们以后工作很多提示。各种不同的Scale会出现，如何有效处理scaling可能会从物理学里得到启示。 椭圆方程描述与时间无关的几何或物理状况。动态的方程极为困难，进展也比较缓慢，如何寻找非线性量的估计是主要问题。一般的能量估值是积分估值，不足以控制极为精细而有趣的现象。70

抛物方程与椭圆方程比较接近，其正则性也比较容易处理。上述的Hamilton、李伟光和我对抛物方程组的研究提供了非线性抛物方程一个有用的估值原则。我们在这些方程的特殊解（soliton）中先得到一些重要的量，然后利用极大值原理来证明它在一般情形下满足不等式。Hamilton和我发现这个原理是一般抛物方程共同的基本特性，是处理奇异点重要的工具。除了处理Ricci流外，它在应用数学里应当能发挥作用。71

抛物方程不单有它本身的几何和物理意义，它对椭圆方程也提供了新的方法。举例来说，线性的热方程是连接局部几何和流形上谱的一个桥梁。从物理上说这是古典力学过渡到量子力学一个过程。从这个观点来看，一个与时间无关的方程在寻找解时，很可能透过抛物方程得到深入的了解。72

二十一世纪的微分几何一个最重要的问题是Einstein方程解的存在性问题。在代数流形的理论里有所谓几何稳定性的理念。二十年前，我提出方程存在性与这种稳定性有关。这个想法己经成为一个重要的研究方向。在研究Kahler流形上的度量问题上，最重要的突破是由Donaldson作出的。这种稳定性的研究与辛几何里面的momentmap密切相关，假如我们认为辛几何和复几何对偶，我们或许可以更透彻地探讨这个现象。73

我相信大部分的微分方程组会有相似的现象。我们可以人为地加上时间而构成新的方程组。当时间趋于无穷时，希望找出原方程的解，或带奇异点的解。（奇异点的存在性会与上述方程的稳定性有关。）这种稳定性应当比古典的概念来得广泛，它与代数几何里的几何不变理论密切相关。74非线性波动方程比抛物方程困难。其中一个主要原因时在有限的速度下，我们没有很好的方法去控制不同的波互相消减的办法。在可积系统的波动方程中，有所谓inversescattering的方法将非线性方程转变成比较容易处理的线