第四百二十二章 提出问题和解决问题(2/2)
“因此，今天我将就以我浅薄的学识，谈一谈当下我们数学的发展，将要面临的一些问题。”
庞学林的话音落下，现场不由得响起了一阵嗡嗡嗡的声音。
几乎所有人都震惊地看着庞学林。
谁也没想到，庞学林在这场报告会上，做出这样的演讲。
他这是要效仿一百多年前的大卫·希尔伯特，为数学在未来的发展指明方向吗？
现场不由得响起了一阵嗡嗡嗡的声音。
所有人脸上都流露出兴奋的表情。
没人觉得庞学林没有这个资格。
事实上，虽然数学发展到如今，各个分支正在一步步细化。
但数学领域几乎所有的进步，都是伴随着问题的提出与解决。
从一百多年前大卫·希尔伯特提出希尔伯特二十三问，到六十多年前罗伯特·朗兰兹提出的朗兰兹纲领，再到二十多年前美国克雷数学研究所提出的千禧年七大猜想。
每一次问题的解决都为数学的发展指明了方向，提供了全新的动力。
特别是近年来，随着庞氏几何理论的出现与快速发展，bsd猜想，abc猜想，波利尼亚克猜想，霍奇猜想等相继得到解决，数学界需要一个领军人物站出来，为未来的发展指明方向。
作为庞氏几何理论的创造者，庞学林无疑是再合适不过的一个人选。
台下。
德利涅对坐在自己身旁的法尔廷斯道“法尔廷斯，我有种预感。”
“什么预感？”
“这个年轻人，将来的成就可能会远远超越我的老师，”
法尔廷斯不由得吃了一惊。
当下数学界虽然予以庞学林高度评价，但基本上还是将他与上世纪的格罗滕迪克对等看待。
即使在法尔廷斯眼中，庞学林也是一个年轻版的格罗滕迪克。
“皮埃尔，你为什么会这么说？”
法尔廷斯好奇道。
德利涅扭头看了法尔廷斯一眼，微笑道“我从他眼中看到了热情和野心，他现在才二十五岁，至少还有二十年的巅峰期，你能想象，二十年内他能做出多少成就吗？就算他彻底统一了代数与几何这两大基础学科，也并不让我感觉到意外。”
庞学林没有理会台下的喧闹声，微微一笑，说道“我觉得在未来的一百年，以下问题将是我们数学界急需解决的一些难题。第一，岩泽理论的主猜想。”
“数论中，岩泽理论是理想类群的伽罗瓦模理论，是日本数学家岩泽健吉在1950年末期发展起来的一套研究数域（即q的有限扩张）的zp扩张的算术性质的理论，最常见的zp扩张是所谓的分圆zp扩张。这类域是德国数学家库默尔为证明费马大定理而首先研究的。事实上，如果整数环z[c?]是唯一分解环，那么在证明费马大定理的征途中就不会遇到那么多的困难。
分圆zp扩张就是下述分圆域的扩张
k=q(cp)c…ckn=q(c；+1)??cxoo=q(cp~)，
其中kjk的伽罗瓦群gn就是循环群对任意az/pnz，aa(cp)=cpv由伽罗瓦理论，k/k的伽罗瓦群g是g?的射影极限，即p进整数环zp。
……
岩泽主猜想(或称主猜想，即岩泽理论的主要猜想）是说ch(a)=ch(s/c)。可以看出，a说明的是数域的理想类群，是一个纯粹的代数对象而分圆单位本质上是一个解析对象。事实上，令((p，s)=c(s)(1-p~s)=∑1/ns，此函数称为v进c函数，它是上是连续函数，并且其在负整数处的值可以用的一个首一多项式的插值来表示。
p进函数是p进i函数的一个例子，它体现了对应数域的解析性质。
ates-iles和lean在明显互反律的工作表明上述多项式和ch(f/c)只是相差一个固定多项式。所以我们知道主猜想是关于分圆域的代数性质和解析性质的深刻联系的猜想
岩泽理论从诞生一开始就是数论研究的重要工具。在1972年，azur建立了椭圆曲线的岩泽理论，并提出了虚二次域上的主猜想后来人们又提出了许多其他形式的主猜想，包括otive上的主猜想等。p进伽罗瓦表示上的岩泽理论的研究对于p进bsd猜想、serre猜想等都非常重要
1983年，azur和iles使用深刻的代数几何办法证明了岩泽主猜想。利用科利瓦金的欧拉系的办法，rub证明了虚二次域上的主猜想，并给出了分圆域主猜想一个新的证明。
而其他形式的主猜想依旧是数论和算术代数几何研究的热点内容。”
……
“第二个问题，霍普夫（hopf）猜想。”
“整体微分几何的核心问题之一是研究局部不变量和整体不变量的关系，研究曲率和拓扑的关系。
我们来考察曲面s，它上面有度量，也就有gas曲率k，如果曲面是紧致无边的话，gas曲率k就可以在整个曲面上进行积分。一个曲面不一定只容有一个度量，可以有另外一个度量，换了度量以后，相应的gas曲率k也就变了，但积分值与曲面的度量无关，而只与曲面的euler不性数x(5)有关。
这就是gas-bon公式所揭示的深刻内涵。
对高维黎曼流形，gas曲率可以推广为截面曲率，它由黎曼曲率张量所决定，被积函数是由曲率张量组成的很复杂的代数式子，称为gas-bon被积函数，它在整个流形上的积分，应该由这个流形的euler示性数所决定。它的内蕴证明是陈省身得到的，后来就称为gas_bon-陈公式。
对紧致无边的偶数维流形2“，如果它容有非正截面曲率的黎曼度量，那么，它的euler示性数满足
(-l)nx(2n)0(1)(当截面曲率为负时，上式为严格不等式)。
这就是著名的hopf猜想。
迄今，hopf猜想仅在一些附加条件下得到验证，如截面曲率夹在两个负常数间有工作bourguignon-karcherpl，donnelly-xavier以及jost-x间。
borel对非紧型秩1对称空间证实了猜想。
如果，流形具有kshler度量，在负截面曲率情形，猜想已被groov所证实，在非正截面曲率情形则被jost-zuc以及cao-xavier所证实。”
……
“第三个问题，卡普兰斯基第六猜想。”
“卡普兰斯基第六猜想是卡普兰斯基在1975年提出的关于霍普夫代数的十个猜想之一，也是目前霍普夫代数乃至代数学领域研究的前沿问题之一。霍普夫代数起源于二十世纪四十年代，主要是由霍普夫对lie群的拓扑性质的公理性研究而建立的一种代数系统。
二十世纪六十年代，hochschild-osto在研究lie群的应用及后续研究中，发展和丰富了霍普夫的这一代数系统的理论，奠定了霍普夫代数理论的基本框架。
二十世纪八十年代，随着drfeld和jibo等数学家建立的量子群理论的兴起，人们发现量子群是一类特殊的霍普夫代数。量子群理论与众多其他数学领域，如低维拓扑、表示论以及非交换几何以及统计力学精确可解模型理论、二维共形场论、角动量量子理论等有着紧密的联系。
量子群理论的兴起也促进了霍普夫代数理论的迅猛发展，围绕卡普兰斯基的十个猜想取得了许多精彩的研究成果，导致其中若干猜想的解决或部分解决。
卡普兰斯基第六猜想设h是代数闭域上的有限维半单霍普夫代数，则h的任一不可约表示的维数整除h的维数
这一猜想与有限维半单霍普夫代数的分类紧密相关，吸引了众多代数学家的兴趣。
zhu在1993年利用特征标理论研究了卡普兰斯基第六和第八猜想，得到了部分结果。
他证明了若char4=0，h半单且r(h)在h的对偶代数的中心中，其中r(h)为h的不可约特征标所张成的ji的子代数，则卡普兰第六猜想成立。
nichols和richond在1996年通过分析h的格罗滕迪克群的环结构证明:若h是余半单的且有一个2-维单余模，则h是偶数维的。
1998年，etgof和geki在研究拟三角半单余半单霍普夫代数的结构和提升问题时证明:若丑是半单余半单hopf代数，d{h)是h的drfelddouble，则d(h)的不可约表示的维数整除h的维数。
由此他们证明如果h是拟三角的半单余半单霍普夫代数，则h的不可约表示的维数整除的。”
。