《重修数学》

第2章 穿越，梦境？？？

伴随着一声尖叫，数学知识在我脑中快速飞逝。

十九世纪初，高斯证明了代数基本定理，发现了素数定理和二次互反律，他是现代数论之父。

他也研究了曲面的几何，发现了高斯曲率是内蕴的。

高斯、洛巴切夫斯基、鲍耶分别独立地发明了非欧几何学。

柯西和黎曼开拓了单复变函数论的研究，继起的研究者包括魏尔斯特拉斯、皮卡德、博雷尔、奈望林纳、阿尔福斯、希弗等。

在同一区域上的有界全纯函数形成一巴拿赫代数，其抽象边界需要等同起来。

卡尔森解决了平面圆盘上的日冕问题。

这问题在高维仍未解决。

德布兰奇解决了有关单值全纯函数系数的比伯巴赫猜想。

格拉斯曼、庞加莱、嘉当、德拉姆研究了微分形式。

魏尔定义了流形，并且利用投影法证明了黎曼曲面上的德拉姆分解。

德拉姆证明了德拉姆定理。

霍奇把魏尔的理论推广到高维流形上去。

他引进了星算子。

当流形是凯勒时，他对流形上面的微分形式作了更精细的分解。

他也把莱夫谢茨的拓扑定理表达成在霍奇形式所组成的空间上的一个表示。

利用奎伦和陈国才关于迭代积分的工作，沙利文看到德拉姆复形包含着流形有理同伦的信息。

沙利文和维格波里尔利用了格罗莫尔和迈耶的工作，证明了当一个单连通流形的有理上同调环并非由一个单元生成时，它上面存在着无限条不同的测地线。

阿贝尔利用置换群证明了当多项式方程的次数大于西时，一般的求根公式并不存在。

之后，伽罗瓦发明了群论给出了一个多项式方程是否可根式求解的判定准则。

索菲斯·李研究了对称性，并引入了对称变换的连续群，后世称为李群。

基林继续李群和李代数的研究。

伽罗瓦理论在数论有深远的影响。

阿廷和泰特研究了伽罗华模的一般理论, 比如用伽罗华上同调建立类域论。

岩泽健吉研究了伽罗瓦群为进李群时伽罗瓦模的结构, 并定义了算术的进-函数。

他提出了这个算术的进-函数与久保田富雄和利奥波德利用在伯努利数上插值所定义的进-函数是否本质相同这个问题。

里贝特、科茨、马祖尔和怀尔斯等人对岩泽理论作出了重大贡献。

1843 年，汉密尔顿引入了西元数，西元数对数学和物理都有深远的影响，后者见于狄拉克有关狄拉克算子的工作。

同时，凯利和格雷夫斯独立地引入了八元数。

1958 年，卡维尔和米尔诺独立地利用博特的周期性定理和理论证明了实域上有限维可除代数的维数只能是 1，2，4 和 8。

丢番图逼近论研究的乃是如何用有理数逼近无理数。

1844 年，刘维尔首次找出了具体的超越数。

图厄、西格尔和罗斯从此发展出一个求解不定方程的重要领域。

闵可夫斯基利用凸几何来求解。

继后者包括莫德尔、达文波特、西格尔和施密特等人。

黎曼引进了黎曼曲面，并开创了高维流形拓扑的研究。

他对复分析上的单值化定理首先给出一个差不多严格的证明。

庞加莱和科布把他的理论推广至一般的黎曼面。

黎曼推广了雅可比 theta 函数并引进了定义在阿贝尔簇上的黎曼 theta 函数。

透过对黎曼 theta 函数零点的研究，给出了雅可比反演问题的重要解释。

他又定义了黎曼 zeta 函数，并研究其解析延拓。

沿着 zeta 函数的想法，狄利克雷引进了函数作为推广，并用来证明了好些数论的定理。

黎曼 zeta 函数为哈达玛和瓦利普桑用来证明高斯的素数定理（初等证明后由埃尔德什和塞尔伯格给出）。

算子谱的 zeta 函数也用来定义算子的不变量。

雷和辛格利用这种正则化引进了流形上的不变量。

十九世纪，黎曼引进的黎曼几何学，其后为克里斯托弗尔、里奇、列维奇维塔等人所发展。

闵可夫斯基首先利用西维时空，完整地从几何的角度阐明狭义相对论。

所有这些工作给爱因斯坦的广义相对论提供了关键的数学工具。

广义相对论把引力看成时空几何中的某种作用。

格罗斯曼和希尔伯特对此皆有重大贡献。

黎曼开始了冲击波的研究，继之者包括冯·诺伊曼、弗理德里赫斯、拉克斯、格里姆、迈达等。

目前我们对高维冲击波所知甚少。

十九世纪，康托创立了集合论。

他定义了基数和序数，并且开始了对无限的研究。

1931 年，哥德尔证明了不完备定理。

塔斯基发展了模型论。

科恩发展了迫力理论，并且证明了在集合论中的 ZF 公理下，连续统假设和选择公理是独立的。

克莱因开创了克莱因群的研究，他在爱朗根纲领中提出利用几何的对称群来为几何学分类。

崭新的几何如仿射几何、射影几何和共形几何都可以用这观点来研究。

诺特阐明了如何从物理系统的连续对称群来得到守恒量。

1926 年，嘉当在几何中引进了和乐群。

和乐群为正交群的真子群的黎曼几何尤其特殊。

1953 年，贝格根据安保斯和辛格的工作，把能作为黎曼几何和乐群的李群都分了类。

当群是酉群时，所得到的便是 1933 年由凯勒引进的凯勒几何。

当它是特殊酉群时，所得到的便是卡拉比–丘几何。

当它是其他例外李群时，所得到的流形有好些由乔伊斯构造出来。

和乐群的概念为现代物理提供了内部对称。

1852 年，林德曼证明了代数整数的指数乃是超越数，他也建立了圆周率的超越性。

他的定理稍后由魏尔斯特拉斯所推广。

在 1934 年和 1935 年之间，盖尔范德和施耐德解决了希尔伯特第七问题，因此推广了林德曼–魏尔斯特拉斯定理。

1966 年，贝克给出了盖尔范德–施耐德定理的有效估计。

1960 年代，史安努尔提出了一个更广泛的猜想，其后格罗腾迪克又把史安努尔猜想推广，成为代数几何学上有关积分周期的某些猜想。

庞加莱、诺特、亚力山大、霍普夫、惠特尼、切赫等人为代数拓扑学奠下了基石。

他们引进了如链复形、切赫上同调、同调、上同调和同伦群等重要概念。

一个非常重要的概念是庞加莱提出的对偶性。

希尔伯特研究了积分方程，并引进了希尔伯特空间。

他又探究在希尔伯特空间上自共轭算子的谱分解。

希尔伯特空间上算子形成的代数是了解量子力学的基本工具。

它们先由冯·诺伊曼、继而由孔涅和琼斯等人研究。

28.希尔伯特打下了一般不变量理论的基础，继之者有蒙福特等人。

它成了探求各种代数结构模空间的重要工具。

如把退化的代数结构也算进去，在很多情况下，代数几何结构的模空间也是代数簇。

周炜良利用周氏座标，把固定次数的代数簇在投影空间中参数化。

德利涅–蒙福德把代数曲线的模空间紧化，而吉塞克和维赫威格则把一般型流形的模空间紧化了。

吉塞克和丸山正树研究了向量丛的模空间。

对阿贝尔簇的模空间而言，西格尔空间的商的紧化是经典的结果，这是基于闵可夫斯基的归结理论。

对具有有限体积的局部对称空间而言，博雷尔、贝利、佐武一郎、塞尔等人作出了不同的紧化。

另一方面，一个非常重要的解析方法是蒂希米勒利用拟共形映照，给出黎曼面的模空间。

阿尔福斯、伯斯、罗伊登等人是这做法的后继者。

基于高斯互反律，库默尔扩张，克罗内克尔以及亨塞尔关于理想与完备化的工作，希尔伯特引入了类域论。

受高木贞治早期关于存在性定理工作的启发，阿廷证明了阿廷互反律。

阿廷和泰特利用群的上同调重建了局部和整体类域论。

后来工作由志村五郎、塞尔、朗兰兹和怀尔斯通过一系列紧密地结合数论与群表示论的研究完成。

除了朗兰兹纲领外，高维类域论也出现在代数理论中。

二十世纪初，嘉当和魏尔对紧李群丶李代数及其表示论都作出了杰出的贡献。

魏尔把紧群的表示用于量子力学。

德利涅、卢斯提格等人为李类型的有限群表示论奠下基石。

数学物理学家如维格纳、巴格曼、麦基等开始把某类特殊的非紧群的表示论应用于量子力学。

继基里洛夫和盖尔范德学派关于幂零群和半单群表示论的重要工作后，哈里斯钱德拉为非紧李群的表示论打下基础。

他的工作影响了朗兰兹有关爱森斯坦级数的工作。

皮亚捷斯基夏皮罗、盖尔范德、朗兰兹、雅克、亚瑟、博雷尔等人发展了自守表示理论，其中的基于进位群的表示和赫克运算的 adelic 方法十分有用。

布雷尔–博特–韦伊型定理给出李群的表示论几何方面深刻的看法。

布劳威尔、霍普夫、莱夫谢茨等开始研究拓扑中的不动点理论。

稍后阿蒂雅和博特将之推广至一般的椭圆微分复形。

西格尔与阿蒂雅研究了等变理论。

1982 年，杜斯特马特与赫克曼发现辛局部化公式，随后柏林和韦尔涅、阿蒂雅和博特分别独立地在等变上同调下得出了局部化公式。

阿蒂雅和博特为环面作用的不动点引入了有效的等变上同调局部化方法。

它们己成为代数几何中有力的计算工具。

伯克霍夫和庞加莱是现代动力系统和遍历理论的谛造者。

冯·诺伊曼和伯克霍夫证明了遍历定理。

科尔莫戈罗夫、阿诺德、摩瑟证明了在可积系统中的不变环在小扰动下不会消失，因此遍历性并非汉米尔顿系统的典型性质。

奥恩斯坦证明了伯努利移动由其熵决定。

1928年，魏尔引进了他的规范原理。

在 1926 年到 1946 年期间，主纤维丛的研究（非阿贝尔规范场论）由嘉当、埃雷斯曼和其他人发展了。

差不多同一时期，惠特尼开始了示性类和向量丛理论（斯蒂费尔给出其中一个特殊情况）的研究。

庞特利雅金对实向量丛引入了示性类。

1945 年，陈省身根据托德和艾德格的工作创造了陈类。

陈省身和西蒙斯引入了陈–西蒙斯不变量。

透过拓扑量子场论，这些不变量对纽结不变量以及凝聚态物理学都很重要。

1954 年，泡利、杨振宁–米尔斯把魏尔的规范原理和嘉当、埃雷斯曼、陈省身等创造的非阿贝尔规范场论用到粒子物理学上去。

然而，这些理论没能解释物质质量的存在，一首到对称破坏理论，以及提霍夫特和法德耶夫等人的基础性工作的出现，问题才有进展。

魏尔有关微分算子谱的基础工作影响了量子力学、微分几何和图论的发展。

魏尔定律给出特征值的渐近性质。

椭圆算子的谱和谱函数的特性成为调和分析最重要的分支。

闵那克史孙达朗和普莱耶尔研究了特征值的 zeta 函数的基本性质。

雷和辛格定义了拉普拉斯算子的行列式，并且引进了雷–辛格不变量。

对狄拉克算子而言，阿蒂雅–辛格–帕度提研究了 eta 函数，对奇数维的流形得到其 eta 不变量。

薛定谔发明了薛定谔方程，用以描述量子或波动力学中波函数的动态。

魏尔和薛定谔用它来找到氢原子的能量层。

海森堡和魏尔发现波函数满足测不准原理，即函数与其傅立叶变换不能同时局部化。

费曼在量子力学中引入了路径积分，它是研究物理系统量子化最重要的工具。

莫德尔提出了以他命名的猜想。

他也证明了有理椭圆曲线上点群的秩是有限的。

韦伊研究莫德尔–韦伊群，把莫德尔的工作推广以包含数域。

西格尔研究了算术簇上的整点。

包括莫德尔猜想在内的许多重要的猜想最后是被法尔廷斯凭藉阿拉克洛夫几何解决的，他亦破解了阿贝尔簇上的沙法列维奇猜想。

特征函数的零点曾为众多人研究。

柯朗发现了节区域定理。

丘成桐指出节点集的体积是一个在形变下稳定的量，并且对这个量的上下界作出精确的猜想。

这猜想变成了谱研究的重要方向。

唐纳利和费弗曼在实解析的条件下证明了丘成桐猜想。

对光滑流形而言，几个不同的做法得到有用的结果，但距完满尚远。

二十世纪三十年代，巴拿赫引进了巴拿赫空间用以描述无限维的函数空间。

汉恩–巴拿赫定理是研究这空间重要的工具。

林克森斯特拉斯、恩福、布尔甘和其他人对巴拿赫空间的重要问题（包括不变子空间）皆有巨大贡献。

肖德在巴拿赫空间上证明了不动点定理，用以求解偏微分方程。

摩尔斯首创以拓扑研究临界点理论，同时以临界点理论研究拓扑。

透过博特、米尔诺、史梅尔等人的努力，摩尔斯理论己成为微分拓扑中的重要工具。

博特找到了典型群的稳定同伦群的周期性，这是重要的发现。

米尔诺引进了割补理论，而史梅尔则证明了配边定理，从而解决了维数大于西的庞加莱猜想。

格林函数、热核和波核等再生核在霍氏积分方程理论中扮演着重要的角色。

哈达玛 找到了这些核的近似，称为拟基本解。

塞戈、伯格曼、波克拿等人研究了在多复变函数论中重要的不同函数空间上的再生核。

华罗庚计算了 Siegel 域上核函数。

伯格曼利用他的核函数来定义伯格曼度量。

费弗曼对有界光滑严格拟凸域上的伯格曼度量作出了详细的分析。

从他的分析中，可以知道双全纯变换首到边界都是光滑的。

卡兹丹研究了在流形覆盖下伯格曼度量的结构。

他证明了志村簇的伽罗瓦共轭仍然是志村簇。

波克拿引入方法证明了把拓扑和曲率联系起来的消灭定理。

这种方法后来被小平邦彦应用到算子上，也给里赫那洛维奇用到狄拉克算子上。

小平用他的消灭定理证明了具整凯勒类的紧凯勒流形必是代数的。

莫雷把它推广到纽曼问题上，从而解决了其中的李维问题，以及证明了实解析流形上存在着实解析度量。

科恩改进了莫雷的工作，重新证明了纽兰德–尼伦伯格有关近复结构可积性的定理。

冈洁和格劳特也解决了李维问题。

小平、斯宾塞和仓西正武研究了复结构的形变。

布劳尔、汤姆森、费特、戈伦斯坦恩、铃木通夫、泰兹、康威、格里斯、阿施巴赫等人共同完成了有限单群的分类。

月光猜想把魔群的表示和自守形联系起来，它是由博切德斯首先证明的。

维格纳在重原子核谱的研究中引进了随机矩阵。

戴森猜测这些谱满足随机酉矩阵和正交矩阵中的半圆法则。

BGS 猜想指出其古典对应显示纷乱状态的谱统计可以用随机矩阵理论来刻画。

沃库乐斯古引入了自由概率来描述随机矩阵的渐近行为。

1928 年，拉姆齐发明了拉姆齐理论，用以在无序中寻找规律。

1959 年，埃尔德什和仁易提出了随机图的理论。

1976 年，阿佩尔和哈肯利用计算机证明了西色问题。

霍奇提出了一个重要的问题，即一个型的霍奇类能否在相差一个挠动下由代数闭链所表示。

差不多同时，周炜良引进了代数闭链簇。

代数积分的周期在理解代数闭链中起着重要的作用。

这些积分的计算要用到全纯微分方程，如皮卡德–福克斯方程便用于计算椭圆曲线的周期。

1963 年，泰特提出霍奇猜想在算术上的对应猜想，用在 Étale 上同调上的伽罗瓦表示来描述在算术簇上的代数闭链。

法尔廷斯对数域上的阿贝尔簇证明了泰特猜想。

科尔莫戈洛夫、辛钦、列维奠定了现代概率论的基础。

马尔可夫链是马尔可夫引入的，而伊藤清开始了随机微分方程的研究。

维纳定义了布朗运动，将它视为在函数空间上的高斯过程。

他亦开始了维纳过程的研究。

戴森利用量子力学来解释物质的稳定性，利布及其合作者作进一步研究。

克莱默引入了大偏差理论。

布罗德本特和哈默斯利则引入了渗流理论。

冯·诺伊曼首先利用算子代数来研究量子场论。

接着的是富田稔和竹崎正道的工作。

孔涅引进了非交换几何。

琼斯引进了琼斯多项式作为第一个量子连结不变量。

威滕利用陈–西蒙斯的拓扑量子场论来解释纽结上的琼斯多项式；后来科瓦诺夫用他的同调来解释琼斯多项式。

1932 年，冯·诺伊曼和朗道在量子力学中引进了密度矩阵的概念。

冯·诺伊曼把经典吉布斯熵推广到量子力学上来。

维纳和香农分别对信息论作出了重要的贡献，他们各自引进了熵的概念。

维纳发展了控制论、认知科学、机器人学和自动化。

罗宾逊和鲁尔提出有关量子熵的强次可加性的猜想，猜想其后为利布和鲁斯凯所证明。

勒雷引进了层论和谱序列，它们是代数几何和拓扑的重要工具。

塞尔发展了可以计算球面同伦群无挠性部分的谱序列。

亚当斯也引入他的谱序列来研究球面的同伦群。

韦伊建构起代数几何和数论之间深刻的联系。

他运用高度和伽罗瓦上同调群来研究无限下降法。

对有限域上的代数簇，他提出了对应的黎曼假设。

他也提议研究一般域上的代数几何，从而对数论获得重要的洞识。

德沃克、阿廷、格罗腾迪克、德利涅一起完成韦伊的规划。

德利涅证明了韦伊猜想，奠定了算术几何学的基础。

格罗腾迪克、塞尔、德沃克和阿廷对代数几何和算术几何的发展皆有基本的贡献。

塞尔在其奠基性工作 FAC 中将勒雷提出的层论应用到代数几何中去。

格罗腾迪克受此启发引入概型，拓扑斯等概念把代数几何用范畴与函子的语言重新建立起来。

此后格罗腾迪克及其学生发展出了-进上同调，Étale-上同调，晶体上同调并提出终极上同调理论 --- motive 理论。

这些理论搭建了现代代数几何的基本框架。

凯勒流形上的中间雅可比概念首先由韦伊引进，稍后又被格里菲斯以不同的形式找到。

在许多情形下，托里里型定理（它对代数曲线是成立的）被提出和证明，一个重要的情形和K3曲面有关。

代数流形退化时其上霍奇结构的变化曾被德利涅、施密德、斋藤恭司等人研究。

戈列斯基和麦弗森引进了相交上同调来研究代数结构的奇异行为。

扎克猜测对志村簇来说，相交上同调和上同调是同构的。

其后这猜想被路安加和萨珀–斯特恩独立证明了。

莫雷证明了带粗糙系数的经典单值化定理，他也解决了一般黎曼流形上的普拉托问题，从而推广了道格拉斯和拉多的工作。

魏尔提出了有关正曲率曲面的嵌入问题；闵科斯基提出了闵科斯基问题。

对实解析曲面而言，这两个问题都被路维解决了，而光滑曲面的情况则由波哥列洛夫和尼伦伯格独立地解决。

高维的闵科斯基问题则由波哥列洛夫和郑绍远–丘成桐独立地解决。

实蒙日–安培方程曾由坎托罗维奇应用到最优化传输的研究中。

庞特利雅金在拓扑学中引进了配边理论。

托姆计算了定向流形的配边群，希策布鲁赫利用它证明了可微流形上联系庞加莱对的符号差和庞特利雅金数的符号差公式。

米尔诺利用它证明了七维怪球的存在，从而开启了流形上光滑结构的研究。

凯尔维和米尔诺为怪球作出分类，并同时和诺维科夫开展了割补理论。

割补理论对单连通光滑流形的分类提供了十分重要的工具。

华尔利用基本群进行割补手术。

割补理论为研究同伦结构、拓扑结构、PL 结构、光滑结构以及特殊结构的配边理论等重要问题提供了强有力的工具。

其中包括了柯比–西尔伯曼、布鲁菲尔–马德森–米格里姆和布朗–彼德森的工作。

图灵引进了图灵机的概念，并开展了计算性理论。

库克把定理证明的复杂性这概念精确化，并提出著名的问题（列文也独立地提出过）。

瓦理安特引进了完备性的概念，并应用它来解释枚举的复杂性。

艾伦伯格和麦克莱恩最先利用公理化的方法来建构同调论，同时也引进了艾伦伯格–麦克莱恩空间来研究群的上同调。

其后上同调理论由霍奇希尔德等人引进到代数及李氏理论中。

作为上同调理论的推广，格罗腾迪克、阿蒂雅、希策布鲁赫等人引进了理论。

在标准上同调理论中自然存在的运算如上下积和平方运算，在理论中皆有对应。

塞尔伯格、马古利斯、拉特纳、博雷尔等人利用遍历理论、分析和几何来研究李群的离散子群。

塞尔伯格找到了迹公式，把半单李群除去离散子群的商空间的拉普勒斯算子谱和这个离散子群的共轭类联系起来。

莫斯托使用拟共形方法证明了作用在双曲空间形式上格的刚性。

他也证明了高秩群上格的超刚性。

塞尔伯格曾猜想后者是算术的，这是由马古利斯证明的。

拉特纳和马古利斯一起证明了有关离散群的拉古纳坦和奥本海姆猜想。

布鲁哈特–泰兹建筑是由泰兹引进的，目的是了解例外李型群的结构。

它也可以用来研究进李型的齐性空间。

费德勒、费莱明、阿尔姆格伦和阿拉德等人发展了几何测度论。

邦比里、德-乔治、朱斯蒂合作解决了伯恩斯坦问题。

和西蒙斯的工作结合起来，他们证明了面积极小超曲面最坏有余 7 维数的奇点。

阿尔姆格伦证明了面积极小流在一个余 2 维的闭集外是光滑的。

萨克斯–乌伦贝克利用变分原理和冒泡过程发展了流形中极小球面的存在性。

萧荫堂–丘成桐利用这成果证明了弗伦克尔猜想；格罗莫夫又用它探究了辛几何上的不变量。

.卡尔德隆和齐格蒙德研究了卷积型的奇异积分算子，从而推广了希尔伯特变换丶贝林变换和里茨变换。

他们借用了哈代–利特伍德、里茨、马辛基维奇等前人的工作，研究了函数的分解定理。

希策布鲁赫利用他自己的可乘序列理论和塞尔对代数曲面的一个观察，找到了高维的黎曼–洛赫公式。

他的公式对代数流形成立。

阿蒂雅和辛格把它拓展到更一般的椭圆微分算子上，并且证明指标定理。

希策布鲁赫–黎曼–洛赫公式从而在一般情况下是对的。

小平邦彦利用这个一般定理，把意大利学派有关代数曲面的分类推广到一般的复曲面上去。

线性微分算子开始进入到微分拓扑中，其中最重要的如狄拉克算子和算子。

希策布鲁赫、格罗腾迪克、阿蒂雅和希策布鲁赫、博特等人发展了理论，并利用它解决了不少代数和拓扑上的重要问题。

代数理论是由米尔诺、巴斯、舒奈尔、斯坦伯格、斯旺、格斯腾、奎伦等人发展出来的，从此深刻的代数方法，成为理解拓扑中问题的强力工具。

斯温讷通-戴尔和伯赫提出了他们有关椭圆曲线的著名猜想，这猜想猜测哈塞–韦伊zeta函数在中心点处的首项次数等于莫德尔–韦伊群的秩。

科茨–怀尔斯，格罗斯–扎吉尔与括里瓦根等人对这猜想都作出了重要的贡献。

在海尔布隆、海格纳、斯塔克的工作之后，哥德菲尔德借用了格罗斯和扎吉尔的工作来给出二次虚域的类数的一个有效界，从而解答了高斯的一个老问题。

贝林森、布洛赫、加藤和也等人又把这猜想推广到高维的算术簇上。

惠特尼开启了将流形浸入和嵌入到欧几里得空间的研究。

浸入的高斯映射给出了流形到格拉斯曼流形的分类映射，从而将流形上的向量丛进行分类。

惠特尼开始了合痕意义下的浸入分类工作，最后由史梅尔和希雷奇完成。

浸入猜想最终由科恩于 1985 年证明。

该猜想指出维流形可以浸入到维数为的欧几里得空间，其中是的二进制表示中1的个数。

纳什证明了任何流形都可以基于他的隐函数定理等距地嵌入到欧几里得空间中。

但是嵌入维数不是最佳的。

格罗莫夫极大地扩展了史梅尔和希雷奇的浸入理论，以处理微分关系。

由于曲率退化，曲面局部嵌入到三维空间仍未解决。

林长寿解决了非负曲率情形。

德-乔治、纳什、摩瑟和克雷洛夫发展了关于标量函数的一致椭圆偏微分方程的正则性理论。

卡法雷利、斯普鲁克和尼伦伯格对完全非线性椭圆方程作了类似的工作。

孙理察等人研究了含临界指标的半线性和拟线性方程。

彭罗斯和霍金在广义相对论中引入了奇点理论，从而为黑洞理论奠定了严格的数学基础。

克尔发现了带有角动量的黑洞方程的解，成为了所有黑洞理论的基础。

卡特、伊斯雷尔和霍金在事件视界的正则性假设下证明了黑洞的唯一性。

孙理察和丘成桐首次证明了因物质凝聚而形成的黑洞的存在性。

克里斯托杜洛和克莱因曼证明了闵科斯基时空是动态稳定的。

广中平祐证明了特征零上的代数簇的奇点可以通过逐次胀开来消解。

马瑟和丘成栋指出孤立奇点的分类可以转化成为对有限维可交换代数的研究。

森重文提出了极小模型理论来研究高维代数簇的双有理几何。

之后这一理论被川又雄二郎、宫冈阳一、舒库罗夫、科尔拉等人所发展壮大。

1938 年，史密斯最早使用上同调理论研究作用于流形上的有限群。

博雷尔于1960年扩展了史密斯理论，引入了等变上同调。

史密斯猜想断言作用在三维球面上的循环群的不动点集是一个平凡纽结。

通过米克斯–丘成桐的极小曲面方法、瑟斯顿的几何化纲领以及戈登关于群论的工作，史密斯猜想最终被解决。

米克斯–西蒙–丘成桐还把结果扩充至包含怪球的情形，通过证明三维流形中嵌入的球面可以合痕于由曲线连结起来的不相交的嵌入极小球面。

1947 年，丹齐格发明了线性规划中的单纯形法。

1984年，卡马尔卡引入内点法，其复杂度是多项式有界的。

梅耶和马拉特发展了小波分析，紧随其随后有多贝西和科夫曼。

1967 年，加德、格林和克鲁斯卡尔提出了用逆散射法来求解KDV方程，他们找到了孤立子解。

后来，该方法扩展到许多著名的非线性偏微分方程。

这方法可以看成在黎曼–希尔伯特对应中的因子分解问题。

拉克斯对的引入有助于从概念上理解该方法，而盖尔范德–列维坦方法也被涉及。

朗兰兹纲领是现代数论很多方面的推手，它将数论、算术几何和基于自守形式一般理论的调和分析统一起来。

雅克和亚瑟为这一纲领做出了重要贡献。

怀尔斯解决谷山–志村–韦伊猜想是该纲领的巨大成功。

利用这个猜想，怀尔斯在泰勒的协助下，根据弗莱、塞尔和里贝特在椭圆曲线上的早期观察，证明了费马大定理。

厄尔斯和桑普森证明了映到非正曲率流形上中的调和映射的热流总是存在的，并且收敛到一个调和映射。

汉密尔顿在由黎曼度量构成的空间中引入了里奇流。

他在这一领域中的大量工作还包括对一般抛物方程中重要的李伟光–丘成桐不等式的推广。

汉密尔顿、休斯肯、辛斯特拉里等人对平均曲率流发展了一套平行理论。

通过与孙理察、西蒙、乌伦贝克、汉密尔顿、陶布斯、唐纳森等人的合作，丘成桐为现代几何分析奠定了基础。

他们通过使用非线性微分方程解决了一系列几何问题。

其中最具代表性工作是卡拉比猜想的证明，丘成桐确定了哪些凯勒流形上可以容纳凯勒–里奇平坦度量。

奥宾和丘成桐确定了数量曲率为负的凯勒–爱因斯坦度量的存在性。

丘成桐以此证明了陈数不等式，从而意味着关于射影空间上代数结构唯一性的塞韦里猜想成立。

丘成桐提出范诺流形上凯勒–爱因斯坦度量存在性的猜想，其中牵涉及某种稳定性。

1979 年，孙理察和丘成桐解决了正质量猜想，这证明了孤立物理时空在能量上是稳定的。

最初证明只适用于一至七维。

威滕随后在自旋流形上利用旋量给出另一个证明。

彭罗斯、巴特尼克、霍金、吉本斯、霍洛维茨、布朗、约克等许多学者研究了拟局部质量的概念。

瑟斯顿根据八种典型几何结构提出了对三维流形进行了分类的大纲。

基于莫斯托的强刚性定理，他证明了非环状的和足够大的三维流形可以具有唯一的双曲度量。

在证明过程中，他研究了黎曼曲面上的动力系统以及全纯二次微分定义的奇异叶状结构。

他还证明了流形上余维数为1的叶状结构存在当且仅当流形的欧拉数为零。

弗里德曼运用卡斯森把手和宾格拓扑理论，证明了西维庞加莱猜想，并且对所有单连通流形作了拓扑分类。

1982 年，威滕运用量子场论和超对称性的观念推导出摩尔斯理论，为连接几何与物理提供了一个强有力的工具。

1988 年，他引入了拓扑量子场理论，随后的阿蒂雅使用了西格尔关于共形场理论公理化的部分思想。

从这一观点出发，人们找到了许多拓扑不变量，它们在凝聚态理论中有着重要的意义。

唐纳森根据乌伦贝克和陶布斯在西维流形上规范理论的模空间的工作，发现了光滑西维流形的二阶上同调群的相交对的新约束，这与弗里德曼的上述工作有着鲜明的对比。

唐纳森还定义了西维流形的多项式不变量。

在赛伯格和威滕引入他们的不变量后，该理论得到了简化。

赛伯格–威滕不变量可用于解决有关代数曲面拓扑的几个重要问题。

在特鲁丁格和奥宾的一些工作之后，孙理察完成了关于共形几何的山辺猜想的证明，架起了广义相对论数学与共形几何学之间的桥梁。

孙理察和丘成桐以此对正数量曲率的完备共形平坦流形的结构进行了分类。

孙理察和丘成桐在正数量曲率流形中引入度量割补。

格罗莫夫和劳森跟进了这项工作并发现它与自旋配边有着密切相关。

结果斯托尔茨找到了紧单连通流形在维度不为 3 和 4 时具有正数量曲率度量的充分必要条件。

对于非单连通流形，还有其他基于孙理察–丘成桐的极小超曲面的判别标准。

1986 年，乌伦贝克和丘成桐求解了稳定丛的埃尔米特–杨–米尔斯方程，而唐纳森使用不同的方法在代数曲面上进行了相同的求解。

唐纳森–乌伦贝克–丘成桐定理成为杂弦理论的重要组成部分。

其后，辛普森使用它的分析来给出带希格斯场的全纯向量丛，这是希钦提出的概念。

吴宝珠使用希格斯丛证明了朗兰兹纲领中的基本引理。

受到威滕在摩尔斯理论上的工作的启发，弗洛尔定义了辛几何中的弗洛尔理论。

陶布斯证明了赛伯格–威滕不变量等同于他定义的辛不变量，他称之为格罗莫夫–威滕不变量。

由此他证明了射影平面上辛结构的刚性。

格林和普莱莎与坎德拉等引入了卡拉比–丘空间的镜像对称性。

坎德拉等人利用镜像对称性来得出了枚举几何学的五次三维形计算公式。

纪梵特与连文豪–刘克峰–丘成桐分别独立严格地证明了该公式，从而解决了枚举几何学中的一个古老问题，同时也显示了弦论为几何学提供了有力的数学预测工具。

作为镜像对称性的范畴化陈述，康切维奇提出了同调镜像对称。

史聪闵格–丘–扎斯洛使用特殊拉格朗日闭链，对镜像对称性作出几何解释。

这两种做法使得代数几何与弦论的互动活跃起来。

舒尔首次提出因子分解的量子算法，比经典算法快指数倍。

它推动了量子计算的发展。

................................................................................................................................什么！！！

阳光透过校园的树叶间洒下斑斓的光线。

踏进校门，映入眼帘的是一片宽阔的操场，绿色的草地上铺着鲜红色的塑胶跑道，宛如一条活力西溢的彩带。

西周环绕着高大的树木，它们像忠诚的卫士，默默守护着这片欢乐的天地。

校园里，花坛中的花朵竞相开放，五颜六色，争奇斗艳，散发出阵阵芬芳。

微风拂过，花瓣轻轻飘落，如梦幻般美丽。

教学楼矗立在花坛旁边，墙壁被刷成了温暖的颜色，给人一种舒适和亲切的感觉。

教室里宽敞明亮，桌椅摆放整齐，窗户干净透明。

黑板上整齐地写着当天的课程，墙上挂着学生们的作品，展示着他们的创造力和才华。

教室里传出朗朗的读书声，仿佛是知识的乐章，充满了希望和活力。

校园的一角还有一个小花园，里面有各种各样的植物，是同学们观察自然、亲近大自然的好地方。

在这里，他们可以尽情探索植物的奥秘，感受大自然的魅力。

我回到小学了，嗯！

不对，我为什么会说回到小学了，可恶，脑袋晕乎乎的，我尝试在继续回忆，记忆中我仿佛置身于一个朦胧的梦境中，记忆如缕缕轻烟，模糊而缥缈。

那是一个遥远的过去，场景和人物都隐约可见，却又无法清晰地捕捉。

我努力拼凑着这些零碎的片段，试图还原出完整的画面。

记忆中的颜色似乎都被蒙上了一层薄纱，不再鲜艳明丽。

声音也变得遥远而低沉，仿佛从另一个时空传来。

我只能凭借一丝感觉去追寻那些曾经的身影和情感，却始终难以触及它们的真实。

那些模糊的记忆时而闪现，时而隐匿，让我在迷茫中徘徊。

我试图抓住它们，却又如指间沙般轻易流失。

它们如同幻影，在我的脑海中若隐若现，给我带来一种莫名的惆怅和失落。

或许，这些模糊的记忆是时间留下的痕迹，是岁月侵蚀后的残片。

它们虽然不再清晰，却依然深深地烙印在我的心灵深处，偶尔唤起我对过去的思考和感慨。

其中最为吸引着我的是哪发着光亮的小球，它们在我的脑海中跳跃、旋转，如同一群小精灵在嬉闹。

每一个小球都承载着一段数学知识或解题思路，它们散发着迷人的光芒，诱惑着我去探索其中的奥秘。

我伸出手，轻轻触摸其中一个小球，瞬间，一段复杂的数学公式在我眼前展开。

我沉浸其中，仔细思考着每一个符号和数字的意义，试图解开这道难题。

随着我的深入思考，小球的光芒变得更加明亮，仿佛在为我加油鼓劲。

我像是在迷宫中寻找出口，又像是在攀登一座陡峭的山峰，每一步都充满挑战。

但当我靠近他们是，他们的身影却又模糊不清......张伟张伟张伟醒一醒，张伟......

小说《重修数学》试读结束，继续阅读请看下面！！！