2034年春天的一个晚上,悦儿坐在Courant研究所的办公室里,面前摊着一本她从来没有完整读过的书——一本关于代数几何的专著,封面深红色,书脊上有图书馆的索书标签。这本书是她三天前从数学图书馆的"无人借阅区"偶然抽出来的。她最初只是想找一篇关于高维方向空间结构的参考文献,但那本书的书名中出现了"多项式""零点集""理想"这几个跟测度论关系不大的词,她把它从书架上拿下来翻了翻,然后借了出来。
她翻到大约六十页的位置,看到了一段关于"零点集的维数与多项式次数的关系"的讨论。讨论的核心是一组不等式——用多项式的次数来限制它的零点集的体积上界,次数越低,零点集可以越大;次数越高,零点集被迫收缩。她反复读着那段内容,把页边的空白看了好几遍,然后用笔在最下方画了一条竖线。接下来的几个小时里,她在那本书的邻近章节中不断读到类似的方向:几何测度论多从外部覆盖来逼近一个集合的维数,而代数几何有时会从内部结构来推演它的可能形状。
她合上书之后没有立即入睡。她坐在窗边回想了一下四维框架中的那一处长期卡住的相位传递环节——那些管道束在极端方向区间内的分布行为,在多尺度方法中只能通过反复分割方向空间来逐块逼近,每次分割都会引入新的常数,常数的累积误差使高精度的估计在多次迭代后变得不可靠。如果改用多项式方法来描述管道束的方向分布,也许可以用一个包含方向空间关键特征的多项式来锁定分布函数的支撑集,把那些需要反复分割的区间用一组零点集压缩成更少的几块。零点集的数量由多项式的次数控制,次数的增长速度比分割次数的增长速度慢得多。
她在笔记本上写下了几行想法,不是严谨的推导,更像是草图。"用多项式零点集代替多尺度分割——用少数几个多项式代替大量离散采样。"她写完这几个字之后又画了一个图表:左侧画了一个由许多小方块组成的拼接图案,代表多尺度分割后的方向空间;右侧画了几条交叉的曲线,曲线相交处形成了有限个交点,交点之间覆盖的区域的边界由这些曲线定义。她看着这个对比图,觉得右侧的结构比左侧的更紧凑。左侧需要成千上万个方块来近似填充整个区间,右侧只需要数条曲线就能界定同等面积的区域。
她在接下来的几周里系统地研读了那本书的前半部分,然后翻阅了几篇近十年关于多项式方法在高维几何问题中的应用的论文。她找到了一个关键结果——关于"多项式零点集与豪斯多夫测度之间的关系"的定理,该定理本身发表于十几年前,使用条件当时局限在有限域上,但有人在后续的推广中已经把它扩展到了欧氏空间中的特定情形。虽然那个推广还没有覆盖高维方向空间的全部复杂结构,但它把多项式方法从有限域带到了连续空间,而在连续空间方向上,悦儿正好可以找到切入点。这个结果没有直接被用于挂谷猜想类型的管道几何问题,但她读完之后发现它的逻辑框架与自己构建的四维方向分布函数之间存在可映射的关系。
她在第三次读那篇论文的时候在页边写了一个短句:"这个定理的零点集控制版本,可以替换我在四维框架中反复分割方向空间的步骤。"她继续写着,"如果我把管道束的方向分布用一个多项式来逼近,那么束与束之间的重叠密度也可以通过多项式零点集来估算,省去逐段覆盖的常数累积过程。"
这个发现引出了后续一系列问题需要逐一检验。她花了一整个月时间把那个推广定理的适用边界重新推演了一遍,确认它在四维方向空间上的成立条件,然后把它和现有的管道框架连接起来。连接的过程比她预期的顺利——两者的数学结构在某一层之间存在一种对应关系,像是同一根藤蔓在分开生长后重新触到了彼此的分叉点。她把那组连接条件写进了框架的更新文档中,在标题栏标注了"多项式方法引入草案"。
团队的首次反应带着一种保留。悦儿在讨论会上展示了那组用零点集替代分割的构造方案,成员们围绕那些新出现的多项式进行了反复核对。巴西博士后把那些多项式单独抽出来,用一组已知的极端方向分布数据做了一次数值检验,确认了多项式方法在某些区域的表现确实减少了误差波动。韩国博士生提出"这些多项式在方向空间的边界附近是否会出现异常行为"——这个提问引出了悦儿后续数周的工作,她花时间检查了边界处的多项式零点集形态,确认它们在边界附近的数值表现仍然保持稳定。
但是,在真正的进展出现之前,还需要经历一段更长的适应期。代数几何的语言跟几何测度论的语言有相似之处,但它们的构造目标不同。测度论里的"覆盖"是外部的,是用已知形状去包住未知形状。代数几何里的"零点集"是内部的,是先定义一组方程,再观察哪些位置满足这些方程。她花了相当的时间在这两种视角之间交替切换——从一个问题出发,先用测度论的覆盖方式去想,再用代数几何的零点方式来验证,最后把两边的结果放在一起比对。
她发现自己在这段时期阅读数学的方式发生了变化。以前她读论文是线性地读——从引言到结论,遇到需要的公式就停下来仔细看。现在她开始更频繁地跳读,先看定理的陈述,再看它的适用条件,如果适用条件跟她的框架有重合,再回头去读证明的细节。她把几篇代数几何相关的核心文献打印出来放在案头,用不同颜色的笔在页边标注了"可用""待调整""不适用"三类标记——每一类都在后续逐步增多,可用的条目在持续增加,不适用条目在逐步减少。
她在那年夏天写了一份较长的备忘录,标题是"代数几何方法在挂谷猜想研究中的初步适配"。备忘录写了大约二十页,包括了对那几个核心定理的适用性评估,并提出了将多项式零点集引入管道几何的具体方案。她把备忘录发给团队前先给墨子发了一份,因为她在写最后一节时发现自己无法用纯粹的数学语言来总结它的意义——她需要一个不在同一门学科内的外部视角来确认她描述的方向是否可被跨域理解。
墨子在收到备忘录后的第三天给了她一封回复。回信没有涉及内容细节,只在开头写了一句话:"你在做的是范式转移。"他在后面继续写着:"我看到你把两种在不同领域中使用的描述方式组合成了一幅更完整的画面——代数几何的方程结构填补了测度论覆盖方法无法触及的空白区间。这不是对原有方法的补充或修补,而是对方向空间本身的性质进行了一次重新定义。如果你可以不用沿多尺度逐步逼近来覆盖所有方向,而是使用一组数量可控的多项式来标识其边界,那么你所面对的就不再是原来的同一个问题了。你正在改变这个问题的性质,而不是仅仅寻找新解法。"
悦儿反复读着那封信,然后把备忘录发给了团队。她写完发送后没有再翻看它,而是离开办公室沿着哈德逊河边的步道走了大约四十分钟。她在途中停下来看了一眼对岸的建筑天际线,那些高楼的轮廓彼此交错,在黄昏的光线下形成一组竖向的线条排列。她望着那些线条,继续走着,回到办公室时,在备忘录的基础上启动了代数几何方法的初步适配工作。