第63章 既济•既济 已经完成

综述文章的邀请是在2047年冬天寄到的。《数学年刊》的编辑来信说他们希望有一篇能够覆盖挂谷猜想从1917年提出到当时完整发展历程的综述时间跨度约一百三十年。信的末尾提到编辑部认为她是最适合撰写这篇综述的人选因为她的工作贯穿了该猜想后期最重要的那些阶段且她的视角涵盖了该问题从纯几何方法到代数几何方法再到不同维度推广的演进路径。悦儿看完那封信后在回复中接受。她花了约一个月的时间来规划综述的结构。她坐在书桌前面前摊着一张大幅的白纸在最左侧标出了1917最右侧标出2048然后在中间的关键节点处放置了标记。她的规划不按线性时间推进而是按照主题分组起源与早期探索、二维证明、三维关键阶段、四维及代数几何方法、高维现状。她把这组主题用线段连成一条连续的路径然后根据每个主题所占的篇幅比例调整了它们在纸张上的分布密度。她在一张单独的纸上列了一个时间表把那些关键年份和对应的事件并列排成两列1917——挂谷宗一在东京提出转针问题。1920年代——贝西科维奇构造了面积可任意小的平面集合。1971——戴维斯用六页纸证明了二维挂谷猜想。1995——沃尔夫将三维的下界推进到2.5。1999——陶哲轩、卡茨和拉巴将下界推进到2.5000000001。2014——卡茨与陶哲轩提出粘性挂谷猜想的纲领在论文的脚注中明确写入该归约尚未被证明。2022——悦儿与扎尔发表粘性情形的证明。2023-2024——悦儿与扎尔发表阿苏阿德维数版本的证明。2025——悦儿与扎尔发表三维挂谷猜想的完整证明。2036——悦儿发表四维挂谷猜想的证明。2040年代——在代数几何方法的基础上形成的新框架以新的视角纳入了一些相关的变体。她对着这列时间表注视了很久。在那些介于两个相邻日期之间的空白中并没有标注任何信息。那些空白被留空等待着被填充。她把那张纸放在书桌的左侧开始写正文。她写综述的方式跟她写论文的方式不同——论文是从一个明确的起点出发推进到一个明确的终点而综述需要在起点和终点之间构建一条可被外部读者追踪的路径使读者在读完这条路径后能够在自己的脑海中重建整个发展过程的梗概。她在引言部分写道挂谷猜想从1917年至今的变化过程可以被视为一种关于维数概念的延伸过程。在它被提出的最初阶段它是一个关于面积最小值的几何问题。后来它演变成一个关于集合维数的测度论问题。再后来它与傅里叶分析中的限制性猜想产生了对偶关系使它的结构被扩展到了调和分析的框架中。在最近的阶段代数几何的方法被引入来处理高维方向空间的边界条件。这个过程不是单向扩张的它在不同阶段会收缩回更基础的定义然后用新的工具重新展开使方向空间在每个新的展开阶段中都以不同的形式覆盖原有区域。她在写这段引言时把方向这个词放在空间前面因为它在她对这个问题理解的历史中比体积更早出现且在验证过程中一直保持着可定位性——每次当她面对一个新的维度时方向的存在总是先于覆盖的构造。她在引言之后进入了正文部分按照时间顺序逐一介绍了每个阶段的关键进展。在早期探索部分她写道最初挂谷猜想是一个关于平面上旋转长度的几何计算问题而不是关于更高维空间中方向分布的系统性考察。后来的研究发现平面上的最小面积构造与高维方向空间的维数问题之间存在着深层联系——当维度从二增加到三时问题的结构发生了质变而不仅仅是量变。她在关于二维证明的部分中写道戴维斯的证明篇幅很短在现有测量标准的对照下仍可被用于对高维情形进行大致估算因为他的覆盖方法在简化处理中保留了各个节点之间的底层连接关系——即使在后续的更高维度中引入了新的界面那些连接关系中的大部分仍然保持原位使得他的覆盖结构在多次扩展后仍然可以被追溯到它的原始位置。她在写三维部分时放慢了速度因为那是她参与最深的阶段。她在该部分的引言段中写道三维挂谷猜想从1995年的2.5的下界到2025年的完全证明跨度三十年。中间经历了多次尝试和多次停顿最终的证明建立在粘性分类、阿苏阿德维数估计和一般情形的归约这三个层次的累加上。每一层都依赖于前一层已经建立的结构但每一层也都在前一层的基础上延伸了一段额外的距离。在写粘性分类时她引用了自己在2022年那篇论文中的定义并简要阐述了卡茨-陶纲领对这一分类的必要性。她写道粘性情形是指那些在不同尺度上保持连续重叠的管道束。如果管道在某个尺度上停止了重叠那它们就被归类为非粘性需要单独处理。这个分类方法看似简单但其后续的归约过程在三维证明中占了全部工作量中最大的一部分。她在写最终归约部分时引用了那篇127页论文中的一节简短陈述了从非粘性到粘性归约的基本路径没有重复全部推导只保留了路径的关键转折节点。她写道在证明过程中有一个反直觉的发现——非粘性管道在经过足够多次的逃逸后它们的极限结构在越过某个阈值后恰好变成了粘性情形。这个结果使原本需要被独立处理的两个类别在极限处重新收敛到同一种底层形态从而避免了在非粘性情形上单独搭建一整套完整框架的必要。她写完三维部分后把纸稿放在桌上喝了半杯水然后继续写四维部分。四维部分的标题是从127页到更长的延伸——代数几何方法的引入。她在开头写道四维挂谷猜想的证明比三维的更长。不是因为四维的问题本身需要的步骤更多而是因为多尺度方法在四维中的适用区间边界比三维中更早到达需要额外引入代数几何的多项式零点集来处理那些多尺度方法无法覆盖的极端方向区间。这种引入不是扩展是替代以代数几何的零点和边界结构替代了原有的分段逼近过程以缩减路径总长度使整个框架能够在有限的计算资源内闭合。她在这一段写完之后停了一段时间把椅子朝窗口方向转动了一个角度坐在那里看着窗外的天色从下午过渡到傍晚。她在想四维证明中的那个节点——当她把多项式零点集首次接入管道几何框架时她其实无法完全确认它是否能完成闭合但她的直觉告诉她那个接入方向与框架的底层结构之间存在一种自然的对应关系。后来的验证证实了那种直觉的准确度。她在当晚回到书桌前把那段暂停后的思绪写成了一句话在四维中代数几何方法的加入并不是出于对原有方法的不满而是出于对原有方法边界位置的确认。当你知道一个工具能覆盖多大范围时你也就知道了在它的覆盖范围之外需要什么。综述的下一节是关于高维现状的。她在这一节中写道截至目前五维及以上的挂谷猜想仍然处于未完全证明的状态。在五维方向空间中现有的多尺度方法和代数几何方法的组合均已到达各自可达范围的边界需要通过引入新的替代方法才能继续推进。在引入新方法之前五维的边界处将保持一段持续开放的状态以待匹配条件成熟后进入下一阶段。这种开放状态不意味着停止而是意味着等待以更精确的描述方式来记录其边界行为作为后续工作的参照物。她写完了这一节后将综述的正文部分收束。在最后一段她写道挂谷猜想从1917年到2048年的演变不是一条直线而是一系列由不同工具在不同阶段覆盖过的路径的连接。每一条路径在到达它的终点后都被记录在了文献中成为下一条路径出发时的起点。二维的六页纸、三维的一百二十七页、四维的更长篇幅这些长度上的递增不是问题复杂度的递增而是问题在不同维度中展开方式的不同。长度本身并不决定深度决定深度的是路径在展开过程中是否保持了与起点之间的连续映射。她在完成正文后的第二天开始写那篇综述的附录。附录的内容包含了两部分一部分是挂谷猜想历史上的重大节点对照表以表格形式列出了她从1917年到2048年间发生的主要事件的年份、关键人物及其贡献另一部分是三维与四维证明框架的结构对应关系用一组平行的示意图展示了两个框架在分层结构上的相似之处和差异之处以此说明它们的演变关系。她用了大约四天时间绘制了这些表格和示意图标注了每个图例的说明使读者可以单独阅读附录而不必回到正文中寻找定义。她在发送终稿前把全文从头到尾通读了一遍。综述约一百页比一篇标准的论文短但比大多数综述长。她在读完全文后在文末的日期下方写下了二零四八年三月。然后她关闭了文件发送给了编辑部。《数学年刊》的接收通知在两个月后到达。编辑部的信中写了一段话这篇综述覆盖了挂谷猜想从提出到当前的全过程其结构的清晰度使读者能够在相当宽的范围内追踪每一阶段的进展。悦儿读完那段话后把它放进了文件夹中跟其他已发表的论文放在一起。那年夏天那篇综述上线后悦儿坐在办公室的书桌前面前摊着一本打开的空白笔记本。她翻到第一页没有写任何东西只是看着空白的纸面然后她站了起来走到书架前把那本已经完成了的、出版成册的《数学年刊》综述本放在了书架末端靠外的位置。她站在那里看着书脊上的文字从左边到右边排列成一串可读的序列——从最早期发表的一篇短论文到最晚出版的这篇综述覆盖了约三十年间的记录。她伸出手指沿着书脊从一端移到另一端像在测量整条路的长度确认每一本书在这条线上的位置检查它们是否都处于正确的位置上以及它们之间是否留有足够的间隔。那天下午晚些时候墨子来到她的办公室时那本综述册已经被放在了书架末端的位置上。他进门时看到悦儿正站在书架前面朝那排书脊双手垂在身体两侧维持着一个安静的姿势。他走到她旁边停在她左侧约半步的位置。他也看到了那排书脊的排列顺序从一本本厚度不一的册子到一本较厚的合集最后是那本新放置的综述册书脊上的年份字样2048清晰可辨。你完成了。他说。完成了。悦儿说综述已经发表了。它从1917年讲到了2048年。在一百三十一年的跨度中记录了所有关键转折点。我在写它的时候整理了很多旧笔记找出了一些我之前不记得的片段。有些片段在当时的记录中只占据了几行的篇幅但在回顾时我发现它们承载的信息后来在更晚期的结构中被重用了。墨子站在她旁边看着同一排书脊。你在整理的过程中找到了那些片段然后把它们放进了综述中。你整合了它们所处的时间位置使它们不再分散在不同的笔记本中。悦儿从书架前移开走回书桌前坐下。那本封面写着我们的深色封皮书放在桌面的右上角保持着一贯的位置。她伸手轻轻触摸了一下它的封面但没有打开它。我写完了。一百多页。从1917年写到了2048年。结尾写到了当前的状态。墨子也在另一把椅子上坐下。然后呢房间短暂地安静了片刻窗外午后微弱的自然光缓缓扫过书架上的书脊使每本书的阴影都短暂地向左偏离了它们的底部然后重新垂直随着时间流动慢慢收缩成窄条。悦儿的目光从桌面抬起来落在书架的那一排书脊上从最早的一本到最新的一本依次看过去。然后——翻到最后一页。她站起来走向书架伸手取出那本综述册翻到了最后一页。最后一页是空白的没有印刷内容只有页面上方的页码100和页面中央的一条细横线。她把那页翻开后把书托在手掌上让那一页空白页朝向房间内的光线。空白页的平面在光照下呈现出均匀的反射率没有文字和标记只有本身的位置。她看了一会儿然后合上书放回书架上。完成了。她说。她站在原地面对着那排已经摆放整齐的书脊没有回到座位上去。房间被书架的阴影和从窗外投入的午后光线分成深浅不一的区域她站在交界处目光没有落在任何特定的物体上。她说完那句话之后只是站在原地位置不变视线保持固定仿佛她的存在状态本身就是当前时刻下唯一需要占据的坐标。