《穿针：一部挂谷猜想的64重奏》八宝粥888

28、第28章 大过•大过 超越极限 悦儿开始探

　　限制性猜想的名字悦儿第一次听到的时候，她还在巴黎读硕士。那天的报告会她迟到了五分钟，推开教室后门的时候讲台上一个她不认识的访问学者正在黑板上写一个积分表达式，表达式很长，涵盖了傅里叶变换在低维子空间上的限制行为。她在最后一排坐下来听完了后半段，笔记上记了大半页符号，其中有一行她画了两道横线——"挂谷猜想的对偶命题"。报告结束后她拦住那个访问学者问了一句话："对偶是指解决一个就能解决另一个吗？"那人看了她一眼，说"不完全是。但它们的困难程度相同"。

　　十年后她坐在IHES的办公室里，面前摊开的是一篇关于限制性猜想最新进展的综述文章。她读完了引言部分，靠在椅背上想了一会儿。挂谷猜想解决了三维版本，但限制性猜想在三维中依然开放。如果挂谷猜想是限制性猜想的对偶，那她用来解决挂谷猜想的那套多尺度方法——管道几何、坏管分类、无穷逃逸的极限定理——按理说应该也能在对偶面上找到对应的工具。但那个"对应"不是直接平移的，她需要重新理解傅里叶变换在低维子空间上的行为，把它翻译成管道几何的语言。

　　那篇综述的引言里有一句话被她反复看了好几遍："限制性猜想的困难在于，它要求在傅里叶变换的全局性质和局部性质之间建立一种精确的平衡。这种平衡的难度随维数增长而指数上升。"她在那句话下面画了一条波浪线，然后在页边写了一个词："高维超球面的体积增长。"那种增长是指数级的。三维中的管道几何到了四维已经让她写了将近八十页的新量法。限制性猜想在四维以上的困难程度相当于管道几何在更高维度上的困难再乘上一个额外的傅里叶分析的维度。那不是一个普通的山，那是月球。

　　她合上那篇综述，站起来走到窗前。窗外的橡树林正在从夏天的浓绿转向秋天的暗褐色，叶子的边缘开始卷曲变色。她看着那片树林，在心里盘算着时间的投入——四维挂谷猜想还需要多少时间她无法精确估计，但如果同时开始做限制性猜想的探索，她的注意力将被切成两半。这种切分带来的风险是显而易见的：两个问题都做不完，或者两个问题都只做到一半。

　　她在窗前站了大约十分钟，然后坐回书桌前，翻开一本新的空白笔记本。在扉页上她写了三个词："限制性猜想——初步笔记。"然后她开始写。第一段是从挂谷猜想到限制性猜想的对偶映射的概述，用了两页纸。第二段是傅里叶变换在三维子空间上的限制算子的基本性质，用了四页纸。第三段她试图把管道几何中的"束划分"方法翻译成傅里叶分析的语言，写到第六页的时候停住了——那个翻译在某个关键点上不成立，管道几何中的"方向"对应傅里叶变换中的"频率"，但频率空间的结构比方向空间的结构更复杂，多了一个"相位"的维度。她在第六页的末尾画了一个圈，圈的中央写了一个问号。

　　那天傍晚墨子打来电话。他的声音在电话线里比当面说话时稍微低一些，像被压缩过之后损失了一部分高频成分。"我今天翻了你那本科普书的第二章。里面有一段讲挂谷猜想和限制性猜想的关系，你说'它们是硬币的两面'。但你只用了半页纸写这个，我想知道另一面到底长什么样。"

　　悦儿握着手机靠在办公桌沿上。"我正在写它的初步笔记。写了一下午，第六页卡住了。那个翻译在相位维度上出了问题。"

　　"什么翻译？"

　　"把管道几何里的'束划分'方法翻译成傅里叶分析的语言。管道方向对应频率方向，但频率还有一个相位，管道几何里没有对应的东西。"

　　电话那头安静了一会儿。墨子可能在想着什么。然后他说："那如果相位维度本身就是那个'额外'的东西，你的翻译就不应该是从管道几何到傅里叶分析，而是从管道几何外加一个相位维度到傅里叶分析。"

　　悦儿停了一下。她没有立刻回答。她把他说的话在脑子里重放了一遍——管道几何外加一个相位维度。那个东西在数学中可能对应着管道束在频率空间中的"相位分布"，而这恰好是她第六页卡住的地方没有考虑进去的维度。她拿起笔在第六页的圈旁边写了一行字："相位维度——额外变量。需单独建模。"

　　"你还在吗？"墨子问。

　　"在。"悦儿说，"你刚才说的那个——'管道几何外加一个相位维度'——这个思路暂时有用。"

　　"暂时？"

　　"暂时。因为它解决了我卡住的那一步，但接下来的步骤还没有验证。"

　　墨子说："那验证完了告诉我结果。"

　　悦儿挂了电话之后继续写。她把第六页的圈擦掉了，在旁边重新起了一个新的段落，标题是"相位维度在束划分中的对应构造"。她写了大约三页，把相位维度建模成一个独立于方向和空间的参数，然后用参数化的方式把它嵌入了束划分的估计框架中。写完那段之后她翻回前面看了看整个笔记的结构——从对偶映射的概述到限制算子的基本性质到相位维度的建模，前三章一共写了大约十五页。这十五页相当于一座新建筑的地基草图，平面图有了，但承重墙的位置还没有完全确定。

　　接下来的一整个秋天，悦儿同时在两条轨道上前进。周一到周四的上午她继续推进四维挂谷猜想的推导，从第七十八页写到了第八十五页。周五到周日她转向限制性猜想的探索笔记，从第十五页推进到了第三十七页。两条轨道之间的切换需要时间适应——每次从四维管道几何切换到限制性猜想的时候，她大约需要半小时让大脑完成"语言转换"。管道几何的语言是基于空间和方向的，限制性猜想是基于频率和相位的。两种语言共用同一套数学底层结构，但表层的术语和直觉完全不同。

　　十一月的某个周四下午，悦儿在IHES的办公室里给三个学生上完课后留下来继续写限制性猜想的笔记。她正写到"相位维度在束划分中的嵌入方式"这一节，试着构建一个从管道几何中的"重叠函数"到傅里叶分析中的"乘子函数"之间的映射。她的笔尖在纸面上移动得很快，在某个节点上她停下来重新读了一遍自己刚写的内容，然后做了一个判断：那段内容作为直觉是对的，但作为证明还缺少一个关键的环节——如何证明相位维度的变化不会破坏管道几何中的覆盖估计。她把那个环节标注成了一个括号，括号里写"待证"。

　　她放下笔，揉了揉手指关节。窗外已经暗下来了，橡树林的轮廓变成了深沉的黑色剪影。她站起来在办公室里走了几圈，走到窗边的时候看到窗外有人站在草坪边缘——不是墨子，是一个她不认识的研究生，正抱着笔记本穿过草坪往宿舍楼的方向走。她看着那个人走远，然后转回书桌前坐了下来。

　　手机在桌上震了一下。墨子发来一条消息："今天你写了多少页？"

　　悦儿看着那条消息，回了一句："限制性笔记第三十七页卡在一个'待证'环节。四维推导第八十五页，稳定推进中。"

　　墨子回："两个方向都在走。"

　　悦儿："都在走。但限制性的坡度比预想的陡。"

　　墨子："陡多少？"

　　悦儿想了想，打了一行字："如果四维的陡度是1，限制性的陡度是3。"

　　墨子回了一个字："哦。"

　　悦儿看着那个"哦"。它像一块石头落在水面上，不沉也不浮，只是停在了那里。她不知道自己为什么觉得这个字比一段长的回复更适合当时的状况——也许是这个字不催促也不安慰，只是确认她的话被接收到了。

　　她拿起手机又补了一句："山是爬不完的。"

　　墨子隔了一会儿回："那为什么要爬？"

　　悦儿坐在书桌前，窗外橡树林的轮廓在暮色中越来越模糊。她看着那些树梢在风中摆动，然后打了几个字："因为山在那里。"

　　发出去之后她锁了屏，把手机放在桌上。那句话是一个已经被引用过无数次的陈旧的回答，但她打出来的时候忽然觉得它不是陈旧的——它只是被重复了太多次之后变成了一个空洞的壳。她把那层壳剥开之后看到的是更底层的东西：山在那里的时候你看到了它，你看到了它的形状和高度，你看到了它跟周围的地形之间的结构关系，然后你发现自己已经在走了。不是因为"应该"，是因为"看到了"本身就已经包含了"走过去"的驱动。

　　她重新打开笔记，翻到那个标注着"待证"的括号位置。她盯着那个括号看了一会儿，然后拿起笔在旁边写了一个新的小标题："相位维度稳定性的条件猜想"。她在那行标题下面写了四行初步的逻辑链，四行的末端都指向同一个方向——需要证明相位维度的扰动幅度被管道几何中的重叠函数的上界控制住。那个控制的形式跟她之前在四维推导中写过的某个不等式有相似的结构，只是多了一个相位变量。

　　她写完那四行之后在末尾画了一个问号，不是大的，是极小的，小到几乎像一颗痣。然后她合上笔记本，关了台灯，在黑暗中坐了一会儿。窗外那棵最近的橡树在风里摇晃，光秃的枝桠相互摩擦发出细细的响声，像在说什么她听不懂的话。

　　大过。栋桡，利有攸往，亨。大过卦讲的是过度的负荷——房梁被压弯了，但还能继续承载。她把自己放在了两个大问题之间，四维挂谷猜想和限制性猜想，每一个都需要数年才能有结果。她的时间和精力像一根被压弯的横梁，两端都在承重，中间微微下沉。但它没有断。她每天在两个问题之间切换，从管道几何到傅里叶分析，从空间到频率，从方向到相位。她的头脑在两种语言之间来回切换的频率在逐渐加快，最初需要半小时的转换时间，现在缩短到了十五分钟左右。那座"相位维度"的桥还在搭建中，但她每天都会在桥的某一段上铺几块新的木板，然后回头检查已经铺好的部分有没有松动。

　　第二天早上她到办公室的时候，桌面上那张限制性猜想的笔记还摊开着，昨晚写的那个小问号还在页尾的位置。她坐下来重新读了一遍那四行逻辑链，然后把"猜想"两个字改成了"引理框架"，把那四行扩展成了八行，把问号的位置向前推进了一小段。然后她合上那个笔记本，换到四维的推导本上，翻开第八十六页继续写。

　　她在那个上午的两个方向之间切换了三次。每次切换之后的适应时间越来越短，到第三次的时候她几乎感觉不到"切换"这件事本身了，只是把注意力从一个打开的文档移到另一个打开的文档上，然后继续写。两个问题在她大脑中的区域正在慢慢地靠近，边界开始模糊，有些管道几何中的直觉可以直接流进限制性猜想的笔记里，有些傅里叶分析中的估算方法也可以反向补充到四维推导的某一步中。那种交叉正在越来越多地出现。

　　她在第八十六页的末尾写完一个关于四维束内夹角的新估计之后，在页脚加了一行批注："这个估计的形式跟限制性猜想笔记第22页的一个傅里叶乘子估计相同。相同结构可能意味着对偶关系在更底层的地方有更深的连接。"她在那行批注下面画了一条双横线，然后在两个笔记本之间翻了一个来回，确认了那两个估计确实共享同一个底层的数学结构——一个关于"某种量在尺度迭代中的稳定性"的控制不等式。那个结构既出现在管道几何中，也出现在傅里叶分析里。它不属于任何一个特定的问题，它属于"如何让一个估计在尺度缩放中保持不散开"这个更基础的数学问题。

　　她坐在桌前，左手按着四维的推导本，右手按着限制性猜想的笔记。两个笔记本之间的空间只有大约二十厘米，但她忽然觉得那段距离正在变窄。不是物理上的变窄，是概念上的——两个问题正在向彼此靠拢，像两块被同一股水流推动的浮木在同一个漩涡中越来越近，即将在某个点上碰撞并合并成一个更大的结构。

　　她低头看了一眼那两个笔记本，然后拿起手机给墨子发了一条消息："我发现四维挂谷猜想的一个估计跟限制性猜想中的一个乘子估计是同一个结构。它们可能共用同一块地基。"

　　墨子过了几分钟回了一条："那你现在是在爬两座山，还是在爬一座山的两面？"

　　悦儿看着那个问句，看了一会儿。然后把手机锁屏，拿起笔，在两个笔记本之间的空白桌面上画了一条线，线的两端各写了一个词。左端："挂谷"，右端："限制"。然后她在线的中间位置画了一个点，点的旁边写了一个字："同。"

　　她在那个字旁边停了一下，然后在下面加了两个字："底层。"她放下笔，看着那条线和那三个词。两座山在底层的岩层是相连的。她在地面上看到的是两座不同的山峰，但如果往下挖，挖到足够深的地方，她们共享同一片基岩。

　　她拍了一张桌面的照片，发给了墨子。

　　墨子回了两个字："继续挖。"

　　她拿起笔翻开了限制性猜想笔记的第三十八页，在页顶写了一个新的标题："相位维度稳定性条件的引理框架——基于共享底层结构的重写。"她开始写。窗外橡树林的叶子在秋风中纷纷脱落，在窗外的光线下旋成一个接一个不规则的弧线。那些叶子的轨迹没有两条是相同的，但它们都从同一片树林出发，落在同一片地面上。方向不同，终点相同。像两个问题，像两座山，像一个在两面之间来回走的自己。大过的负荷还在，但横梁下方的支撑结构在慢慢变厚。每一次在两个方向之间的切换都在原来的横梁上加了一层新的纤维，让它从弯曲的梁变成一根更粗的柱子。它不会断了。它只是变得更重，但更稳。