第三章 猜想

回到南京后的第一周，陈默几乎没出过门。

　　他把五本笔记本按时间顺序排列在书桌上，旁边放了一摞空白草稿纸、三支削好的铅笔和一杯逐渐变凉的咖啡。他从第一本开始读，边读边记笔记，遇到关键的公式就自己在草稿纸上重新推导一遍。

　　这不是轻松的阅读。许衡之的书写习惯极为个人化——他使用一套自创的符号系统，部分符号与主流文献一致，部分是他自己的缩写，还有一部分是他在不同时期对同一概念使用的不同记号。更要命的是，笔记本不是严格按逻辑组织的，而是按思维过程组织的：一个论证常常在第30页开始，在第45页被打断，在第78页以完全不同的形式重新出现，中间穿插着大量对其他问题的旁注和自我反驳。

　　陈默觉得自己在读一部意识流小说——不是普鲁斯特那种优雅的意识流，而是某种更原始、更粗粝的东西，像一条河流的横截面，你能看见不同年代的沉积层交错叠加。

　　第一本笔记本的时间跨度是1990年至1996年。这个阶段许衡之的思想还在成型期，核心的想法——“L函数零点分布具有某种内在的代数结构“——已经出现，但表述得还很模糊。他用了大量的比喻和半哲学式的语言来描述自己直觉中的东西，比如：

　　“零点不是孤立的数字，它们是一个语言的词汇。它们之间有语法。我们目前只看到了词汇表，还没有发现语法。“

　　“素数的分布是'说出来的话'，零点的分布是'说话的规则'。你不能通过统计一句话里某个词出现的频率来理解语法——你需要另一种方式。“

　　陈默在这些段落旁边画了星号。他理解许衡之在说什么——这是关于“第一性原理“的追问。在解析数论中，L函数零点的信息通常是通过分析方法提取的：你构造某种积分表示，估计它的大小，然后用不等式约束零点的位置。这种方法极其有效——它证明了素数定理，推进了黎曼猜想的验证，是整个解析数论的基石。但它有一个根本性的局限：它只能告诉你零点“在哪里“或“不在哪里“，不能告诉你零点“为什么在那里“。

　　许衡之想回答的是后一个问题。不是“零点的位置如何分布“，而是“零点为什么这样分布“——这个问题一旦有了答案，黎曼猜想就不再是需要证明的命题，而会变成一个显而易见的推论，就像多项式的根由系数决定一样自然。

　　但如何做到？许衡之在第一本笔记本中尝试了三种不同的路径。第一种是从Galois表示出发，试图在L函数对应的表示层找到某种不变量来控制零点分布。这个思路后来被许多研究者独立提出过，但始终没有取得根本性突破——因为Galois表示本身太复杂，不变量太难构造。第二种是从自守表示的角度切入，利用Langlands对应把零点问题转化为某种表示论问题。这条路更接近后来林远洲的几何化方案，但许衡之在1994年就放弃了它——他在笔记本上写道：

　　“此路可通，但非我路。沿此路走，终将回到几何——那是远洲的领地，不是我的。我必须找到一条不需要几何的路。“

　　陈默在这段话下面画了双线。他终于理解了许衡之的执念——不是不知道几何化方案可行，而是不愿意走那条路。这不是学术上的固执，而是一种更深层的东西：一个数学家对自己道路的忠诚，就像一个诗人对自己语言的忠诚。你可以用另一种语言写出同样精确的意思，但那不再是你的诗。

　　第三种路径是许衡之独创的。他称之为“局部-全局对偶的代数化“——粗略地说，他试图把数论中经典的局部-全局原理（Hasse原理）从算术层面提升到代数结构层面，构造一种新的对偶关系，使得L函数的零点成为这个对偶关系中的“不动点“。如果这个对偶关系存在并且足够好，那么零点的分布就不再是需要逐个验证的事实，而是对偶关系本身的结构性结论。

　　这个想法在第一本笔记本中只是一个胚胎——几页粗略的草图和一堆未经检验的猜想。但陈默在第二本笔记本中看到了它的成长。

　　第二本笔记本的时间跨度是1997年至2005年。这个阶段许衡之的思考变得更为系统和严谨，哲学性的比喻减少了，取而代之的是大量的具体构造和计算。他提出了一个后来被陈默命名为“许氏对偶猜想“的核心命题：

　　猜想： 设$L(s，\pi)$为一般线性群$\mathrm{GL}n$上的自守L函数。则存在一个有限维代数$\mathcal{A}\pi$（称为“零点代数“），使得$L(s，\pi)$的非平凡零点集与$\mathcal{A}\pi$的某种极大理想的谱集之间存在保序双射。进而，零点的分布律由$\mathcal{A}\pi$的表示论完全决定。

　　这个猜想当然不是许衡之原话——他的原文用的是自己发明的术语，比这里写的更晦涩但也更精确。陈默花了两天时间才把那段话翻译成标准的数学语言，翻译完之后他在房间里来回走了很久，手心发潮。

　　这个猜想如果是对的，它将是一个极其深刻的结果。它不仅蕴含了广义黎曼猜想的一个等价形式，更重要的是，它提供了一种全新的视角来看待零点——零点不再是分析意义上的“函数值为零的点“，而是代数意义上的“某种谱“。这个视角的转换一旦完成，大量的分析工具就可以被代数工具替代，而代数工具往往能提供分析工具无法提供的结构性信息。

　　但许衡之没有证明这个猜想。

　　第二本笔记本记录了他所有的尝试。他构造了$\mathcal{A}\pi$的候选对象——一个基于Hecke算子代数的商结构，并在$n=1$（即黎曼zeta函数的情形）和$n=2$（即模形式L函数的情形）上验证了猜想的正确性。$n=1$的情形几乎是平凡的，$n=2$的情形则需要大量计算，但他做到了。

　　然而到了$n \geq 3$，一切都停滞了。他尝试推广Hecke算子代数的构造，但每一条路都通向死胡同——要么构造出的代数太大，包含了太多无关的信息，无法与零点建立精确对应；要么代数太小，虽然能对应上一部分零点，但遗漏了其余。他反复调整参数、修改定义、引入新的结构，每一次都差那么一点——但“一点“在数学中就是一切。

　　陈默在笔记本的边缘看到了越来越多的自我质疑。有些是轻声的叹息——“也许我一直在绕圈子“；有些是尖锐的自省——“这个构造是错的，因为我在偷偷使用几何直觉而不自知“；还有一些是纯粹的疲惫——“今天没有进展。也许明天也不会有。“

　　2003年到2005年间，许衡之的笔迹发生了明显的变化。之前的字迹虽然潦草，但笔画有力，每个符号都带着一种倔强的笃定。而这一时期的字迹变得犹豫，笔画变轻，修改增多，有时整页被划掉，只留下一行字：“忘掉这一切，从头开始。“

　　陈默知道这个时期许衡之经历了什么。2003年，林远洲在几何朗兰兹纲领上发表了那篇著名的突破性论文，在International Congress of Mathematics上做了一小时报告，几乎是当时华人数学家中地位最高的人。而同年，许衡之发表了一篇综述——没有新结果的综述。系里有人开始议论，说许衡之“应该退了“。他当年六十五岁。

　　第三本笔记本的时间跨度是2006年至2013年。这是五本中最厚的一本，也是陈默读得最慢的一本——不是因为内容艰涩，而是因为内容让他心惊。

　　2006年之后，许衡之的研究风格发生了剧变。他不再执着于直接构造$\mathcal{A}\pi$，而是开始系统性地学习代数几何和表示论——林远洲的领地。笔记本中出现了大量的学习笔记：Grothendieck的概形理论、Deligne的混合Hodge结构、Beilinson的动机理论……他像海绵一样吸收着这些他曾经刻意回避的知识，理解速度惊人，但笔记中偶尔出现的中断和空白泄露了他内心的挣扎。

　　有一条批注写道：“现在我明白了远洲当年看到了什么。他看到的不是地面的形状，而是地面之下支撑地面的结构——就像建筑的地基不是建筑本身，但没有地基建筑就不能站立。我的代数结构需要'种植'在这种几何地基上，否则它就是一个悬浮的梦。“

　　另一条批注更加触目惊心：“如果我从一开始就和远洲合作，也许二十年前就能走到这里。但那样的话，这个结果就不再是'我的'——而在那个年纪，'我的'比'对的'更重要。多么愚蠢。“

　　陈默读到这段话时放下了铅笔，在窗边站了很久。

　　他想起了自己的选择。2012年，他在许衡之的指引下放弃了安稳的毕业课题，转向那个未知的框架。当时他告诉自己，这是为了追求更深刻的真理。但现在他不得不问自己一个问题：他的选择里，有多少是追求真理，又有多少是追求“许衡之的真理“？他是不是也像许衡之一样，把“我的“放在了“对的“前面？

　　这个念头让他不安。但他没有停下来，继续读。

　　2010年前后，笔记本中出现了一个新的线索。许衡之在学习动机理论时注意到了一个被忽视的构造——Beilinson在1984年提出的一种“导出范畴上的滤过结构“，这个构造最初是为了研究代数K-理论和Beilinson猜想而发展的，但许衡之发现，如果把L函数的零点对应到导出范畴中某个对象的“权重滤过“的间断点上，那么零点的分布就变成了权重滤过的结构性性质——这正是他梦寐以求的“代数语法“。

　　他在笔记本上写道：“也许我一直在错误的地方寻找'代数'。它不在Hecke算子那里，而在导出范畴的权重结构里。但这个方向需要极其精密的控制——权重的任何微小偏差都会导致零点对应关系的崩塌。这比之前所有尝试都难。但这可能是第一条真正的路。“

　　然后就是2012年，陈默看到笔记本的那一年。许衡之给他看的正是这个阶段的成果——一个在$n=2$情形下勉强跑通的权重对应。那个对应关系粗糙、笨拙，充满了临时性的修补，但它是对的——至少在那个特殊情形下是对的。

　　陈默当时看到的就是这个。但他不知道的是，许衡之在给他看笔记本之后不久就遇到了致命的困难——$n=3$时权重对应开始出错，而且错误的方式无法用任何简单的修补来解决。笔记本中记录了长达一年的挣扎，最终以一段冷静的总结结束：

　　“权重对应在$n \geq 3$时失效。原因在于，导出范畴的权重结构在局部-全局转换中不保持一致性——换句话说，你在局部看到的权重和全局看到的权重不匹配。这个不匹配不是技术问题，而是本质问题。它意味着我目前的框架遗漏了某个关键的中间结构。这个结构是什么？我不知道。“

　　然后是2014年——许衡之给林远洲写信的那一年。

　　第四本笔记本记录了他们通信期间的思考。这个时期的笔记风格又变了——变得更有活力，更有对话感。许衡之不再只是自言自语，而是在和一个想象中的（或实际的）对话者交流。他频繁地引用林远洲的几何框架，把它和自己的代数构想并置比较，寻找交叉点。

　　有一条笔记特别引人注目：“远洲的几何框架给出了权重在局部-全局转换中的'粘合条件'——他把这理解为某种上同调的相容性。但从代数的角度看，这个粘合条件定义了一种新的代数对象——一个介于局部和全局之间的'中间代数'。如果我能构造出这个中间代数，它就能解决权重不一致的问题。“

　　这个“中间代数“就是许衡之在后来的信中与林远洲讨论的核心对象。陈默还没有看到那些信——林远洲要他先读完笔记本——但他已经隐约感觉到，2017年那篇论文中的关键突破一定与这个“中间代数“有关。

　　第五本笔记本是最薄的，时间跨度是2018年到2019年春天。这时许衡之的身体已经很不好了——字迹变得颤抖，段落变短，但思维仍然清晰。这个阶段的笔记与其说是研究记录，不如说是一份交代。他整理了所有未完成的想法，标注了每一条路的终点和失败原因，并提出了一个新的猜想——比之前的“许氏对偶猜想“更弱，但也更可能成立：

　　修正猜想： 在$\mathcal{A}\pi$的构造中引入“中间代数“$\mathcal{B}\pi$（定义为局部-全局粘合的代数化），则$\mathcal{A}\pi$与$\mathcal{B}\pi$的联合表示谱与L函数零点集之间存在保序双射，且此双射在$n \leq 3$时可显式构造。

　　笔记本的最后一页，日期是2019年3月12日，许衡之写道：

　　“我确信这个修正猜想是对的。但'确信'不是证明。我这一生花了太多时间在确信上，不够的时间在证明上。也许确信和证明之间的距离，就是一个人和真理之间的距离。陈默，如果你在读这些——去找到那个距离等于零的点。那不是我，也不是远洲，而是数学本身。“

　　陈默合上第五本笔记本，已经是深夜两点。窗外没有雨，月亮很亮，把房间的影子切成锐利的形状。他坐在桌前，面前摊着写满批注的草稿纸和五本黑色笔记本，感觉自己也站在了某个分叉路口上——和1981年的许衡之与林远洲一样的路口。

　　左边是许衡之的路——代数的、构造的、从内部生长的。右边是林远洲的路——几何的、直觉的、从外部逼近的。

　　而前方——也许还有一个方向，不在左右之间，而在上下之间。那个“地下的入口“。

　　他拿起手机，给林远洲发了一条消息：

　　“林先生，我读完了。我想看那十一封信。“