第208章 来自远方的验证（3 / 6）
最后，他拿出笔和稿子，跟著论文里的公式演算了起来。
早晨的阳光透过窗子照进书房，德利涅面前的草稿纸已写满符號。他反覆验证著论文中一个核心引理，那是將l函数与动机的实现相联繫的关键一步。
逻辑链条严丝合缝。
他摘下眼镜，揉了揉眉心。
这篇证明確实与上一篇思路迥异，但他依然没有找到漏洞。至少初步看来，没有。
而且，以他多年来研究標准猜想的经验来讲，有些地方他似乎还有些疑惑。
德利涅沉默地坐了许久，这不是他预想中会出现在预印本网站上的东西。
他打开邮箱，手指在键盘上停顿片刻，开始打字。
收件人是几位领域內的老友，內容只有一行：“关於標准猜想d和c，我想我们有必要立刻討论。”
……
普林斯顿高等研究院，德利涅的办公室。
四把椅子，两叠稿纸。
德利涅將列印稿推至茶几中央：“沈牧的新投稿，標准猜想c和標准猜想d已初步验证。”
“沈牧？你是说他继续证明了標准猜想c和標准猜想d？”
空气中安静了一瞬，几人对视了一眼，在彼此的眼里看到了同样的质疑。
很快，朗兰兹、邦別里、威腾各自拿起一本列印稿，翻页声隨即响起，持续了许久。
片刻后，几个人的神情明显都兴奋了。
朗兰兹率先打破沉默。他抽出d证明的第3页，指尖点在一行算式上：“妙，他重构了代数循环的万有性质。”
起身走向白板，迅速写下三个交换图表，隨即停顿，“……这里。他引入了一个新的模態算子，替代了传统的莱夫谢茨分解。”
邦別里已戴上眼镜，继续伏在茶几上演算。
他用三种不同顏色的笔標註著標准猜想c证明中的第7节。
“沈牧在特徵p的障碍上凿穿了通道。”
威腾没有抬头，左手翻页，右手在便签上狂草。
“第9页的引理2.3。”，他將便签推向眾人。
上面画著一个扭曲的纤维丛图示，“这不仅是代数几何，这个构造允许我在卡拉比流形的量子化模型里，定义一个全新的拓扑不变量。”
他抬眼看向德利涅，“证明如果成立，意味著动机范畴的张量积结构具备我寻找多年的单演刚性。”
德利涅始终沉默，他双手交叠，目光在三人与稿纸间移动。
当威腾说完，他起身，从书柜取出一本褐色皮面笔记，那是格罗滕迪克1970年討论班的手抄本。
翻至某一页，他將手抄本与沈牧的稿件並置。
“看这里。”德利涅的声音很轻，“1970年，老师设想过通过超越传统上同调的桥接来统一循环类。但隨后他划掉了这一段，批註：技术工具不存在。” ↑返回顶部↑
早晨的阳光透过窗子照进书房，德利涅面前的草稿纸已写满符號。他反覆验证著论文中一个核心引理，那是將l函数与动机的实现相联繫的关键一步。
逻辑链条严丝合缝。
他摘下眼镜，揉了揉眉心。
这篇证明確实与上一篇思路迥异，但他依然没有找到漏洞。至少初步看来，没有。
而且，以他多年来研究標准猜想的经验来讲，有些地方他似乎还有些疑惑。
德利涅沉默地坐了许久，这不是他预想中会出现在预印本网站上的东西。
他打开邮箱，手指在键盘上停顿片刻，开始打字。
收件人是几位领域內的老友，內容只有一行：“关於標准猜想d和c，我想我们有必要立刻討论。”
……
普林斯顿高等研究院，德利涅的办公室。
四把椅子，两叠稿纸。
德利涅將列印稿推至茶几中央：“沈牧的新投稿，標准猜想c和標准猜想d已初步验证。”
“沈牧？你是说他继续证明了標准猜想c和標准猜想d？”
空气中安静了一瞬，几人对视了一眼，在彼此的眼里看到了同样的质疑。
很快，朗兰兹、邦別里、威腾各自拿起一本列印稿，翻页声隨即响起，持续了许久。
片刻后，几个人的神情明显都兴奋了。
朗兰兹率先打破沉默。他抽出d证明的第3页，指尖点在一行算式上：“妙，他重构了代数循环的万有性质。”
起身走向白板，迅速写下三个交换图表，隨即停顿，“……这里。他引入了一个新的模態算子，替代了传统的莱夫谢茨分解。”
邦別里已戴上眼镜，继续伏在茶几上演算。
他用三种不同顏色的笔標註著標准猜想c证明中的第7节。
“沈牧在特徵p的障碍上凿穿了通道。”
威腾没有抬头，左手翻页，右手在便签上狂草。
“第9页的引理2.3。”，他將便签推向眾人。
上面画著一个扭曲的纤维丛图示，“这不仅是代数几何，这个构造允许我在卡拉比流形的量子化模型里，定义一个全新的拓扑不变量。”
他抬眼看向德利涅，“证明如果成立，意味著动机范畴的张量积结构具备我寻找多年的单演刚性。”
德利涅始终沉默，他双手交叠，目光在三人与稿纸间移动。
当威腾说完，他起身，从书柜取出一本褐色皮面笔记，那是格罗滕迪克1970年討论班的手抄本。
翻至某一页，他將手抄本与沈牧的稿件並置。
“看这里。”德利涅的声音很轻，“1970年，老师设想过通过超越传统上同调的桥接来统一循环类。但隨后他划掉了这一段，批註：技术工具不存在。” ↑返回顶部↑