第四章 手记

林远洲的回复很简短：“明天下午，还是那个茶馆。“

　　陈默这一夜没有睡。他坐在书桌前，把五本笔记本的核心内容重新整理成一份摘要，按照时间线列出许衡之思路演化的每一个关键节点。做这件事的时候，他意识到一个之前忽略的事实：许衡之的思考并非线性推进，而是螺旋式的——同一个问题反复出现，每次出现时都带着前一轮积累的更深的理解。这种螺旋式的结构意味着，许衡之最终没有走通的那一步，很可能不是因为他缺少某个关键的洞察，而是因为他缺少一个足够有力的工具来实现洞察。

　　那个工具，也许就在林远洲的几何框架里。

　　更准确地说，也许就在那十一封信里。

　　第二天下午，陈默再次走进那家茶馆。林远洲已经在了，坐在和上次相同的位置，面前摆着一只旧公文包——那种上世纪九十年代常见的黑色人造革公文包，边角磨得露出了白色的内衬。

　　“坐。“林远洲说。

　　陈默坐下。林远洲没有寒暄，直接打开公文包，从里面取出一叠信件——十一封，用橡皮筋捆成一扎，每一封都装在牛皮纸信封里，信封上写着编号和日期。字迹是许衡之的——但与笔记本上的潦草不同，这些信封上的字工整而庄重，像是在对信件本身表示某种敬意。

　　“我复印了一份，“林远洲说，“你拿复印件。原件我留着。“

　　他把信推到陈默面前，然后靠回椅背，端起茶杯，目光看向窗外。他显然不打算在陈默阅读的时候说话——也许是不想影响他，也许是那些信里的内容对他来说仍然太重。

　　陈默解开橡皮筋，取出第一封信。

　　信的日期是2014年9月3日。开头没有任何称呼，直接进入主题——

　　远洲：

　　我决定给你写信。这个决定花了二十年。

　　下面是我从1993年至今在L函数零点代数结构方面的工作总结。我把它写给你，不是因为我承认你是对的，而是因为我终于承认——我一个人的路走不到终点。

　　也许两条路也走不到。但至少我不再想一个人走了。

　　陈默快速浏览了第一封信的正文。许衡之在信中精确地概述了他前二十年的工作——比笔记本中的叙述简洁得多，也更系统。他略去了所有犹豫和旁注，只保留了逻辑骨架：问题的提出、三种路径的尝试、每种路径失败的原因、以及目前残留的“可能行得通的方向“。

　　第一封信的结尾写道：

　　我的核心困难是局部-全局的相容性。任何纯代数的构造都会在局部-全局转换时丢失信息，而我无法在不引入几何的情况下保持这种相容性。你在1981年说的那句话——'代数太抽象，没有几何直觉支撑'——我一直不愿意承认它是对的。现在我想，也许不是你对了，而是我错了：不是代数本身不够，是我在使用代数的方式上遗漏了什么。

　　你的路走到哪里了？

　　第二封信的日期是2014年10月，是林远洲的回信。陈默看到的虽然是复印件，但笔迹不同——林远洲的字比许衡之的更圆润，每个笔画都像是被仔细打磨过的。信的内容同样是纯学术的——林远洲概述了自己在几何朗兰兹纲领方面的最新进展，特别强调了“几何化对偶“的概念，即如何在导出范畴的框架下将局部-全局原理几何化。

　　从第三封信开始，对话变得密集起来。许衡之和林远洲的通信频率从每月一封增加到每两周一封，讨论的内容也越来越深入。他们像两个在黑暗中摸索的人，从不同的方向靠近同一个光源，每一步都能感受到温度的升高，但谁也看不见光源的全貌。

　　第六封信（2015年4月）是一个转折点。许衡之在这封信中首次提出了“中间代数“的概念——他写道：

　　我找到了一个介于局部和全局之间的代数对象。暂时把它记作$\mathcal{B}_\pi$。它的定义方式是：把你在局部层面构造的几何粘合条件翻译成代数语言，然后在Hecke代数的商结构上找到一个子代数，使得这个子代数的表示恰好编码了局部-全局转换中的相容性信息。

　　通俗地说：你用几何方法把“局部怎么拼接成全局“这件事讲清楚了，而我把你的拼接规则翻译成了一种新的代数结构。这个代数结构就是我之前遗漏的那个“中间层“。

　　有了这个中间层，我原来的许氏对偶猜想可以做如下修正：零点代数$\mathcal{A}\pi$不再是直接作用在L函数上的结构，而是通过中间代数$\mathcal{B}\pi$与L函数建立联系。$\mathcal{A}\pi$决定$\mathcal{B}\pi$的表示论，$\mathcal{B}_\pi$的表示论决定零点的分布。两层代数，一层是纯粹的代数结构（我的），一层是几何向代数的翻译（你的和我共同的）。

　　这可能是第一条真正能走通的路。

　　林远洲的回信（第七封信，2015年5月）证实了这个方向的可行性——但他的表述比许衡之更谨慎：

　　你的中间代数$\mathcal{B}_\pi$在我的框架下有一个自然的几何对应物——它就是导出范畴上权重滤过的“粘合层“。我之前独立地研究过这个对象，但从未想到它可以脱离几何而独立存在。你给了我一个惊喜：纯粹的代数粘合是可以做到的，前提是你承认粘合规则本身的几何来源。

　　换句话说：你的代数结构可以自洽地运行，但它的'语法'来自几何。就像一门语言可以独立使用，但它的词汇和句法的起源在另一门语言中。

　　我现在的判断是：两条路的交汇点确实存在，但它既不在纯粹的代数中，也不在纯粹的几何中，而是在一个更大的框架中——这个框架同时包含代数的构造性和几何的直觉性。我们之前都只看到了这个框架的一个侧面。

　　接下来的几封信是两人合力构建这个“更大框架“的过程。许衡之负责代数结构的构造和验证，林远洲负责几何直觉的翻译和补充。他们之间的分工不是刻意安排的，而是自然形成的——三十年的分歧在最后变成了互补。

　　第十一封信是最后一封，日期是2016年12月。这封信是林远洲写的，也是最长的一封。在这封信中，林远洲给出了那个最终的定理——把许衡之的代数框架和他的几何框架统一起来的核心结果。

　　陈默读这封信时，手开始微微发抖。

　　定理的陈述并不长——不到半页纸。但那半页纸承载了两个数学家三十年的工作。用最精简的语言来说，林远洲证明了：

　　定理（林远洲， 2016）： 设$L(s，\pi)$为$\mathrm{GL}n$上的自守L函数，$\mathcal{A}\pi$为许衡之定义的零点代数，$\mathcal{B}\pi$为中间代数。则存在一个导出范畴上的张量结构$\mathcal{T}\pi$（称为“统一框架“），使得：

　　(1) $\mathcal{T}\pi$在代数层面上的截面同构于$\mathcal{A}\pi$的表示范畴；

　　(2) $\mathcal{T}\pi$在几何层面上的截面同构于$\mathcal{B}\pi$的粘合层的上同调；

　　(3) $L(s，\pi)$的非平凡零点集与$\mathcal{T}\pi$的某种谱集之间存在保序双射，且此双射在$n \leq 3$时可显式构造。

　　推论：在$n \leq 3$的情形下，许氏对偶猜想的修正形式成立。

　　陈默把这段话读了三遍。每一遍都让他看到更多的东西——第一遍看到的是结果本身，第二遍看到的是两个框架的精确交汇方式，第三遍看到的是这个结果背后那漫长而痛苦的路径。

　　许衡之的猜想是对的——但不是以他预想的方式成立的。它需要林远洲的几何框架作为“地基“，才能让代数结构真正立住。而林远洲的几何框架也不仅仅是工具——它提供了代数结构中“语法“的来源，没有这个语法，代数构造就是一个没有规则的符号游戏。

　　两条路确实在某处相遇了。但相遇的地点不在任何一条路上，而在一个更高的视点上——从这个视点往下看，两条路是同一条路的不同投影。

　　陈默放下第十一封信，抬头看向林远洲。老人一直在安静地等着，茶杯里的水早已凉透。

　　“许老师为什么不署名？“他问。

　　林远洲沉默了一会儿，然后说：

　　“因为他在最后一封信里对我说——'远洲，这个定理是你证出来的。我给了你问题，你给了答案。在我的价值体系里，问题不值署名——答案才值。但如果你愿意，在论文的致谢里提一下我的名字。不是为了我，是为了让后来的人知道，这条路上不只有你一个人走过。'“

　　“那您呢？您同意了？“

　　“我没有同意。我争了很久。“林远洲的声音有些沙哑，“我说，没有你的代数框架，我根本不会想到统一框架的可能性。这个结果是我们两个人的。但衡之不愿意。他说——'如果一个人花了二十年才找到正确的路，那他不应该因为这二十年而获得功劳。功劳属于走到终点的人，不属于在路口站了二十年的人。'“

　　“这不公平。“陈默说。

　　“公平？“林远洲苦笑了一下，“在数学里，公平不是一个有意义的概念。真理才是。衡之比我们任何人都更接近真理——不是因为他找到了真理，而是因为他最终放下了自己，看到了真理的全貌。能做到这一点的人，比证明定理的人更罕见。“

　　茶馆里的光线变暗了。下午不知不觉地过去，窗外的天色已经开始发灰。一个服务员过来问要不要开灯，林远洲摇了摇头。

　　“还有一件事，“林远洲说，“衡之在最后那段时间——就是我去看他的那次——跟我提到了你。他说你是唯一一个同时理解两条路的人。“

　　“我理解得还不够。“陈默说。

　　“没有人理解得足够。但理解是一个过程，不是一个状态。“林远洲从公文包里又取出一样东西——一个薄薄的信封，上面没有写任何字。“这是衡之留给你的。他让我在你读完所有东西之后给你。“

　　陈默接过信封，拆开。里面只有一张纸，许衡之的字迹，写了不到十行——

　　陈默：

　　你读到了这里。那么你知道了我这一生做过的所有选择——对的和错的。

　　我留给你的不是一个问题，也不是一个猜想。我留给你的是一个方向。

　　修正猜想在$n \geq 4$时是否成立？我不知道。但我知道回答这个问题的方法不在代数里，不在几何里，也不在我的笔记本或远洲的论文里。它在你的路上。

　　你必须自己走。你必须在某个时刻离开我和远洲的路，走进属于你自己的荒野。那里没有路标，没有参考文献，没有同行者。但那里有你——以及数学。

　　这是我最后能教你的东西：不要走任何人的路。包括你自己的旧路。每一步都应该是新的一步。

　　无穷不是一个终点。无穷是一种行走的方式。

　　——许衡之

　　2019年3月15日

　　陈默读完，把信纸折好，放进口袋。他的眼眶发热，但没有流泪。他看着对面苍老的林远洲，忽然理解了许衡之最后那个笑容——“你比我勇敢。你敢回到地面，我一直不敢。“

　　那不是对林远洲说的。那是对他自己说的——对那个终于在最后关头放下了骄傲、回到了地面的自己说的。

　　“林先生，“陈默说，“我想做一件事。但在我做之前，我想先征求您的意见。“

　　“什么事？“

　　“我想继续许老师未完成的工作——把修正猜想推广到一般的$n$。这不是为了证明许老师是对的，而是为了走到那个'更大的框架'真正打开的地方。目前的结果只在$n \leq 3$时成立，但$n \leq 3$的情形太特殊了——特殊到很多本质性的困难还没有真正出现。真正的问题在$n \geq 4$时才暴露。“

　　林远洲看着他，目光变得锐利。

　　“你知道$n \geq 4$意味着什么吗？“他说，“在$n=3$时，表示范畴还是半简单的，粘合层可以用经典的上同调来控制。但到了$n=4$，表示不再是半简单的，导出范畴的结构会发生质变——权重滤过的跳跃不再可以用有限的数据来描述。这不是一个技术问题，是一个原理性的障碍。“

　　“我知道。“陈默说，“但许老师在第五本笔记本的最后一页提出了一个想法——他在$\mathcal{B}\pi$的定义中引入了一种'高阶粘合条件'，用导出范畴的高阶扩张来代替经典的上同调粘合。这个想法他没有展开，但它的方向是对的：如果高阶粘合条件可以被合理地构造，那么权重滤过的跳跃就可以用高阶数据来描述，$n \geq 4$的障碍就不存在了。“

　　林远洲的眼睛亮了一下——那种光芒和许衡之在讨论数学时眼里的光芒一模一样。

　　“你确定？“他追问。

　　“不确定。但这是我读完所有材料之后最强烈的直觉。“陈默停了停，“许老师说，数学是关于'值得'的学问。我觉得这个方向值得。“

　　林远洲沉默了很长时间。茶馆外面开始起风了，门缝里钻进来的气流吹动了墙上的山水画。

　　最后他开口了，声音很轻但很坚定：

　　“那就去做。但我有一个条件。“

　　“什么条件？“

　　“不要一个人做。“林远洲说，“衡之最大的错误就是一个人走了二十年。数学不是一个人的事——即使是最孤独的猜想，也需要有人在你走偏的时候拉你一把。你找到合适的人，一起做。“

　　陈默点了点头。他想起了自己的学生方晓棠——一个二十六岁的博士生，做调和分析的，脑子极快，但一直找不到真正让自己燃烧的问题。也许……

　　“还有，“林远洲补充道，“如果需要帮助，来找我。我这把老骨头还剩几年，脑子还没糊涂。衡之把我拖进了这件事，我不能在他走了之后就撒手。“

　　他站起身，拿起公文包。走到门口时，忽然转过身来，像是想起了什么。

　　“对了，“他说，“衡之在笔记本里有没有提到过一个人——苏晚吟？“

　　陈默愣了一下，回忆着笔记本中的内容。这个名字……他似乎在第三本笔记本的某页边缘见过，但只是匆匆一瞥，没有在意。

　　“好像提到过。只出现过一次。“

　　林远洲的表情变得复杂——那是一种陈默无法解读的复杂，像是在同一张脸上叠加了太多不同时间的情绪。

　　“苏晚吟是我们在北大的同学。“林远洲缓缓说道，“她是衡之的初恋。也是……也是让我和衡之之间出现裂痕的第一个人。不是数学——数学只是后来的事。最初的原因，是人。“

　　他看着陈默，目光深远。

　　“如果你真想理解衡之为什么走了那条路，你不仅需要读懂他的数学，还需要读懂他这个人。而要读懂他这个人——你需要找到苏晚吟。“

　　“她在哪里？“

　　“我不知道。“林远洲说，“1982年之后，我就没有她的消息了。但衡之知道——我确信他知道。他这辈子放不下的东西不多，苏晚吟是其中之一。如果你在他的笔记本里仔细找，也许能找到线索。“

　　他推门走了出去。

　　茶馆的灯终于被打开了，暗黄色的光洒在老旧的方桌上。陈默坐在光里，面前摊着十一封信的复印件和许衡之的遗书，耳边回响着那个陌生的名字——

　　苏晚吟。

　　他低头看口袋里那张信纸的一角——“无穷不是一个终点。无穷是一种行走的方式。“

　　他忽然觉得，自己正在走进一个比猜想更深的故事里。数学只是入口——就像许衡之说的，零点不是孤立的数字，它们是一个语言的词汇。而那个语言要说的话，远比数学本身更广，更深，更无穷。