学霸的模拟器系统: 第307章 布雷沃河谷的下午茶(求订阅求月票)
RER B线的列车是老式的。
蓝色的座椅绒布被磨得发白。
车厢连接处随着轨道起伏发出“哐当哐当”的钝响。
空气里混杂着湿羊毛大衣、陈旧的报纸油墨和一种说不清道不明的霉味-
那是巴黎深秋特有的味道。
窗外,原本密集的奥斯曼式建筑逐渐稀疏。
取而代之的是舍夫勒兹河谷(Vallée de Chevreuse) 大片被雨水打湿的橡树林。
十一月的法国南部。
天空像一块吸饱了水的灰色海绵,低低地压在树梢上。
林允宁坐在靠窗的位置,膝盖上放着沉重的黑色双肩包。
这是他唯一的行李。
他对面,坐着一个戴着贝雷帽的老妇人,正用一把银色的小刀削苹果,果皮连成一条不断的线,垂在垃圾袋里。
"Bures-sur-Yvette (伊维特河畔比尔)。”
广播里传来懒洋洋的法语报站声。
林允宁拎起包,随着寥寥无几的旅客下了车。
冷冽的空气瞬间钻进风衣领口,激得他皮肤起了一层栗粒。
沿着布雷沃路(Route de Chartres)步行。
脚下的落叶被雨水泡得发软,踩上去没有声音。
十五分钟后,几栋并不起眼的低层建筑出现在树林掩映中。
没有宏伟的校门,没有警卫,只有一块嵌在红砖墙上的小铜牌:
Institut des Hautes?tudes Scientifiques (法国高等科学研究所)。
IHES。
数学界的“梵蒂冈”。
林允宁收起滴水的长柄伞,推开主楼那扇沉重的橡木门。
公共休息室(Common Room)里很暖和,弥漫着浓郁的意式浓缩咖啡香气。
下午四点,这是法国人雷打不动的“Tea Time”。
长条桌旁已经围坐着七八个人。
桌上放着可颂、闪电泡芙以及三明治、薄饼。
在这个房间里,菲尔兹奖的密度,比世界任何地方都高。
Ah,le voilà.(啊,他来了。)”
一个穿着旧开衫、头发有些蓬乱的老人转过身。
阿兰?孔涅(Alain Connes)。
非对易几何的奠基人。
他手里端着一杯红茶,目光越过镜片,打量着这个浑身带着寒气的年轻人。
“林?欢迎来到修道院。”
孔涅指了指窗外,“希望你不介意这里的雨,它通常要下到明年三月。”
“谢谢,孔涅教授。”
林允宁礼貌地握手,语气平稳,“雨天适合思考。而且在芝加哥,这时候通常是更糟糕的暴风雪。”
“梵蒂冈”的中心,并没有想象中的剑拔弩张。
这里的氛围松弛得像个养老院。
没有人一上来就谈论那些足以炸裂大脑的猜想。
大家礼貌地寒暄,询问旅途是否劳顿,甚至讨论了一下最近罢工对RER线路的影响。
这是一种最高级的骄傲??或者说,自信。
对于这些老人而言,早已不需要通过谈论抽象的名词,来证明自己的身份。
林允宁接过秘书递来的咖啡,找了个空位坐下。
他对面,一位正用小勺子搅动咖啡的老人抬起头。
皮埃尔?德利涅(Pierre Deligne)。
现代代数几何的领军人物,二十世纪中后期最重要的数学家之一。
“德利涅教授。”"
林允宁欠身致意。
“林。我们又见面了,上次你在芝加哥的演讲,依旧余音在耳......”
德利涅的声音很轻,带着一点比利时口音,“让-皮埃尔(所长)给我发过邮件,说你想查阅我老师亚历山大(格罗滕迪克)在1991年之前的未公开手稿?”
房间里的谈话声稍微低了一些。
“是的。”
林允宁直视着对方,并不避讳自己的来意,“我在研究四维杨-米尔斯场的量子化问题时,发现某种结构可能与格罗迪克先生晚年关于’母题(Motives)”的思考有关。
“我需要寻找一种非阿贝尔的上同调工具。”
德利涅停下了搅动咖啡的手。
“亚历山大的手稿都在地下室的保险柜里,那是研究所的资产,不轻易给人看的。”
德利涅拿起一块玛德琳蛋糕,并没有吃,“当然,以你对数学界的贡献和学术信誉,当然是可以去观摩的,等到明天,我亲自带你过去。”
“我想今天……………”
“别那么急嘛,今天给你看了,我怕你明天就离开这里了,啊哈哈......”
德利涅笑了笑,那是长辈看着急躁晚辈的笑容,“开个玩笑,还有一些例行手续要走。
“你才刚来,先休息休息,倒到时差,明天上午十点,我们为你在报告厅安排了一场报告会。是关于你三个月前完成的‘权重单值性猜想”证明。
“那是个很困难也很有趣的课题,我听说,是你在去中国的私人飞机上完成的,很了不起。”
德利涅重新低下头看着咖啡,“我会尽量在报告会结束之前,把钥匙借出来给你。”
“一言为定。”
林允宁喝了一口咖啡。
很苦,但回味很深。
......
次日,上午11:30。
IHES阶梯研讨厅。
黑板上已经写满了白色的粉笔字。
最后一行的公式右下角,林允宁重重地画上了一个方框??Q.E.D.(证明完毕)。
Weight_i (H^K(X, Q_I))= k + i
粉笔断裂的声音在空旷的大厅里回荡。
台下坐满了人,但出奇地没有一点声音。
德利涅坐在第一排,眼镜滑到了鼻尖上。
他盯着黑板中间那个引入了“完美状空间(Perfectoid Spaces)”的构造,手指无意识地敲击着扶手。
“特征p的倾斜(Tilting)......”
德利涅喃喃自语,“你竟然把混合特征的问题,强行拉到了纯特征域上解决。这真是个天才想法。”
“精彩。”
阿兰?孔涅率先鼓起了掌。
掌声并不算热烈,带着法国人特有的慵懒和随性。
但每一个鼓掌的人,都是能写进教科书上的名字。
十分钟后,所长办公室。
这是一场闭门会议。
只有林允宁、德利涅、孔涅和布吉尼翁所长等十几个顶尖的数学家。
“关于权重单值性猜想,我想没人再有异议了。
德利涅把眼镜摘下来,用绒布擦拭着,“这是我在1970年提出的问题。没想到三十八年过去才有了一个完美的解答。
“林,谢谢你,你给了他一个完美的葬礼。”
“谢谢。”
“但是,我想说另外一件事。”
德利涅话锋一转,重新戴上眼镜,目光变得锐利,
“昨天晚上,我刚刚发现你前两天上传了一篇关于几何朗兰兹猜想证明的预印本。
“将近四百页,我还没有读完。”
“我只能说,前十页关于‘赫克修改(Hecke Modification) 的引入很有趣,非常有想象力。
“但是,林,”
德利涅身体前倾,双手交叉放在桌上,不无担忧地说道,“从权重单值性猜想到几何朗兰兹猜想,跨度太大了,间隔时间也太短了......”
“我们担心的是,你走得太快了。”
孔涅教授接过了德利涅的话,补充道,语气诚恳,“现在,你是菲尔兹奖的最有力竞争者。
“但这是几何朗兰兹猜想,如此重要的论文,一旦被发现有基础性的逻辑漏洞,对你的学术声誉将是毁灭性的打击。
“300多页的论文,几个月的事件,你敢保证一点瑕疵都没有么?我们都认为应该继续花一些时间打磨一下,而不是急着上传到预印本网站。”
这才是核心。
他们不怀疑林允宁的天才,他们担心的是他的耐性。
林允宁沉默了片刻。
德利涅和孔涅教授的关心是对的。
但他们不知道的是,在模拟器中,自己已经花费数万小时,将这篇论文打磨得无懈可击。
他知道,现在辩解论文的正确性是徒劳的。
只有时间能证明一切。
“教授,我明白您的担心。”
林允宁站起身,“但论文已经发了,我们都该向前看,不是吗?
“我还是想去看看格罗迪克先生的手稿。”
德利涅看着这个年轻人的眼睛。
那里面没有狂妄,只有一种近乎偏执的,求道者的光芒。
良久,老人叹了口气,从抽屉里取出一把黄铜钥匙,推过桌面。
“B区,04号柜。只能在那看,不能带出,不能拍照。不过今天档案馆闭馆了,管理员今天请假去爬山远足了。”
德利涅疲惫地挥挥手,“明天可以去看,小心别迷路。”
当晚,林允宁在小镇公寓安顿下来。
这是一间位于阁楼的单身公寓,窗外能看到雨雾中的教堂尖顶。
他刚洗完澡,正在用毛巾擦着湿漉漉的头发,放在桌上的手机突然疯狂震动起来,在木桌上发出“嗡嗡”的闷响。
来电显示:埃隆马斯克。
林允宁看了一眼墙上的挂钟。芝加哥时间上午十点,加州时间上午八点。
“Hey,埃隆。”
“林,你要发财了!”
听筒里传来马斯克厚重的笑声,背景里是一片香槟开瓶的砰砰声和人群的欢呼。
“NASA刚刚把合同传真过来!CRS(商业补给服务)合同!十二次发射任务,十六亿美元!十六亿!!”
马斯克语无伦次,“那帮之前嘲笑我的混蛋,我要把这合同复印件塞进他们的XX里!”
林允宁嘴角上扬,坐在床边:
“恭喜。看来我那一千万美元的投资翻倍了?”
“翻倍?这是十倍百倍的回报!”
马斯克大笑,但随即,电话那头的声音突然低了下来,背景里的欢呼声也被关门的动作隔绝了。
“但是,林。我有麻烦了。大麻烦。”
马斯克似乎找了个没人的地方,语气瞬间从狂喜切换到了工程师的焦虑。
“Merlin 1C(梅林引擎)的改进型出了麻烦。
“为了猎鹰9号,我们把推力提升了。但是现在的试车数据简直是场灾难。”
“怎么回事?”
“燃烧不稳定性(Combustion Instability)。而且是高频的。”
马斯克的声音透着疲惫,“只要室压超过900psi,燃烧室就开始啸叫。频率在2400赫兹左右。
“我们的工程师加了隔板,改了喷注盘,都没用。就在昨天,试车台上的那台原型机差点炸了。”
林允宁皱起眉头。
“我这段时间都会很忙,但今天还有点空,把数据发给我看看。”
挂断电话,十几分钟后,邮件提示音响起。
林允宁打开那份几百兆的.dat文件。
屏幕上,红色的压力曲线在时间轴上疯狂跳动,那一簇簇密集的尖峰,就像是暴雨中混乱的波纹。
这是流体力学的噩梦。
高温、高压的燃气在狭小的燃烧室里翻滚。
湍流。
涡旋破碎。
能量在不同尺度的涡旋间级联传递,最后在某个特定频率上爆发共振。
林允宁闭上眼。
【系统,启动模拟科研。】
【课题:液体火箭发动机高频燃烧不稳定性分析与抑制。】
【注入模拟时长:50小时。】
意识下沉。
眼前的数据流开始重构。
他仿佛置身于那个几千度的燃烧室内部。
【第1小时:你尝试建立基于纳维-斯托克斯(N-S)方程的三维湍流模型。雷诺数过高,直接数值模拟(DNS)所需的网格精度超过了当前算力极限。】
【第12小时:你退而求其次,尝试使用大涡模拟(LES)。计算发散。N-S方程在极端条件下的奇异性像一堵墙,挡住了所有解析解的路径。你意识到,这是数学工具的缺失。】
【第35小时:你放弃了寻找完美的数学解。你开始尝试工程近似。你观察到喷注盘边缘的燃料雾化存在一个周期性的死区。】
【第48小时:你引入了一个非线性的声学阻尼项。你发现,如果破坏喷注单元的对称性,使用一种斐波那契螺旋排列,可以诱导相抵消,从而抑制高频啸叫。】
【模拟结束。】
林允宁睁开眼,揉了揉发胀的太阳穴。
湍流,纳维-斯托克斯程......
又一个千禧难题,盘旋在头顶。
由于纳维-斯托克斯方程在湍流区域的数学性质尚未完全解决,工程上往往只能靠经验公式和试错来解决。
只不过这一次,他绕过了它。
他拿起电话,回拨过去。
“埃隆,听着。你也知道这是湍流,纳维-斯托克斯方程在湍流区域的数学性质尚未完全解决,我也没有办法。”
林允宁的声音很冷静,“但我有个临时的工程方案。”
“改喷注盘。把同心圆排列改成斐波那契螺旋。这会破坏驻波的对称性。”
“......你是认真的?向日葵?”
“这是目前唯一的办法。另外,把隔板的长度缩短15%,你的声学模型算错了边界层的厚度。
“试试看,我没法给出数学上的精确解,但我觉得这些工程改进很有希望解决你的问题,至少是个正确的方向。’
挂断电话,林允宁长出了一口气。
他走到窗前,看着外面漆黑的雨夜。
一边是追求完美的代数几何,一边是充满缺陷的物理湍流。
他需要的工具越来越多......
第二天清晨,IHES地下档案馆。
这里恒温恒湿,空气里只有纸张缓慢氧化的酸味。
林允宁独自一人坐在角落的木桌旁,面前放着那个标有“AG1985-1990”的牛皮纸袋。
他戴上白手套,小心翼翼地抽出里面的纸张。
与其说这是论文,倒不如说是日记,是呓语。
是草图,是灵魂的碎片。
有些纸上画着像植物根系一样的线条,有些则是密密麻麻的法文单词,中间夹杂着几个从未见过的数学符号。
难怪这么多年来,一直也没有人仔细地研究过它们。
【系统,启动模拟科研。】
【课题:解析亚历山大?格罗滕迪克未发表手稿中的拓扑直觉。】
【注入模拟时长:500小时。】
【第25小时:你试图阅读文字。失败。这是一种极度个人化的隐喻系统。他用“耕作”、“母体”、“分娩”来描述数学结构。】
【第200小时:你放弃了逻辑分析,开始尝试与作者共情。你盯着第17页的一张草图。那是一个扭曲的六边形,中间穿过了一条不连续的线。】
【第375小时:你发现这不仅仅是几何。在页边的空白处,有一行用铅笔写下的潦草批注:“La clef n'est pas dans l'algèbre, mais dans le paysage.(钥匙不在代数里,而在风景里。)】
【第450小时:你的目光锁定在批注下方的一组同调群序列上:H^1(X, Z_I)->?-> H^2(X, Z_I(1))。中间的问号被重重地圈了起来。】
【第490小时:灵感洞察LV.2已激活!你意识到这组序列中的Z_I(1) (塔特扭转)在这里有着特殊的几何意义。如果你将这个同调序列视为某种地形的拓扑特征,它描述的不是代数簇,而是一个具体的、物理存在的空间结
构。】
【模拟结束。】
林允宁猛地睁开眼。
他死死盯着那张纸。
背面。
他把那张纸举起来,对着台灯的光。
背面的墨迹透过来,与正面的那个问号刚好重合。
背面画的不是数学,而是一张未完成的地图。
几条等高线,一条河流的走向,以及一个像百合花一样的标记。
“比利牛斯百合……………”
林允宁喃喃自语。
这种特殊的同调结构,是在描述比利牛斯山脉中某种特有的喀斯特地貌??复连通区域。
格罗滕迪克并没有疯,也不是乱写乱画。
他为后人留下了一个线索,一个环环相扣的藏宝图。
他把那个能连接数论与几何、连接完美世界与混沌现实的“母题”,藏在了一张地图里。
或者说,他把自己藏在了一个只有懂这个数学结构的人,才能找到的地方。
林允宁合上文件夹,心脏剧烈地跳动着。
这是一个连环谜题。
这只是第一步。