第1087章 motive理论

图书馆的活动室。

面对着写了一半的白板,陆舟收回了手中的记号笔,退后两步看着白板说道。

“……想要解决代数和几何的统一性问题,就必须将‘数’和‘形’从一般的表述形式中剥离出来,在抽象的概念中寻找它们之间的共性。”

站在陆舟的旁边,陈阳思忖了片刻之后,忽然开口问道。

“朗兰兹纲领?”

“不只是朗兰兹纲领,”陆舟认真说道,“还有motive理论,想要解决这个问题,我们必须弄清楚不同上同调理论彼此之间的联系。”

事实上,这个问题是一个很大的范畴。

将“不同上同调理论彼此之间的联系”这一问题不断细分下去,甚至能够分裂成数万乃至数百万个悬而未决的猜想,或者说数学命题。

代数几何学领域悬而未决的难题——霍奇猜想,便是其中之一,也是最出名的一个。

然而有意思的是,虽然存在如此之多极其困难的猜想阻挡在前面,但论证motive理论却并不需要将这些猜想全部解决。

双方的关系就好像黎曼猜想和黎曼猜想在狄利克雷函数上的推广一样若即若离。

“……表面上看我们研究的是一个复分析问题,但事实上它同时也是偏微分方程、代数几何、拓扑学的问题。”

看着面前的白板,陆舟继续说道,“站在战略的高度,我们需要在数和形的抽象形式上找到一种可以关联两者的因子。在战术上,我们可以从kunneth公式、poincare对偶等等一系列上同调理论的共性入手,以及我先前向你展示的L流形在复平面上的应用方法。”

说着,陆舟将视线投向了站在他旁边的陈阳。

“我需要一个理论,它能够发扬一维上同调的经典理论——也就是曲线的Jacobi簇理论和Abel簇理论的成功之处,以便于所有维数的上同调。”

“基于这个理论,我们可以研究motive理论中的直和分解,使H(v)与不可约motive相关联。”

“原本这一块我是打算自己去做的,但还有跟重要的部分值得我去完成。我打算在今年之内搞定大统一理论,这一块就交给你了。”

面对陆舟的拜托,陈阳沉思了一会儿,开口说道。

“听起来有点意思……如果我的感觉没错的话,如果能找到这个理论的话,应该会成为解决霍奇猜想的线索吧。”

陆舟点了下头,说道。

“能不能解决霍奇猜想我不清楚,不过作为同一类的问题,它的解决可能能够启发对霍奇猜想的研究。”

“我知道了,”陈阳点了点头,“我回去会仔细研究下……但我没法保证能在短时间内解决这个问题。”

“没关系,这本来就不是短时间能够完成的任务,何况我也不是特别的着急,”陆舟笑了笑继续说道,“不过,我的建议是,最好还是在两个月之内给我一个答复。如果你没有把握的话,也最好提前告诉我一声,我自己来做这一块也是可以的。”

陈阳摇了摇头。

“两个月不至于,半个月……应该就够了。”

并非是出于自信的发言,而是一种几近陈述语气的肯定。采用的工具是现成的,甚至于连解决问题的可能的思路,陆舟都已经给出了。

这种并非需要颠覆性的思维以及创造力的工作,只要肯下功夫就能解决。

而他最不缺的,便是一根筋怼在一条路上的毅力。

看着面无表情的陈阳,陆舟点了点头,伸手拍了下他的胳膊。

“嗯,这一块就交给你了!”

……

陈阳走后,陆舟回到了图书馆,走到了自己先前的位置坐下,翻开了桌上那叠尚未看完的文献,一边继续先前的研究,一边用笔在草稿纸上计算着。

从宏观的角度来看,代数几何在近代的发展可以归结为两个大的方向,一个是朗兰兹纲领,另一个就是Motive理论。

其中朗兰兹理论,其精神内核便是将数学上的一些表面看起来不相干的内容建立起本质的联系,由于很多人都听说过,便不再赘述。

至于motive理论,相对朗兰兹纲领而言,则没那么出名了。

此时此刻,他正在研读的这篇论文,便是由著名的代数几何学家Voevodsky教授撰写的。

在论文中,这位来自普林斯顿高等研究院的俄罗斯籍教授,提出了一个非常有趣的Motive范畴。

而这,恰好是陆舟所需要的。

“……所谓motive,便是一切数的根源。”

用只有自己才能听见的声音小声轻念着,陆舟一边对照着文献上的一行行算式,一边在草稿纸上奋笔疾书地演算着。

举个通俗的例子,如果一个数我们称之为n,在十进制下n可以表示为100,那么实际上它既可以是1100100,也可以是144。

表述的方式不同,区别仅仅在于我们选择的是二进制还是八进制来统计它。事实上无论是1100100还是144,它们对应的都是n这个数字,只不过是n的不同阐述形式而已。

在这里,n被赋予了一种特殊的意义。

它既是一种抽象的数字,也是数字的本质。

motive理论研究的,便是由无数个n组成的名为大写N的集合。

作为一切数学表述形式的根源,N可以映射到任意区间的集合内,无论是【0,1】还是【0,9】,而关于motive理论的一切数学方法,在它身上都同等适用。

事实上,这已经涉及到了代数几何的核心问题,也就是数的抽象形式。

有别于一切人类通过不同进制计数法“翻译”之后的语言,这种抽象的表述方法,才是真正意义上的宇宙的语言。

而如果我们只是为了日常生活而使用数学的话,可能一辈子也不会意识到这一点,许多赋予数字特殊意义的宗教和文化,事实上也并没有真正地听懂“上帝的语言”

有人可能会问这除了让计算变得更加麻烦之外还能有什么用,然而事实上却正好相反,将数字本身与其表述形式剥离开来,反而更有助于人们研究其背后的抽象意义。

格罗滕迪克除了奠定了现代代数几何学的理论基础之外,另一个伟大的工作便在于此。

他创造了一个单一的理论,在代数几何与各种各样的上同调理论之间架起了一座桥梁。

它就好像是一场交响乐的主旋律一样,每一个特殊的上同调理论都可以从中抽出它自己的主题素材,按照自己的基调、大调、或者小调甚至是独创的拍子进行演奏。

“……所有上同调理论共同组成了一个几何对象,而这个几何对象,可以被放进他所开辟的框架下研究。”

“……原来如此。”

瞳孔中渐渐染上了一丝兴奋的神采,陆舟手中的笔尖停了下来。

一种冥冥之中的预感,让他感觉自己距离终点线已经很接近了。

这种来自灵魂深处的兴奋,简直比他第一次目睹虚拟现实世界的感受,还要更加的令人愉悦……

……

(关于motive理论的部分,参考的是Barry·Mazur那篇著名的《What is a Motive》,算是一篇科普性质的论文,看完之后确实令人大开眼界。)

第二十八章 大一的最后一场班会第330章 在错误的道路上放飞自我(2/3)第1006章 一位深居简出的老朋友第1241章 未来工业的雏形第184章 开始实验!第1490章 做空威胁第1326章 盛会开幕!第818章 土特产第1005章 被占便宜了?第448章 诺贝尔与菲尔茨第1486章 集体辞职第219章 人之常情(3/3)第1254章 六吨荷载,一炮入轨!第1209章 不寻常的发现第八十四章 不足以担此殊荣第1332章 洒脱第735章 可以吹一辈子的大事儿第231章 思路涌现!第391章 回国第434章 你需要的恐怕不是超算……第902章 赴京开会(1/4)第782章 抵达火星?第250章 斯德哥尔摩的颁奖典礼第588章 弯路超车的捷径第1244章 震撼的三十秒第1491章 谁说我只有一家公司了?第1655章 电梯完工第九十四章 你到底行不行第428章 我就随便奶一口第1051章 狮子还是猎人第971章 谁的功劳我们心里有数第1508章 一切都得从一篇论文说起第912章 他一定会来!(3/4)第八十七章 拉人入伙第640章 被耍了第551章 这次我肯定不鸽你第1116章 神灵眼中的世界第670章 装配中心竣工第1625章 以讹传讹第163章 严谨到令人绝望第700章 点火!起飞!第1673章 量子通讯网络第五章 论抽奖之前洗脸的重要性第868章 量子世界背后的神秘第642章 可能这就是缘分吧第386章 学习好的乐趣你体会不到第606章 核力如何统一!第821章 我想和您学数学!第395章 我只是路过第835章 外交场合的晚宴第793章 坠落!第164章 干杯?第565章 布局未来第905章 你到底是谁?!(4/4)第807章 月面工程第1215章 有的时候,科学不只是一种思想第724章 踏上那片星空第139章 明目张胆的学术造假(为盟主七颗蓝莓加更!)第587章 小艾的新身体第668章 你们是怎么做到的?!第412章 陆氏流形?第七十章 证明周氏猜想!第679章 五个亿第140章 实锤了(为盟主leize110加更!)(5/5)第609章 解的存在性证明第642章 可能这就是缘分吧第883章 有一个牛逼的老哥是一种怎样的体验第457章 好评如潮的MRS秋会第1300章 钟摆入轨第1331章 我将辞去理事会职务!第1381章 冤家聚头第467章 三个字的回答第1156章 阿贝尔教授的笔记第267章 来自顶会的邀请第224章 他乡遇故知第365章 前置条件未满足(1/3)第1209章 不寻常的发现第887章 夹道相迎第727章 太空种植单元部署第1625章 以讹传讹第1264章 感谢你为世界做的那一切第597章 步子迈得太大了?第1250章 火爆的庆典!第1584章 也许干了一件多余的事情第1020章 来自虚空的记忆第1482章 老祖宗的论文第1319章 神选之人?第1271章 给你变个魔术(2/4)第523章 关于未来的竞赛第794章 回家的船票第755章 陆教授牛逼!第十一章 即便是学霸,也有不擅长的东西第981章 贵公司似乎有麻烦了第1298章 百年物理大会的邀请第954章 这家伙坏得很!第191章 灵感,总是来得不经意第440章 三十分钟第1286章 就像是电脑游戏一样第1410章 山穷水尽第728章 回归!