GeometricLanglandsConjecture:AProofviaD-modules
几何朗兰兹猜想:基于D-模的证明
接下来的一个小时,是枯燥而高密度的纯数学展示。
林允宁没有展示任何花哨的技巧。
他像是一个冷静的外科医生,将那个庞大而复杂的400页证明体系,在黑板上层层拆解。
黑板被写满了三次,又被擦掉了三次。
粉笔灰在聚光灯下飞舞。
当林允宁写下最后一行关于“量子化希钦纤维”的同构式时,他停下笔,转身面向观众。
“这就是几何朗兰兹猜想的完整几何图像。”
台下没有掌声。
只有翻动笔记本和低声讨论的嗡嗡声。
在这个级别的学术会议上,没有人会因为你讲完了就鼓掌。
他们来这里,是为了寻找漏洞,为了看到思想的火花碰撞。
“现在,可以提问了。”林允宁说道。
一只手举了起来。
是法尔廷斯。
现场的气氛瞬间凝固了。
所有人都知道,如果有一个人能在这套证明里挑出骨头,那一定是他。
这位素来以观点犀利,问题尖刻著称的数学家站起来,没有拿话筒,声音洪亮得像是在吵架:
“在第34步,你构造那个量子化希钦系统的时候,你声称所有的拉格朗日叶层LagrangianFoliation都是非奇异的。”
德国人指着黑板的左下角,“但这在全局幂零锥GlobalNilpotentCone上显然不成立。那些奇异点你是怎么处理的?如果不处理,你的范畴等价性就是一句空话。”
这个问题太毒了。
它直指整个证明中最脆弱的几何结构。
台下的德利涅微微皱眉,他在看文章时也注意到了这个问题,但当时内容太多,还没来得及仔细推敲。
林允宁看着法尔廷斯,笑了。
“法尔廷斯教授,您的直觉非常敏锐。’
林允宁走到黑板左下角,圈出了那个看似致命的漏洞。
“在经典的代数几何里,这里确实是奇异的。”
“但是。”
他拿起粉笔,在那个圆圈旁边加了一个下标op。
“我并没有在概形Scheme的层面上操作。我是在‘堆栈Stack的层面上。
林允宁飞快地写下了一行新的推导:
Bun_Gisasmoothalgebraicstack
“在堆栈的语言里,这些奇异点被‘展开了。就像把一个折皱的纸团在更高维度展开一样。在这里,幂零锥的奇异性不再是阻碍,反而成为了定义‘微局域支集MicrolocalSupport”的关键约束条件。”
法尔廷斯盯着黑板看了足足半分钟。
然后,他哼了一声,重新坐回椅子上,把手里的小本子合上了。