“这个,这个,还有这个……”
搜索范围内,所有陈舟认为可能有用的文献。
全部被他批量下载了下来。
对于别人而言,这或许是一个最愚蠢,最笨拙的方法。
但是对陈舟而言,大量文献的梳理,是他形成知识网的最佳途径。
再加上错题集的纠错,这个知识网的密度,简直无敌。
而且经过刚才的内容梳理,陈舟忽然升起一种奇怪的感觉。
是和他先前研究解析数论是难题时,不一样的感觉。
可陈舟又说不好这么感觉是什么。
微微摇头,陈舟不再多想。
把这张填满的草稿纸,放在一边,换上一张新的。
再把墨水又用完了的笔芯换了,陈舟开始下一阶段的梳理。
至于现在的时间,原本打算按时去吃的午饭,以及阿廷教授不知道发没发来的邮件,都不重要了。
现在,陈舟的眼里,只有眼前的文献,只有L函数,只有黎曼ζ函数。
也只有代数问题和代数几何的问题。
就连他心心念念的哥猜,都暂时被抛诸脑后了。
打开一个新下载的文献,陈舟快速的扫过。
现在的陈舟,凭借Lv7的数学,看文献的速度,也快的令人吃惊。
不过,这种高效率的文献阅读方式,到目前为止,还只有杨依依知道。
先前在燕大时,赵琦琦、朱明理、李礼三人,也只是见识过弱化版的。
数学升Lv7后的强化版,他们倒是还没见过。
值得一提的是,也正是数学等级的不断提升,才使得陈舟打开了数学这条路的征途。
这篇文献,没有什么新鲜的内容,主要是关于黎曼ζ函数的。
陈舟看完后,就要随手把它“X”掉。
但鼠标刚移到右上角的“X”上,陈舟的手就停住了。
鼠标左键,并未被按下去。
“黎曼ζ函数的性质……”
“权1/2的模形式……”
陈舟的思维由眼前的文献,发散开来。
“黎曼ζ函数第二个条件的性质,如果仔细看一下关于这一性质的证明,就会发现,这一证明实质上使用了一种,非常特殊的自守形式的对称性,也就是权1/2的模形式……”
想到这,陈舟又看了看眼前的文献。
眼前文献的内容,便佐证了一个事实。
这一事实便是,实际上几乎所有的已知的整体域上的L函数,关于黎曼ζ函数所具有的第二个条件的证明。
都使用了自守形式!
陈舟拿起笔,在先前的那张草稿纸上,把“自守形式”这四个字,圈了一下。
随即,又在新的草稿纸上,把“自守形式”、“黎曼ζ函数的性质2”、“权1/2的模形式”这三个关键词,进行了注释。
做完这些,陈舟才把这篇文献关闭,打开下一篇文献。
其实,梳理到现在,陈舟所查的内容范围,早已超出了“伽罗瓦群的阿廷L函数的线性表示”这一课题的范围。
或者说,这一课题的研究,只是陈舟梳理内容中的,一个部分。
随着内容的梳理,陈舟那种奇怪的感觉,也越来越重。
“这篇文献?有点味道呀?”
一篇接着一篇的文献,陈舟终于发现了一篇不一样的。
滑动鼠标的滚轮,把文献拉到最上面。
瞥了一眼文献的作者和时间,陈舟低声说道:“难怪我说味道不一样呢……”
这篇文献的发表时间,很有年代感了。
光是这篇文献的作者,日国的两位著名数学家,志村五郎和谷山丰。
这两人的名字一听,就知道时间的久远了。
陈舟也有些诧异,怎么这么具有年代感的文献,都被他搜到了?
瞥了一眼浏览器的搜索页面,原来是陈舟在搜索时,只选择了搜索范围,没有选择文献的时间。
不过,也幸好因为没有选择文献的时间,陈舟才没有错过这样一篇优秀的文献。
这篇文献的内容,正是陈舟刚才梳理内容时,所写的谷山-志村猜想。
但内容却又不仅仅是谷山-志村猜想。
说起来,志村五郎和谷山丰提出的谷山-志村猜想,能够把椭圆曲线和模形式联系起来,真的是挺秀的。
要不怎么说数学家的脑袋,只在于灵感爆发的那一瞬间呢?
这篇文献的内容,在谷山-志村猜想的内容外,还有着motivic L函数的内容。
从椭圆曲线的特殊情况,志村五郎和谷山丰提出了一个猜测。
他们猜测motivic L函数,都能从某类自守形式构造。
文献中,志村五郎的方法,很大程度上是来源于代数几何的。
他从具体计算中,看到了一些精致的特殊结构。
但也因此,他的方法太过具体,以至于很难直接推广到一般情况。
陈舟在下载的文献中,翻找着,很快锁定了目标。
快速双击鼠标左键,打开文献。
陈舟看了一眼,轻声说道:“虽然志村五郎没有推广到一般情况,但是朗兰兹教授做到了……”
草稿纸上,陈舟开始梳理这两篇文献的内容。
由朗兰兹教授推广到一般情况的,就是现代数学中,大名鼎鼎的朗兰兹纲领。
朗兰兹的洞见在于,他看出了这些结构背后的表示论内核。
他系统的将代数群的无穷维表示,引进到数论中,找到了一个推广到一般情况的全局性纲领。
草稿纸上,陈舟写到:
【通常认为朗兰兹纲领由两部分组成,第一部分称为互反猜想,它描述了数论与表示论的对应关系。
最一般的猜测是,Motive是等价于相当一部分自守形式的。
特别的它指出伽罗瓦表示,应该等价于代数群的表示。
因而motivic L函数,等价于自守L函数。
第二部分则称之为,函子性猜想,它描述了不同群之间的表示的联系……】
这段话写完后,陈舟就这么看着这段话,怔怔出神。
不得不说,朗兰兹纲领的意义深远。
它可以对最一般的L函数,证明黎曼ζ函数的性质2。
并且导出一系列困难的猜想,比如说,阿廷猜想。
而经过几十年的努力,数学家们对于朗兰兹纲领的理解,也有了很大的进展。
杰出的代表性学者,包括菲尔兹奖得主弗拉基米尔·德林费而德、洛朗·拉福格和吴保珠教授。
不过,距离完整的纲领,仍然非常遥远。
但必须要提的是,朗兰兹纲领的范围,也还在不短扩展。
类比经典的纲领,数学家们又发展出了几何朗兰兹、p-adic朗兰兹。
甚至于在物理上,爱德华·威腾教授还提出了类似的朗兰兹对偶。
它们牵涉到了非常不同的领域,使用的也是非常不同的方法。
但是它们都展现出了,极深层次的相似性。
从不同的角度,丰富了朗兰兹纲领本身。
而朗兰兹纲领一个最新的,并且值得一提的进展,来自于德国的天才数学家彼得·舒尔茨正在进行的工作。
舒尔茨利用由他发展的p-adic几何类比函数域的情形,去证明局部数域的情形。
想到这,陈舟的嘴角露出了一丝微笑。
随即,他再次拿出一张新的草稿纸,快速的在上面写着。
陈舟终于知道先前那种奇怪的感觉是什么了。
一开始,他只是打算梳理“伽罗瓦群的阿廷L函数的线性表示”这个课题,所牵涉的研究内容。
可随着时间的推移,陈舟居然就这么,虽显粗糙,但还算完整的,以黎曼ζ函数和L函数为线索,梳理了一遍现代数学。
并且把现代数学里,特别是代数几何领域的重要问题,列了一遍。
这里面,包括了代数几何、代数拓扑、代数数论、调和分析、自守形式、平展上同调、伽罗瓦表示、Motivic L函数、朗兰兹纲领、BSD猜想、贝林森猜想、阿廷猜想,等等等等。
更加令陈舟没想到的是,他梳理的所有内容,竟然都有着一丝联系。
这也从另一个角度,令陈舟明白了一件事。
那就是,现在的数学,没有纯粹意义上的独立的数学分支。
每个数学分支都是交叉互融的。
陈舟也有一丝庆幸。
庆幸自己构造了出了分布解构法这个数学工具,并且在不断的完善它。
很快,陈舟停下了手中的笔。
草稿纸上,出现了一幅示意图。
陈舟把这些内容,完整的用图示的方法,展示了出来。
里面有猜想,也有已知的结果。
但是,从现在来看,陈舟所梳理内容中,几乎所有的猜想,都还非常遥远。
每一个也许都足以耗尽一个人的毕生精力。
然而,正是其困难和深刻,吸引了无数人。
某种程度上,数学家和探险家,其实是一类人。
真要说起来,从某种角度来看,陈舟先前解决的克拉梅尔猜想也好,杰波夫猜想也好,都只是解析数论这一小块的。
放在整个现代数学来看,真的不算什么。
可以说是,渺小之数学。
但也正是这种每一步的渺小,每一个人的渺小,才成就了伟大之数学。
看着眼前的图,陈舟内心那种奇怪的感觉,已经消失不见。
当你正面自己的想法和感觉时,所有的一切,都豁然开朗。
陈舟的嘴角露出一丝笑意,他忽然有一个奇怪的想法。
他是不是应该去感谢一下这位诺特学姐?
因为……
要不是因为诺特学姐的邀请,他也不会回来就梳理这部分的内容。
要不是梳理这部分的内容,他也整不出来眼前的这张图。
而这张图上面的未解决的内容,大概就是诺特口中,包括朗兰兹纲领在内的一系列问题。
原本诺特是希望拉拢陈舟,一起进行研究。
为诺特家族的数学复兴,做出努力的。
可现在,却间接的为陈舟指明了之后的方向。
当然,这也是建立在陈舟能够,先把哥猜解决的基础上的。
如果陈舟能够顺利的把哥猜解决的话,那后面的数学研究方向。
大概率就是今天他所梳理的这些内容了。
窗外,天色已经暗了下来。
此时的陈舟,才意识到,自己竟然又因为沉浸在数学世界,而没有去吃午饭。
这已经是杨依依离开后的第三次了。
而杨依依也不过才离开一周而已。
“唉,难怪都要娶老婆呢……”
陈舟很是怀念和杨依依互相监督,互相学习,一起做课题,同时生活还被对方照顾着的日子。
看了眼手表,已经是晚上9点多了。
也就是说,陈舟从回来到现在,竟然整整工作了近12个小时!
把东西整理了一下,站起身,陈舟稍微活动了一下筋骨。
全神贯注的时候,没有多少感觉。
这一放松,长时间久坐研究的疲惫感,便一下子了涌上来。
“还好我经常跑步锻炼……”陈舟低声说了句。
不过,回应他的是随之而来的,五脏庙的呐喊。
陈舟顿时神情一滞,无奈的说道:“可惜,锻炼也不扛饿呀……”
好在这个点,还不算太晚,出门觅食的陈舟,吃了一顿还算不错的宵夜。
再次回到宿舍,陈舟倒没急着坐回书桌前。
而是先去洗了个热水澡,舒缓一下一天的疲惫之后。
才再次投入到寻找胶球的课题怀抱。
虽说陈舟今天没有碰过哥猜,但是已经跟数学世界,打了一整天交道的陈舟。
并不想再把晚上的时间,再给数学。
所以,陈舟又开始了对胶球实验的课题研究。
现在的他,已经快要把奇特量子数胶球的理论内容,全部整理完成了。
这部分的内容,是远远少于常规量子数胶球的研究内容的。
原因是,在以往的研究中,物理学家们很少涉及对奇特量子数胶球的研究。
至于为什么很少涉及……
一个原因是奇特量子数胶球相对比较重。
另一原因是,计算分析相对复杂。
比如说,对0--胶球在QCD求和规则框架下,还是空白。
可这,反倒是陈舟最不需要担心的原因了。
他所参与过的实验课题,其最终的完美结果。
几乎都是依靠他的计算,去结合不断试错的正确方向,最终实现的。
所以,奇特量子数胶球的理论研究,反而引起了陈舟极大的兴趣。
但凡可以用计算,去达到的目标。
陈舟觉得,那都是,小目标。