第1125章 霍奇猜想的新思路
作者:晨星LL      更新:2021-07-26 13:51      字数:2835
  大概是在年初那会儿,陆舟还没有将陈阳从燕大数学中心挖来的时候,这位陈教授便在研究霍奇猜想了。
  陆舟还记得,当时他在黑板上研究自己的超椭圆曲线分析法,并且用了一种非常巧妙的方法,将这个原本为准黎曼猜想设计的数学工具,改进之后直接运用在了对非奇异复代数簇的代数拓扑,以及其定义子簇的多项式方程所表述的几何关联问题的研究上。
  当初也正是因为这一手漂亮的操作,让陆舟不禁动了爱才之心,将他从燕大数学中心挖到了金陵这边来。
  现在已经过去快一年了,关于霍奇猜想的课题仍然没有丝毫的进展,再加上前段时间一直在忙代数几何统一理论的事情,以至于陆舟都快把这件事给忘了。
  “走,去我办公室说。”
  带着陈阳来到了自己的办公室,陆舟亲自去墙角帮他拖来了一张白板,并且将自己的记号笔递到了他的手上。
  没有将时间浪费在客套上,接过了笔之后,站在白板前的陈阳思索了片刻,首先在白板上随手画了个圆,然后在旁边标记了s,并写下了一行表达式。
  “……对于紧致无边的曲面s,其gauss曲率k可以在整个曲面上进行积分。”
  一边写着,陈阳一边继续说道。
  “众所周知的是,一个曲面不一定只容有一个度量,所以我尝试对s的度量进行了更换。在更换了度量之后,相应的gauss曲率k同样也会发生改变,但积分值却与曲面的度量无关,而只与曲面的euler示性数x(s)有关,利用这一性质,我们可以——”
  看着白板上的算式,陆舟眉毛轻轻抬了下,饶有兴趣地说道。
  “gauss-bonnet公式?”
  手中的笔停住,陈阳点了下头说道。
  “正是。”
  说罢,他将gauss-bonnet公式写了上去。
  看到这画龙点睛的一笔,陆舟的脸上感兴趣的神色愈发浓烈了。
  事实上,他大概已经猜到,陈阳是打算干什么了。
  根据高维黎曼流形m的性质,gauss曲率可以推广为截面曲率,它的值可以由黎曼曲率的张量决定。至于其被积函数,则是由曲率张量组成的很复杂的代数式——即gauss-bonnet被积函数。
  至于其在整个流形上的积分,则是由这个流形的euler示性数x(m)所决定。
  利用这些性质,便能够将hodge理论推广到完备非紧流形中。
  这些深刻的数学意义,是由陈省身教授得到的,也就是著名的gauss–bonnet–陈公式中的数学内涵。
  再结合阿提亚爵士的l2上同调方法,沿着这条思路继续走下去,搞不好还真能把这个猜想给证出来。
  当然,具体该如何证明,还需要深入研究一下就是了。
  想到这里,陆舟赞许地点头。
  秒啊。
  实在是妙。
  不知何时,陈阳的背后已经站了一圈人。
  早在他刚刚开始板书的时候,办公室里的人便注意到了这边。
  盯着白板上的算式,季默两眼发光,激动的小声说道:“这,难道就是传说中的——”
  见自己师弟说话又只说了一半,何昌文皱了下眉头,低声道:“到底是啥,别卖关子。”
  季默奇怪地看了他一眼。
  “霍奇猜想啊!很明显嘛。”
  何昌文:“……”
  这特么哪里明显了?!
  不过仔细一看,好像确实是这样。
  想到这里,何昌文不禁在心中安慰了自己一句。
  嗯,如果认真看的话,他应该也是能看出来的。
  白板上的笔停下了,陈阳陷入了沉思。
  显然,这条思路他只走到了一半,后面该怎么走还没有很好的想法。
  不知何时来的办公室,站在旁边一直沉默不语的佩雷尔曼教授,忽然开口说道。
  “这条思路看起来有点意思。”
  回头看向了佩雷尔曼教授,陈阳微微愣了下,有些意外地说道。
  “您是什么时候过来的?”
  “大概在你写到一半的时候……本来我是来找陆教授的,没想到在这里还有意外收获,”停顿了一下,佩雷尔曼继续说,“……可以给我用下笔吗?”
  没有任何的犹豫,陈阳果断将手中的记号笔让了出来。
  从陈教授的手中接过了笔,站在白板前的佩雷尔曼沉思了片刻,随后在他的算式下面空了几行,继续写了起来。
  “既然有现成的代数几何统一理论可以运用,式(3)的证明我就省略了。”
  “……我的建议是,对于之后部分的证明,我们可以将紧流形m问题提升到它的通用复盖流形上,得到完备非紧流形m。”
  “根据阿提亚的定理,如果我们能在截面曲率的条件下证明除了中间的l2同调群其余都为零……”
  说着,他手中的笔轻轻抖了一下,很快写下了一行简洁而优美的算式。
  【h^n(m)6≠{0},且当q≠n时,h^q(m)={0}】
  看到这行算式的瞬间,陈阳的瞳孔微微收缩。
  脸上的表情瞬间浮现了一丝明悟,他压抑着激动的语气说道。
  “……我们就能得到霍奇猜想的证明!”
  那么问题来了。
  该如何证明,在截面曲率的条件下,除了中间的l2同调群其余都为零?
  对话到这里忽然戛然而止了。
  短暂的兴奋之后,两人不约而同地陷入了沉默。
  最后,又不约而同地看向了陆舟。
  注意到两人看向自己,从头到尾一句话都没说的陆舟忽然眨了眨眼,笑着说道。
  “我觉得你们的想法都不错……虽然我没仔细研究过这个课题,但直觉告诉我照着这条路走下去,八成是能够有所收获的。”
  顿了顿,他继续说道。
  “这个思路非常有意思,我的建议是,你们不如一起研究这个课题好了。”
  总感觉陆舟似乎看出来了些什么,却又没有把话说明白。
  佩雷尔曼皱了下眉头,迟疑问道。
  “你不参与吗?这可是个很有意思的难题。”
  何止是有意思。
  霍奇猜想可以说是现代数学发展中抽象特征的集中体现,研究的是数学三大分支——分析、拓扑、代数几何之间的内在联系。
  至于难度,作为千禧难题的它,自然是毋庸置疑的。
  令佩雷尔曼诧异的是,陆舟居然没有表现出很强烈的兴趣。
  陆舟:“……虽然我很感兴趣,但imcrc那边还有一堆事情等着我去处理,恐怕最近我都没有更多的时间,能够分配到数学这边了。”
  听到这个消息,佩雷尔曼脸上露出了遗憾的表情。
  “那实在是太遗憾了。”
  “虽然我恐怕抽不出时间帮忙,但我郑重的向你推荐陈教授,”拍了拍陈阳的肩膀,陆舟笑着说道,“他是一位优秀的学者,关于他的能力,相信你也是了解的,我就不多吹牛了。总之,你们合作的话,我相信一定能够解决这个问题。”
  虽然对这种绝对的说法表示怀疑,但看了一眼陈教授,佩雷尔曼也没有说什么,只是点了下头,看样子是认可了这位合作伙伴。
  两人都是那种话不多的类型,也没有太多的交流。
  陆舟清了清嗓子之后,看着佩雷尔曼继续说道。
  “说起来,你继续留在这边没问题吗?代数与几何的统一理论已经完成了。”
  “没有问题,”佩雷尔曼摇了摇头,“我和母亲已经打过电话了,她让我去做自己想做的事情,不用太在意她那边。我确实还有想做的事情没有完成,我打算在这里……再待一段时间,把霍奇猜想解决了再回去。”
  虽然很意外佩雷尔曼教授居然会选择留下来,但这种好事陆舟自然是不会拒绝,当即笑着说道。
  “那你还是住在原来那个公寓吧,我会帮你申请延长公寓的使用时间。”
  佩雷尔曼点了点头,感谢道。
  “麻烦你了。”