前半部分通常称为弱BSD猜想,弱BSD猜想已经被解开。SD猜想的陈述依赖于莫代尔定理:整体域上的阿贝尔簇的有理点形成一个有限生成交换群。精确的部分依赖于沙群的有限性猜想。
对于解析秩为0的情形,Coates,Wiles,Kolyvagin,Rubin,Skinner,Urban等人证明了弱BSD猜想,并且精确的BSD猜想在2以外均成立。
对于解析秩为1的情形,Gross,Zagier等人证明了弱BSD猜想,并且精确的BSD猜想在2和导子以外均成立
现在唯一剩下的难题就是2和导子。
吴桐未从启赋状态下脱离,ABC猜想的证明,再次为悟道石碑即将见底的继续力量充入了不少力量积累。
这份力量,虽然不足以助力悟道石碑再进一步,但是用来支持吴桐的启赋状态,却是还能再维持一定的时间。
吴桐在群论上玩得娴熟,在数论上更是就几乎无人可及。代数特别是代数簇是她第一次踏足研究重大课题的领域,却不是她陌生的版块,深入学习数学到如今,吴桐能自信的说一声,她在数学上,没有过于陌生的领域。
代数和几何,本就是她预定研究的下一个重点问题,只是她突来念头,做起了ABC猜想。又在研究ABC猜想证明的基础上,窥见了向BSD猜想进发的灵感。
对于灵感的到来,相信没有任何人会拒绝的,吴桐自然是当机立断的抓住,紧随着灵感的方向,急需的推演起来。
她从傅里叶级数做计算,然后在用泛函分析的连续函数延伸,介入朗兰兹纲领转换群论·····
所谓阿贝尔簇也就是域上的几何整的完备群概形,它一定是射影、光滑、交换的。一个代数群,它同时又是完全代数簇。
因为已经有了一定间就基础,吴桐在法尔廷斯之前解开泰特猜想推广使用阿贝尔簇的想法和计算方式,找到了前进方向的灵感,这些灵感虽然不能让她立即解开BSD猜想,但吴桐,可以确定,沿着这条路继续走下去,她是可以走向终点的,这一点儿,已经比什么都重要了!
当然,这是其中最困难的一部分是毋庸置疑的。但是吴桐还是想要尝试一下,自己能否完成这个难题。
她这次可以说,并不是从零开始,而是在她拿手的拔高优化版块进行愉快的突破。
启赋状态的消耗非常,时间有限,吴桐在寻到方向悟道石碑就几乎耗尽继续能量,被迫自动切断启赋状态。
当然,这对吴桐,其实影响并不太大的,此时时间已经来到七月。吴桐花了两天时间把ABC猜想完成初步论文保存在,就继续在BSD猜想上进行着不断的推演。对她来说,已经突破的ABC猜想已经不是最关键的,新的追逐目标BSD猜想,才是她全神贯注的关注点儿。
已经寻到明确解决方向,吴桐对于启赋空间,并没有太过强烈的渴望。她一贯更信任的,还是自己学到手的东西,这不是吴桐清高的觉得自己不需要助力,没有人不想走捷径,而是她明白助力也需要是在她有足够基础上,才能发挥出一加一大于三的良好效果,不能依赖于启赋状态的。
吴桐在正确的大道上,以近乎狂奔的速度,完成了最后的证明。
以此代入莫代尔定理,BSD猜想,证明成立。(本章完)