“严格来说,普林斯顿那场是“即兴证明”。这次是“正式讲座”。概念不一样。前者是天才的灵光一现,后者是体系化的理论构建。两者都难得,但后者对学术界更有价值。”
“听不懂,但大为震撼。总之肖神yyds就对了。”
……
而在群智研究室的办公室,肖宿站在白板前,手里捏著记號笔,神情专注。
刘浩然坐在对面的椅子上,手里捧著笔记本,表情认真得近乎虔诚。
他正死死盯著白板上那几行公式,脑门儿上沁出一层薄汗。
“这部分,”肖宿用笔尖点著白板中央的一行字,语气平淡,“我简化过了。”
刘浩然拼命点头。
“原来论文里,我用的是导出范畴的语言,从perverse层到相交上同调。”
肖宿继续说,手里的笔在白板上轻轻点著,“现在我把中间那几步合併了,直接用量子化的bialynicki-birla分解来刻画形变的模空间。”
他顿了顿,回头看刘浩然。
“这样应该更直观。”
刘浩然:“……”
直观吗?
他看著白板上那几行公式,脑子飞速运转。
量子化的bialynicki-birla分解……
这个概念他读过,但只是在论文里见过,从来没真正用过。
肖宿说的“合併中间几步”,在他眼里,那几步全是天堑。
肖宿等了两秒,没等到回应。
他微微皱了皱眉,转过身,开始在白板上继续写。
“第一步,先考虑辛形式在奇点附近的局部模型。根据我们之前的结果,任何一个孤立奇点,都可以標准化为某种加权齐次多项式的临界点。”
“设f为加权齐次多项式,权重为(a?,。。。,a?),则其milnor纤维的相交形式可由gabrielov数刻画。”
刘浩然快速记下,笔尖在本子上沙沙作响。
“第二步,”肖宿继续写,“考虑这个局部模型在量子化下的行为。量子参数?的作用,相当於给辛形式加了一个b场。在適当的紧化下,这个b场会与奇点的gabrielov数耦合,產生一个形变参数。”
第二行公式出现。
刘浩然盯著那个“?”,脑子里闪过一堆问题。
这个?是怎么耦合的?
耦合的数学形式是什么?
为什么恰好是gabrielov数?
他张了张嘴,想问,又忍住了。
肖宿肯定觉得这是“很明显”的。
“第三步,”肖宿已经写到了第三行,“把局部模型粘起来。用mayer-vietoris谱序列,结合borel–moore同调的长正合列,就可以得到整体形变空间的维数公式。”
第三行写完。
肖宿放下笔,转过身,看著刘浩然。
“就是这样。”
刘浩然看著白板上那三行公式,沉默了三秒。
然后他艰难地开口:“那个……肖哥,第二步那个耦合,能不能稍微……”
他斟酌著措辞,“稍微展开一点点?”
“耦合?”
他说,“那个不是很明显吗?b场的拓扑类由第一chern类决定,而gabrielov数恰好是某个陈类的积分。你把这两个东西放在一起,自然就耦合了。”