第172章 科学的信条

京大-陈木华:【照片.jpg】。

京大-陈木华:【兄弟们,已经准备上飞机了,大家在国内就不要怀念我了,我会替大家见证的。】

两年前所创建的那个联考群,如今仍然很火热,就连群聊等级都升到很高的程度了。

这自然就少不了这些天天都在水群的家伙们的贡献了。

而此时,陈木华在群里面发了一张照片,是他正在坐在一架飞机中,舷窗外机场的景色,同时他还将机票摆在中间,而上面的航程,正是从上京飞往圣彼得堡。

今天已经是7月3日,距离那场大概可以称得上是数学以及物理学的世纪报告会只剩下3天了。

准备前往参加大会的华国数学学者以及爱好者们,也到了出发的时间。

陈木华就是其中之一。

随着他的照片发在了群里面,顿时间就炸出了群里面一大堆潜水的人。

旦复-徐康程:【沃日,你真该死啊!】

【你真该死啊!】*n。

一大堆人都表示了羡慕。

这种报告会,他们谁不想参加?

京大-卢平:【@京大-陈木华,你小子可别忘了,我现在可是跟伱坐在一趟飞机上面的。】

京大-卢平:【照片.jpg】

又是一张飞机上的照片,同样还有一张前往圣彼得堡的飞机票。

群里面顿时又是一片问号,最后齐齐刷起了:【你俩真该死啊!】

然后还有人艾特了他们群里的管理员:【@青华-江隆,管理员出来管事了,把这两个人给禁言,去国际数学家大会居然不带兄弟,还在这里炫耀,真可恶啊!】

结果这个人却反手被禁言了。

青华-江隆:【照片.jpg】

青华-江隆:【不好意思啊,我现在也正在这趟飞机上,你们骂他们就等于在骂我。】

【狗管理不得house!】*n。

随后江隆便开始发挥起了大禁言术,将这些人挨个给禁言了1分钟。

不过,见到他们这么多人居然都要去圣彼得堡,而且还都在同一趟飞机上,也引起了很多人的询问。

最后他们才得知,原来是京大和青华的数学学院专门组织了这趟旅程,想要去参加的学生,都可以报名,当然,费用上还是需要自理,学院主要是负责带队。

其实每次举办国际数学家大会的时候,京大青华这样的学校都会带队前往,倒也并不是因为萧易的那场报告,才组织了这次活动。

不过,他们这么多人都愿意花钱前往,就还是因为萧易的这场报告了。

虽然差不多要去10天,往返的机票钱,还有住宿的钱,少说都要花上几个W,但考虑到能够参与的是如此具有历史性的一场会议,都是值得的。

一时间,联考群里面,其他学校的人又都纷纷表示了羡慕。

【妈的,这就是京大青华的待遇吗?】

然而这个时候,还有高手出现。

科大-叶承:【你们这算啥?我们班的同学,如果想去的话,一毛钱都不用花就能去!全部承包了!】

这就更让群里面的其他人们酸了:【啊?凭啥?】

科大-叶承:【萧哥他出钱,给我们承包了!#得意】

随后,群里面科大的其他人纷纷出现,承认了这件事情,并且亮出了他们的机票。

这下,就连京大和青华的那些学生们都羡慕了。

京大-卢平:【妈的,还是你们该死啊!】

京大-陈木华:【@科大-萧易,萧神,呜呜呜,为什么你不是我们京大的人~】

科大-叶承:【不好意思,萧哥是我们科大人,科大魂,你们就不要惦记我们萧哥了。】

科大-叶承:【@科大-萧易,萧哥,一定要在圣彼得堡那里等兄弟啊!】

京大-陈木华:【你看萧哥都不理你,你这个没用】

科大-叶承:【那是因为萧哥日理万机,业务繁忙,不回复那是很正常的】

京大-陈木华:【蚌】

科大-叶承:【急】

萧易已经很少出没在这个群里面了,绝大多数的情况都是因为确实没空水群,也没时间去看他们都在群里面都聊了什么,不过群里面倒是称之为萧神已经有偶像包袱了。

正当他们以为萧易这次也会像往常一样不会出现的时候,萧易却真的回复了。

科大-萧易:【谢邀,人在圣彼得堡,刚下飞机。】

然后配了一张照片,只见他四周围了一堆的外国人面孔。

如果将这些面孔和本届大会官网上的那些组委会成员,还有国际数学联盟理事会的成员对比一下,就会发现,大多都可以对的上,比如本届大会组委会的主席别列佐夫斯基在这里,而国际数学联盟的秘书长马丁·格瑞切也在这里。

除此之外,还有一些俄罗斯数学界的著名学者也来了。

这些人,自然便是来为萧易接机的。

自从他宣布证明了质量间隙问题之后,这还是他第1次在国际数学界面前公开亮相。

周围还围了一大堆的媒体,摄影师们举着摄像机,拍下了他下飞机的场面。

“萧易你好,我是别列佐夫斯基,很高兴见到你,我代表本届国际数学家大会组委会向你表示欢迎。”

“圣彼得堡是俄罗斯的数学圣地,它一直都期待着你这位大数学家到来。”

随着萧易从飞机上下来,别列佐夫斯基便笑着上前,向萧易伸手表示欢迎。

萧易也放下手机,向这位组委会主席点点头,和他握手:“主席先生,我也很高兴见到你,对于圣彼得堡,我也向往已久,相信这次会有一趟不错的经历。”

“我保证。”别列佐夫斯基笑着拍了拍萧易的手背,随后便开始给他介绍起旁边的其他人,比如说那位国际数学联盟的秘书长,以及其他人。

一番认识后,别列佐夫斯基便对萧易说道:“我们已经在EXPOFORUM会展中心附近的帕克兰酒店为你安排了房间,在大会召开的这段期间,你可以一直住在那里,咱们现在就过去吧。”

萧易点点头:“好的。”

随后他也不再多说,坐上了组委会安排的专车,直接前往帕克兰酒店。

坐在车上,拿出手机,看了一眼联考群里面,他刚才的出现,显然也让这个群里面的同学们激动无比,让更多潜水的人都冒了出来。

现在一个个都在询问他这边的情况,同时也有很多人祝福他几天后的报告能够取得圆满的成功。

微微一笑,随后他便在群里面又发了个消息:【感谢各位的祝福,大家都可以关注三天后的报告,不会让兄弟们失望!】

随后,群里面又是一阵激动。

纷纷表示:【以后咱就可以出去吹牛,说萧神是咱兄弟!】

看着他们激动的样子,一高兴,萧易便大手一挥,直接在群里面发了总值1万块钱的红包,更是引起群里面的一番哄抢。

看着火热的群聊,他笑了笑,最后合上手机,闭上眼睛,开始缓解这趟差不多有九个小时航班带来的疲惫。

至于随手花出去的1万块钱,他就完全不在意了。

如今,随着易水Bit逐渐统治了比特币挖矿软件市场的半壁江山,根据前段时间摩根大通发的一份报告,易水Bit这个软件的市场估值就已经来到了10亿美元,换算成人民币那就是六十多亿,妥妥的独角兽企业。

因此,钱这种东西对他来说已经逐渐失去了意义,不经意间他已经实现了财富自由。

除非他想造什么私人粒子加速器之类的离谱东西。

这件事情都已经在商业圈中传遍了,更是在社会中引起了一番关于学习好是否能够出人头的讨论。

现在但凡有人提出【学习好有什么用,还不是要给那些学习不好的人打工】之类的言论,一定会被无数网友用萧易作为例子围攻。

虽然有很多学术大牛也都相当富有,不过都没有一个是像萧易这样具有代表性,又是顶尖的科学家,又是独角兽企业的创立者。

成功学大师来了都得喊大师。

而他的家人,也已经住进了去年在翡翠庭买下的豪宅,逐渐习惯了如今的生活。

总的来说,现在已经没有什么“俗事”是能够让萧易关心的了。

马斯洛的需求层次,他已经达到了最后一层,并将在这一层上无限的延续下去。

就像是现在,他的目的,只有让学术界知道,杨-米尔斯存在性与质量间隙问题已经被他解决了,以及让每个人都知道他是如何证明的——好吧,第二个目的还是有些太难了,他几乎能预料的到,短时间内全世界能听懂他报告的人都不会超过10个,所以能完成第一个目的就够了。

不再多想,他进入到了冥想状态之中。

而这列车队则平稳行驶在正午的阳光之下,逐渐朝着地平线另一端的城市开去。

报告会也进入了最后的倒计时……

…………

从全球各地而来的数学和物理学者们,逐渐汇聚于圣彼得堡这个城市中。

这个对于数学史来说,有着十分重要地位的城市。

莱昂哈德·欧拉曾经在这里研究过哥德巴赫猜想;丹尼尔·伯努利在这里创造过他的《流体力学原理》,其中的伯努利定律在之后更是成为了飞机能够飞起来的原理。

往后还有相当多的俄国菲尔兹奖得主,也是从圣彼得堡走出来的,而在21世纪之初,在千禧年七大难题刚刚提出没有两年的时候,居住在圣彼得堡的一个叫格里高利·佩雷尔曼的邋遢学者,用两篇发表在arxiv上面的论文,证明了庞加莱猜想……

圣彼得堡的数学史,就是俄罗斯的大半个数学史。

而如今,又将有一个千禧年难题在这里得到证明。

人们在感慨之余,也越发的期待。

直到7月6号的这一天到来。

……

上午九点,EXPOFORUM会展中心外,已经是人来人往。

参会人员已经排成了很长的队列,等待着入场。

根据官网公布的数据,本届大会吸引了7000多人的参与,绝对算得上是历史之最,当然主要也是因为其中有不少理论物理学家的参与,隔壁的CERN,本身就有着数千名理论物理学家常驻工作,也专门给他们的学者放了好几天的假,允许他们来参加这场会议,见证质量间隙问题的证明。

这对于本届大会组委会的协调能力也算是一种考验,像是他们的EXPOFORUM会展中心,本身最大的一号会厅标准容量为4000人,而现在为了保证7000多名参会人员能够全部容纳进去,也得重新将现场布置一番。

对于大会组委会来说,这大概也算是痛并快乐着了。

“沃日,人真多啊。”

某个队列中,正有相当多的华国面孔,望着现场的情况,都不由露出了惊叹的神色。

这堆人,就是来自华国几大高校的学生了。

陈木华感慨道:“真不愧是萧神啊!”

而他的身后站着的就是叶承,他说道:“毕竟是我萧哥。”

旁边还站着卢平,此时倒是毫不在意地挥挥手,说道:“安啦,别忘了当初萧神证明哥德巴赫猜想的时候,人民大会堂可是去了1万多观众呢,现在也就七千多人而已,小场面。”

“也就?”陈木华翻了个白眼,没好气地说道:“虽然没有1万人,但七千多人也算小场面?你上你试试?”

卢平嘴硬道:“我上我也行。”

叶承:“难蚌,你上能有100个人看都算好的了。”

“特么……”

他们顿时就打闹了起来。

以前都是在群里面拌嘴,现在终于线下见面,也是时候来一场真人pk了。

就像昨天他们见面的时候,狗管理江隆就已经被狠狠地围殴了一顿。

不过就在他们开始打闹没多久,人群中忽然响起了一片嘈杂声,众人纷纷朝着某个方向看了过去。

叶承他们也被吸引了注意力,瞅了过去,然后就都睁大了眼睛:“我超!萧神!”

只见萧易在一众组委会人员的的包围中走向了这边。

显然是刚刚从酒店那边过来的。

现场的人们纷纷朝萧易喊了起来。

而叶承他们自然也在其中。

大概是因为他们喊的都是中文,而且喊的都是“萧神”、“萧哥”之类的昵称,所以萧易也转过头注意到了他们,然后朝他们笑着点点头,打了个招呼。

叶承他们顿时间就仿佛有种追星成功的感觉。

而周围的那些老外们见到他们这么喊居然引起了萧易的注意力,于是都不由询问:“他的名字不是叫‘小艺’吗?你们为什么喊他‘小肾’、‘小哥’他就回应了?”

叶承他们哈哈一笑,“你们可以试试这样喊他,说不定他也会回应呢?”

于是这帮老外就用奇怪的腔调喊了起来。

结果萧易还真的看了过来,让这些老外们一阵激动,同时确定了一件事情,萧易可能有多个名字,说不定“小艺”都只是他的艺名。

萧易大概是想不到以后会有这样一个关于自己的流言传开。

此时的他,已经在别列佐夫斯基他们的带领下,直接进入了会场。

排队自然是不用排队的。

谁见过报告人去自己的报告还得排队的?

……

随着萧易进入会场,外面的人们也从激动中恢复了过来,随后继续排队入场。

不过,他们的心中对于这场报告,也更加期待了。

时间很快过去。

一号会厅之中,经过一番布置后,座位数量已经从原来的4000多扩展到了7000多。

看上去拥挤了不少,随着进入会场的人越来越多,也更显得有种人山人海的感觉。

不过,已经到现场的人们也并没有因为拥挤而感到烦躁,此时他们只期待着10点钟,报告会正式开始的时候。

就这样,时针也终于指向了10这个数字。

报告厅的主席台上灯光一亮,吸引了众人的注意力,随着他们看了过去,然后就见到组委会主席,别列佐夫斯基走了出来。

众人倒是不意外,这场报告作为本次数学家大会的第一项活动,就连开幕式都被延迟到了今天晚上,别列佐夫斯基总得先出来和人们见个面。

他站在中间,先是向在场的众人微微鞠躬,随后便开口道:“各位远道而来的客人们,欢迎你们来到圣彼得堡,参加2022年的国际数学家大会,我是大会组委会主席,别列佐夫斯基。”

“因为大家都知道的原因,所以这个原本应该是开幕式的时间,用来宣布大家都关心的菲尔兹奖、高斯奖等等奖项的事情,现在却变成了一场学术报告会。”

“不过,我想大家对于这场报告的关注度,大概也丝毫不亚于对菲尔兹奖获得者的关注。”

“今天这场报告的主题,杨-米尔斯存在性与质量间隙问题,数学物理中最重要的两个未解难题之一,另外一个也就是众所周知的纳维尔-斯托克斯方程解的存在性和光滑性问题。”

“如果说后者的答案是经典物理体系中的最后一个问题的话,那么杨-米尔斯存在性与质量间隙问题,将是量子物理体系中,最受到关注的问题。”

“它不仅涉及到了物理学中最前沿的理论量子场论,同时也关系到四大基本力中,强相互作用力的根本性质,尽管物理学家们已经从实验上证明了质量间隙的存在,但是要如何从数学上完成这个问题的证明,却仍然是一个无比困难的问题,数学界对此认为,只有更加复杂数学工具,才能为我们实现这一点。”

“而今天,这场报告会的报告人,将带来他的新数学工具,为我们介绍强相互作用力中,质量间隙是如何从数学的解释上存在的!”

“那么,就让我们欢迎萧易!”

在全场的掌声中,萧易从后台走出,亮相于在场7000多名的观众面前。

“谢谢主席先生了。”

萧易向别列佐夫斯基点头致意,而后者也鼓着掌,笑着朝他点点头,随后离开了主席台,走到了台下,坐在了他的位置上。

台上,重新只剩下了萧易一人。

他面对着眼前七千多双目光,轻轻一笑。

如果当初在人民大会堂面对一万多双目光的时候,他的内心可能还会有些许紧张的情绪。

那么现在,【无情连学】BUFF已经升级到lv5的他,对于眼前的场景,没有分毫的波动。

聆听真理吧。

微微鞠了一躬。

随着掌声渐歇,他开口道:“诸位好,今天是7月6日。”

“我来到圣彼得堡已经有几天,碰巧的是这段时间也是白夜现象出现的时间,也许这两天带着曦晖的夜晚,已经给大家留下不少的印象。”

“而对于从没见过白夜的我来说,也是如此。”

“哥德说过,在这个世界上,有两样东西值得我们仰望终生:头顶上的星空以及人心中的道德。”

“如今看到天上那仿佛永不落幕的光明,我想,哥德说的是对的。”

闲聊式的开头,提起了人们的注意力,而这段时间,也确实是圣彼得堡每年属于白夜之城的日子。

而这个时候,萧易忽然话锋一转:“不过,对于我们科学家来说,这些东西太过浪漫。”

“科学的信条,是每一个经过检验的理论,是每一个总结出来的规律,也是每一个得到认可的定理。”

“所以,一切的真理,才最令我们所仰望。”

“今天,我想给各位带来的,是一个新的真理。”

“当然,它也需要经过各位的检验和认可。”

“那么,就让我们正式开始吧。”

萧易打了个响指,多媒体屏幕上也随之出现了这场报告的主题。

【杨-米尔斯理论存在一个严格正的质量间隙。】

而他,也开始将证明过程,娓娓道来。

……

(本章完)

第173章 数学和物理的狂欢

“感觉……他变得和以前不一样了。”

观众席上,舒尔茨看着台上的萧易,不由得说了一句。

旁边的法尔廷斯笑着问道:“哪里不一样了?”

“嗯……哪哪都不一样的感觉。”舒尔茨说道。

法尔廷斯笑了笑,转过头重新看向台上的萧易,说道:“概括点的来说,是他的身上多了一种真正的大师风范吧。”

舒尔茨一愣:“大师风范?”

法尔廷斯点点头,说道:“以前他的报告,开始的时候可不会有那样的闲聊,往往都会直接进入正题,而现在,他在面对我们这么多的听众,却有了闲聊的心思,说明他在面对咱们的时候,已经真正做到平静以待了,就像是咱们都是来听他传授真理的一样——虽然也确实如此。”

“这样吗。”舒尔茨若有所思地点点头,说道:“毕竟,他都连质量间隙问题都给证明出来了,他当然算是大师了。”

“那可不一定。”法尔廷斯摇摇头:“你觉得你算是大师了吗?”

“我?”舒尔茨一愣,随后连连摆手,表示否认:“我怎么算是大师呢……”

“算你还有自知之明。”法尔廷斯笑着道。

舒尔茨的表情顿时一窘。

“能够称得上大师,不仅要在成果上达到大师的境界,在数学史上,能做到这一点的人也只有那么几个,近些年,大概也就只有格罗滕迪克、塞尔那几人而已。”

法尔廷斯说道:“而更重要的还是要在心性上转变过来,至少伱得在心中认可自己的能力,你才真正算的上是一位大师。”

“你啊,还需要好好努力。”法尔廷斯拍了拍舒尔茨的肩膀:“当然,我还是很看好你的,毕竟我当初都已经在媒体面前夸下海口,说你是我最认可的三位数学家之一了,你可不要给我丢人啊。”

舒尔茨表情郑重了起来:“我尽量不会让您失望。”

法尔廷斯笑着点点头。

不过舒尔茨这个时候又回了一句:“那么您觉得您算是大师吗?”

“我?”

面对这个相同的问题,法尔廷斯只是笑着摆摆手:“我是不算的。”

然而,舒尔茨怎么看,都觉得法尔廷斯这个回答,只是出于谦虚罢了。

和他刚才那种回答完全是两种类别。

一时间他忽然明白了法尔廷斯刚才关于“大师的心性”这一说法。

大概就像是他玩过的某款游戏中,有一个角色说过的一句话:真正的大师永远都怀着一颗学徒的心。

“好了,安心听报告吧。”法尔廷斯这时候提醒了一句:“今天就可以亲眼看见,霍奇-顶点代数解析方法的真面目了,可真让人期待啊。”

舒尔茨回过神,随后也重新将自己的注意力转移到了台上。

而此时,萧易已然开始讲述起了他的证明过程。

……

“无疑,想要证明质量间隙问题,是一个十分漫长的攻坚过程,需要探讨各种不同的角度。”

“我从四个方向进行了尝试,首先是格点QCD,这个大家应该都很熟悉,一种数值模拟的方法,通过将时空离散化,可以很轻松的帮助我们验证质量间隙的存在,然而众所周知的原因,数值模拟并不能代替严谨的数学逻辑,也就无法转化为真正的数学证明。”

“然后是Schwinger-Dyson方程,只要能够找到胶子的自能函数的非零解,这将间接证明质量间隙的存在。”

萧易开始在黑板上演示起他在Schwinger-Dyson方程方法上的一些成果。

最终,就在他取得了十分关键的进展后,却在最后因为这些解过于复杂,无法继续进行下一步,而不得不放弃。

“然后还有重整化群方法,分析杨-米尔斯理论在不同能标下的行为,我发现了在重整化群流动中显示出一种非微扰固定点,提示可能存在一个质量间隙,但遗憾的是,想要解决这个问题的复杂度,仍然超出了想象。”

“第四种方法,利用AdS/CFT对偶性,通过共形场论和反德西特空间的对偶关系来理解杨-米尔斯理论的非微扰性质,尽管它提供了一个新的视角,然而最终的复杂度也远远超出了可接受的范围。”

看着萧易给出的这些方法的演示,让在场不少的人都是一阵瞠目结舌。

其中的几乎每种方法都远远超出了他们的想象,也远远超过了学术界对这个问题的研究进展。

而那些在现场的物理学家们,更是一阵汗流浃背,好家伙,这几种方法中所使用到的数学都几乎超出了他们的想象,饶是如此,竟然也无法解决?

众人对于质量间隙问题的难度又有了进一步的认识。

那么,萧易到底是如何解决的?

“最终我瞄准了拓扑量子场论这一角度。”

“杨-米尔斯理论具有丰富的拓扑结构,尝试从TQFT进行突破,是一个很好理解的角度。”

“而事实证明,我选择的这个角度也是正确的。”

【对于S^4上的杨-米尔斯场A,其曲率形式F满足:F=dA+A∧A.】

【陈数c定义为:c=1/(8π^2)∫_S4Tr(F∧F)】

萧易转过头,开始在黑板上写了起来,同时说道:“入手之后,我便开始观察杨-米尔斯理论在四维球面上的表现,众所周知,这种四维球面空间在拓扑性质上非常的特殊。”

“四维球面S^4是一个紧致的、无边界的四维流形,它具有着简单连通性的拓扑性质,同时还有着高阶同伦群的零化性质,这都让我们的分析能够变得稍微简单一些。”

“所以我们将自然而然能够想到利用反自对偶场,以及霍奇对偶算子。”

萧易的推导再度开始。

而随着他在黑板上构造出了他口中的反自对偶场后,立马让在场的很多物理学者想起了当初萧易推导出来的X场,就是从这个反自对偶场中导出来的!

意识到了这一点,他们顿时都是眼前一亮,总算是让他们发现了X场最初的起源,而仔细观察一下萧易给出的这些推导过程,也让他们更为清楚了X场的机制。

一时间,他们都越发期待萧易最后的成果,究竟能够为理论物理学的研究提供多少帮助?

毕竟这场报告的摘要中,萧易可是明确说明过,会说明结论在物理上的意义。

就这样,数学家期待着霍奇-顶点代数解析理论,物理学家们期待着最终结论的物理意义,每个人都有光明的未来……

“……最终,我们可以引出一个定理:设G是一个紧的、简单的李群,且A是定义在四维球面S^4上的一个杨-米尔斯场。如果存在一个非零的陈数c,则杨-米尔斯场A的最低能量激发态具有一个严格正的质量间隙。”

“显然这个定理是等价于质量间隙问题的,因此,我们只需要证明它,也就证明了质量间隙的存在。”

场下的听众们,顿时都屏住了呼吸,仔细观察着萧易给出的这个定理。

“原来如此,他竟然将拓扑量子场论推导到了这种地步……”

第一排的座位上,身为这场报告会主要听众之一的爱德华·威滕,膝盖上放着草稿纸,而他正在跟着萧易的讲述,在草稿纸上进行着推演。

最后,他抬起头,看向萧易的目光中更为震撼。

能够导出这个等价的关系,已经是几乎将整个过程中能用到的各种方法,同量子场论结合到了一种新的极致,其中对于技术的考量,远超他的想象。

其中包含了他曾经研究出来的Chern-Simons理论,同时还有四维拓扑不变量、纤维丛理论等等一大堆的复杂数学方法。

能够将这么多的方法掌握就已然相当难得了,就更不用说还要将它们全部融会贯通,并且用在推导质量间隙这种难度的问题上面了。

作为一名顶尖的数学物理大师,威滕这回算是对萧易的数学能力有了更深的认识了。

然而,都已经将方法用到此种地步,最终也只能导出这样一个等价的定理吗?

接下来又该如何证明?

应该就是那个已经传遍了的霍奇-顶点代数解析方法了吧?

威滕的心中,也燃起了对这个方法的期待。

而此刻,导出了这个定理后,台上的萧易转过头,朝现场的所有观众们微微一笑:“等价的关系已经被我们得出,接下来的问题,我们该如何证明这个定理呢?”

随后,PPT也被他翻到了下一页。

而这一页上面的内容,正是那个给萧易带来了灵感的霍奇标准猜想。

“霍奇标准猜想,属于一系列关于代数簇上代数循环的猜想之一,与霍奇猜想有一定的联系,但相对来说要更加具体和技术性。”

“大家现在可以观察一下这个猜想的陈述,思考一下我刚才给出的定理,是否能够找出一些联系?”

萧易说到这里,然后就停了下来,从旁边拿起了自己的水杯喝了一口。

场下的人,百分之九十以上都是一脸懵。

不是吧,你真的让我们观察?

是不是有点太看得起我们了,这玩意儿能观察出什么东西来?

对于绝大多数的人而言,他们连这个猜想的陈述都看不懂。

【对于一个定义在复数域上的非奇异射影代数簇X,考虑X的(p,p)-同调类中的代数循环Z,定义一个由Z诱导的算子L(Z):H^m(X,Q)→H^(m+2p)(X,Q),其中Hm(X,Q)是X上的第m阶同调群。猜想断言,对于适当的p,这个算子L(Z)是正定的。】

“你们看得懂吗?”

台下,叶承等人所在的区域,他们看着萧易给出的这个东西,全部都是一脸懵逼。

“看得懂个鬼啊?”

陈木华深深地打了个哈欠。

此时的他们,基本上都处于昏昏欲睡的状态中了。

仿佛回到了当年那个高二炎热的下午,听着老师在台上讲着椭圆曲线的题目,而自己却已经是哈欠连连,恨不得直接睡过去。

当然,对他们这些数学尖子生来说,当年老师讲的,他们也完全会,但现在面对萧易讲的,他们是真的懂不了一点了。

“别想了,人家萧哥就不是让咱们来观察的,是让坐在前面的那些大牛们观察的。”卢平摆摆手,一脸平静的说道。

对于他们而言,接受现实是最重要的。

然而,话虽如此,其实对于坐在前排的那些大牛们而言,他们左看右看,也完全看不出来个什么啊?

还有,萧易现在突然提出这个问题来,是想干嘛?

莫非是要证明霍奇标准猜想?

开什么玩笑!

证明了质量间隙问题还不够,你还想顺便把证明霍奇标准猜想?

要知道的是,在数学中还有很多猜想的难度都丝毫不亚于千禧年七大难题,而霍奇标准猜想就是其中之一,千禧年难题最重要的不仅仅是难,还在于它们解决了之后能够给学术界带来的价值。

当然,萧易也没有一直等下去,喝了一口水后,他便继续开口道:“观察之后,我们可以很轻易地联系到霍奇理论中的一些工具。”

“首先就是,霍奇分解,然后就是,顶点代数。”

“霍奇分解是霍奇理论的核心概念之一,它将复代数簇上的德拉姆同调分解为(p,q)-型的部分,另一方面,顶点代数作为量子场论和代数几何的重要工具,可以用来描述共形场论中的代数结构。”

“如果两者相结合,能够给我们带来什么呢?”

萧易没有直接给出回答,而是开始在黑板上写了起来。

“考虑一个复代数簇X,其德拉姆同调群HkdR(X,C)可以通过霍奇分解进行表示。”

【HkdR(X,C)=_(p+q=k)H^(p,q)(X)】

“顶点代数是一种代数结构,用于描述二维共形场论中的算子代数,设V为一个顶点代数,其包含的算子满足某些交换关系和局部性条件,特别地,顶点代数具有一个态空间V=_(n∈Z)Vn,其中Vn是能级为n的子空间。”

“现在我们考虑一个顶点代数V作用在霍奇结构的同调类上,具体来说,设V的算子作用在Hp,q(X)上,定义一个映射。”

【φ:VH^(p,q)(X)→H^(p′,q′)(X)】

“其中 p′和 q′由顶点代数的算子特性决定。”

写到这里,萧易转头微微一笑:“通过这种构造,可以将霍奇结构与顶点代数的框架结合起来,如此,即是霍奇-顶点代数构型。”

“但下面又出现了一个问题,我们该如何使用这个构型呢?”

“如果无法使用,它即使结合起来,也终究只能像是空中楼阁一样,没有什么实际意义。”

“所以,这个时候,我们就要运用模空间,同时还要引入霍奇结构类。”

“考虑X的模空间M,其上的点对应于某种几何对象,比如如向量丛、代数簇等等的等价类,而这时候,我们再使用刚才的霍奇-顶点代数构型,就可以研究模空间上的霍奇结构了!”

【H^k_(global)(M,C)=_(p+q=k)H(p,q)_(global)(M).】

当萧易写到了这里时,观众席中,已然是一片波澜了。

见到萧易给出的这些过程,那些数学家们,心中完全无法平静。

这个就是霍奇-顶点代数解析法?

如此绝妙的推导,还有这个方法的作用……

几乎是将霍奇理论中的数个工具都给完全打通了?

还有现在给出的模空间……

此刻他们的心中只能意识到,代数几何要变天了。

普林斯顿等一众学者们的位置上,德利涅此时整个身子都往前倾斜了不少,仿佛想要将黑板上的推导过程看得更加仔细一些,就差没有直接站起来,走到黑板旁边了。

“这个方法……这个方法……如果当年我能够用它来证明韦伊猜想的话……”德利涅说道:“老师他应该就会满意了吧?”

“你的意思是说,用这个方法也能够用来证明韦伊猜想?”

德利涅的旁边,邦别里顿时吃惊地问道。

“那是当然,而且……”德利涅喃喃道:“能够让我摆脱掉其他附加结构,实现对韦伊猜想的纯粹代数几何证明。”

邦别里倒是明白德利涅这么说的意思。

韦伊猜想作为代数几何中最重要的猜想之一,当年一大堆最顶尖的数学家们都在尝试着解决这个问题。

在那人类群星闪耀的时间,安德烈·韦伊、亚历山大·格罗滕迪克、让-皮埃尔·塞尔、迈克尔·阿蒂亚等等,当然还有他眼前的这位皮埃尔·德利涅,都为韦伊猜想的证明做出过努力。

而最后,德利涅成为了最终摘得桂冠的数学家,并且因此而获得了菲尔兹奖。

只不过,德利涅的老师,格罗滕迪克对于他的证明并不是很满意。

因为格罗滕迪克本身就一直提倡用那些非常抽象和一般化的方法来处理问题,让证明更加的纯粹,以及高度地普适性和优雅性。

而德利涅的证明方法,却使用了更多的更加具体和技术性的手段,包括利用l-进同调和单值化理论等等,在格罗滕迪克看来,这种方法更像是“修补”或者“巧妙的技巧”,而不是展示了理论的内在力量和美感。

对此,只能说格罗滕迪克有着自己独特的数学哲学理念,是别人难以想象的。

面对老师的不满意,也终究让德利涅对此感到有些委屈,这些年来也一直尝试过用格罗滕迪克的那种想法来证明。

只可惜,一直到格罗滕迪克去世,他也未曾成功过。

哪怕是直到现在,数学界也从来没有人能够实现这一点。

然而如今……

邦别里看着萧易在黑板上给出的方法,目光中越发的震撼。

如果连这都能实现的话,那么对于代数几何学来说,真的要变天了啊。

同样的情绪,也发生在在场众多学者的身上。

法尔廷斯的表情十分严肃,无比认真地看着萧易的推导,而旁边的舒尔茨则是震撼以及不可思议,霍奇理论作为几乎是代数几何中最重要的数学工具之一,对于代数几何研究可以说做出了无比重要的贡献。

而现在……萧易的这个方法,不仅让霍奇理论变得更加凝练,更是能够将其通过和顶点代数的结合,实现更为重要的作用。

特别是顶点代数本身能够用于研究朗兰兹纲领,比如结合仿射李代数与W代数、结合顶点算子代数和自守形式,又或者是联系S-对偶性与朗兰兹对偶性等等。

舒尔茨忍不住叹道:“这家伙……这是在创造奇迹吗?”

……

数学家们为这个理论而惊叹中的时候,那些数学物理学者们同样平静不下来。

顶点代数原本是起源于物理学,最后又被学者们发现它在纯数学中也能发挥无比重要的作用,这也是为什么物理学同样能够推动数学发展的关键。

但对于这些数学物理学者们来说,他们更关心的是,如今结合了霍奇理论的顶点代数,将能够为他们的理论物理研究带来多么巨大的助力!

所以此时的他们,心中的激动,丝毫不比那些数学家们要少。

大概,全场只有台上的萧易,语气上仍然一如既往,仿佛并不知道他所讲的东西,将给两个学界带来多么重大的影响力。

此时的他,正在为最后的证明,进行着收尾工作。

“……最后,利用霍奇-顶点代数解析方法,我们也就可以轻松地证明前面我所提出的定理。”

“在G上存在这样一个非零陈数c,因此,也就等价于杨-米尔斯场A的最低能量激发态具有一个严格正的质量间隙。”

“至此。”萧易张开了手,说道:“我们便完成了对杨-米尔斯存在性和质量间隙问题的证明。”

说完,他顿了顿。

而台下的学者们,仿佛没反应过来一样,安静无比。

不过,萧易只是一笑,随后继续说道:“在最后,根据霍奇-顶点代数解析法,我们还可以轻松地将霍奇结构推广至量子场论中。”

他在黑板上简单地演示了两下,很快,就轻易地完成了这一步。

不过,至此还没完,他又往下推导了几步,而这几步,就直接让场下的物理学家们坐不住了。

这是一个新粒子的表达式!

“没错,通过这个新的方法……嗯,我将它称之为量子霍奇理论,我们可以轻易地推导出一个全新的粒子。”

“可以看出,它和X场是同源的,因此,我暂且将它命名为X粒子,至于未来能否发现它,则还需要实验物理学界的努力了。”

语气十分轻松地说完最后这句话,然后,萧易就放下了手中的黑板笔,然后转过头,走到了台前。

“那么,我的报告,就到此结束。”

“感谢各位的耐心。”

萧易绅士地鞠躬。

全场的气氛犹如窒息般宁静了片刻,而后便爆发出热烈的掌声。

仿佛要掀翻这个大会厅的天花板。

数学家和物理学家们激动地站起身,向萧易送上了他们全部的热情。

他们都已经可以看到,这场报告,将成为数学和物理学的狂欢!

(本章完)

重新连接服务器...

连接失败... 将在 秒后重新尝试连接.

连接失败.
请刷新此页面.

此会话被服务器暂停.

恢复会话失败.
请重试或者刷新此页面.