事实上,关于自己还是不是人类这件事情,陆舟现在自己恐怕也没法回答这个问题了。
虽然从体检化验单上的数据来看,系统的强化似乎并没有体现在对他DNA的改造上,但以他现在的思维能力,显然已经超越了一般人类能够达到——甚至是理解的范畴。
如果他没有记错的话,在他刚刚入学普林斯顿,也就是大概六年前的时候,德利涅教授就曾经邀请过他,加入到对标准猜想的研究中。
现在六年的时间已经过去了。
很显然,这一课题直到现在为止,仍然没有出现什么重大的进展。
然而现在,解决它却像是呼吸一样简单。
虽然这里面有很大一部分的原因是因为大统一理论为证明这一命题提供了理论基础,但即便是抛开那些能够通过大统一理论直接得出的结论不谈,在短短的半小时内解决这么多问题,也是一件相当恐怖的事情了。
即便是在他自己看来也是如此。
深深呼吸了一口冰凉的空气,让自己胸口躁动的情绪稍稍冷却了下来,陆舟望着白板上的那一行“Lefschetz标准猜想,成立!”的字样沉默了许久,缓缓开口说道。
“众所周知,标准猜想可以分为两个部分。前半部分是格罗滕迪克教授在研究韦伊猜想时,对Hard-Lefschetz定理做出的推广,也就是我们熟知的Lefschetz标准猜想。”
“而后半部分,则是Hodge标准猜想。”
似乎是因为什么麻烦的事情而陷入了纠结,陆舟皱着眉头思索了许久。
台下鸦雀无声。
所有人都在等待着他继续下去。
在无数期盼着的视线的注视下,那皱起的眉头忽然一松,用轻松的口吻,陆舟继续说道。
“算了。”
“虽然只是为了演示大统一理论在研究代数几何问题时的应用……”
“但既然都已经写到这里了。”
“还是一起解决掉好了。”
没有去看身后那一张张震撼的面孔,也没有去听那响彻会场的惊呼与难以置信的议论纷纷。
轻描淡写地扔下了这句话的陆舟,怀着敬畏、感慨、以及平静等等诸多复杂的情绪,走到了摆在旁边的空白白板前,并驻足停留了片刻。
标准猜想是代数几何学界最深刻的命题之一。
它的深刻不仅仅在于它那复杂之美,更在于它那些深刻的推论。
最直接的,如果标准猜想成立,通过它可以直接推出韦伊猜想,并且可以推出Frobenius在光滑投影代数簇的上同调群上的作用是半单的,甚至还可以推出代数簇中代数闭链(algebraic cycle)的数值等价(numberical equivalence)和同调等价(homological equivalence)是同一个等价关系等等。
这些都是已知的。
还有那些有待去挖掘的理论。
毫不夸张的说,正是这一猜想指引着现代代数几何学的发展。
不过,到这里为止,它的历史使命也该结束了。
随着他的手抬起,那支落在白板上的笔动了。
【……当i≤n/2时,A^i(X)∩ker(L^(n?2i 1))上的二次型x→(?1)^i·L^(r?2i)x.x是正定的……】
其中X是域k上光滑投影代数簇,l是与k的特征互素的素数,H^i(X,Ql)是X的i阶l-adic上同调群,X与投影空间的超平面的交集是X的子代数簇。
本章节尚未完结,共3页当前第1页,请点击下一页继续阅读------>>>