一秒记住【笔趣阁小说网】biquge678.com,更新快,无弹窗!
「什么?!」
本书首发看台湾小说认准台湾小说网,?????.???超顺畅,提供给你无错章节,无乱序章节的阅读体验
孔采维奇脸上的笑容瞬间僵住了。
拉福格和雨果也用一种看怪物一样的眼神看着徐辰。
白板上,徐辰开始写。
「首先,Fourier-Mukai变换之所以有局限,是因为它的核对象被限制在了X×Y的有界导出范畴里,它捕捉的是'线性'等价——也就是说,它本质上还是在用Abel范畴的语言去描述三角范畴的结构。「
「但导出范畴的等价,远比Abel层的等价更丰富。这里面有大量的'非线性'成分,也就是高阶同伦信息,是Fourier-Mukai的核语言根本表达不了的。「
他在白板上画了一个简单的范畴图。
「所以,问题的关键在于:我们需要一个能够捕捉高阶同伦信息的'广义核'。「
「我的想法是,不要在导出范畴本身找核,而是把问题提升到∞-范畴的语言里,在那里去构造一个'谱核'——也就是一个作用在稳定∞-范畴上的核对象。「
孔采维奇的眉头悄悄地皱了一下,然后又缓缓松开了。
这个方向……他和学生们也不是没想过。但每次试图提升到∞-范畴时,就会遇到一个棘手的相容性问题:谱核在退回到经典的三角范畴时,必须和原有的Fourier-Mukai结构保持兼容,否则这个提升就是无意义的平凡构造。
「然后呢?「孔采维奇忍不住开口,语气已经和刚才随意的「你回去慢慢想「完全不同了。
「然后,「徐辰继续写,「兼容性的问题,可以用'扭形变'来处理。「
「在非交换代数几何里,X的形式邻域可以被赋予一个B栏位——也就是一个来自H^2的量子化参数。这个B栏位扭曲了层的范畴结构,让原本在交换情形下不存在的等价'浮现'出来。「
「如果我们在谱核的构造中,自洽地引入这个扭曲参数,那么谱核在退化到经典极限时,它就会还原成普通的Fourier-Mukai核;而在非交换形变的方向上,它会生长出一系列'经典Fourier-Mukai无法看见'的新的等价类。「
「这些新的等价类……「
徐辰停顿了一下,抬起笔,转过头,看向孔采维奇。
「……它们的分类,应该由X的形式非交换形变空间的同伦自同构群来控制。而这个群,在卡拉比-丘情形下,和辛几何侧的Fukaya范畴的自同构之间,存在一个自然的对偶关系。「
「所以,如果这个框架是对的,那么'隐藏等价'的系