《学霸的黑科技系统》第1127章 霍奇猜想的新思路

    大概是在年初那会儿，陆舟还没有将陈阳从燕大数学中心挖来的时候，这位陈教授便在研究霍奇猜想了。
    陆舟还记得，当时他在黑板上研究自己的超椭圆曲线分析法，并且用了一种非常巧妙的方法，将这个原本为准黎曼猜想设计的数学工具，改进之后直接运用在了对非奇异复代数簇的代数拓扑，以及其定义子簇的多项式方程所表述的几何关联问题的研究上。
    当初也正是因为这一手漂亮的操作，让陆舟不禁动了爱才之心，将他从燕大数学中心挖到了金陵这边来。
    现在已经过去快一年了，关于霍奇猜想的课题仍然没有丝毫的进展，再加上前段时间一直在忙代数几何统一理论的事情，以至于陆舟都快把这件事给忘了。
    “走，去我办公室说。”
    带着陈阳来到了自己的办公室，陆舟亲自去墙角帮他拖来了一张白板，并且将自己的记号笔递到了他的手上。
    没有将时间浪费在客套上，接过了笔之后，站在白板前的陈阳思索了片刻，首先在白板上随手画了个圆，然后在旁边标记了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那边还有一堆事情等着我去处理，恐怕最近我都没有更多的时间，能够分配到数学这边了。”
    听到这个消息，佩雷尔曼脸上露出了遗憾的表情。
    “那实在是太遗憾了。”
    “虽然我恐怕抽不出时间帮忙，但我郑重的向你推荐陈教授，”拍了拍陈阳的肩膀，陆舟笑着说道，“他是一位优秀的学者，关于他的能力，相信你也是了解的，我就不多吹牛了。总之，你们合作的话，我相信一定能够解决这个问题。”
    虽然对这种绝对的说法表示怀疑，但看了一眼陈教授，佩雷尔曼也没有说什么，只是点了下头，看样子是认可了这位合作伙伴。
    两人都是那种话不多的类型，也没有太多的交流。
    陆舟清了清嗓子之后，看着佩雷尔曼继续说道。
    “说起来，你继续留在这边没问题吗？代数与几何的统一理论已经完成了。”
    “没有问题，”佩雷尔曼摇了摇头，“我和母亲已经打过电话了，她让我去做自己想做的事情，不用太在意她那边。我确实还有想做的事情没有完成，我打算在这里……再待一段时间，把霍奇猜想解决了再回去。”
    虽然很意外佩雷尔曼教授居然会选择留下来，但这种好事陆舟自然是不会拒绝，当即笑着说道。
    “那你还是住在原来那个公寓吧，我会帮你申请延长公寓的使用时间。”
    佩雷尔曼点了点头，感谢道。
    “麻烦你了。”