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