[论文解读] Quantization of Poisson families and of twisted Poisson structures

Pavol Ševera|ArXiv.org|May 28, 2002

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

一句话总结

本文在闭3-形式 $\phi$ 的周期属于 $2\pi i\mathbb{Z}$ 的条件下，构造了流形 $M$ 上扭曲泊松结构（或 $\phi$-泊松结构）的形变量子化，通过代数堆栈实现。利用康采维奇的正规性定理及由Maurer–Cartan型方程控制的‘紧密族’框架，作者证明此类量子化自然由上同调类 $\Phi \in H^3(M, 2\pi i\mathbb{Z})$ 与精确柯朗代数胚中的Dirac结构所参数化，从而得到一个推广了主丛概念的堆栈。

ABSTRACT

We describe a deformation quantization of a modification of Poisson geometry by a closed 3-form. Under suitable conditions it gives rise to a stack of algebras. The basic object used for this aim is a kind of families of Poisson structures given by a Maurer-Cartan equation; they are easily quantized using Kontsevich's Formality theorem.

研究动机与目标

• 发展扭曲泊松结构的形变量子化框架，其中泊松张量 $\pi$ 关于 $\hbar$ 形式地依赖，并满足 $[\pi,\pi] = 2\wedge^3 \tilde{\pi}(\phi)$，其中 $\phi$ 为闭3-形式。
• 将量子化推广至 $\phi$ 的周期属于 $2\pi i\mathbb{Z}$ 的情形，实现 $M$ 上代数堆栈的全局构造。
• 形式化局部上通过 $\hbar$-依赖微分同胚，$\pi$ 等价于泊松结构的想法，并通过‘紧密族’结构追踪这些等价关系。
• 证明所得量子化独立于局部选择，并定义了一个良好行为的堆栈，推广了与 $\Phi \in H^3(M, 2\pi i\mathbb{Z})$ 关联的主丛概念。

提出的方法

• 在流形 $B$ 上引入‘$\chi$-紧密代数族’的概念，其由空间 $\Gamma(\bigwedge T^*B) \otimes C^\bullet(\mathcal{A}, \mathcal{A})$ 中总次数为2的Maurer–Cartan型方程控制，其中 $\chi$ 为 $B$ 上的闭3-形式。
• 通过分解 $\gamma = \gamma_0 + \gamma_1 + \gamma_2$ 编码一族结合代数（$\gamma_0$）、平坦联络（$\gamma_1$）以及控制沿环路内自同构的曲率数据（$\gamma_2$）。
• 将此框架应用于代数 $\mathcal{A} = C^\infty(M)[[\hbar]]$ 与多微分算子空间 $\mathrm{PDiff}(M)[[\hbar]]$，得到一个‘$*$-乘积的紧密族’，用以建模形式形变量子化。
• 通过将 $\chi$-紧密族实现为与 $\Phi \in H^3(M, 2\pi i\mathbb{Z})$ 对应的主丛的形变，构造代数堆栈，其中精确柯朗代数胚的特征类与 $\Phi$ 在 $H^3(M, \mathbb{C})$ 中的像一致。
• 利用康采维奇的正规性定理对紧密族的 $*$-乘积进行量子化，确保泊松结构的 $\hbar$-形变存在。
• 引入外变换与内变换（分别通过2-形式 $\beta$ 与1-形式 $\alpha$），以关联不同紧密族，并确保构造的规范不变性。

实验结果

研究问题

• RQ1 当 $\phi$ 为闭3-形式且其周期属于 $2\pi i\mathbb{Z}$ 时，如何对流形 $M$ 上的 $\phi$-泊松结构实现全局量子化？
• RQ2 通过 $\hbar$-依赖微分同胚实现局部 $\phi$-泊松结构量子化等价性的结构是什么？
• RQ3 如何将所得的量子化打包为全局代数对象（如堆栈），而非仅形式星积？
• RQ4 上同调类 $\Phi \in H^3(M, 2\pi i\mathbb{Z})$ 在分类此类量子化中起什么作用？
• RQ5 能否自然地将精确柯朗代数胚中Dirac结构的量子化实现为代数堆栈？

主要发现

• 本文在 $\phi$ 的周期属于 $2\pi i\mathbb{Z}$ 的条件下，于 $M$ 上构造了一个代数堆栈，对 $\phi$-泊松结构实现量子化，推广了与 $\Phi \in H^3(M, 2\pi i\mathbb{Z})$ 关联的主丛概念。
• 该堆栈源于一个‘$*$-乘积的紧密族’，即涉及3-形式 $\phi$ 与多微分算子代数的Maurer–Cartan方程的正式解。
• 该构造在外部与内部变换下不变：由 $\beta \in \Omega^2(B)$ 给出的外部变换通过 $\exp(\int_D \beta)$ 作用于单值 $a_{D,x}$；内部变换则源于对紧密族空间的李代数作用。
• 对 $B$ 中任意闭曲线 $\gamma$，与以 $\gamma$ 为边界的圆盘 $D$ 关联的单值 $a_{D,x}$ 是由 $\exp(\int_D \gamma_2)$ 给出的内自同构，且在同伦圆盘下通过 $\exp(\int_{\text{同伦}} \chi)$ 变化。
• 该量子化独立于局部选择：任意两个局部泊松结构通过 $\hbar$-依赖微分同胚关联，且在重叠区域上所得的 $*$-乘积同构。
• 该代数堆栈自然关联于 $\Phi \in H^3(M, 2\pi i\mathbb{Z})$ 的选择与一个精确柯朗代数胚中的Dirac结构，其特征类在 $H^3(M, \mathbb{C})$ 中映射为 $\Phi$。