精确移位黎曼几何结构的去量化，及其在消失循环中的应用

我们扩展了作者与 CPTVV 之间的对应关系，将从 shifted symplectic 与 Poisson 结构之间的对应关系推广到 exact shifted symplectic 结构与 non-degenerate shifted Poisson 结构（带formal derivation）之间的对应关系，后者概括了 De Wilde 和 Lecomte 的构造。我们的表述足够通用，以涵盖 derived 代数、解析和 $\mathcal{C}^{\infty}$ 栈，以及 Lagrangians 和非交换概括。我们还表明，带 formal derivation 的 non-degenerate shifted Poisson 结构在可形式化的设置中携带唯一的自对偶去量化。一个应用是对于（不一定 exact）$0$-shifted symplectic 结构在解析和 $\mathcal{C}^{\infty}$ 环境中，结果表明作者此前的量化参数化实际上独立于任何 associator 选择，并推广 Fedosov 经典流形的量化参数化。我们的主要应用是 complex $(-1)$-shifted symplectic 结构，表明我们对 canonical exact 结构唯一去量化——一个带 derivation 的 twisted $BD_0$-代数母质——产生 BBDJS 的消失循环 perverse 包，携带其 monodromy 算子。