对于奥列耶维奇来说,他很清楚林晓的这个报告,对于霍奇猜想的研究充满了重要性。
以往积分霍奇猜想的两种形式都存在一定的错误,也就是说都被数学家找到了反例,所以数学家们都仍然在追求着一种全新的积分霍奇猜想,能够完美地将霍奇猜想给概括过来。
而现在林晓的报告中,用到了十分严谨的论述过程,提出了这个全新的动机上同调人,然后才得出了这个新的积分霍奇猜想,就这一点来说,就足够让奥列耶维奇十分信任了,而在之后林晓还利用了一个反证法,证明了他的这个积分霍奇猜想是完全正确的,携带了原霍奇猜想所有的信息。
“失去信息”,是阻挠数学发展的一个常见情况,一般都发生在形式的变化中。
比如林晓的林氏定理所解决的函数到层的变化,在过去,不是所有函数都能转变为层,便是因为在转化的过程中,会有一部分信息失去,也就是说,有一部分的信息在转变之后将会损失掉。
而信息不完全的形式,自然也就会对解决数学问题的过程中造成影响,因而如何解决这个问题,就需要发展新的工具。
对于林氏定理来说,就是一个这样实现函数到层之间无损转变的工具。
而霍奇猜想转变为积分霍奇猜想的过程中,就需要利用到上同调可以转换为微分形式的作用,不过,由于工具的受限,这个转换过程就会导致一些信息的丧失,于是也就致使了过去那两种积分霍奇猜想的错误出现。
而现在,林晓拿出来的全新动机上同调,便再度解决了这样一个致命问题,使得原本的“信息”,能够在两种形式下,完成无损的转变了。
所以,对于此,奥列耶维奇才对林晓的这篇报告感到十分的惊叹,无疑,这是一个十分了不起的成就。
而这篇报告的重要性,也不言而喻。
“倒是让我也很期待林教授的这场报告了啊。”
摇摇头,接着奥列耶维奇又看了看报告的结尾处,忽然他就一愣。
这个结尾处,赫然又是几行数学式。
“嗯?这结尾处怎么还有……林教授还没弄完?”
他带着些许的疑惑,多看了几眼。
半晌后,他的目光中顿时就露出了凝重的色彩。
“这是……林教授居然是要开始证明这个猜想了?”
这结尾处的几步,赫然是对积分霍奇猜想开始展开的证明。
但虽然只是简单的几步,却已经足以引起奥列耶维奇这样的数学家的遐想了。
按照林晓给出的这几步,如果继续搞下去的话,说不定能够再搞出一些重要的阶段性成果呢?ωωw.cascoo.net
至少就目前看来,林晓这最后几行式子,已经有了这样的潜力。
不说真正证明,但阶段性成果的话,在数学中同样十分的重要,就像佩雷尔曼能够证明庞加莱猜想,便是因为有一个叫做Ricci流的数学工具,在其中起到了十分的重要,这也使得佩雷尔曼公开表示,那位搞出Ricci流,叫做理查德·哈密顿的数学家起到的贡献比他要更大一些。
但尽管如此,可是——
“怎么就只有这么几步啊!”
奥列耶维奇第一次感受到了断章狗的可恶之处,甚至有种想给林晓寄刀片的感觉。
这明明还可以往后继续写的,至少凭借林晓能力,想来是肯定的可以往后写的。
但是他偏就卡在这么关键的一步,不写了。
奥列耶维奇抓了抓头发,心都是痒痒的。
相信没有任何数学家能够抵挡住证明霍奇猜想的诱惑,或者说,任何千禧年七大难题都是一样,光论克雷研究所开出的100万美元奖励,就足以让许多数学家们眼馋了。
数学家往往不是那么富裕,所以当数学家们得知佩雷尔曼连这100万美元都没有接受的时候,都十分的惊讶。
而除此之外,就更不用说由此带来的名声,以及对自我实现的需求了,毕竟这可是千禧年难题。
所以奥列耶维奇十分想知道这关键的一步之后该怎么写。
“这个林教授,到底要干嘛啊!”
但无论此时的他心中如何疑惑,但哪怕他想破了脑袋,大概都想不到林晓想要复刻一波安德鲁·怀尔斯证明费马大定理的过程。
想不通,那就不想了。
于是奥列耶维奇不再多管,将这个报告归入档案,等到之后经过复审,完全确定报告内容没有问题之后,就可以上传到他们2022ICM的官网上了。
奥列耶维奇甚至能够想象得到,当其他数学家下载了林晓的这篇报告并看完之后,也会和他一样,对林晓这卡在关键点的一步而恨得牙痒痒的。
说不定,到时候林晓在他的演讲中讲完他的报告后,观众们还会闹腾几下呢。
奥列耶维奇已经很期待那个时候了。
摇摇头,将这件事情抛之脑后,他便要开始其他的工作,不过就在这个时候,忽然有人给他打来了电话。
他一看
。,是自己好友佐列洛夫斯基,本身是圣彼得堡国立大学数学教授。