D猜想的证明工作上。
但取得的成果……并不可喜!
准确的说,最近一周,研究进程可以用寸步为艰来形容。
证明进度一直卡在56%这个坎上迈不过去。
以至于拿到建模国一奖的消息,都没有冲淡程诺心头的忧虑。
又是过了三天,情况依旧如此。
渐渐的,方教授和程诺意识到,两人的研究方向,可能出现了错误。
…………
地点:数学院方教授办公室。
时间:2021年11月27号晚10点。
人物:方若愚,程诺。
办公桌上,摆着整整三大摞的草纸。这些,便是两人这段时间关于BSD猜想的全部心血。
明亮的灯光下,面色有些憔悴的程诺开口,“教授,你说到底是哪个步骤我们出现了问题?”
方教授推推老花镜,叹口气,“很难说。数学证明,本就是一步错,步步错。我们很难知道,到底是前面哪个环节出现问题,导致造成如今这个局面。”
“因此,想要让证明工作继续进行下去的话,我们只好从尾到头的排查一遍。”
方教授说出了一个最麻烦,但对现在的情况最为有效的解决方案。
程诺苦笑着点点头,表示知晓。
虽然早知道在世界级的猜想证明过程中会遇到这种情况,但当事实真的发生在你面前时,还是有些难以接受。
其实,乐观上讲,他们能够及时的发现证明中存在的错误,总归是一件好事。
总比那些一错到底,把猜想证明成立最后却发现证明过程存在重大错误的情况要好很多。
既然无法反抗,那就乐观面对。
不就是爆肝嘛……他程诺不怕!
拿起第一摞的几张草稿,程诺低头便认真看起来。
【设L(E,s)是椭圆曲线E对应的Hasse-WeilL-function。事实上BSDconjecture包含下面两条.函数L(E,s)在处Taylor展开的阶等于椭圆曲线的Mordell-Weilrank……那么就有L(E,1)=0,~L'(E,1)
ot=0Rightarrowr(E)≥1】
无误!
下一部分证明过程。
【那么就有L(E,1)=0,~L'(E,1)
ot=0≥r(E)=1.由Kolyvagin定理,得……】
无误!
程诺的大脑宛若一台高速运转的机器。
一堆堆的公式,字符,在大脑内结合,运算,并产生逻辑结果。
仿佛不知疲倦般,程诺从尾到头的逐页翻看。
…………
时间,已经来到凌晨三点。
程诺放下手中的一页草稿纸,扭了扭脖子,一抬头,发现对面的方教授已经趴在桌子上睡着。
程诺淡淡笑了笑,在办公室内一旁的柜子中找了一张毛毯给方教授盖上,然后,便是继续的拿着写满公式的纸张继续埋头搜寻着错误点。
时间,一分一秒的流逝。
程诺目光一行行扫视。
突然,他的目光紧锁在一行算式上。
【……在p≥11的条件下,设椭圆曲线是semi-stable的,便有ord(L(E,1)/c)=ord(Sha(E),GL2为……】
这里,这里……为什么利用GL2的部分技术性证明条件去的得出下一部分证明工作的关键性条件。
不对,不应该是这样!
GL2公式的求解完全没必要,如果想要从逻辑上得到Kolyvaginconjecture的话,应该用……
一瞬间,程诺灵光迸裂!
………………
………………
PS:一个字:热!!!
请收藏:https://m.bilongdan.cc
(温馨提示:请关闭畅读或阅读模式,否则内容无法正常显示)