第(2/3)页 他继续往下看。 作者在这里引入了一个极具巧思的非交换赋值,将每个 Laurent单项式的多维指数读成格点空间中的一个整点,由此,整个像在无穷远处的渐近几何行为,被完美映射为一个有理多面体锥的边界特征。 看到这里,孔采维奇原本有些无所谓的想法瞬间被丢在了一边,紧接着他眼神专注了起来。 作为代数几何与辛几何领域的绝对宗师,他太清楚这个问题在第二页会撞上什么样的南墙,在以往那些宣告失败的草稿中,无数研究者都会试图在这里去强行对齐并直接分析像集的整体拓扑结构。 这种试图用硬性的代数方程去强行刻画拓扑流形的方法,不仅会让推导变得极其臃肿,而且几乎注定会在边界奇点处崩溃。 然而,这篇论文的作者却表现出了一种出人意料的直觉,他放弃了整体拓扑的正面死磕,而是把战场拉到了整点锥的边界上。 “有界性,有理性,多面体性……” 孔采维奇用俄语低声念叨着, 他回头重新读了一遍。 然后又读了一遍。 然后孔采维奇嘴里飘出了一句:“блядь……”(布列……) 这个引理的证明使用了一个非常巧妙的构造,作者没有沿用该领域里常见的谱序列或上同调消失定理的套路,而是直接在组合层面上构造了一个显式的映射,将问题归约为一个纯粹的凸几何命题! 孔采维奇的心跳加速了一点,这是他作为数学家的本能反应,当一个好的数学想法出现在面前时,他的身体会比大脑更先做出判断。 他继续往下读。 第四节和第五节是主定理的证明,推理过程环环相扣,每一步都交代得很清楚,有几个地方作者跳过了一些中间计算,但孔采维奇迅速验算了一下,发现那些步骤确实是显然的,不写出来反而让论文更清爽。 呵,这作者对读者数学水平有点信任啊。 孔采维奇一直板着的脸上有了一点笑意。 “孔采维奇教授?” 办公室门口传来一个声音:“您今天下午的讨论班……” “取消。”孔采维奇头也不抬。 “呃……取消?” “取消,我有重要的事要做。” 皮埃尔站在门口,欲言又止,他从来没见过导师无故取消讨论班。 “教授,出什么事了吗?” 第(2/3)页