[论文解读] Lectures on shifted Poisson geometry

Pavel Safronov|arXiv (Cornell University)|Sep 22, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 10被引用 8

一句话总结

本文引入了移位泊松几何作为经典泊松结构的导出推广，利用高阶辛几何与AKSZ构造，为导出模堆栈（如曲线上的丛或卡拉比-丘三流形上的完美复形）赋予移位辛与泊松结构。其关键贡献在于建立了一个系统性框架，通过导出代数几何将高阶泊松结构与形变量子化及唐纳森-托马斯不变量等经典不变量联系起来。

ABSTRACT

These are expanded notes from lectures given at the États de la Recherche workshop on "Derived algebraic geometry and interactions". These notes serve as an introduction to the emerging theory of Poisson structures on derived stacks.

研究动机与目标

• 开发导出堆栈上移位泊松结构的基础理论，将经典泊松几何推广至导出设定。
• 将高阶辛几何与形变量子化联系起来，特别是通过量子可观测量的 $\mathbb{E}_n$-代数与经典相空间的 $\mathbb{P}_n$-代数之间的对应关系。
• 展示经典几何不变量（如唐纳森-托马斯不变量与模空间上的泊松结构）作为导出模堆栈上移位辛结构的投影。
• 通过将AKSZ形式主义应用于映射堆栈与拉格朗日子对应，系统地构造模空间上的移位泊松结构。
• 通过导出几何将已知的经典泊松结构（如费金-奥德斯科夫与斯科连泊松结构）恢复为导出截断上的0-移位泊松结构实例。

提出的方法

• 利用AKSZ构造在映射堆栈 $ \mathrm{Map}(X, \mathcal{X}) $ 上生成 $ (n-1) $-移位辛结构，其中 $ \mathcal{X} $ 是一个 $ n $-移位辛堆栈。
• 应用导出临界点构造，将 $ \mathrm{Perf}(X) $ 上的 $ (-1) $-移位辛结构与稳定层模空间上的对称障碍理论联系起来。
• 利用移位辛与移位泊松结构之间的对应关系，将经典截断上的双向量场上提为导出堆栈上的0-移位泊松结构。
• 通过映射堆栈 $ \mathrm{Map}^{fr}(\mathbb{P}^1, \mathrm{B}G) $ 构造1-移位拉格朗日子对应，从而在纤维上诱导出0-移位辛结构，进而在经典模空间上得到泊松结构。
• 对2-移位拉格朗日子对应应用 $ \mathrm{Map}(S^1_{\mathrm{B}}, -) $，得到 $ [H^{\mathrm{reg}}/H] $ 上的1-移位泊松结构，从而恢复三角函数型动力 $ r $-矩阵。
• 采用 $ \infty $-范畴语言与导出代数几何，处理移位辛与泊松结构构造中的下降性与同伦结构。

实验结果

研究问题

• RQ1 如何从导出模堆栈上的高阶辛结构系统地推导出模空间上的经典泊松结构？
• RQ2 移位辛结构在唐纳森-托马斯不变量的范畴化中起什么作用？
• RQ3 AKSZ构造如何从目标堆栈的 $ n $-移位辛结构生成映射堆栈上的 $ (n-1) $-移位辛结构？
• RQ4 已知的经典泊松结构（如费金-奥德斯科夫或斯科连结构）能否通过导出几何作为0-移位泊松结构被恢复？
• RQ5 拓扑场论中量子可观测量的 $ \mathbb{E}_n $-代数如何通过形变量子化与经典相空间的 $ \mathbb{P}_n $-代数相关联？

主要发现

• 卡拉比-丘三流形 $ X $ 上完美复形的导出模堆栈 $ \mathrm{Perf}(X) $ 携带一个 $ (-1) $-移位辛结构，其经典截断给出了唐纳森-托马斯理论中使用的对称障碍理论。
• 曲线 $ E $ 上 $ B $-丛的模堆栈 $ \mathrm{Bun}_B(E) $ 通过AKSZ构造继承了一个0-移位泊松结构，即著名的费金-奥德斯科夫泊松结构。
• 当 $ G = \mathrm{PGL}_2 $ 时，关于度数为 $ -4 $ 的线丛 $ \mathcal{L} $ 的纤维 $ \mathrm{Bun}_B(E; \mathcal{L}) $ 同构于 $ [\mathbb{A}^4 / \mathbb{G}_m] $，其开子堆栈 $ \mathbb{P}^3 $ 携带斯科连泊松结构。
• $ G/B $ 上的带框架映射堆栈 $ \mathrm{Map}^{fr,\lambda}(\mathbb{P}^1, G/B) $ 同构于1-移位拉格朗日子堆栈的纤维积，因此携带一个0-移位辛结构，从而实现 $ \mathbb{R}^3 $ 上 $ G $-单极子的模空间。
• 对2-移位拉格朗日子对应应用 $ \mathrm{Map}(S^1_{\mathrm{B}}, -) $，在 $ [H^{\mathrm{reg}}/H] $ 上得到一个1-移位泊松结构，从而导出基本的三角函数型动力 $ r $-矩阵。
• 该构造表明，$ n $-维拓扑场论中量子可观测量的 $ \mathbb{E}_n $-代数是作为 $ (n-1) $-移位辛堆栈上函数的 $ \mathbb{P}_n $-代数的形变量子化而产生的。