学霸的模拟器系统 第783节

　　他用拇指蹭了蹭粉笔末端，直接落笔。

　　“第一阶段，”粉笔在黑板左上角敲出一声轻响，“局部凝聚态的存在性，和Sobolev嵌入的充分条件。”

　　他手腕没停，利落地写下三行式子：非紧流形M上的凝聚度泛函局部表达、Sobolev空间嵌入的指数条件，以及代入非紧衰减因子后的修正不等式。

　　整个过程不到半分钟。

　　“这一段，七月中旬我已经和普林斯顿的同僚们用信件核对过四轮。”

　　林允宁粉笔尖一点，“嵌入充分性在 p > n/2区间内直接成立，技术上没问题，今天时间有限，就不展开了。”

　　费弗曼依然双臂交叠，膝盖上的便签本和派克钢笔原封未动。

　　不过听到“四轮信件”时，他的下颌微微绷了一下。

　　旁边的陶哲轩恰好抬起头，视线在费弗曼和黑板之间打了个转，随即将笔尖重新落回了笔记本上。

　　林允宁挪向黑板中央：“第二阶段，退化纤维层的收缩估计与Bootstrap临界指数间隙。”

　　这次他写得很慢，每写两行就停顿一下，留出时间让台下消化。

　　这一段包含三个关键不等式。

　　写第一个时，他直接把Bootstrap参数k的取值区间，推到了闭区间[k0， k1]的上半边。没有任何解释，直接作为已知前提列在首行。

　　陶哲轩停下笔，盯着那个区间看了片刻，在心里快速验算了一遍。

　　接着，他在新一页的顶端画了个向右的箭头，并在旁边批注：“已验证”。

　　写完第二个不等式，粉笔停住了。

　　“这里有一条引理，”林允宁说，“之前的预印本和答辩稿里都没提过。”

　　前排的舒尔茨默默把A4纸往跟前拽了拽。

　　林允宁加快了板书速度，迅速列出引理陈述和证明提纲：在退化纤维的收缩估计中，Bootstrap的关键指数间隙，其实是由一个仅依赖流形第二基本形式迹的几何量Γ(M)的上界来控制的。

　　他在一旁的括号里随手写下了Γ(M)的定义。

　　孔涅悬着笔停顿了片刻，抄下这个新定义的符号，并在下方用非交换几何的语言补充了自己的猜想。

　　这很像他十几年前研究过的一种算子迹限制。

　　威滕的目光也锁死在了引理的上界估计上。

　　而一直抱臂端坐的费弗曼，虽然姿势没变，左手的两根手指已经搭在了便签本边缘。

　　林允宁写下第二阶段的收尾：合并前两个不等式，得出一个覆盖整个指数间隙上半区的紧致估计，顺势推导出下一阶段的边界衰减条件。

　　写完后，他拿起板擦抹掉了左上角的第一阶段板书。

　　黑板擦摩擦的沙沙声在寂静的会场里格外清晰。

　　“第二阶段到这里。”他重新捏起粉笔，挪向黑板中央，“第三阶段，非紧流形无穷远处的边界控制。”

　　听到这句，费弗曼搭在纸边的手指微微扣紧。

　　这才是重头戏。

　　早在七月份的通信中，费弗曼就把前两阶段拆解透了。

　　真正的难点在于这最后的边界衰减一致性控制。

　　非紧流形在无穷远处的退化行为，并不能自动保证泛函在边界上可控。

　　如果给不出一致的衰减率，正则性估计就无法闭环。

　　在这个问题上，至今没人能拿出一个完整的跨越方案。

　　林允宁起笔，先写下了一个“穷竭序列”（Exhaustion Sequence）的定义，给出一族嵌套且带有光滑边界的紧致子集，接着在子集上定义了一族截断泛函。

　　前两步都是常规操作。

　　关键在第三步：他引入了一个全新的“退化率函数”ρ(x， r)，不仅逐点估计了泛函的差值，还给出了递减速率的一致上界。

　　这个上界的常数项，刚好能被第二阶段定义的Γ(M)整除。

　　当这个相容性被浓缩成一个极简的不等式列在黑板上时，舒尔茨一把抓起了桌上的A4纸，手悬在半空，目光却牢牢钉在黑板上。

　　林允宁继续往下推。

　　最后一步，是将一致上界代入序列，证明截断泛函在有效函数空间范数下收敛，并利用穷竭序列的性质将局部估计拼接起来。

　　解决“拼接”这个核心难点的，并不是什么复杂的新技术，而是黎曼几何里一个很古老的几何量。

　　他把其中第二基本形式的迹做了现代化改写，硬是套进了非紧情形里。

　　粉笔离开黑板。

　　那一瞬间，坐在正中央端了近一个小时的费弗曼松开了交叠的双臂，拔开那支派克钢笔，在空白处写下了一行字。

　　林允宁背对观众写下边界控制一致收敛的最后一行式子，正则性估计在非紧流形上的逻辑闭环正式合拢。

　　粉笔重重点下两点，画上句号。

　　这一刻，前排的几位学者几乎动作一致：孔涅放下笔，陶哲轩合上笔记本，舒尔茨把A4纸平铺回桌面，威滕也搁下了钢笔。

　　费弗曼恰好写完那行字。

　　他没盖笔帽，由着钢笔斜压在字迹旁，双手自然地搭回腿上，紧绷的脊背彻底松懈下来。

　　林允宁转身面向全场。

　　主屏上第一到第三阶段的标题旁，已经亮起了三个绿色的完成勾。

　　他把粉笔放回黑板槽，没说一句总结的废话，只平静地吐出四个字：

　　“第三部分。”

　　林允宁没去管那六张手写稿，它们依然按顺序反扣在讲台右侧的小桌板上。

　　全场瞬间反应过来：摆在讲台上的那六页手稿，他压根就没打算看。

　　他走回讲台正中央，按动翻页笔，主屏画面随之切换。

　　新页面只有一个方框，上方标着一行小字：广义林氏纲领——统一闭环。

　　“第三部分，就是广义林氏纲领。”他的声音比先前更平稳。

　　“把今天下午证实的三个部分，和四个月前博士答辩里立住的部分，合成一条陈述。”

　　随着他的按键，方框里依次浮现出四行简短的描述：

　　霍奇范畴基础（4月）；

　　凝聚度泛函 C[φ]·修正度量 g(γ，J)· NS-YM同构（6月）；

　　AD-02开放系统实例（6月）；

　　SU(2)格点验证（8月）·非紧流形 C[φ]正则性（8月）。

　　“六月在洛克菲勒，今天在海得拉巴。”林允宁看着台下，“这四个月里，其实只增加了两项内容。一项在上半场，一项在刚才。”

　　台下第一排，威滕重新握住了那支没盖帽的钢笔。

　　屏幕上，方框里的四行字被一个括号圈起，上方跳出新字：

　　广义林氏纲领（闭式）。

　　括号右侧连着一个等号，紧接着浮现出一条定理形式的断言：

　　“对于任意满足[耗散γ，驱动 J，具有非紧穷竭边界?M]的动力系统 S，其拓扑凝聚电荷在泛函 C[φ]下的全局演化，完全由以下三项的联合约束决定：(i)修正度量 g(γ，J)上的变分原理，(ii) C[φ]在非紧流形上的正则性估计，以及(iii)紧 SU(N)规范群上的格点数值验证。”

　　白底黑字的陈述稳稳停在屏幕正中，字号不大，却足够清晰。

　　这不算什么新定理，既未引入新的数学对象，也未重定义任何符号，单纯是将几个月来的局部工作焊合成了一条严密的约束陈述。

　　陶哲轩翻开旧笔记本，用自己最熟悉的 PDE估计语言和字符习惯，将这条陈述转译了一遍。

　　台上的林允宁继续补充：“这条陈述的物理对应范围，涵盖了纳维-斯托克斯有限时间爆破、杨-米尔斯质量间隙，以及开放系统动力学的一个实例——也就是我在六月份的报告中给出的AD-02队列那组曲线。

　　“那组曲线已经公开过，今天不再展示。在这里，它仅仅作为开放系统动力学方向的一个验证锚点。”

　　他点到即止。关于背后的医疗团队、相干窗口或是孟筱兰的个案，只字未提。

　　在这个物理与数学的最高殿堂里，AD-02只是一个已被证实的学术符号。

　　主屏切到最后一页，只留下一行字：

　　证明完毕（Q.E.D.）——于海得拉巴，2010年 8月 23日。

　　下午四点五十八分。林允宁放下翻页笔，全场陷入了寂静。

　　前排的大脑们还在飞速消化这条陈述与千禧年七大数学难题的深层联系，而后排那些第一次听他报告的学者，则终于真切地体会到了媒体上所谓“重写数学物理地基”的分量。

　　短暂的静默中，第一排中央的费弗曼拿起那支派克钢笔，在便签本上的第一行字下方，补写了一行短句。

　　写完，他盖上笔帽。

　　“咔哒”一声轻响，左边的威滕听到动静，也顺势合上了自己的笔帽。

　　紧接着，孔涅按回了机械笔芯；陶哲轩合拢旧笔记本，终于直视讲台；威滕双手叠压在皮面上，微微前倾。

　　讲台上的林允宁依然站得笔直。

　　直到最右侧的舒尔茨将那张满是折痕的 A4纸推向桌板深处，突兀地站了起来。

　　舒尔茨起身的动作毫无滞涩，却做出了最清晰的表态。