[论文解读] Derived Algebraic Geometry

Bertrand Toën|arXiv (Cornell University)|Jan 6, 2014

Homotopy and Cohomology in Algebraic Topology参考文献 82被引用 9

一句话总结

本文引入了导出代数几何作为框架，通过用编码同伦数据的导出概形替代经典概形，以解决几何奇点问题——如非横截相交和非自由群作用。它通过高阶 Hochschild 上同调建立了移位 Poisson 结构与形变量子化之间的对应关系，为代数几何与数学物理中的量子化提供了导出几何基础。

ABSTRACT

This text is a survey of derived algebraic geometry. It covers a variety of general notions and results from the subject with a view on the recent developments at the interface with deformation quantization.

研究动机与目标

• 开发一种导出几何框架，将病态的交点与商空间视为具有内在同伦结构的几何对象。
• 通过用编码重数与维数缺陷的导出交点替代朴素交点，推广经典交点理论。
• 通过移位 Poisson 结构与高阶 Hochschild 上同调，建立形变量子化的导出几何解释。
• 通过 ∞-范畴与导出栈的语言，统一代数几何、形变理论与数学物理中的概念。
• 为在更高几何设定（特别是三维及以上）中对辛与 Poisson 结构进行量子化提供基础。

提出的方法

• 使用 ∞-范畴与导出代数几何，将导出概形形式化为取值于 E∞-环的结构层的 ∞-群胚。
• 引入导出交点作为三元组 (y, z, α) 的群胚，其中 α 是从 y ∈ Y 到 z ∈ Z 的同伦，编码横截性缺陷。
• 应用形式模空间与导出栈的概念，通过点 gx 与 x 之间的路径，将商栈描述为同伦商。
• 将高阶 Hochschild 上同调 $\mathit{H\!H}^{E_{n+1}}(X)$ 用作控制拟相干层导出范畴形变的全局不变量。
• 利用导出环路空间 $\mathcal{L}^{(n)}(X) = \mathbb{R}\mathbf{Map}(S^n, X)$ 定义移位 Poisson 结构及其量子化。
• 依赖于高阶代数与形变理论中的猜想与已证明结果，包括 Kontsevich 的形式性定理与 Tamarkin 对导出栈的推广。

实验结果

研究问题

• RQ1 导出代数几何如何通过赋予其几何结构来解决代数几何中非横截相交的问题？
• RQ2 同伦数据（如点之间的路径）在改进经典商与交点中的作用是什么？
• RQ3 导出栈上的移位 Poisson 结构如何与形变量子化相关联？
• RQ4 高阶 Hochschild 上同调 $\mathit{H\!H}^{E_{n+1}}(X)$ 在控制 $n$-移位 Poisson 结构的形变量子化中起何精确作用？
• RQ5 导出环路空间及其上同调不变量能否用于构造三维及以上维流形的量子不变量？

主要发现

• 导出交点是编码重数与维数缺陷的几何对象，其同伦数据（如子簇中点之间的路径）起关键作用。
• 导出商 $X/G$ 被实现为一个栈，其中 $x$ 与 $gx$ 通过同伦连接，推广了经典商栈构造。
• 猜想 5.8 提出：导出栈 $X$ 上的 $n$-移位 Poisson 结构对应于映射 $k[-1] \to \mathit{H\!H}^{E_{n+1}}(X)[n+1]$，该映射控制形变量子化。
• 当 $n > 0$ 时，在有限性条件下该猜想已得证明；当 $n = 0$ 时，若 $X$ 是光滑的 Deligne-Mumford 栈，则由 Kontsevich 的形式性定理可推出。
• 元素 $p \in F_{\mathit{H\!H}^{E_{n+1}}(X)[n+1]}(k[[t]])$ 定义了导出 $∞$-范畴 $L_{\textit{qcoh}}(X)$ 的形式形变，从而给出 $n$-移位 Poisson 结构的量子化。
• 当 $X = BG$ 且 $p \in \text{Sym}^2(\mathfrak{g})^G$ 时，该量子化恢复了与 $G$ 和 $p$ 相关的量子群，将导出几何与量子群联系起来。