那天的报告安排在下午两点。悦儿在上午十点就到了报告厅独自站在讲台上调整了投影仪的焦距和屏幕的高度把讲台上的麦克风支架调到了合适的位置然后在一张空白的黑板上用粉笔把四维证明的核心结构图用简洁的线条勾勒了出来。结构图从黑板左侧一直延伸到右侧左端是初始条件的设定右端是结论中间经过几个关键的引理节点。她画完之后退到黑板前大约一米处把整个图从左到右扫视了一遍。她的视线沿着引理节点之间的连接线移动像在确认某条长途路径上的每一处交叉路口和路标都是自己熟悉的地形。她把粉笔放回槽里从讲台上拿起一杯水喝了一口。报告厅里空无一人只有从高窗透进来的、被窗格切成几块的午间光线落在座位的靠背上。她在空无一人的报告厅中待了约二十分钟然后走出报告厅回到休息室等待。下午一点半报告厅开始陆续有人入场。来得早的人坐在前排把笔记本和打印出来的讲义放在桌面上有的人在低声交谈有的人在翻页。到了两点整座位基本上坐满了——大约两百二十人。另有几十人站在后面通道和两侧的墙边。悦儿在两点差几分的时候重新走进报告厅那时厅里的光线已经被人体遮挡了不少但厅内的光线仍然足够明亮她沿着讲台和前排之间的空隙走到黑板前把麦克风打开没有立刻说话。她大概在等台下的声音安静下来过了大约十秒报告厅的讨论声逐渐消退她在那个间隙中开口声音经过麦克风的放大后在整个空间中产生了一次平稳的回响。她开口说四维挂谷猜想的证明我将在接下来的时间中陈述它的完整框架。她停了一下看着台下。后排角落有一个人影她没仔细辨认。她继续往下说把这个证明的过程展开了——从四维管道束的定义开始通过多尺度方法的推广使用把三维的结构逐层平移到了四维空间在每层的交叉点上引入了代数几何的零点集来替代原有的分割步骤以衔接两个自由度之间的异步区域。她在讲述的过程中没有按页码行进而是随着黑板上结构图的走势自由变换切入顺序。有时她会从结构图的一个末端跳到一个较早的位置重新描述某个引理的作用然后再从那个引理一路说到末端。台下的人跟着她的跳转节奏在笔记本上记下了与她跳转同步的段落。当她讲到框架底层的某个关键引理时她会把它单独抽出来说这个引理在三维中占四行在四维中占四页然后简略地展示四页中的前三行让听众看到延伸的方式和边界条件的设置。她讲交叉节点的时候用了大约二十分钟来展示代数几何的零点集是如何替换原有的分割步骤的在黑板上画了两个版本的对比图——左边是传统的多尺度分割路径由很多细碎的方块组成右边是多项式零点集的边界曲线条数少得多但覆盖的区域与左边基本重叠。整个报告进行到约两小时二十分钟时她开始介绍结尾的收敛过程。她把最后几步推导写在黑板上每一步的推导之间都留有足够的间隔台上和台下之间有一个可追踪的视线移动轨迹。当她写完最后一行等式、在等式下方划上一条横线、并在横线下方用大字标注Q.E.D.时报告厅内出现了大约三到四秒的安静。那四秒内她听到自己的呼吸声通过麦克风传回音箱然后转换成一种淡薄的频率被空气中的尘埃吸收。然后掌声响了。不是那种迟疑的、试探性的零散掌声是一整片同时升起的声音像地面的振动被同时触发了。悦儿在掌声中站在讲台后面没有抬高手致意只是微微点了一下头将视线从黑板上的最后一笔收回到台下的方向她的目光在扫描前方座位的排列没有固定在某一点上。在掌声逐渐从最高点回落之后一个坐在第三排的人站起来开始提问是关于零点集在极端方向区间中的边界表现悦儿回答了那个问题并补充了一段附录中的处理。接着有第二个人提问问的是多项式次数与维度之间的比例关系能不能向更高维推广她回答时说那是我正在进行的下一步工作。然后还有第三个人关于多尺度方法与代数几何方法在四维框架中的调用顺序她回答说顺序是可交换的两种方法的调用次序不影响最终结果。回答完这三个提问后时间已经接近预先设定的结束时刻她向报告厅的听众表示了感谢从麦克风架前退了一步走出了讲台前方的侧门。当她走到走廊里时掌声还在报告厅内逐渐散去。走廊的长窗外面是城市的天空下午四点的阳光斜着射进来在浅色的地面砖上形成一片倾斜的亮区。她靠着一侧墙壁站住把水杯放在窗台上然后望向走廊尽头。走廊尽头有一个人站在那里。穿一件深灰色的外套手里没有拿包也没有拿笔记本只在旁边放着一只纸杯像是从休息区取来的咖啡。悦儿看着他从走廊尽头向她的方向走过来没有快走步幅均匀像是已经在那个位置站了很久。他走近的时候悦儿说你坐在最后一排。墨子说坐在最后一排能看到整个房间的侧面轮廓。能看到所有人在不同节点停顿的时间也能看到他们在哪一个等号前同时低头。你从哪个等号开始看的从一开始就在。你写第一个定义的时候我看到你写字母的间隙比平时短了一点。你平时在纸上写同一个词会用一种固定的力度今天稍轻一些。悦儿靠着墙壁把重心从一只脚换到了另一只。你今天专门来的。墨子说这次我在现场。她看着他等他把这句话说完。他没有接着说下去。他只是站在她旁边的那段墙面前中间隔着一扇窗户的距离。窗外的光线落在两个人之间的那块地面上。你听到了掌声吗悦儿问。听到了。你没有鼓掌。墨子沉默了一瞬然后说我没有鼓掌。我坐在最后一排看着你在黑板上写完最后一个等号。掌声是留给结论的我看到的是你在写结论的过程中遇到的所有分叉和回退。那些分叉和回退没有被掌声覆盖但它们才是你在黑板上写出那个等号的原因。我鼓掌也没有关系但是我不想在那种场合一起做别人都在做的事。我希望自己记得的是你在走完十年后回头看黑板的样子而不是其他那些经过同样路径但未必看见这条路径的人。悦儿靠着墙壁没有回答。走廊里有一阵风从侧面的窗户缝隙中穿进来带动了她外套的下摆在布料表面形成一道转瞬即逝的褶皱。她站在那里看了他一会儿然后转身走回报告厅的方向。她没有说走吧或者该回去了。她只是沿着走廊往回走了几步在侧门处停下来等他。他跟上来的脚步声在走廊的地砖上发出低沉的、被吸音材料部分吸收的回音间隔和幅度都保持均匀。那天晚些时候消息开始在网络上扩散。最初是一些在报告现场的数学家发布的简短记录配有会议中心和会议日程的照片说明文字中提到四维挂谷猜想已获证明。到了傍晚数家数学新闻博客都发布了相关内容的报道。有一个标题是《从三维到四维她走了十年的路今天在众人面前闭合了》另一个标题用了更精确的措辞——《代数几何与管道几何在四维空间中的交汇四维挂谷猜想证明报告》。悦儿没有逐一阅读那些报道但她收到了几条通知其中一封来自一位她读研时在文献中见过的数学家正文只有一行我在家中读到这条消息时放下了手里的读物。你十年前的笔记今天在众人面前完成了它的序列。她在第二天收到了扎尔的来信。扎尔先简短地回顾了他们此前讨论过的一些细节然后写道我在你讲到零点集构造的那一段时忽然意识到如果我在南开的办公室里有一个备份版本我们当初在处理相位失配时就能省下那段探索的时间。可惜没有。但你在十年中把它走完了这本身已经是一个足够完整的事件。悦儿在回复中写道你当初留下的那个框架已经跨过了四维的门槛只是当时还没有完全进入那个空间。我花了一些时间把门从一侧移到另一侧然后打开了它。她写完这行字后添加了一段关于下一步方向的设想然后发送。回到住处后她打开手机看到墨子发来的一张照片。照片是下午报告结束后在走廊里拍的——她的背影被照在一片斜射的阳光下浅色的地面砖上投出了一道略深的影子。照片的边框很窄像是拍摄者刻意把取景范围压缩到了正好包含她整个人和窗沿的那一截。她注视着照片中自己的剪影轮廓在暗与亮的交界处有一个非常细微的断裂带像被裁开后又重新衔接上的痕迹。悦儿把照片保存到相册里在相册中建了一个新文件夹标签为四维把这张照片放了进去。然后她锁了屏在沙发坐垫上合拢双手看着窗外逐渐变暗的天际线。窗外的云层在夜落前呈现出一种从灰蓝到深蓝再过渡到暗紫的色调变化像一叠被排好序的色块。她在那个色调中坐了一段时间没有做任何事——只是让这一天最后的余波静静地通过她的身体让空气中的温度和声音慢慢回落到一个新的安静水平。震卦的爻辞说震来虩虩笑言哑哑——震惊到来时人人恐惧但当事者在经过之后能够安然自若继续说话。她在报告结束后的那个傍晚没有额外的兴奋也没有明显的疲惫只是在一个较为平稳的状态中把这一天剩下的时间过完了。她在第二天早上打开笔记在四维框架那一页的上方用铅笔标了一个日期然后在日期旁边写了一个词闭合。她看着那个词确认它已经在纸面上占据了一个位置然后又把它描了一遍使它的笔画比周围的字稍粗一些。她在那天下午的团队会议上用平静的语气说四维挂谷猜想的新状态已经不再是未证明而是已证明了。会议室里安静了一瞬然后有一两个人点了点头像在确认一个已经被共同完成的事实。悦儿说我们花了十年。现在四维有了一个终点。下一个问题——五维——还在等我们。她停了下来等着团队的视线逐渐从墙上的进度条移回她的方向然后她补充道不过那是下周的事。这周剩下的时间所有人休息。那个通知在团队的内部沟通中传播开来没有人提出异议。悦儿在散会后独自整理着那些标记了不同颜色的进度条和记录纸。她收拾了大约十分钟然后拿起外套走出了办公室穿过走廊和建筑的正门沿着街边的道路走向河岸的方向。她在经过一扇落地玻璃窗时余光里看到了自己走路的节奏——脚步均匀步幅稳定每一步的长度都与上一步相同。她沿着河岸走了大约半小时直到天色从傍晚的光亮转变为暮色的灰调然后转身走回了办公室所在的方向没有计算距离也没有刻意保持速度。她只是在走已经走完了一段很长的路现在走的路还没有被预先画好标记。但脚步是稳的每一步都比上一步更有把握地踩实在地面上在新的地面上继续向前延伸着。
