第208章 来自远方的验证
深夜，米国新泽西州普林斯顿。
皮埃尔·德利涅结束了一天的工作，习惯性地扫了眼自己的邮箱，发现收件箱躺著一封刚刚发来的未读邮件。
他不禁有些疑惑地看向墙上有些古老的欧式掛钟，有些纳闷是谁给他的发的邮件。
这个点了，可能有些不寻常的情况。
点开邮件，发现是《数学年刊》的主编卡尔文·海德发来的，让他看一篇论文。
“亲爱的德利涅先生，我想这两篇最新投稿只能您来审……”
“哦？”
这个时间，这个语气，足以说明附件的这篇文章非比寻常。
德利涅来了兴致，重新戴上自己的圆片老花镜，將附件的文件打开来。
滑鼠滚轮滑动，一个標题让他手指顿住：
《关於標准定理d的一个证明》
居然有人证明了老师的標准猜想d?
时隔几个月，德利涅还清晰地记得，当初自己怎样亲眼见证沈牧在自己面前证明出了標准定理a。
后来標准定理b也由沈牧证出。
老实说，对这篇论文，德利涅还是比较期待，因为他相信，除了自己的老师格罗滕迪克，他是最想要老师的几个標准猜想被证明的人。
然而只看標题的话，德利涅对发文者本能地多了些审视的情绪。
这位学者的论文標题直接將“標准猜想d”叫作“標准定理d”，他怎知自己的证明就一定没有紕漏？
本书首发 读小说选 101 看书网，101??????.??????超省心 ,提供给你无错章节，无乱序章节的阅读体验
这些年每年都有一些学者致力於研究这个命题，可是直到现在，標准猜想d不是仍旧叫作“猜想”？
只是看到论文旁的名字时，德利涅的这种情绪仿佛瞬间消失。
原来那位叫沈牧的年轻人又继续研究起標准猜想d来。
而对於他跳过標准猜想c，直接研究起標准猜想d，德利涅內心表示十分理解。
只因標准猜想c虽然同是他的老师格罗滕迪克提出，但却是最难被证明的一个，被视为连接不同上同调理论的核心桥樑。谁敢轻易挑战？
要是旁人写的文章，德利涅几乎有理由怀疑，他是否真的证明如此，证明过程中是否存在疏漏。
可若是沈牧……他清楚沈牧的天赋和潜力。
德利涅坐直身体，点开论文，渐渐的，镜片后的目光慢慢凝重了起来。
经过一番演算，与德利涅想像的一样，这篇证明思路流畅，几乎是很顺畅地带著他走到了最后那一步。
由此，標准定理d得证。
此时外面已经接近凌晨，德利涅放下笔，两手交错放在自己的身前。
他没看错那个孩子，甚至这孩子比他期待的要更有学术天赋。
特別是a，b，d定理的相继证出，中间並没有相隔多长时间，几乎是连续被证明了。
这个孩子真是了不起。
德利涅在心底讚嘆了一句，想著过几个钟头，等他和老师日常问候的时间，把这件事告诉老师？
后辈有这样的青年才俊，老师也一定很高兴。
然而脑子渐渐归於平静的时候，德利涅忽然想起一件事。
在昨晚的邮件中，卡尔文信里好像说的是，有两篇文章让他审？
只是刚刚他论文看的专注，一直选择忽略了这个信息。
几乎是要印证自己的记忆，德利涅重新找到卡尔文·海德的邮件，证明卡尔文確实是这么说的。
附件栏果然还有一个文件。
想著这篇文章也许是刚刚那篇论文的说明文件，德利涅下载打开，片刻后，看到文件標题的德利涅淡绿色的瞳孔微微一顿。
《关於標准定理c的一个证明》，作者mushen。
德利涅无意识地动了动嘴唇，花白的鬍子隨之轻轻扇动。
沈牧是接连证明出了两个猜想么？
可是还是像刚才所想，標准猜想c的难度在几个猜想里面是最难，最复杂的。
无可否认，证明標准定理a，b，d相当於为攻打猜想c这个最终堡垒，提供了一些可用的地图，后勤支持以及精良的工程装备。
这將使证明c的路径从黑暗中的摸索变得清晰一些。
但並不意味著標准猜想c会容易多少，它始终包含著自己独特的，深刻的概念性困难，需要更全新的解决思路和洞察力。
虽然过去了好几个小时，一夜未睡的德利涅却仿佛比白天更加精神焕发。
他也並不准备睡了。
德利涅索性把自己的电脑搬到了书房，坐在办公椅上，开始阅读那篇论文。
无疑，对这篇论文，他比刚才更加期待。
无疑，对这篇论文，他比刚才更加期待。
他想知道，在证明了標准定理abd之后，沈牧是如何接著证明出標准猜想c的。
具体方法又是如何，证明这几个定理可是需要完全不同的思路！
还有很重要的一点，只要標准猜想c被证明，那意味著与其有著紧密联繫的另一个世界数学难题霍奇猜想也將被证明！
快速转动滑鼠，德利涅开始了这篇论文的阅读。
整整四十七页，德利涅先是快速瀏览摘要和引言，目光瞬间被几个关键的推演步骤吸引。
掛钟在墙上滴滴答答地响著，晨光越来越亮，白天的空气慢慢喧囂起来。
德利涅的眼神也不再那么沉静，甚至隱隱透著一丝兴奋。
关联法么？关联的方式却不一样……德利涅捋了捋花白的鬍鬚，这个想法很好。
最后，他拿出笔和稿子，跟著论文里的公式演算了起来。
早晨的阳光透过窗子照进书房，德利涅面前的草稿纸已写满符號。他反覆验证著论文中一个核心引理，那是將l函数与动机的实现相联繫的关键一步。
逻辑链条严丝合缝。
他摘下眼镜，揉了揉眉心。
这篇证明確实与上一篇思路迥异，但他依然没有找到漏洞。至少初步看来，没有。
而且，以他多年来研究標准猜想的经验来讲，有些地方他似乎还有些疑惑。
德利涅沉默地坐了许久，这不是他预想中会出现在预印本网站上的东西。
他打开邮箱，手指在键盘上停顿片刻，开始打字。
收件人是几位领域內的老友，內容只有一行：“关於標准猜想d和c，我想我们有必要立刻討论。”
……
普林斯顿高等研究院，德利涅的办公室。
四把椅子，两叠稿纸。
德利涅將列印稿推至茶几中央：“沈牧的新投稿，標准猜想c和標准猜想d已初步验证。”
“沈牧？你是说他继续证明了標准猜想c和標准猜想d？”
空气中安静了一瞬，几人对视了一眼，在彼此的眼里看到了同样的质疑。
很快，朗兰兹、邦別里、威腾各自拿起一本列印稿，翻页声隨即响起，持续了许久。
片刻后，几个人的神情明显都兴奋了。
朗兰兹率先打破沉默。他抽出d证明的第3页，指尖点在一行算式上：“妙，他重构了代数循环的万有性质。”
起身走向白板，迅速写下三个交换图表，隨即停顿，“……这里。他引入了一个新的模態算子，替代了传统的莱夫谢茨分解。”
邦別里已戴上眼镜，继续伏在茶几上演算。
他用三种不同顏色的笔標註著標准猜想c证明中的第7节。
“沈牧在特徵p的障碍上凿穿了通道。”
威腾没有抬头，左手翻页，右手在便签上狂草。
“第9页的引理2.3。”，他將便签推向眾人。
上面画著一个扭曲的纤维丛图示，“这不仅是代数几何，这个构造允许我在卡拉比流形的量子化模型里，定义一个全新的拓扑不变量。”
他抬眼看向德利涅，“证明如果成立，意味著动机范畴的张量积结构具备我寻找多年的单演刚性。”
德利涅始终沉默，他双手交叠，目光在三人与稿纸间移动。
当威腾说完，他起身，从书柜取出一本褐色皮面笔记，那是格罗滕迪克1970年討论班的手抄本。
翻至某一页，他將手抄本与沈牧的稿件並置。