[论文解读] Derived Algebraic Geometry and Deformation Quantization

Bertrand Toën|arXiv (Cornell University)|Mar 27, 2014

Homotopy and Cohomology in Algebraic Topology参考文献 28被引用 24

一句话总结

本文提出了一套推导代数几何框架，统一并推广了形变量子化，通过移位辛结构与泊松结构构建了交换几何对象的非交换形变。该研究系统地实现了任意维数流形上 $G$-丛模空间的量子化，揭示了量子群、链环代数与唐纳森-托马斯不变量之间通过共同的形变理论机制所建立的深刻联系。

ABSTRACT

This is a report on recent progress concerning the interactions between derived algebraic geometry and deformation quantization. We present the notion of derived algebraic stacks, of shifted symplectic and Poisson structures, as well as the construction of deformation quantization of shifted Poisson structures. As an application we propose a general construction of the quantization of the moduli space of $G$-bundles on an oriented space of arbitrary dimension.

研究动机与目标

• 将 disparate 的量子对象——量子群、链环代数与唐纳森-托马斯不变量——统一于单一几何框架之下。
• 将形变量子化从经典泊松流形推广至推导代数几何中的高阶移位结构。
• 在任意维数的定向流形上，构建 $G$-丛模空间的形变量子化。
• 将唐纳森-托马斯理论中已知的上位层的消失循环的 perverse 她层解释为推导量子化的实现。
• 探讨方向数据与动机结构在非交换形变理论中的作用。

提出的方法

• 采用推导代数叠作为基础几何对象，以处理奇点与高阶范畴结构。
• 引入 $n$-移位辛与泊松结构，作为经典辛与泊松几何的高阶范畴推广。
• 利用 $E_n$-单幺微分分次范畴的形式化，建模推导叠上层的量子化范畴。
• 通过形式性猜想构造 $n$-移位泊松结构的形变量子化，推广 Kontsevich 的量子化方法。
• 将该理论应用于光滑、定向流形 $X$ 的模叠 $Bun_G(X)$，利用函数临界点的局部数据。
• 将所得量子化与矩阵因子化及构造层联系起来，尤其在唐纳森-托马斯理论的背景下。

实验结果

研究问题

• RQ1 如何在推导代数几何中系统地将形变量子化扩展至高阶移位泊松结构？
• RQ2 在推导设定下，移位辛结构与其通过形式性实现的量子化之间的确切关系为何？
• RQ3 能否使用推导方法统一构建任意维数流形上 $G$-丛模空间的量子化？
• RQ4 唐纳森-托马斯理论中已知的上位层消失循环如何从推导形变量子化中产生？
• RQ5 方向数据在量化层的全局存在性及其动机解释中扮演何种角色？

主要发现

• 本文构建了推导代数叠上 $n$-移位泊松结构的形变量子化，推广了经典形变量子化。
• 提供了一个统一框架，使得量子群、链环代数与唐纳森-托马斯不变量均作为模叠上层范畴的形变而自然出现。
• 在定向流形 $X$ 上，$G$-丛的模空间 $Bun_G(X)$ 通过推导代数几何与移位泊松结构，具有自然的量子化结构。
• 唐纳森-托马斯理论中消失循环层 $ u_f$ 的构造被解释为模叠推导量子化的 Betti 实现。
• 当 $n = -1$ 与 $n = -2$ 时，量子化分别产生张量与辫状张量的微分分次范畴，与 Joyce 关于范畴化不变量的工作相联系。
• 动机方面有所提示：DT 理论中的构造层 $ar{ u}$ 预期为非交换动机的 Betti 实现，与 $E_n$-动机存在联系。