2025-11-12T14:43:09.836823

Quantisation of derived Poisson structures

Pridham

We prove that every $0$-shifted Poisson structure on a derived Artin $n$-stack admits a curved $A_{\infty}$ deformation quantisation whenever the stack has perfect cotangent complex; in particular, this applies to LCI schemes, where it gives a DQ algebroid quantisation. Whereas the Kontsevich--Tamarkin approach to quantisation for smooth varieties hinges on invariance of the Hochschild complex under affine transformations, we instead exploit the observation that the Hochschild complex carries an anti-involution, and that such anti-involutive deformations of the complex of polyvectors are essentially unique. We also establish analogous statements for deformation quantisations in $\mathcal{C}^{\infty}$ and analytic settings.

academic

Quantisation of derived Poisson structures

基本信息

论文ID: 1708.00496
标题: Quantisation of derived Poisson structures
作者: J.P. Pridham
分类: math.AG (代数几何), math.QA (量子代数)
发表时间: 2017年8月首次提交，2025年1月4日最新版本
论文链接: https://arxiv.org/abs/1708.00496

摘要

本文证明了在具有完美余切复形的导出Artin n-栈上，每个0-偏移Poisson结构都承认曲线 $A_{\infty}$ 变形量化；特别地，这适用于局部完全交(LCI)概形，其中给出DQ代数胚量化。与Kontsevich-Tamarkin光滑簇量化方法依赖于Hochschild复形在仿射变换下的不变性不同，我们利用Hochschild复形携带反对合的观察，以及多向量复形的这种反对合变形本质上唯一的事实。我们还在 $\mathcal{C}^{\infty}$ 和解析设定中建立了变形量化的类似陈述。

研究背景与动机

问题背景

变形量化是数学物理中的核心概念，旨在将经典Poisson几何结构量化为非交换代数结构。经典上，这意味着寻找函数代数 $O_Y$ 的结合变形 $\star_\hbar$ ，使得经典极限 $\hbar \to 0$ 恢复Poisson结构。

现有方法的局限性

Kontsevich-Tamarkin方法：对于光滑簇，依赖于Hochschild复形在仿射变换下的不变性，但这种不变性在奇异情况下不存在
局限于光滑情况：现有理论主要适用于光滑代数簇，对奇异概形和更一般的导出栈缺乏处理
技术困难：对于导出Artin栈，多向量和Hochschild复形的函子性变得微妙

研究动机

解决Toën在Toë2, Conjecture 5.3中提出的长期未解决问题
将量化理论扩展到奇异概形和导出栈的更一般设定
开发新的技术方法处理缺乏仿射变换不变性的情况

核心贡献

主要定理：证明了具有完美余切复形的导出Artin n-栈上每个0-偏移Poisson结构都承认自对偶量化
技术创新：利用Hochschild复形的反对合性质，而非传统的仿射变换不变性
唯一性结果：建立了反对合变形的本质唯一性(Corollary 1.19)
广泛适用性：理论适用于代数、 $\mathcal{C}^{\infty}$ 和解析设定
1-偏移余等方结构：作为推论获得了1-偏移余等方结构的量化

方法详解

任务定义

给定具有完美余切复形的导出Artin n-栈 $X$ 和其上的0-偏移Poisson结构 $\pi$ ，构造相应的变形量化，即非交换代数变形 $A_\hbar$ 使得：

$A_\hbar$ 在 $\hbar \to 0$ 时恢复 $O_X$
Poisson括号由 $\{a,b\} = \lim_{\hbar \to 0} \frac{a \star_\hbar b - b \star_\hbar a}{\hbar}$ 给出

核心技术框架

1. 反对合滤变形理论

定义1.1-1.2：引入准反对合滤复形的概念，其中滤 $W$ 和对合 $e$ 满足 $e$ 在 $\text{gr}^W_i V$ 上作用为 $(-1)^i$ 倍乘。

关键引理1.6：反对合Rees函子给出反对合滤向量空间与平坦 $G_m$ -等变 $\mathbb{Q}[\hbar^2]$ -模之间的等价。

2. 几乎交换Poisson代数

定义1.15：定义 $G_m$ -等变dg操作数 $P^{ac}_k = \text{Com} \circ s^{1-k}\hbar^{-1}\text{Lie}$ ，其中 $\hbar$ 具有度数0和权重1。

命题1.18：对于满足特定余切条件的 $P^{ac}_k$ -代数 $B$ ，有 $\text{RDer}_{P^{ac}_k \otimes R, G_m}(B,M) \simeq 0$ 对所有权重 $\geq 2$ 的Beck $B$ -模 $M$ 。

3. Grothendieck-Teichmüller群的对合

定义2.14-2.16：利用Grothendieck-Teichmüller群 $GT(\mathbb{Q})$ 中的特殊元素 $P$ （将每个生成元映射到其逆），定义偶1-结合子的空间 $\text{Levi}^P_{GT}$ 。

命题2.18：每个偶1-结合子 $w \in \text{Levi}^P_{GT}$ 诱导 $(Br, \tau)$ 和 $(P_2, \tau)$ 之间的 $C_2$ -等变滤准同构。

主要定理的证明策略

定理2.21的证明思路：

建立HKR准同构：证明 $\text{gr}^{\tau^{HH}} D^{\text{poly}}_{\oplus}(A) \xrightarrow{\text{HKR}} \text{Pol}(A/R, 0)$
应用反对合理论：利用Corollary 1.19的唯一性，对于满足完美余切条件的 $A$
函子性：建立相对于准反对合a.c. brace代数态射的自然性