舒尔茨目标明确,他最近几年的工作都是在为了彻底解决霍奇猜想努力,成果斐然,有望在未来真的完成这个目标。
可是她呢?
acc这样的猜想无法让她起挑战之心,只要按部就班的进行,洛叶有信心彻底解决它,毕竟它还有德利涅教授和克里特教授保驾护航,就是唐纳森都是准备充分。
她想了想,找出来了拓扑学的相关知识看了看,亚历山大提出的邀请其实算是低维拓扑相关,维度和群相关,拓扑是几何学的分支。
最著名的拓扑问题就是欧拉七桥问题,它和平面几何立体几何不同的一点是,后两者的问题研究主要是点线面之间的位置关系和他们的度量性质,拓扑学对于研究对象的长短,大小,面积,体积等度量性质和数量关系都无关。
举例来说,在平面几何中,把两个平面几何挪移到同一个位置,如果这两个图形完全重叠,那这两个图形叫全等形,可是在拓扑学中,这两个图形的大小和形状都会发生改变,在拓扑学中,没有不能弯曲的东西。
在欧拉七桥问题当中,欧拉画的图形就不考虑它的打消,形状,仅仅考虑点线的位置。再说的明白一点,在拓扑学中,拓扑变换下,圆,正方形,三角形都有可能是等价图形。
拓扑学从某种角度上来看,是非常神奇的一门课。
洛叶看了几个拓扑相关的著名问题,燃起了对拓扑学的些许兴趣,和acc猜想相比,这个三角形解剖猜想阵容就弱了许多,不过洛叶也不太在乎,在合上资料的时候随手给亚历山大发了一条短信。
“我答应了。”
收到了短信的亚历山大,不由的露出了一个比较细微的笑容。
因为答应了他的要求,洛叶留在斯坦福学校的时间不得不延长了一段时间,并且也跟着去旁听的几节课。
同时洛叶查看了高阶gan-gross-prasad猜想,这个猜想其实是一个高阶函数公式,这个公式其实不仅和霍奇猜想相关,还和黎曼猜想,bsd猜想有关,如果非要划分,那应该是一个代数数论问题,如果解决掉它,就可以把这三个千禧难题解决进度往前推进一大步——等式是连接了数论和几何的两个量,几何那边和代数几何中的霍奇猜想有关,数论那边和黎曼假设中的黎曼zeta函数有关,这个等式本身可以看作是在bsd猜想框架下的一些拓展。
单从这个角度就可以看出这个猜想的难度。
洛叶在看相关的资料的时候谁也没有告诉,在旁人看来,她就是在为了手上的两个课题而忙碌。
而这时,数学界发生了一件大事,来自于日本的数学家望月新一整发表了足足有五百多页的论文,宣布解决了高悬在数论领域27年的难题——abc猜想。
听到这个消息,所有相关领域的数学家全都轰动了。
abc猜想的重要性仅次于黎曼猜想,如果被解决了,那绝对是21世纪以来,最为伟大的数学成就之一——因为它会彻底革新对整数方程的研究,同时通过延伸可以解决一百多个数论领域中最为重要的公开问题。
几乎是在听到这个消息的时候,所有相关领域的数学家都去下载了他的论文,舒尔茨目前也在研究数论相关的猜想,自然也下载了下来,洛叶也很好奇,毕竟她现在也在默默研究相关的。
这个时候就要说明一下什么叫被证明——这个是要国际数学协会承认,才能叫被证明,个人宣称的证明某个猜想是不作数的,而望月新一此刻就是这种状态,他宣布自己证明了abc猜想,要等数学家去验证。
而等洛叶下载了那五百页的论文去看后,就不由的吃惊了起来。
——因为望月新一在这篇论文中所引用的数学体系根本不是现在公认的数学体系。
为了证明abc猜想,望月新一重新构建了一套新的数学体系,用这套他自创的数学体系来证明了abc猜想。
所以这篇论文读起来,简直像是天书——你没有理解这套数学体系,自然就不能说他的证明是对还是错,彻底理解一套数学体系有多难?看洛叶到这个世界已经五年了,才算把她所学的融会贯通。
一天后,舒尔茨给洛叶发了条信息,“我试图弄懂他的逻辑,但是我发现到了第十五页我已经完全迷茫了,我实在看不懂,你怎么样?”
同时国际数论大师也在自己的博客上写道,“望月新一构建了一个宏大的宇宙,可惜这个宇宙中只有他一个人。”
洛叶坦白道,“我就看了两页。”
非常诚实的说出了对它的看法,“我觉得他恐怕很难得到国际数学协会的认可。”
——理解一个新的数学体系实在是一件需要花费大量时间和精力的事,说到底洛叶的工作只是和数论稍微挂钩,根本工作并不相同,在意识到这论文阅读需要超出预计的时间精力后就果断放弃了。
而没想到舒尔茨居然正也只看到了十五页,那可以想象,其他人也不可能看完了。
舒尔茨的回答也很直白,“我已经问过法尔廷斯教授,他只看到了二十页。”
法尔廷斯可是数学界最顶尖的数学大师了,国际数学协会想要验证望月新一的证明,肯定绕不开法尔廷斯,现在法尔廷斯都放弃了,想要得到认证就很难了。
现在只有两个办法,要么望月新一接受“众人皆醉,唯他独醒”这样近似于安慰的心理暗示,要么就要把他的数学体系解释清楚。
而事实也确实和洛叶说的那样,望月新一的论文就像是一颗巨大的石头落在了湖水当中,理应引起的涟漪全都消失了,就这么沉入了湖水当中,数学界一片沉默——看不懂既然无从评论。
望月新一显然不服气自己筹备了十年的论文落到这样的结果,他在自己的博客上公然写道,“要理解我的论文,你们应该停止用那套习惯并且想当然的思维方式。”
这大概就是对整个数学界的挑衅和蔑视,认为读不懂是整个数学界的问题,不是他的问题。
这样狂傲的态度惹来了许多人不满,不过abc猜想确实是数学界的庞然大物,谁都没有办法等闲视之。
没过多久,洛叶就得到了一个新的消息,关于abc猜想的证明会在即将开始的牛津大学会议上展开讨论,这个会议由克雷数学研究所赞助,许多数学家都会去,想要看看能不能在会议上出结果。
而这个时候望月新一的狂傲再次展露了出来,他拒绝出席这次会议,只答应会解答相关疑问。
舒尔茨不满道,“他未免太傲慢了。”
他一边叫嚣整个数学界不理解他的理论,一方面连会议都不愿意出席。
洛叶道,“能为了一个证明就构架出一个新的数学体系,这本来就是一种傲慢。”
洛叶也同意舒尔茨的话,如果他不愿意被理解,完全可以把论文只留给自己欣赏,既然决定公布出去,那就应该明白让数学家理解是一项很困难的工作,需要漫长的时间,为了缩短这个过程,他完全可以亲自来解释,而不是把论文放到那就算了。
舒尔茨,“——我改主意了,我决定想办法推翻他的理论。”
又对洛叶提出邀请,“牛津大学会议你去吗?我会过去。”
洛叶没想着去,毕竟她对望月新一的理论兴致缺缺,可是德利涅教授却让她那里见识一下,洛叶年少成名,可谓是天赋过人,对于这样的学生,德利涅教授认为不能以常理来培养她,只要让她发挥自己的天赋就够了。所以他决定洛叶去斯坦福大学代表去她去做acc猜想,主要就是让她感受下斯坦福不同于普林斯顿的学术氛围。
现在这个牛津大学的会议,集聚了欧洲的许多数学家,舒尔茨,布伦德,威廉姆斯都会去参加,洛叶也正好趁此机会去感受下牛津大学,如果能在会议上有什么新的灵感那更好了。
洛叶和唐纳森、亚历山大交接了下,坐飞机去了英国。
舒尔茨自从那日说了要去推翻望月新一的理论,就再没有给洛叶发任何信息,陷入了闭关状态,等着会议到来的那日,在这次会议上,望月新一的论文无疑是重点,之前没来就算了,既然来了,她也不能在别人讨论的时候干坐着。
在飞机上就重新拿出了那篇宛如天书的论文开始研究。
abc猜想的核心在于a+b=c的数值表达式,关系到能除尽a、b、c的质数,每一个整数都能以独一无二的形式表示为一串质数的乘积。原则上,a.b的质因数与二者之和的c毫无关系,但是abc猜想把他们联系了起来,完整的猜想内容大致可以表示为,如果大量小质数能除尽a,b,那只有少量质数能除尽c。
而abc相关的一百多个数论相关的问题主要是丢番图方程,因为它可以给未解决的丢番图方程做出明确的限制。
丢番图方程要认为要么没有解,要么只拥有有限数量的解,而如果abc猜想被证明,数学家将不仅知道有多少个解,还可以把所有解罗列出来。
而在望月新一的论文中,他的理论体系最中间的一点是,用全新的眼光去看整数,在他的数学体系中暂且不考虑加法,将乘法结构堪称一种可延伸变形的结构,这样我们熟悉的乘法就是结构家族中的一个特例。
洛叶读下来觉得他这个理论还是很有意思的。
作者有话要说:午安~
ps:第一,之前忘了说了,这几章理论和前几章理论都来自于我看的资料,有的是报道,有的是期刊,来源太多,不好一一列名,你们知道专业知识不是我写的就好了。
第二,因为剧情需要,文中望月新一事件做了调整,他的论文发表是在12年,文中时间线是13年,而且牛津大学会议是在15年,我把六年内发生的事压缩到了这几个月内,并且做了艺术加工,想要真的了解这个事件,自己去查一下吧~
第三,本人认为,望月新一真的天才和疯子的结合体,这大概就是不疯魔不成活。而本人对他没有任何意见啊。
第四,望月新一理论到底是对是错,现在还没有定论。