第四百二十二章 提出问题和解决问题（4/5）

下数学界虽然予以庞学林高度评价，但基本上还是将他与上世纪的格罗滕迪克对等看待。

即使在法尔廷斯眼中，庞学林也是一个年轻版的格罗滕迪克。

“皮埃尔，你为什么会这么说？”

法尔廷斯好奇道。

德利涅扭头看了法尔廷斯一眼，微笑道“我从他眼中看到了热情和野心，他现在才二十五岁，至少还有二十年的巅峰期，你能想象，二十年内他能做出多少成就吗？就算他彻底统一了代数与几何这两大基础学科，也并不让我感觉到意外。”

庞学林没有理会台下的喧闹声，微微一笑，说道“我觉得在未来的一百年，以下问题将是我们数学界急需解决的一些难题。第一，岩泽理论的主猜想。”

“数论中，岩泽理论是理想类群的伽罗瓦模理论，是日本数学家岩泽健吉在1950年末期发展起来的一套研究数域（即q的有限扩张）的z扩张的算术性质的理论，最常见的z扩张是所谓的分圆z扩张。这类域是德国数学家库默尔为证明费马大定理而首先研究的。事实上，如果整数环z[c?]是唯一分解环，那么在证明费马大定理的征途中就不会遇到那么多的困难。

分圆z扩张就是下述分圆域的扩张

noqc~，

nn就是循环群对任意aznz，aav由伽罗瓦理论，kk的伽罗瓦群g是g?的射影极限，即进整数环z。

……

岩泽主猜想或称主猜想，即岩泽理论的主要猜想）是说chachsc。可以看出，a说明的是数域的理想类群，是一个纯粹的代数对象而分圆单位本质上是一个解析对象。事实上，令，scs1~s∑1ns，此函数称为v进c函数，它是上是连续函数，并且其在负整数处的值可以用的一个首一多项式的插值来表示。

进函数是进i函数的一个例子，它体现了对应数域的解析性质。

atesiles和lean在明显互反律的工作表明上述多项式和chfc只是相差一个固定多项式。所以我们知道主猜想是关于分圆域的代数性质和解析性质的深刻联系的猜想

岩泽理论从诞生一开始就是数论研究的重要工具。在1972年，azur建立了椭圆曲线的岩泽理论，并提出了虚二次域上的主猜想后来人们又提出了许多其他形式的主猜想，包括otive上的主猜想等。进伽罗瓦表示上的岩泽理论的研究对于进bsd猜想、serre猜想等都非常重要

1983年，azur和iles使用深刻的代数几何办法证明了岩泽主猜想。利用科利瓦金的欧拉系的办法，rub证明了虚二次域上的主猜想，并给出了分圆域主猜想一个新的证明。

而其他形式的主猜想依旧是数论和算术代数几何研究的热点内容。”

……

nf）猜想。”

“整体微分几何的核心问题之一是研究局部不变量和整体不变量的关系，研究曲率和拓扑的关系。

我们来考察曲面s，它上面有度量，也就有gas曲率k，如果曲面是紧致无边的话，gas曲率k就可以在整个曲面上进行积分。一个曲面不一定只容有一个度量，可以有另外一个度量，换了度量以后，相应的gas曲率k也就变了，但积分值与曲面的度量无关，而只与曲面的euler不性数x5有关。

nn公式所揭示的深刻内涵。

nas曲率可以推广为截面曲率，它由黎曼曲率张量所决定，被积函数是由曲率张量组成的很复杂的代数式子，称为gasn被积函数，它在整个流形上的积分，应该由这个流形的euler示性数所决定。它的内蕴证明是陈省身得到的，后来就称为gasn陈公式。

对紧致无边的偶数维流形