猜想。
Motive理论也被格罗滕迪克称之为标准猜想。
如果标准猜想被证明,那也就得到了完整的Motive理论。
它导出了所有上同调,同时能证明一系列表面无关的问题。
举个例子,七大千禧难题之一的霍奇猜想的重要性,就在于它能导出标准猜想。
不得不说,标准猜想的证明,大概算是代数几何里最要紧的事了。
但是,标准猜想的证明难度,却又是顶级的。
真要比一下的话,从陈舟的角度来看,标准猜想的难度,得比哥猜高一个等级。
收回思绪,陈舟回到眼前的草稿纸上,拿起笔,开始写到:
【关于MotivicL函数和自守L函数,每一个MotivicL函数,都是由Motivic给出的。
对于这些函数,很容易验证其满足黎曼ζ函数的第一个条件,但是第二个条件,还无法证明一般的情况。
一个已知例子是,有理数上椭圆曲线的情形,也就是费马大定理的证明的一个推论(谷山-志村猜想)。】
陈舟记得在文献上看到过,这个谷山-志村猜想的完整情形,是在2001年,由怀尔斯教授的几位学生证明。