r />
而这里,就进入了代数几何的领域。
多元多项式的零点,定义了一个几何对象,也就是代数簇。
对代数簇的研究,便被称之为代数几何。
说起来,代数几何虽然是一门古老的学科,但它也是在20世纪,才经历了一次蔚为壮观的发展。
20世纪初期,意大利学派对代数曲面的研究,有了长足的进展。
然而,其不严谨的基础,促使奥斯卡·扎里斯基和安德烈·韦伊重构了整个代数几何的基础。
韦伊更是指出了代数几何和数论与拓扑之间的惊人联系。
在之后,被誉为代数几何皇帝的格罗滕迪克,为了理解韦伊的猜想,更进一步用更抽象本质的方法,重新构建了代数几何的基础,并引进了一系列强大的工具。
特别是他的上同调理论,最终促使他的学生,也就是陈舟的三位审稿人之一的德利涅教授,完整的证明了韦伊猜想。
并因此,获得了菲尔兹奖。
事实上,格罗滕迪克的上同调理论,根植于代数拓扑。
而且,格罗滕迪克同时构造了一系列上同调理论,它们具有非常类似的性质。
但却起源于非常不同的构造。
格罗滕迪克试图寻找出它们的共同本质,并由此提出了Motive理论。
这一理论并不完整,因为它基于一系列的猜想。
Motive理论也被格罗滕迪克称之为标准猜想。
如果标准猜想被证明,那也就得到了完整的Motive理论。
它导出了所有上同调,同时能证明一系列表面无关的问题。
举个例子,七大千禧难题之一的霍奇猜想的重要性,就在于它能导出标准猜想。
不得不说,标准猜想的证明,大概算是代数几何里最要紧的事了。
但是,标准猜想的证明难度,却又是顶级的。
真要比一下的话,从陈舟的角度来看,标准猜想的难度,得比哥猜高一个等级。
收回思绪,陈舟回到眼前的草稿纸上,拿起笔,开始写到:
【关于Motivic
L
函数和自守
L
函数,每一个Motivic
L函数,都是由Motivic给出的。
对于这些函数,很容易验证其满足黎曼ζ函数的第一个条件,但是第二个条件,还无法证明一般的情况。
&ems